Lines Matching full:lc_extras
451 // when lc_chunk was build : lc_chunks (and lc_extras) stays valid as
459 // lc_extras[i] describe the same block).
460 static LC_Extra* lc_extras;
483 // stack is an index into lc_chunks and lc_extras. Its size is
544 ex = &(lc_extras[ch_no]);
564 if (!lc_extras[ch_no].pending) {
571 tl_assert(!lc_extras[ch_no].pending);
572 lc_extras[ch_no].pending = True;
586 tl_assert(lc_extras[*ret].pending);
587 lc_extras[*ret].pending = False;
983 lc_extras[clique].IorC.indirect_szB += ch->szB;
984 lc_extras[clique].IorC.indirect_szB += ex->IorC.indirect_szB;
1185 is_prior_definite = ( Possible != lc_extras[top].state );
1369 LC_Extra* ex = &(lc_extras)[i];
1577 LC_Extra* ind_ex = &(lc_extras)[ind];
1616 if (lr_table == NULL || lc_chunks == NULL || lc_extras == NULL) {
1655 LC_Extra* ex = &(lc_extras)[i];
1879 // Initialise lc_extras.
1880 if (lc_extras) {
1881 VG_(free)(lc_extras);
1882 lc_extras = NULL;
1884 lc_extras = VG_(malloc)( "mc.dml.2", lc_n_chunks * sizeof(LC_Extra) );
1886 lc_extras[i].state = Unreached;
1887 lc_extras[i].pending = False;
1888 lc_extras[i].heuristic = LchNone;
1889 lc_extras[i].IorC.indirect_szB = 0;
1933 LC_Extra* ex = &(lc_extras[i]);
1958 // lc_chunks, lc_extras, lr_array and lr_table are kept (needed if user
