[Bug tree-optimization/104356] [12 Regression] divide by zero trap is being removed now when it should not be in some cases

[rguenth at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #24 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Eric Botcazou from comment #22)
> > So we'd add
> > 
> >   (!flag_non_call_exceptions || tree_expr_nonzero_p (@..))
> > 
> > to the offending and extra listed match.pd transforms.  I guess that works
> > for me.
> 
> For me as well.

Oh, with the little detail that it should be
cfun->can_throw_non_call_exceptions
(with the unfortunate reference to cfun)