[Bug middle-end/32628] [4.3 Regression] bogus integer overflow warning

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2007-07-04 23:34 -------
A simple example is:
void *f(void)
{
  char *a = ((char*)0)+(unsigned long long)(-1);
  return a;
}

This is caused by pointer_plus so mine.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |pinskia at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
          Component|c                           |middle-end
     Ever Confirmed|0                           |1
           Keywords|                            |diagnostic
   Last reconfirmed|0000-00-00 00:00:00         |2007-07-04 23:34:35
               date|                            |
            Summary|bogus integer overflow      |[4.3 Regression] bogus
                   |warning                     |integer overflow warning
   Target Milestone|---                         |4.3.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32628