Ranger_cache::range_of_expr should handle no context.

range_of_expr is suppose to return a global value if there is no context
and instead it was crashing.

	* gimple-range-cache.cc (ranger_cache::range_of_expr): Handle
	NULL statement.

diff --git a/gcc/gimple-range-cache.cc b/gcc/gimple-range-cache.cc
index 02af482838deb9e077de41b9f3b92d92e042236e..f3aa256acb0fb1f7589a27a7d97282b3bfa8f969 100644 (file)
--- a/gcc/gimple-range-cache.cc
+++ b/gcc/gimple-range-cache.cc
@@ -1274,19 +1274,21 @@ bool
 ranger_cache::range_of_expr (vrange &r, tree name, gimple *stmt)
 {
   if (!gimple_range_ssa_p (name))
+    get_tree_range (r, name, stmt);
+  /* If no context is provided, pick up the global value.  */
+  else if (!stmt)
+    get_global_range (r, name);
+  else
     {
-      get_tree_range (r, name, stmt);
-      return true;
-    }
-
-  basic_block bb = gimple_bb (stmt);
-  gimple *def_stmt = SSA_NAME_DEF_STMT (name);
-  basic_block def_bb = gimple_bb (def_stmt);
+      basic_block bb = gimple_bb (stmt);
+      gimple *def_stmt = SSA_NAME_DEF_STMT (name);
+      basic_block def_bb = gimple_bb (def_stmt);
 
-  if (bb == def_bb)
-    range_of_def (r, name, bb);
-  else
-    entry_range (r, name, bb, RFD_NONE);
+      if (bb == def_bb)
+       range_of_def (r, name, bb);
+      else
+       entry_range (r, name, bb, RFD_NONE);
+    }
   return true;
 }