Searched refs:BufLoc (Results 1 – 1 of 1) sorted by relevance
646 if (std::optional<Loc> BufLoc = BufStart.getAs<Loc>()) { in CheckBufferAccess() local649 svalBuilder.evalBinOpLN(State, BO_Add, *BufLoc, LastOffset, PtrTy); in CheckBufferAccess()1174 std::optional<Loc> BufLoc = BufStart.getAs<Loc>(); in isFirstBufInBound() local1175 if (!BufLoc) in isFirstBufInBound()1178 SVal BufEnd = SB.evalBinOpLN(State, BO_Add, *BufLoc, LastOffset, PtrTy); in isFirstBufInBound()