Arguably, undefined behaviour is more like 0&#x2F;0 in (ordinary) mathematics than just something the C standard fails to specify (you want <i>implementation defined</i> for that one).<p>An optimizing compiler is free to transform its generated code based on the assumption that undefined behaviour <i>never occurs</i>.