Lines Matching defs:BufE

275                                     const Expr *BufE, SVal BufV, SVal SizeV,
280       CheckerContext &C, ProgramStateRef S, const Expr *BufE, SVal BufV);
285       CheckerContext &C, ProgramStateRef S, const Expr *BufE, SVal BufV);
290                                                 const Expr *BufE, SVal BufV);
1207     CheckerContext &C, ProgramStateRef S, const Expr *BufE, SVal BufV,
1210       [&C, S, BufTy = BufE->getType(), BufV, SizeV,
1223   return invalidateBufferAux(C, S, BufE, BufV, InvalidationTraitOperations);
1228     CheckerContext &C, ProgramStateRef S, const Expr *BufE, SVal BufV) {
1234   return invalidateBufferAux(C, S, BufE, BufV, InvalidationTraitOperations);
1238     CheckerContext &C, ProgramStateRef S, const Expr *BufE, SVal BufV) {
1248   return invalidateBufferAux(C, S, BufE, BufV, InvalidationTraitOperations);
1253                                                        const Expr *BufE,
1265   return invalidateBufferAux(C, S, BufE, BufV, InvalidationTraitOperations);