Home | History | Annotate | Download | only in Checkers

Lines Matching refs:blockCount

689                                                     C.blockCount());
939 return state->invalidateRegions(R, E, C.blockCount(), LCtx,
1073 C.blockCount());
1215 C.blockCount());
1326 C.blockCount());
1350 C.blockCount());
1734 Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());
1841 C.blockCount());
1948 C.blockCount()));
1952 Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());
1992 SVal ResultVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());