[Bug tree-optimization/79828] missing div-by-zero warning

[arnd at linaro dot org]

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

--- Comment #2 from Arnd Bergmann <arnd at linaro dot org> ---
(In reply to Richard Biener from comment #1)
> Note such warning in the middle-end has the chance of false
> positives from (for example) path isolation.

Would it be possible to warn if a function always traps? The
kernel function that found this does not get inlined and has
only one return statement, which never gets reached.