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

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

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

--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
So what does Ada do on targets like powerpc that do not raise an exception?
>From what I can see, 1 / 0 yields 0 there.