No Sane Compiler Would Optimize Atomics https://github.com/jfbastien/papers/blob/master/source/N4455.rst [cue evil laugh]
Related Posts
Here's a scary example from the tree-sitter-c bug tracker: before running the preprocessor, there's no guarantee that C code will parse!
(Typically it will I think, but no guarantees.)
Applying different profile guided optimisation techniques to the rust compiler: https://kobzol.github.io/rust/rustc/2022/10/27/speeding-rustc-without-changing-its-code.html
Would you rather run a formally verified application on top of a conventional kernel/compiler toolchain, or a conventional application on verified kernel/compiler toolchain? Why?