https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88917
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Last reconfirmed|2019-01-18 00:00:00 |2021-12-28 Known to fail| |12.0 --- Comment #10 from Andrew Pinski <pinskia at gcc dot gnu.org> --- The original testcase does not fail on the trunk any more due to VRP/jump threading stuff but here is one which will fail: int a, x; unsigned short b, c; void foo(void (*bar)(void)) { bar(); c *= a < x; if (c == 0) __builtin_trap(); b /= c; }