[Bug sanitizer/83219] [8 regression] c-c++-common/ubsan/unreachable-2.c fails starting with r255201

rguenth at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Thu Nov 30 09:16:00 GMT 2017


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83219

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Hum.  Where do we "instrument" __builtin_unreachable () for UBSAN?  EVRP
is now more aggressive with recording ranges, where VRP does it only for
SSA names used dominated by an edge EVRP does it always.  This makes us
optimize away the test before RTL expansion (where the instrumentation
happens?).


More information about the Gcc-bugs mailing list