[Bug tree-optimization/27799] adding unused char field inhibits optimization

[rguenth at gcc dot gnu dot org]

------- 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