Home | History | Annotate | Download | only in Checkers

Lines Matching defs:BufEnd

387     SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc,
389     state = CheckLocation(C, state, warningExpr, BufEnd, firstMessage);
407       SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc,
409       state = CheckLocation(C, state, warningExpr, BufEnd, secondMessage);