Lines Matching refs:blockCount

756                                                     C.blockCount());  in getCStringLengthForRegion()
982     return state->invalidateRegions(R, E, C.blockCount(), LCtx,  in InvalidateBuffer()
1102           C.getLocationContext(), C.blockCount());  in memsetAux()
1197                                                           C.blockCount());  in evalCopyCommon()
1340       SVal CmpV = Builder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());  in evalMemcmp()
1443                                                    C.blockCount());  in evalstrLengthCommon()
1467                                                    C.blockCount());  in evalstrLengthCommon()
1911       Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());  in evalStrcpyCommon()
2008       C.blockCount());  in evalStrcmpCommon()
2116           C.blockCount()),  in evalStrsep()
2121     Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());  in evalStrsep()
2161   SVal ResultVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());  in evalStdCopyCommon()