Searched refs:BufLoc (Results 1 – 1 of 1) sorted by relevance
380 if (Optional<Loc> BufLoc = BufStart.getAs<Loc>()) { in CheckBufferAccess() local383 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()400 if (Optional<Loc> BufLoc = BufStart.getAs<Loc>()) { in CheckBufferAccess() local403 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()