diff options
Diffstat (limited to 'gcc/tree-ssa-structalias.c')
| -rw-r--r-- | gcc/tree-ssa-structalias.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c index cb45a8c..f715ce7 100644 --- a/gcc/tree-ssa-structalias.c +++ b/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; |