> No assumption here is idiotic Yes, the assumption that p is non-null is idiotic. Also, the implicit assumption that foo will always return. > no single huma

> No assumption here is idiotic Yes, the assumption that p is non-null is idiotic. Also, the implicit assumption that foo will always return. > no single human was involved Humans implemented the compilers that use the spec adversarially and humans lobby the standards committee to not fix the bugs > Of course you can write a boring compiler that emits opcodes at face expr value, without most UBs being a problem. Plenty of these, why not just take one The majority of optimizations are harmless and useful, only a handful are idiotic and harmful. I want a compiler that has the good optimizations and not the bad ones.