This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/35585] [4.2 Regression] Miscompiled inline assembly
- From: "rguenth at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 15 Mar 2008 11:51:55 -0000
- Subject: [Bug tree-optimization/35585] [4.2 Regression] Miscompiled inline assembly
- References: <bug-35585-11057@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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