re PR tree-optimization/12517 ([tree-ssa] ICE in bsi_insert_on_edge_immediate)

	PR tree-optimization/12517
	* gcc.c-torture/compile/pr12517.c: New test.

	PR tree-optimization/12578
	* gcc.c-torture/compile/pr12578.c: New test.

	PR tree-optimization/12899
	* gcc.c-torture/compile/pr12899.c: New test.

	PR rtl-optimization/14692
	* gcc.c-torture/compile/pr14692.c: New test.

	PR tree-optimization/16461
	* gcc.c-torture/compile/pr16461.c: New test.

From-SVN: r85698

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 8caed21c95a106a238eed1f407340c493fbf98a4..2fde4b2163d1196a0cfa1a511d3dd62f0b190130 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,20 @@
+2004-08-09  Falk Hueffner  <falk@debian.org>
+
+       PR tree-optimization/12517
+       * gcc.c-torture/compile/pr12517.c: New test.
+
+       PR tree-optimization/12578
+       * gcc.c-torture/compile/pr12578.c: New test.
+
+       PR tree-optimization/12899
+       * gcc.c-torture/compile/pr12899.c: New test.
+
+       PR rtl-optimization/14692
+       * gcc.c-torture/compile/pr14692.c: New test.
+
+       PR tree-optimization/16461
+       * gcc.c-torture/compile/pr16461.c: New test.
+
 2004-08-06  Janne Blomqvist  <jblomqvi@cc.hut.fi>
 
        * gfortran.dg/getenv_1.f90: New test.

diff --git a/gcc/testsuite/gcc.c-torture/compile/pr12517.c b/gcc/testsuite/gcc.c-torture/compile/pr12517.c
new file mode 100644 (file)
index 0000000..af82db8
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr12517.c
@@ -0,0 +1,19 @@
+/*  PR tree-optimization/12517  */
+
+int f(void);
+void g(int);
+void h(int a, int b, int c)
+{
+    int i = f();
+
+    if (b && (i & 4))
+       g(i & 8 ? 0 : 1);
+    if (a) {
+       do {
+           if (i & 8)
+               g(0);
+           if (i & 4)
+               g(i ? 0 : 1);
+       } while (--c);
+    }
+}

diff --git a/gcc/testsuite/gcc.c-torture/compile/pr12578.c b/gcc/testsuite/gcc.c-torture/compile/pr12578.c
new file mode 100644 (file)
index 0000000..69afffe
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr12578.c
@@ -0,0 +1,15 @@
+/*  PR tree-optimization/12517  */
+
+void trivial_regexp_p(int *s, int len)
+{
+    while (--len) {
+       switch (*s++) {
+           case '\\':
+               switch (*s++) {
+                   case '|':
+                       ;
+               }
+       }
+    }
+}
+

diff --git a/gcc/testsuite/gcc.c-torture/compile/pr12899.c b/gcc/testsuite/gcc.c-torture/compile/pr12899.c
new file mode 100644 (file)
index 0000000..6bd4724
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr12899.c
@@ -0,0 +1,11 @@
+/*  PR tree-optimization/12899  */
+
+void
+bb_getopt_ulflags (char *s)
+{
+  for (;;)
+    if (s[1])
+      do
+       s++;
+      while (*s);
+}

diff --git a/gcc/testsuite/gcc.c-torture/compile/pr14692.c b/gcc/testsuite/gcc.c-torture/compile/pr14692.c
new file mode 100644 (file)
index 0000000..3f36b3c
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr14692.c
@@ -0,0 +1,14 @@
+/* PR rtl-optimization/14692  */
+
+void assert_failed (void);           
+void eidecpos_1 (unsigned char *pos, long n)
+{
+  int i;
+  for (i = 0; i < n; i++)
+    {
+      const unsigned char *dc_ptr1 = pos;
+      pos--;
+      if (dc_ptr1 - pos == 1)
+       assert_failed ();
+    }
+}

diff --git a/gcc/testsuite/gcc.c-torture/compile/pr16461.c b/gcc/testsuite/gcc.c-torture/compile/pr16461.c
new file mode 100644 (file)
index 0000000..b48eee2
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr16461.c
@@ -0,0 +1,14 @@
+/* PR tree-optimization/16461  */
+
+int DVDinput_read(int);
+int DVDReadBlocksPath(int offset, int block_count) {
+    int ret = 0, ret2 = 0;
+    for (;;) {
+       if (offset)
+           ret = DVDinput_read(block_count);
+       else 
+           ret2 = DVDinput_read(block_count);
+       break;
+    }
+    return ret + ret2;
+}