This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/30567] -O3 optimizer bug
- 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: 18 Apr 2007 21:56:24 -0000
- Subject: [Bug tree-optimization/30567] -O3 optimizer bug
- References: <bug-30567-3137@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #22 from rguenth at gcc dot gnu dot org 2007-04-18 22:56 -------
And this is the bug:
# SFT.0_29 = V_MAY_DEF <SFT.0_27>;
# SFT.1_30 = V_MAY_DEF <SFT.1_28>;
this_7->elems[0] = 1;
the following is supposed to read it.
# VUSE <SMT.11_31>;
D.2148_18 = *D.2147_17;
it's interesting that
Points-to sets
this_7 = { D.2141 D.2141.32 }
D.2147_17 = { ANYTHING D.2141 D.2141.32 }
but
Pointed-to sets for pointers in int main()
this_7, name memory tag: NMT.12, is dereferenced, points-to vars: { SFT.0 SFT.1
}
D.2147_17, is dereferenced, points-to anything
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Component|c++ |tree-optimization
Keywords| |alias
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30567