Home | History | Annotate | Download | only in Checkers

Lines Matching refs:blockCount

668                                                     C.blockCount());
818 return state->invalidateRegions(R, E, C.blockCount(), LCtx,
946 C.blockCount());
1080 SVal CmpV = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount());
1190 result = C.getSValBuilder().conjureSymbolVal(0, CE, LCtx, C.blockCount());
1213 result = C.getSValBuilder().conjureSymbolVal(0, CE, LCtx, C.blockCount());
1590 Result = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount());
1747 SVal resultVal = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount());