From: Richard Biener <rguenther@suse.de>
Date: Fri, 14 Dec 2012 13:35:03 +0000 (+0000)
Subject: re PR tree-optimization/55684 (ICE in remove_redundant_iv_tests, at tree-ssa-loop... 
X-Git-Tag: releases/gcc-4.8.0~1376
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=13ea799b4ab20ae078ed754fa04b3c8766aa6954;p=thirdparty%2Fgcc.git

re PR tree-optimization/55684 (ICE in remove_redundant_iv_tests, at tree-ssa-loop-ivcanon.c:559)

2012-12-14  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/55684
	* tree-ssa-loop-ivcanon.c (remove_redundant_iv_tests): Handle
	gracefully the case where we cannot compute the number of
	iterations at an exit.

	* gcc.dg/torture/pr55684.c: New testcase.

From-SVN: r194499
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0f5b0af6861a..fe4e1e165823 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2012-12-14  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/55684
+	* tree-ssa-loop-ivcanon.c (remove_redundant_iv_tests): Handle
+	gracefully the case where we cannot compute the number of
+	iterations at an exit.
+
 2012-12-14  Richard Biener  <rguenther@suse.de>
 
 	PR tree-optimization/55687
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c8578bf465b7..d1020d0b7086 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2012-12-14  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/55684
+	* gcc.dg/torture/pr55684.c: New testcase.
+
 2012-12-14  Richard Biener  <rguenther@suse.de>
 
 	PR tree-optimization/55687
diff --git a/gcc/testsuite/gcc.dg/torture/pr55684.c b/gcc/testsuite/gcc.dg/torture/pr55684.c
new file mode 100644
index 000000000000..7002a3737f87
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr55684.c
@@ -0,0 +1,33 @@
+/* { dg-do compile } */
+
+typedef struct _IO_FILE FILE;
+unsigned long int strtoul(const char *, char **, int);
+char *fgets(char *, int, FILE *);
+struct ihexrec {
+    unsigned char reclen;
+    unsigned char data[256];
+};
+static void srec_readrec(struct ihexrec * srec, char * rec)
+{
+  int i, j;
+  char buf[8];
+  int offset = 0, len;
+  char * e;
+  for (i=0; j<srec->reclen; j++)
+    {
+      if (offset+2 > len)
+        return;
+      for (i=0; i<2; i++)
+        buf[i] = rec[offset++];
+      srec->data[j] = strtoul(buf, &e, 16);
+    }
+  for (i=0; i<2; i++)
+    buf[i] = rec[offset++];
+}
+void srec2b(FILE *inf)
+{
+  char buffer[256];
+  struct ihexrec srec;
+  while (fgets(buffer,256,inf)!=(void *)0)
+    srec_readrec(&srec, buffer);
+}
diff --git a/gcc/tree-ssa-loop-ivcanon.c b/gcc/tree-ssa-loop-ivcanon.c
index d54f704725af..eef613c4a775 100644
--- a/gcc/tree-ssa-loop-ivcanon.c
+++ b/gcc/tree-ssa-loop-ivcanon.c
@@ -555,9 +555,8 @@ remove_redundant_iv_tests (struct loop *loop)
 	  /* Only when we know the actual number of iterations, not
 	     just a bound, we can remove the exit.  */
 	  if (!number_of_iterations_exit (loop, exit_edge,
-					  &niter, false, false))
-	    gcc_unreachable ();
-	  if (!integer_onep (niter.assumptions)
+					  &niter, false, false)
+	      || !integer_onep (niter.assumptions)
 	      || !integer_zerop (niter.may_be_zero)
 	      || !niter.niter
 	      || TREE_CODE (niter.niter) != INTEGER_CST