[Bug middle-end/35412] Correctness with -ftrapv depended on libcall notes

[pinskia at gcc dot gnu.org]

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

--- Comment #11 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to dingd from comment #10)
> I wonder what's the status of this bug. It has been 15 years.

It still is a bug.

> 
> As far as I know, Clang doesn't have this bug, so it should not be
> impossible to implement.

Yes clang/LLVM does not have this bug because the internals of them and GCC are
way different.

> 
> And, does -fsantize=undefined really provides the same functionality of this
> switch? I have always assumed that santizers are not to be used in
> production, right?

See PR 101521 for some ideas of how to implement this using the same
infrastructure as -fsantize=undefined .