https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121148
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #13 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Note, even RTL doesn't differentiate between signed and unsigned additions
etc., so if there is some CPU which would differentiate between those (sure,
other than making it visible in flags), so supporting such CPUs in GCC would be
quite hard.
So it is just GIMPLE that differentiates between that and especially sanitizers
which can make it very much visible to users. Of course, GIMPLE optimizations
assuming that signed overflow will not happen are common too (e.g. in value
range propagation and tons of other spots).
