------- Comment #5 from rguenth at gcc dot gnu dot org 2008-01-04 16:59 ------- The plain DECL does not work because
1) we don't do the storetmp
2) can_PRE_operation and can_value_number_operation return false (so we
do not enter a into EXP_GEN
3) create_value_expr_from cannot handle it
most of the rest of PRE looks like it may handle DECLs, but if you fix the
above, vn_lookup_with_vuses still not finds VH.10, because it is not ANTIC_IN.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32964
