------- Comment #10 from rguenth at gcc dot gnu dot org 2008-04-23 14:09 ------- Subject: Bug 27799
Author: rguenth Date: Wed Apr 23 14:08:25 2008 New Revision: 134598 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=134598 Log: 2008-04-23 Richard Guenther <[EMAIL PROTECTED]> PR tree-optimization/27799 PR tree-optimization/32921 PR tree-optimization/32624 * tree-ssa-structalias.c (merge_smts_into): Only merge the SMTs aliases and the tag itself into the solution. * tree-ssa-alias.c (compute_flow_sensitive_aliasing): Do not merge the points-to solution back into the SMT aliases. (may_alias_p): Use alias_set_subset_of instead of aliases_conflict_p. A pointer which points to memory with alias set zero may access any variable. * gcc.dg/tree-ssa/pr27799.c: New testcase. * gcc.dg/tree-ssa/20030807-7.c: Remove xfail, scan vrp dump. Added: trunk/gcc/testsuite/gcc.dg/tree-ssa/pr27799.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/testsuite/gcc.dg/tree-ssa/20030807-7.c trunk/gcc/tree-ssa-alias.c trunk/gcc/tree-ssa-structalias.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27799
