[Bug tree-optimization/25737] ACATS tests c974001 and c974013 do not terminate with struct aliasing enabled

[ebotcazou at gcc dot gnu dot org]

------- Comment #4 from ebotcazou at gcc dot gnu dot org  2006-03-22 10:28 -------
Hum... perhaps I'm naive, but what's the point of creating SFTs for addressable
variables?  What's the mechanism that is supposed to add V_MAY_DEFs for SFTs of
such variables when V_MAY_DEFs are added for the variables?


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25737