Lines Matching refs:blockCount
822 C.blockCount()); in getCStringLengthForRegion()
1048 return state->invalidateRegions(R, E, C.blockCount(), LCtx, in InvalidateBuffer()
1165 C.getLocationContext(), C.blockCount()); in memsetAux()
1260 C.blockCount()); in evalCopyCommon()
1408 SVal CmpV = Builder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalMemcmp()
1511 C.blockCount()); in evalstrLengthCommon()
1535 C.blockCount()); in evalstrLengthCommon()
1979 Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStrcpyCommon()
2076 C.blockCount()); in evalStrcmpCommon()
2184 C.blockCount()), in evalStrsep()
2189 Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStrsep()
2229 SVal ResultVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStdCopyCommon()