666 			     enum num_t d_t, struct range old, struct range new,  in print_refinement()  argument
671 	printf(" (%s)DST_OLD=", t_str(d_t));  in print_refinement()
672 	print_range(d_t, old, "");  in print_refinement()
673 	printf(" (%s)DST_NEW=", t_str(d_t));  in print_refinement()
674 	print_range(d_t, new, "\n");  in print_refinement()
679 	enum num_t d_t, s_t;  in reg_state_refine()  local
685 	for (d_t = first_t; d_t <= last_t; d_t++) {  in reg_state_refine()
686 		old = r->r[d_t];  in reg_state_refine()
687 		r->r[d_t] = range_refine(d_t, r->r[d_t], t, x);  in reg_state_refine()
688 		if (!range_eq(r->r[d_t], old)) {  in reg_state_refine()
691 				print_refinement(t, x, d_t, old, r->r[d_t], ctx);  in reg_state_refine()
697 		for (d_t = first_t; d_t <= last_t; d_t++) {  in reg_state_refine()
698 			old = r->r[d_t];  in reg_state_refine()
699 			r->r[d_t] = range_refine(d_t, r->r[d_t], s_t, r->r[s_t]);  in reg_state_refine()
700 			if (!range_eq(r->r[d_t], old)) {  in reg_state_refine()
703 					print_refinement(s_t, r->r[s_t], d_t, old, r->r[d_t], ctx);  in reg_state_refine()