[Bug middle-end/34285] buffer overflow incorrectly detected

[pinskia at gcc dot gnu dot org]

------- Comment #8 from pinskia at gcc dot gnu dot org  2007-11-29 19:27 -------
I still say GCC is incorrect here, even if I was drinking last night.  This
should work as the whole struct is touched and not even looked at the one
field.

Even if the documentation says that, it is still bad behavior.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |enhancement
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|INVALID                     |
            Summary|[4.3 Regression] buffer     |buffer overflow incorrectly
                   |overflow incorrectly        |detected
                   |detected                    |
   Target Milestone|4.3.0                       |---


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