diff options
Diffstat (limited to 'gcc/tree-ssa-operands.c')
| -rw-r--r-- | gcc/tree-ssa-operands.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gcc/tree-ssa-operands.c b/gcc/tree-ssa-operands.c index 36cf6240567..96ed4ca5cb5 100644 --- a/gcc/tree-ssa-operands.c +++ b/gcc/tree-ssa-operands.c @@ -1643,16 +1643,18 @@ get_addr_dereference_operands (tree stmt, tree *addr, int flags, tree full_ref, /* If we are emitting debugging dumps, display a warning if PTR is an SSA_NAME with no flow-sensitive alias information. That means that we may need to compute - aliasing again. */ + aliasing again or that a propagation pass forgot to + update the alias information on the pointers. */ if (dump_file && TREE_CODE (ptr) == SSA_NAME - && pi == NULL) + && (pi == NULL + || pi->name_mem_tag == NULL_TREE)) { fprintf (dump_file, "NOTE: no flow-sensitive alias info for "); print_generic_expr (dump_file, ptr, dump_flags); fprintf (dump_file, " in "); - print_generic_stmt (dump_file, stmt, dump_flags); + print_generic_stmt (dump_file, stmt, 0); } if (TREE_CODE (ptr) == SSA_NAME) |