From f36eb2af965e51335ea095c45df13f0181bd21f3 Mon Sep 17 00:00:00 2001
From: Hans-Peter Nilsson <hp@axis.com>
Date: Thu, 20 May 2010 06:44:45 +0000
Subject: re PR target/44202 (Missing compare after add)

	PR target/44202
	* gcc.c-torture/execute/pr44202-1.c: New test.

From-SVN: r159611
---
 gcc/testsuite/ChangeLog                         |  5 +++++
 gcc/testsuite/gcc.c-torture/execute/pr44202-1.c | 30 +++++++++++++++++++++++++
 2 files changed, 35 insertions(+)
 create mode 100644 gcc/testsuite/gcc.c-torture/execute/pr44202-1.c

(limited to 'gcc')

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a3658db..92eb3cf 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2010-05-20  Hans-Peter Nilsson  <hp@axis.com>
+
+	PR target/44202
+	* gcc.c-torture/execute/pr44202-1.c: New test.
+
 2010-05-19 Jerry DeLisle <jvdelisle@gcc.gnu.org>
 
 	PR fortran/43851
diff --git a/gcc/testsuite/gcc.c-torture/execute/pr44202-1.c b/gcc/testsuite/gcc.c-torture/execute/pr44202-1.c
new file mode 100644
index 0000000..37e84f2
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/pr44202-1.c
@@ -0,0 +1,30 @@
+extern __attribute__ ((__noreturn__)) void exit(int);
+extern __attribute__ ((__noreturn__)) void abort(void);
+__attribute__ ((__noinline__))
+int
+add512(int a, int *b)
+{
+  int c = a + 512;
+  if (c != 0)
+    *b = a;
+  return c;
+}
+
+__attribute__ ((__noinline__))
+int
+add513(int a, int *b)
+{
+  int c = a + 513;
+  if (c == 0)
+    *b = a;
+  return c;
+}
+
+int main(void)
+{
+  int b0 = -1;
+  int b1 = -1;
+  if (add512(-512, &b0) != 0 || b0 != -1 || add513(-513, &b1) != 0 || b1 != -513)
+    abort ();
+  exit (0);
+}
-- 
cgit v1.1