efriedma-quic wrote: See the section on "Implicit approach" in the paper for why the C++ standard makes observable checkpoints separate from observable behavior.
For your new example, the defined prefix is just printing "start". None of the other operations before the undefined behavior result in any observable behavior. Once you hit the undefined behavior, the observed effects are arbitrary. Printing "error" and exiting is one kind of arbitrary behavior. https://github.com/llvm/llvm-project/pull/237335 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
