+void pto_print_pto (ir_node *node)
+{
+ pto_t *pto = get_node_pto (node);
+
+ fprintf (stdout, "pto (%s[%li]) = ", OPNAME (node), OPNUM (node));
+ if (NULL != pto) {
+ qset_print (pto->values, stdout);
+ } else {
+ fprintf (stdout, "NULL");
+ }
+}
+