------- Comment #3 from rguenth at gcc dot gnu dot org 2009-02-27 22:37 -------
The FE warning code doesn't warn for *((int *) &a + 4) because it doesn't
recognize the form. This is what we get in both cases from the C frontend
and in the second case from the C++ frontend.
The PTA warning code doesn't trigger here because we do not prune a from
the points-to sets.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Severity|normal |enhancement
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2009-02-27 22:37:30
date| |
Summary|Bogus aliasing warning |Missed aliasing warning
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39322
