From c4e2c79ee42a0fef895b3e3672a8c34561a034a3 Mon Sep 17 00:00:00 2001
From: Jakub Jelinek <jakub@redhat.com>
Date: Thu, 8 Nov 2007 14:07:54 +0100
Subject: [PATCH] re PR tree-optimization/32575 (With -ftree-vrp miscompiles a
 single line of code in SQLite)

	PR tree-optimization/32575
	* gcc.c-torture/execute/20071108-1.c: New test.

From-SVN: r129998
---
 gcc/testsuite/ChangeLog                       |  5 ++
 .../gcc.c-torture/execute/20071108-1.c        | 53 +++++++++++++++++++
 2 files changed, 58 insertions(+)
 create mode 100644 gcc/testsuite/gcc.c-torture/execute/20071108-1.c

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index fdbbb6bbe4d..676fb88bd7b 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2007-11-08  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/32575
+	* gcc.c-torture/execute/20071108-1.c: New test.
+
 2007-11-08  Daniel Jacobowitz  <dan@codesourcery.com>
 
 	* g++.dg/opt/anchor1.C: New.
diff --git a/gcc/testsuite/gcc.c-torture/execute/20071108-1.c b/gcc/testsuite/gcc.c-torture/execute/20071108-1.c
new file mode 100644
index 00000000000..f5460579b6b
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/20071108-1.c
@@ -0,0 +1,53 @@
+/* PR tree-optimization/32575 */
+
+extern void abort (void);
+
+struct S
+{
+  void *s1, *s2;
+  unsigned char s3, s4, s5;
+};
+
+__attribute__ ((noinline))
+void *
+foo (void)
+{
+  static struct S s;
+  return &s;
+}
+
+__attribute__ ((noinline))
+void *
+bar ()
+{
+  return (void *) 0;
+}
+
+__attribute__ ((noinline))
+struct S *
+test (void *a, void *b)
+{
+  struct S *p, q;
+  p = foo ();
+  if (p == 0)
+    {
+      p = &q;
+      __builtin_memset (p, 0, sizeof (*p));
+    }
+  p->s1 = a;
+  p->s2 = b;
+  if (p == &q)
+    p = 0;
+  return p;
+}
+
+int
+main (void)
+{
+  int a;
+  int b;
+  struct S *z = test ((void *) &a, (void *) &b);
+  if (z == 0 || z->s1 != (void *) &a || z->s2 != (void *) &b || z->s3 || z->s4)
+    abort ();
+  return 0;
+}