tree-ssa-structalias.c (need_to_solve): Need to check for preds, too.

2005-07-16  Daniel Berlin  <dberlin@dberlin.org>

	* tree-ssa-structalias.c (need_to_solve): Need to check for preds,
	too.

From-SVN: r102100

gcc/ChangeLog

+2005-07-16  Daniel Berlin  <dberlin@dberlin.org>
+
+	* tree-ssa-structalias.c (need_to_solve): Need to check for preds,
+	too.
+
 2005-07-16  Eric Botcazou <ebotcazou@libertysurf.fr>
 
 	* doc/install.texi (*-*-solaris2*): Document recommended version

gcc/tree-ssa-structalias.c

@@ -3494,7 +3494,8 @@ init_base_vars (void)
 /* Return true if we actually need to solve the constraint graph in order to
    get our points-to sets.  This is false when, for example, no addresses are
    taken other than special vars, or all points-to sets with members already
-   contain the anything variable.  */
+   contain the anything variable and there are no predecessors for other
+   sets.  */
 
 static bool
 need_to_solve (void)
@@ -3516,6 +3517,9 @@ need_to_solve (void)
 	  && !bitmap_empty_p (v->solution) 
 	  && !bitmap_bit_p (v->solution, anything_id))
 	found_non_anything = true;
+      else if (bitmap_empty_p (v->solution)
+	       && VEC_length (constraint_edge_t, graph->preds[v->id]) != 0)
+	found_non_anything = true;
 
       if (found_address_taken && found_non_anything)
 	return true;