re PR tree-optimization/27799 (adding unused char field inhibits optimization)
authorRichard Guenther <rguenther@suse.de>
Wed, 23 Apr 2008 14:08:25 +0000 (14:08 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Wed, 23 Apr 2008 14:08:25 +0000 (14:08 +0000)
commit17d2c090a10e1ff15d78e4e139f7df7c39a54d4e
tree1b094aa3273abc829435f2f6a7c4089e8476d961
parenta7a512beff448f28fc2f9f192e19e30cbf971eba
re PR tree-optimization/27799 (adding unused char field inhibits optimization)

2008-04-23  Richard Guenther  <rguenther@suse.de>

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.

From-SVN: r134598
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/20030807-7.c
gcc/testsuite/gcc.dg/tree-ssa/pr27799.c [new file with mode: 0644]
gcc/tree-ssa-alias.c
gcc/tree-ssa-structalias.c