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

Thu Mar 23 17:57:00 GMT 2006

------- Comment #12 from ebotcazou at gcc dot gnu dot org  2006-03-23 17:57 -------
> PTA thinks it doesn't need to solve the graph when it does.
> The subvar isn't initially marked as addressable if the regular var is in
> create_sft.
> 
> The second is what is actually causing your bug, AFAICT.
> 
> In create_sft, add TREE_ADDRESSABLE (sft) = TREE_ADDRESSABLE (var) in all the
> flags it is copying, and it should fix the bug.

That is indeed sufficient to fix the bug for the C testcase but not for an
equivalent Ada testcase, so Richard might have been right in thinking that
there is also some type frobbing on the Ada side :-(

> I am bootstapping this change right now.

Thanks.  Do not forget to put PR tree-optimization/25737 in the ChangeLog.

-- 

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