https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113852
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rguenth at gcc dot gnu.org
--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Well, given athat a1 * a2 is carried out in 'int' you are invoking undefined
behavior if it overflows. GCC assumes that doesn't happen so it's correct
to elide the diagnostic. Unless you make overflow well-defined with -fwrapv.
I think that errors on the right side for the purpose of -Wsign-compare.
