http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60275
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- I guess we shouldn't copy the design mistakes clang makes. What action to take on detected undefined behavior should be orthogonal to how to report it (runtime error message with recovery, fatal runtime error message or abort without error message).