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());