https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78626
--- Comment #2 from Segher Boessenkool <segher at gcc dot gnu.org> --- I have tested something similar, and it does work, but it prevents any optimisation by cprop of any trap_if, also if it would not turn into an unconditional trap. This is pretty bad :-(