&gt; the generated assembly code is formally guaranteed to behave as prescribed by the semantics of the source C code<p>that suggests to me you could still hit C&#x27;s undefined behaviors. It&#x27;s only guaranteeing the semantic equivalence between source and output