Lines Matching refs:rec_index
92 bbcc->cxt->base_number + bbcc->rec_index,
94 bbcc->rec_index);
265 * cxt, rec_index, rec_array, next_bbcc, next1, next2
341 static Char* mangled_cxt(Context* cxt, int rec_index)
349 if (rec_index >0)
350 p += VG_(sprintf)(mangled+p, "'%d", rec_index +1);
365 * rec_index == 0: clone from a BBCC with differing tid/cxt
367 * rec_index >0 : clone from a BBCC with same tid/cxt and rec_index 0
370 static BBCC* clone_bbcc(BBCC* orig, Context* cxt, Int rec_index)
375 bb_addr(orig->bb), rec_index, cxt->fn[0]->name);
379 if (rec_index == 0) {
385 bbcc->rec_index = 0;
398 CLG_ASSERT(cxt->fn[0]->separate_recursions > rec_index);
399 CLG_ASSERT(orig->rec_array[rec_index] ==0);
402 bbcc->rec_index = rec_index;
405 bbcc->rec_array[rec_index] = bbcc;
419 orig, rec_index, bb_addr(orig->bb),
420 mangled_cxt(orig->cxt, orig->rec_index),
421 mangled_cxt(bbcc->cxt, bbcc->rec_index));
449 bbcc->rec_index = 0;
836 CLG_ASSERT(bbcc->rec_array[bbcc->rec_index] == bbcc);
886 CLG_(print_cxt)(-8, CLG_(current_state).cxt, bbcc->rec_index);
