diff options
| author | Richard Guenther <rguenther@suse.de> | 2007-11-23 09:49:29 +0000 |
|---|---|---|
| committer | Richard Guenther <rguenther@suse.de> | 2007-11-23 09:49:29 +0000 |
| commit | 7b146627be8c197c1e29caaea4ea232dce8966b4 (patch) | |
| tree | 4af788d35b43ea02b6e76826f2bd3b4601bf538d /gcc/tree-ssa-operands.c | |
| parent | c7fa803ebbf0ba6b14207baf675e65a0b8c24f6e (diff) | |
2007-11-23 Richard Guenther <rguenther@suse.de>
* tree-ssa-copy.c (may_propagate_copy): Remove redundant
checks.
(merge_alias_info): Do verification only if checking is
enabled. Merge flow-sensitive alias information in simple
cases.
* tree-ssa-operands.c (get_addr_dereference_operands): Also
complain about missing NMTs.
* gcc.dg/tree-ssa/alias-17.c: New testcase.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@130370 138bc75d-0d04-0410-961f-82ee72b054a4
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) |