[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]

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

--- Comment #31 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Created attachment 52340
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52340&action=edit
Tentative fix

To be further tested.