------- Comment #5 from rguenth at gcc dot gnu dot org 2006-03-28 13:33 ------- We had this some time ago, but the discussion stopped at the point where people said that pointers do not wrap. I believe that a + -1 is done using unsigned arithmetic, so this may be the bug. I also know where the transformation is done as I invented it ;)
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26763
