Lines Matching full:lc_extras
444 // when lc_chunk was build : lc_chunks (and lc_extras) stays valid as
452 // lc_extras[i] describe the same block).
453 static LC_Extra* lc_extras;
470 // stack is an index into lc_chunks and lc_extras. Its size is
521 ex = &(lc_extras[ch_no]);
541 if (!lc_extras[ch_no].pending) {
548 tl_assert(!lc_extras[ch_no].pending);
549 lc_extras[ch_no].pending = True;
563 tl_assert(lc_extras[*ret].pending);
564 lc_extras[*ret].pending = False;
650 lc_extras[clique].IorC.indirect_szB += ch->szB;
651 lc_extras[clique].IorC.indirect_szB += ex->IorC.indirect_szB;
827 is_prior_definite = ( Possible != lc_extras[top].state );
1010 LC_Extra* ex = &(lc_extras)[i];
1181 LC_Extra* ind_ex = &(lc_extras)[ind];
1212 if (lr_table == NULL || lc_chunks == NULL || lc_extras == NULL) {
1236 LC_Extra* ex = &(lc_extras)[i];
1442 // Initialise lc_extras.
1443 if (lc_extras) {
1444 VG_(free)(lc_extras);
1445 lc_extras = NULL;
1447 lc_extras = VG_(malloc)( "mc.dml.2", lc_n_chunks * sizeof(LC_Extra) );
1449 lc_extras[i].state = Unreached;
1450 lc_extras[i].pending = False;
1451 lc_extras[i].IorC.indirect_szB = 0;
1492 LC_Extra* ex = &(lc_extras[i]);
1517 // lc_chunks, lc_extras, lr_array and lr_table are kept (needed if user
