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