aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite
diff options
context:
space:
mode:
authorRichard Biener <rguenther@suse.de>2016-05-10 13:13:59 +0000
committerRichard Biener <rguenth@gcc.gnu.org>2016-05-10 13:13:59 +0000
commit4a3255dd4328cf6f3eaf4cb8c8f825d215a5ecdf (patch)
tree7a0578cfb6e314726995d9350cdc7840b57cbe1e /gcc/testsuite
parent77a87b2a0e5fb069107479d1e2bd3efafd6bd3ab (diff)
downloadgcc-4a3255dd4328cf6f3eaf4cb8c8f825d215a5ecdf.zip
gcc-4a3255dd4328cf6f3eaf4cb8c8f825d215a5ecdf.tar.gz
gcc-4a3255dd4328cf6f3eaf4cb8c8f825d215a5ecdf.tar.bz2
re PR tree-optimization/71039 (ICE: verify_ssa failed (error: definition in block 4 does not dominate use in block 5) w/ -O1 and above)
2016-05-10 Richard Biener <rguenther@suse.de> PR tree-optimization/71039 * tree-ssa-phiprop.c: Include tree-ssa-loop.h. (chk_uses): New function. (propagate_with_phi): Verify we can safely replicate the lhs of an aggregate assignment on all incoming edges. * gcc.dg/torture/pr71039.c: New testcase. From-SVN: r236079
Diffstat (limited to 'gcc/testsuite')
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/gcc.dg/torture/pr71039.c14
2 files changed, 19 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c4367b8..1ab0fce 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-05-10 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/71039
+ * gcc.dg/torture/pr71039.c: New testcase.
+
2016-05-10 Nathan Sidwell <nathan@acm.org>
* gcc.dg/nested-func-10.c: Requires alloca.
diff --git a/gcc/testsuite/gcc.dg/torture/pr71039.c b/gcc/testsuite/gcc.dg/torture/pr71039.c
new file mode 100644
index 0000000..e169bdc
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr71039.c
@@ -0,0 +1,14 @@
+/* { dg-do compile } */
+
+struct wv
+{
+ int qi;
+} qp, *ft;
+void *pb;
+
+void
+wz (void)
+{
+ struct wv *vf = pb ? (struct wv *)&pb : &qp;
+ *ft = *vf;
+}