Lines Matching refs:BufV
275 SVal BufV, SVal SizeV, QualType SizeTy);
279 CheckerContext &C, ProgramStateRef S, ConstCFGElementRef Elem, SVal BufV);
284 CheckerContext &C, ProgramStateRef S, ConstCFGElementRef Elem, SVal BufV);
290 SVal BufV);
1214 ConstCFGElementRef Elem, SVal BufV, SVal SizeV, QualType SizeTy) { in invalidateDestinationBufferBySize() argument
1216 [&C, S, BufTy = BufE->getType(), BufV, SizeV, in invalidateDestinationBufferBySize()
1221 isFirstBufInBound(C, S, BufV, BufTy, SizeV, SizeTy)) { in invalidateDestinationBufferBySize()
1229 return invalidateBufferAux(C, S, Elem, BufV, InvalidationTraitOperations); in invalidateDestinationBufferBySize()
1234 CheckerContext &C, ProgramStateRef S, ConstCFGElementRef Elem, SVal BufV) { in invalidateDestinationBufferAlwaysEscapeSuperRegion() argument
1240 return invalidateBufferAux(C, S, Elem, BufV, InvalidationTraitOperations); in invalidateDestinationBufferAlwaysEscapeSuperRegion()
1244 CheckerContext &C, ProgramStateRef S, ConstCFGElementRef Elem, SVal BufV) { in invalidateDestinationBufferNeverOverflows() argument
1254 return invalidateBufferAux(C, S, Elem, BufV, InvalidationTraitOperations); in invalidateDestinationBufferNeverOverflows()
1260 SVal BufV) { in invalidateSourceBuffer() argument
1271 return invalidateBufferAux(C, S, Elem, BufV, InvalidationTraitOperations); in invalidateSourceBuffer()