re PR tree-optimization/78035 (Inconsistency between address comparison and alias...
authorRichard Biener <rguenther@suse.de>
Wed, 2 Nov 2016 08:29:48 +0000 (08:29 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Wed, 2 Nov 2016 08:29:48 +0000 (08:29 +0000)
commitda42ac7bc51006101e94711e6847f561d7b08005
treee8b272d2021353490d87fd01f485f66e27320dc5
parent3cea049a4fbfd0a81690d12d383d6a27246c98b7
re PR tree-optimization/78035 (Inconsistency between address comparison and alias analysis)

2016-11-02  Richard Biener  <rguenther@suse.de>

PR tree-optimization/78035
PR tree-optimization/77964
* gimple-pretty-print.c (pp_points_to_solution): Print
vars_contains_interposable.
* tree-ssa-alias.c: Include varasm.h.
(ptrs_compare_unequal): Check vars_contains_interposable and
decl_binds_to_current_def_p.
(dump_points_to_solution): Dump vars_contains_interposable.
* tree-ssa-alias.h (struct pt_solution): Add vars_contains_interposable
flag.
* tree-ssa-structalias.c: Include varasm.h.
(set_uids_in_ptset): Record whether vars contains a
not decl_binds_to_current_def_p variable in vars_contains_interposable.
(ipa_escaped_pt): Update initializer.

* gcc.target/i386/pr78035.c: New testcase.

From-SVN: r241776
gcc/ChangeLog
gcc/gimple-pretty-print.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.target/i386/pr78035.c [new file with mode: 0644]
gcc/tree-ssa-alias.c
gcc/tree-ssa-alias.h
gcc/tree-ssa-structalias.c