diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 4d994b41472..7e90641adf7 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2013-12-20  Jakub Jelinek  <jakub@redhat.com>
 
+	PR tree-optimization/59413
+	* gcc.c-torture/execute/pr59413.c: New test.
+
 	* c-c++-common/ubsan/load-bool-enum.c: New test.
 
 2013-12-04  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
diff --git a/gcc/testsuite/gcc.c-torture/execute/pr59413.c b/gcc/testsuite/gcc.c-torture/execute/pr59413.c
new file mode 100644
index 00000000000..d7a2084ed63
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/pr59413.c
@@ -0,0 +1,21 @@
+/* PR tree-optimization/59413 */
+
+typedef unsigned int uint32_t;
+
+uint32_t a;
+int b;
+
+int
+main ()
+{
+  uint32_t c;
+  for (a = 7; a <= 1; a++)
+    {
+      char d = a;
+      c = d;
+      b = a == c;
+    }
+  if (a != 7)
+    __builtin_abort ();
+  return 0;
+}