Searched refs:BufLoc (Results 1 – 1 of 1) sorted by relevance
459 if (Optional<Loc> BufLoc = BufStart.getAs<Loc>()) { in CheckBufferAccess() local462 svalBuilder.evalBinOpLN(State, BO_Add, *BufLoc, LastOffset, PtrTy); in CheckBufferAccess()969 Optional<Loc> BufLoc = BufStart.getAs<Loc>(); in IsFirstBufInBound() local970 if (!BufLoc) in IsFirstBufInBound()974 svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, LastOffset, PtrTy); in IsFirstBufInBound()