tree-cfg.c (verify_expr): Recurse again for invariant addresses.
authorRichard Guenther <rguenther@suse.de>
Sat, 22 Mar 2008 19:50:48 +0000 (19:50 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Sat, 22 Mar 2008 19:50:48 +0000 (19:50 +0000)
commit1b738915e844455ed10082d9b6edab47eb7a9fd8
treec9b8763f12945bb2583d2c8852e671a6703b967f
parent18b526e806ab64557cd575ff407fcb1da16ee8fd
tree-cfg.c (verify_expr): Recurse again for invariant addresses.

2008-03-22  Richard Guenther  <rguenther@suse.de>

* tree-cfg.c (verify_expr): Recurse again for invariant addresses.
For PHI nodes verify the address is invariant.
* tree-ssa-ccp.c (ccp_decl_initial_min_invariant): Remove.
(get_symbol_constant_value): Use is_gimple_min_invariant.
(maybe_fold_stmt_indirect): Likewise.

From-SVN: r133453
gcc/ChangeLog
gcc/tree-cfg.c
gcc/tree-ssa-ccp.c