Szép! Érdekes és tanulságos, köszönjük, hogy kitetted!
Mindig is mondtam, hogy az undefined behaviour-t tűzzel és vassal kell irtani. Ami optimalizációnak ez az alapja azt eleve nem kellene csinálni, mert valójában hibát csinál, nem optimalizál. (Várok olyan példát, aminek értelme is van, és nem lehetne UD nélkül megcsinálni.) A szoftverfejlesztő agyérgörcsöt kap az ilyenektől. A C fordító fejlesztő meg "smugface"-t nyom, hogy de hát tök gyors lett a kód, talán nem? És megfelel a specifikációnak, talán nem?
Nem csodálkoznék, ha kiderülne, hogy ürgebőrbe varrt szovjet ügynökök tették az UD-ket a C specifikációba!