3 ms·
> The translation provided by the compiler is the closest thing we have to a formal semantics, it's natural to rely on it. Which translation, though? Depending
by professoretc 5y ago
> The translation provided by the compiler is the closest thing we have to a formal semantics, it's natural to rely on it.
Which translation, though? Depending on your compiler flags, you may get very different translations, sometimes (if your program contains undefined behavior) even with dramatically different runtime effects.