------- Comment #2 from rguenth at gcc dot gnu dot org 2006-05-30 12:41 -------
Variable: x, UID 1535, struct X *, symbol memory tag: SMT.4, default def: x_1
Variable: y, UID 1536, struct YY *, symbol memory tag: SMT.5, default def: y_2
Variable: SMT.4, UID 1549, struct X, is addressable, is global, call clobbered
(, is global var, is incoming pointer ), may aliases: { SMT.5 }
but this aliasing cannot really happen.
Flow-insensitive alias information for foo_no
Aliased symbols
SMT.5, UID 1550, struct YY, is aliased, is addressable, is global, call
clobbered (, is global var, is incoming pointer )
SMT.4, UID 1549, struct X, is addressable, is global, call clobbered (, is
global var, is incoming pointer ), may aliases: { SMT.5 }
record_component_aliases is likely too conservative here.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |dberlin at gcc dot gnu dot
| |org
GCC target triplet|i686-pc-linux-gnu |
Keywords| |alias
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27799
