92 	   bbcc->cxt->base_number + bbcc->rec_index,  in CLG_()
94 	   bbcc->rec_index);  in CLG_()
341 static HChar* mangled_cxt(const Context* cxt, Int rec_index)  in mangled_cxt()  argument
354     if (rec_index >0)  in mangled_cxt()
355 	p += VG_(sprintf)(mangled+p, "'%d", rec_index +1);  in mangled_cxt()
375 static BBCC* clone_bbcc(BBCC* orig, Context* cxt, Int rec_index)  in clone_bbcc()  argument
380 	     bb_addr(orig->bb), rec_index, cxt->fn[0]->name);  in clone_bbcc()
384     if (rec_index == 0) {  in clone_bbcc()
390       bbcc->rec_index = 0;  in clone_bbcc()
403       CLG_ASSERT(cxt->fn[0]->separate_recursions > rec_index);  in clone_bbcc()
404       CLG_ASSERT(orig->rec_array[rec_index] ==0);  in clone_bbcc()
407       bbcc->rec_index = rec_index;  in clone_bbcc()
410       bbcc->rec_array[rec_index] = bbcc;  in clone_bbcc()
421     HChar *mangled_orig = mangled_cxt(orig->cxt, orig->rec_index);  in clone_bbcc()
422     HChar *mangled_bbcc = mangled_cxt(bbcc->cxt, bbcc->rec_index);  in clone_bbcc()
426 	     orig, rec_index, bb_addr(orig->bb),  in clone_bbcc()
458      bbcc->rec_index = 0;  in CLG_()
858     CLG_ASSERT(bbcc->rec_array[bbcc->rec_index] == bbcc);  in CLG_()
913     CLG_(print_cxt)(-8, CLG_(current_state).cxt, bbcc->rec_index);  in CLG_()