This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PR tree-optimization/79007 tree-optimization/67955] Don't be so conservative with pt.null
- From: Jeff Law <law at redhat dot com>
- To: gcc-patches <gcc-patches at gcc dot gnu dot org>
- Date: Mon, 9 Jan 2017 14:55:27 -0700
- Subject: [PR tree-optimization/79007 tree-optimization/67955] Don't be so conservative with pt.null
- Authentication-results: sourceware.org; auth=none
Per the discussion with Richi. Bootstrapped and regression tested on
x86_64-linux-gnu. Though I thought I'd done the same with the prior
patch, but it clearly was making the new dse-points-to test fail everywhere.
Installed on the trunk.
Jeff
commit 18c5f2e1d38dfd248f7d17eb9656251191a8bd15
Author: law <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Mon Jan 9 21:53:02 2017 +0000
PR tree-optimization/79007
PR tree-optimization/67955
* tree-ssa-alias.c (same_addr_size_stores_p): Only need to be
conservative for pt.null when flag_non_call_exceptions is on.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@244247 138bc75d-0d04-0410-961f-82ee72b054a4
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 76cb51b..ed75ea8 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2017-01-04 Jeff Law <law@redhat.com>
+
+ PR tree-optimization/79007
+ PR tree-optimization/67955
+ * tree-ssa-alias.c (same_addr_size_stores_p): Only need to be
+ conservative for pt.null when flag_non_call_exceptions is on.
+
2017-01-09 Jakub Jelinek <jakub@redhat.com>
PR translation/79019
diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c
index 871fa12..83fa6f5 100644
--- a/gcc/tree-ssa-alias.c
+++ b/gcc/tree-ssa-alias.c
@@ -2373,9 +2373,9 @@ same_addr_size_stores_p (tree base1, HOST_WIDE_INT offset1, HOST_WIDE_INT size1,
|| !pt_solution_singleton_or_null_p (&pi->pt, &pt_uid))
return false;
- /* If the solution has a singleton and NULL, then we can not
- be sure that the two stores hit the same address. */
- if (pi->pt.null)
+ /* Be conservative with non-call exceptions when the address might
+ be NULL. */
+ if (flag_non_call_exceptions && pi->pt.null)
return false;
/* Check that ptr points relative to obj. */