Lines Matching refs:blockCount
734 C.blockCount()); in getCStringLengthForRegion()
961 return state->invalidateRegions(R, E, C.blockCount(), LCtx, in InvalidateBuffer()
1077 C.getLocationContext(), C.blockCount()); in memsetAux()
1174 C.blockCount()); in evalCopyCommon()
1316 C.blockCount()); in evalMemcmp()
1427 C.blockCount()); in evalstrLengthCommon()
1451 C.blockCount()); in evalstrLengthCommon()
1875 Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStrcpyCommon()
1982 C.blockCount()); in evalStrcmpCommon()
2092 C.blockCount()), in evalStrsep()
2097 Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStrsep()
2137 SVal ResultVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStdCopyCommon()