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()