------- Comment #7 from rguenth at gcc dot gnu dot org 2008-03-15 11:51 -------
points-to works well and ends up with __b_5 pointing to anything, so we fall
back to use SMTs which in this case is (for const int& __b):
SMT.761, UID 18425, const int, is addressable, is global, call clobbered, may
aliases: { r r r r }
there you go. It should also (at least) alias
D.12083, UID 12083, int, is aliased, is addressable, call clobbered, default
def: D.12083_242
SMT.763, UID 18427, struct SceneProps, is addressable, is global, call
clobbered, default def: SMT.763_469, may aliases: { SFT.738 SFT.739 SFT.740 r r
r r D.12089 D.12083 D.12084 D.12088 }
so it is flow-insensitive alias analysis that gets it wrong.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2008-03-15 11:51:54
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35585
