re PR middle-end/39701 (Revision 145846 caused many test failures)

2009-04-10  Paolo Bonzini  <bonzini@gnu.org>

	PR middle-end/39701
        * fold-const.c (tree_single_nonzero_warnv_p): Pass non-static
        variables as non-NULL even with -fdelete-null-pointer-checks.

From-SVN: r145927

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 62a1c433b60f96c2ebb8988defeeb75b53bc655f..a77df07a6af38d86e1c6d0f310061ef38bbba7fe 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2009-04-10  Paolo Bonzini  <bonzini@gnu.org>
+
+       PR middle-end/39701
+        * fold-const.c (tree_single_nonzero_warnv_p): Pass non-static
+        variables as non-NULL even with -fdelete-null-pointer-checks.
+
 2009-04-10  H.J. Lu  <hongjiu.lu@intel.com>
 
        * config/rs6000/darwin-vecsave.asm: Remove extra "*/".

diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index 821e581348a88e2155fe2fa5704141678ebf7248..dd2f62d4a4b4b44ab4b2387ae876cdb438c91205 100644 (file)
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -15017,8 +15017,12 @@ tree_single_nonzero_warnv_p (tree t, bool *strict_overflow_p)
        if (!base)
          return false;
 
-       /* Weak declarations may link to NULL.  */
-       if (DECL_P (base) && flag_delete_null_pointer_checks)
+       /* Weak declarations may link to NULL.  Other things may also be NULL
+          so protect with -fdelete-null-pointer-checks; but not variables
+          allocated on the stack.  */
+       if (DECL_P (base)
+           && (flag_delete_null_pointer_checks
+               || (TREE_CODE (base) == VAR_DECL && !TREE_STATIC (base))))
          return !VAR_OR_FUNCTION_DECL_P (base) || !DECL_WEAK (base);
 
        /* Constants are never weak.  */