New test; for ia32 codegen bug.
authorZack Weinberg <zack@gcc.gnu.org>
Mon, 13 Mar 2000 17:41:35 +0000 (17:41 +0000)
committerZack Weinberg <zack@gcc.gnu.org>
Mon, 13 Mar 2000 17:41:35 +0000 (17:41 +0000)
Reported by Daniel Lauer <daniel@informatik.uni-bonn.de>

From-SVN: r32509

gcc/testsuite/gcc.c-torture/execute/20000313-1.c [new file with mode: 0644]

diff --git a/gcc/testsuite/gcc.c-torture/execute/20000313-1.c b/gcc/testsuite/gcc.c-torture/execute/20000313-1.c
new file mode 100644 (file)
index 0000000..5c9a556
--- /dev/null
@@ -0,0 +1,20 @@
+unsigned int buggy (unsigned int *param)
+{
+  unsigned int accu, zero = 0, borrow;
+  accu    = - *param;
+  borrow  = - (accu > zero);
+  *param += accu;
+  return borrow;
+}
+
+int main (void)
+{
+  unsigned int param  = 1;
+  unsigned int borrow = buggy (&param);
+
+  if (param != 0)
+    abort ();
+  if (borrow + 1 != 0)
+    abort ();
+  return 0;
+}