Home | History | Annotate | Download | only in Checkers

Lines Matching refs:BufEnd

383     SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc,
385     state = CheckLocation(C, state, warningExpr, BufEnd, firstMessage);
403       SVal BufEnd
405       state = CheckLocation(C, state, warningExpr, BufEnd, secondMessage);