92 	   bbcc->cxt->base_number + bbcc->rec_index,  in CLG_()
94 	   bbcc->rec_index);  in CLG_()
341 static Char* mangled_cxt(Context* cxt, int rec_index)  in mangled_cxt()  argument
349     if (rec_index >0)  in mangled_cxt()
350 	p += VG_(sprintf)(mangled+p, "'%d", rec_index +1);  in mangled_cxt()
370 static BBCC* clone_bbcc(BBCC* orig, Context* cxt, Int rec_index)  in clone_bbcc()  argument
375 	     bb_addr(orig->bb), rec_index, cxt->fn[0]->name);  in clone_bbcc()
379     if (rec_index == 0) {  in clone_bbcc()
385       bbcc->rec_index = 0;  in clone_bbcc()
398       CLG_ASSERT(cxt->fn[0]->separate_recursions > rec_index);  in clone_bbcc()
399       CLG_ASSERT(orig->rec_array[rec_index] ==0);  in clone_bbcc()
402       bbcc->rec_index = rec_index;  in clone_bbcc()
405       bbcc->rec_array[rec_index] = bbcc;  in clone_bbcc()
419 	     orig, rec_index, bb_addr(orig->bb),  in clone_bbcc()
420 	     mangled_cxt(orig->cxt, orig->rec_index),  in clone_bbcc()
421 	     mangled_cxt(bbcc->cxt, bbcc->rec_index));  in clone_bbcc()
449      bbcc->rec_index = 0;  in CLG_()
836     CLG_ASSERT(bbcc->rec_array[bbcc->rec_index] == bbcc);  in CLG_()
886     CLG_(print_cxt)(-8, CLG_(current_state).cxt, bbcc->rec_index);  in CLG_()