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

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

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

--- Comment #22 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> 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.