On Tue, Jun 28, 2022 at 11:11:55AM +0000, Richard Biener wrote: > The following makes sure we preserve EH notes on call insns that > indicate the call doesn't perform a non-local goto when distributing > notes after combining insns.
> - if (!insn_could_throw_p (from_insn)) > - /* Throw away stra notes on insns that can never throw. */ > + if (!insn_could_throw_p (from_insn) > + && (lp_nr != INT_MIN || !can_nonlocal_goto (from_insn))) > + /* Throw away stray notes on insns that can never throw or > + make a nonlocal goto. */ > ; Where is the meaning of INT_MIN here documented? ... Ah, in except.cc . Can you write this as if (!insn_could_throw_p (from_insn) && !(lp_nr == INT_MIN && can_nonlocal_goto (from_insn))) please? It is easier to understand that way. With or without that, okay for trunk. Thanks! Segher