Dug up this historic example from glibc of why optimizing compilers are a necessary mitigation against hideous code: https://sourceware.org/git/?p=glibc.git;a=blob;f=string/strstr.c;hb=0ecb606cb6cf65de1d9fc8a919bceb4be476c602 …
Good question. There's a large contingent who think optimizing compilers just harm security (esp. alias-analysis-based optimizations).
-
-
This would be a reasonable position if you'd be compiling the same code regardless of whether optimizing compilers existed, but you're not.
-
Without optimizing compilers, you'd be compiling hackish code full of even worse UB, written to get particular compiler to produce best asm.
-
Completely take that point. Without disagreeing, I don't believe we have the UX or incentive structures right w.r.t. how to exploit UB.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.