diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ad4d230f969..a10f14353f2 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,7 @@
 2016-06-15  Jakub Jelinek  <jakub@redhat.com>
 
+	* gcc.c-torture/compile/20160615-1.c: New test.
+
 	* g++.dg/cpp0x/ref-qual17.C: New test.
 
 2016-06-15  Ilya Enkovich  <ilya.enkovich@intel.com>
diff --git a/gcc/testsuite/gcc.c-torture/compile/20160615-1.c b/gcc/testsuite/gcc.c-torture/compile/20160615-1.c
new file mode 100644
index 00000000000..1865a77ed38
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/20160615-1.c
@@ -0,0 +1,10 @@
+int a;
+void bar (int, unsigned, unsigned);
+
+void
+foo (unsigned x)
+{
+  unsigned b = a ? x : 0;
+  if (x || b)
+    bar (0, x, b);
+}