4 ms·
> Surely the compiler must know when it comes across a piece of source code whose semantic is undefined. Absolutely not. Many instances of UB depend on runtime
by lomnakkus 9y ago
> Surely the compiler must know when it comes across a piece of source code whose semantic is undefined.
Absolutely not. Many instances of UB depend on runtime values. (E.g. overflows, out-of-bounds shifts, etc. etc.)