diff options
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 3 |
2 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1d66177..7fd7409 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 e44d85d..7926d53 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; |