This adjusts dumping to show differences in TREE_OVERFLOW on
INTEGER_CSTs in the IL (to make the issue causing VRP differences
visible) and to also dump whether an abnormal SSA name is
a default def.
Bootstrapped and tested on x86_64-unknown-linux-gnu, applied.
Richard.
2013-10-11 Richard Biener <rguent...@suse.de>
* tree-pretty-print.c (dump_generic_node): Allow to dump
both (D) and (ab) for SSA_NAMEs. Mark INTEGER_CSTs with
(OVF) if TREE_OVERFLOW is set.
Index: gcc/tree-pretty-print.c
===================================================================
--- gcc/tree-pretty-print.c (revision 203356)
+++ gcc/tree-pretty-print.c (working copy)
@@ -1065,6 +1065,8 @@ dump_generic_node (pretty_printer *buffe
else
pp_double_int (buffer, tree_to_double_int (node),
TYPE_UNSIGNED (TREE_TYPE (node)));
+ if (TREE_OVERFLOW (node))
+ pp_string (buffer, "(OVF)");
break;
case REAL_CST:
@@ -2052,10 +2054,10 @@ dump_generic_node (pretty_printer *buffe
spc, flags, false);
pp_underscore (buffer);
pp_decimal_int (buffer, SSA_NAME_VERSION (node));
+ if (SSA_NAME_IS_DEFAULT_DEF (node))
+ pp_string (buffer, "(D)");
if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (node))
pp_string (buffer, "(ab)");
- else if (SSA_NAME_IS_DEFAULT_DEF (node))
- pp_string (buffer, "(D)");
break;
case WITH_SIZE_EXPR:
