On Sat, Oct 1, 2022 at 10:04 AM blacktea hamburger via Std-Proposals <std-proposals@lists.isocpp.org> wrote:
Compilers can make optimizations, and behavior can be non-standard. So, is it enough just by testing on compilers?

No. But it is certainly not enough to just read things on paper, either. You need to do both.
https://en.wikipedia.org/wiki/Correspondence_theory_of_truth

–Arthur