http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53462
Paolo Carlini <paolo.carlini at oracle dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jason at gcc dot gnu.org
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-05-24
00:22:29 UTC ---
Let's add Jason in CC. I seem to remember that I asked whether we wanted to be
more careful with divisions, this kind of operation. But, if we want, I'm
afraid we need a bit of infrastructural work, assuming we take false positives
seriously of course.
