From d671006dcdd493acc858e0bc1f0b5ad5201a8f61 Mon Sep 17 00:00:00 2001
From: Kugan Vivekanandarajah <kugan@gcc.gnu.org>
Date: Wed, 27 Jul 2016 23:02:44 +0000
Subject: [PATCH] re PR tree-optimization/71994 (ICE: verify_gimple failed)

gcc/testsuite/ChangeLog:

2016-07-28  Kugan Vivekanandarajah  <kuganv@linaro.org>

	PR middle-end/71994
	* gcc.dg/torture/pr71994.c: New test.

From-SVN: r238803
---
 gcc/testsuite/gcc.dg/torture/pr71994.c | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/torture/pr71994.c

diff --git a/gcc/testsuite/gcc.dg/torture/pr71994.c b/gcc/testsuite/gcc.dg/torture/pr71994.c
new file mode 100644
index 00000000000..8f5e92ceeee
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr71994.c
@@ -0,0 +1,14 @@
+/* PR tree-optimization/71994 */
+/* { dg-do compile } */
+int om, h6;
+
+void eo (void)
+{
+  const int tl = 1;
+  int ln;
+
+  h6 = (om + tl) > 0;
+  ln = om && (om & h6);
+  h6 = om;
+  om = ln < h6;
+}
-- 
2.30.2