From: Richard Biener <rguenther@suse.de>
Date: Tue, 24 Sep 2013 10:37:28 +0000 (+0000)
Subject: tree-vrp.c (vrp_finalize): Check for SSA name presence.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=583e8bf5d0b400730b2dec40a6989523fc420946;p=gcc.git

tree-vrp.c (vrp_finalize): Check for SSA name presence.

2013-09-24  Richard Biener  <rguenther@suse.de>

	* tree-vrp.c (vrp_finalize): Check for SSA name presence.

From-SVN: r202863
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 1d66177e86a..7fd7409ddbc 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2013-09-24  Richard Biener  <rguenther@suse.de>
+
+	* tree-vrp.c (vrp_finalize): Check for SSA name presence.
+
 2013-09-23  Michael Meissner  <meissner@linux.vnet.ibm.com>
 
 	* config/rs6000/rs6000.c (rs6000_vector_reload): Delete, combine
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index e44d85d1bd5..7926d53a9c7 100644
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -9455,7 +9455,8 @@ vrp_finalize (void)
     {
       tree name = ssa_name (i);
 
-      if (POINTER_TYPE_P (TREE_TYPE (name))
+      if (!name
+	  || POINTER_TYPE_P (TREE_TYPE (name))
           || (vr_value[i]->type == VR_VARYING)
           || (vr_value[i]->type == VR_UNDEFINED))
         continue;