https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81484 --- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> --- ...which could be simply written as: void foo (int c) { if (c == 0) __builtin_abort (); }