re PR middle-end/67651 (Optimizer assumes nothing can reside at address 0 despite...

2015-09-21  Richard Biener  <rguenther@suse.de>

	PR middle-end/67651
	* rtlanal.c (nonzero_address_p): SYMBOL_REFs may have zero
	address with -fno-delete-null-pointer-checks.

From-SVN: r227968

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ce9a20f0eb12e5f0694a74a26bba4193541526f6..246237b78c6440c77b355745e8d181a2dbf14a9d 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2015-09-21  Richard Biener  <rguenther@suse.de>
+
+       PR middle-end/67651
+       * rtlanal.c (nonzero_address_p): SYMBOL_REFs may have zero
+       address with -fno-delete-null-pointer-checks.
+
 2015-09-21  Alan Lawrence  <alan.lawrence@arm.com>
 
        * config/rs6000/altivec.md (reduc_splus_<mode>): Rename to...

diff --git a/gcc/rtlanal.c b/gcc/rtlanal.c
index b1be4db0dc1abb065d1cf94ad2049b11153be7e3..815fc49800f7222796c990bee2c9fe502b3824a8 100644 (file)
--- a/gcc/rtlanal.c
+++ b/gcc/rtlanal.c
@@ -723,7 +723,7 @@ nonzero_address_p (const_rtx x)
   switch (code)
     {
     case SYMBOL_REF:
-      return !SYMBOL_REF_WEAK (x);
+      return flag_delete_null_pointer_checks && !SYMBOL_REF_WEAK (x);
 
     case LABEL_REF:
       return true;