[Bug middle-end/78463] pure/const functions are assumed not to trap

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

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
There were more instances fixed (like PR70586 was), but there may be still
cases left.  Also there's still the missed optimization of
computing/propagating 'notrap'.