[Bug middle-end/35593] [4.3 Regression] spurious warning "array subscript is below array bounds" with void* function argument plus -O2

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2008-03-14 22:44 -------
Because we fold the pointer addition to &a->d[-8] ;)


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
          Component|c++                         |middle-end
     Ever Confirmed|0                           |1
           Keywords|                            |wrong-code
   Last reconfirmed|0000-00-00 00:00:00         |2008-03-14 22:44:35
               date|                            |
            Summary|spurious warning "array     |[4.3 Regression] spurious
                   |subscript is below array    |warning "array subscript is
                   |bounds" with void* function |below array bounds" with
                   |argument plus -O2           |void* function argument plus
                   |                            |-O2
   Target Milestone|---                         |4.3.1


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