Home | History | Annotate | Download | only in Checkers

Lines Matching refs:BufEnd

378     SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc,
380     state = CheckLocation(C, state, warningExpr, BufEnd, firstMessage);
398       SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc,
400       state = CheckLocation(C, state, warningExpr, BufEnd, secondMessage);