re PR rtl-optimization/13260 (Incorrect optimisation of loop termination condition)

2003-12-04  Stuart Menefy <stuart.menefy@st.com>
	    J"orn Rennecke <joern.rennecke@superh.com>

	PR optimization/13260
	* gcc.c-torture/execute/20031204-1.c: New test.

Co-Authored-By: J"orn Rennecke <joern.rennecke@superh.com>
From-SVN: r74297

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 55a94c95bead0bf12fc00fa27e93c7bbefe697b6..ff1d874ce2c35d97704b90d15bb249e5cdf3fd97 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2003-12-04  Stuart Menefy <stuart.menefy@st.com>
+           J"orn Rennecke <joern.rennecke@superh.com>
+
+       PR optimization/13260
+       * gcc.c-torture/execute/20031204-1.c: New test.
+
 2003-12-03  Mark Mitchell  <mark@codesourcery.com>
 
        PR c++/9127

diff --git a/gcc/testsuite/gcc.c-torture/execute/20031204-1.c b/gcc/testsuite/gcc.c-torture/execute/20031204-1.c
new file mode 100644 (file)
index 0000000..a9c2f01
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/20031204-1.c
@@ -0,0 +1,49 @@
+/* PR optimization/13260 */
+
+#include <string.h>
+
+typedef unsigned long u32;
+
+u32 in_aton(const char* x)
+{
+  return 0x0a0b0c0d;
+}
+
+u32 root_nfs_parse_addr(char *name)
+{
+ u32 addr;
+ int octets = 0;
+ char *cp, *cq;
+
+ cp = cq = name;
+ while (octets < 4) {
+  while (*cp >= '0' && *cp <= '9')
+   cp++;
+  if (cp == cq || cp - cq > 3)
+   break;
+  if (*cp == '.' || octets == 3)
+   octets++;
+  if (octets < 4)
+   cp++;
+  cq = cp;
+ }
+
+ if (octets == 4 && (*cp == ':' || *cp == '\0')) {
+  if (*cp == ':')
+   *cp++ = '\0';
+  addr = in_aton(name);
+  strcpy(name, cp);
+ } else
+  addr = (-1);
+
+ return addr;
+}
+
+int
+main()
+{
+  static char addr[] = "10.11.12.13:/hello";
+  u32 result = root_nfs_parse_addr(addr);
+  if (result != 0x0a0b0c0d) { abort(); }
+  return 0;
+}