Home | History | Annotate | Download | only in exp-sgcheck

Lines Matching refs:depth

476       UWord       depth; /* depth of stack at time block was pushed */
526 UWord depth
540 VG_(printf)("\ndepth = %lu\n", depth);
555 nyu->depth = depth;
945 static void show_Invar( HChar* buf, Word nBuf, Invar* inv, Word depth )
965 depth - inv->Inv.StackN.nd->depth );
1209 Word depth; /* 0 for outermost; increases inwards */
1819 show_Invar( bufE, sizeof(bufE)-1, inv, frame->depth );
1822 show_Invar( bufA, sizeof(bufA)-1, &new_inv, frame->depth );
1860 tl_assert(caller->outer->depth >= 0);
1861 tl_assert(1 + caller->outer->depth == caller->depth);
1863 tl_assert(caller->depth == 0);
1878 caller->depth /* stack depth at which
1908 callee->depth = 1 + caller->depth;
1927 { Word d = callee->depth;
2012 Word d = innermost->depth;
2402 /* ->depth, ->outer, ->inner are 0, NULL, NULL */
2442 tl_assert(frame->depth == 0);
2445 if (frame2) tl_assert(1 + frame->depth == frame2->depth);