> Assigning an ordinary pointer to a pointer to a `noalias' object is a license for the compiler to undertake aggressive optimizations that are completely legal by the committee's rules, but make hash of apparently safe programs
I can only imagine what he thought about aggressively optimizing C-family compilers in his later years.
https://www.lysator.liu.se/c/dmr-on-noalias.html