From: Andrew Pinski <pinskia@gcc.gnu.org>
Date: Wed, 20 Dec 2006 05:00:50 +0000 (-0800)
Subject: re PR tree-optimization/30045 (ICE in nonnull_arg_p with the CHAIN decl)
X-Git-Tag: releases/gcc-4.3.0~7898
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=7954dc21214b87ad8b3cf26994af00f968fcba78;p=thirdparty%2Fgcc.git

re PR tree-optimization/30045 (ICE in nonnull_arg_p with the CHAIN decl)

2006-12-19  Andrew Pinski  <pinskia@gmail.com>

        PR tree-opt/30045
        * tree-vrp.c (nonnull_arg_p): Treat the static decl as always
        non null.

2006-12-19  Andrew Pinski  <pinskia@gmail.com>

        PR tree-opt/30045
        * gcc.dg/pr30045.c: New test

From-SVN: r120069
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d69245896c08..a5aadaf18f52 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2006-12-19  Andrew Pinski  <pinskia@gmail.com>
+
+	PR tree-opt/30045
+	* tree-vrp.c (nonnull_arg_p): Treat the static decl as always
+	non null.
+
 2006-12-20  Ben Elliston  <bje@au.ibm.com>
 
 	* doc/invoke.texi (Optimize Options): Typo fix.
@@ -18,8 +24,8 @@
 2006-12-19  Paolo Bonzini  <bonzini@gnu.org>
 
 	PR bootstrap/29544
-        * gcc/Makefile.in (STAGE1_CHECKING): Rename to...
-        (STAGE1_CHECKING_CFLAGS): ... this.
+	* gcc/Makefile.in (STAGE1_CHECKING): Rename to...
+	(STAGE1_CHECKING_CFLAGS): ... this.
 
 2006-12-18  Andrew Pinski  <pinskia@gmail.com>
 
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 538cba6cac9c..2f5d6b7ae36c 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2006-12-19  Andrew Pinski  <pinskia@gmail.com>
+
+	PR tree-opt/30045
+	* gcc.dg/pr30045.c: New test.
+
 2006-12-20  Ben Elliston  <bje@au.ibm.com>
 
 	* gcc.dg/20020312-2.c: Add a case for __SPU__.
diff --git a/gcc/testsuite/gcc.dg/pr30045.c b/gcc/testsuite/gcc.dg/pr30045.c
new file mode 100644
index 000000000000..6dd22a1df7ab
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr30045.c
@@ -0,0 +1,15 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fno-inline" }  */
+int f(int *a)
+{
+  int  __attribute__((nonnull(1))) g(int *b)
+  {
+    int **c = &a;
+    if (b)
+      return *a + **c;
+    return *b;
+  }
+  if (a)
+    return g(a);
+  return 1;
+}
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index 483607ec5544..302a6201bf04 100644
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -102,6 +102,10 @@ nonnull_arg_p (tree arg)
 
   gcc_assert (TREE_CODE (arg) == PARM_DECL && POINTER_TYPE_P (TREE_TYPE (arg)));
 
+  /* The static chain decl is always non null.  */
+  if (arg == cfun->static_chain_decl)
+    return true;
+
   fntype = TREE_TYPE (current_function_decl);
   attrs = lookup_attribute ("nonnull", TYPE_ATTRIBUTES (fntype));