Lines Matching refs:blockCount
846 C.blockCount()); in getCStringLengthForRegion()
1072 return state->invalidateRegions(R, E, C.blockCount(), LCtx, in InvalidateBuffer()
1189 C.getLocationContext(), C.blockCount()); in memsetAux()
1284 C.blockCount()); in evalCopyCommon()
1434 SVal CmpV = Builder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalMemcmp()
1537 C.blockCount()); in evalstrLengthCommon()
1561 C.blockCount()); in evalstrLengthCommon()
2006 Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStrcpyCommon()
2103 C.blockCount()); in evalStrcmpCommon()
2211 C.blockCount()), in evalStrsep()
2216 Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStrsep()
2256 SVal ResultVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStdCopyCommon()