Searched refs:StInBound (Results 1 – 2 of 2) sorted by relevance
132 ProgramStateRef StInBound, StOutBound; in checkPreStmt() local133 std::tie(StInBound, StOutBound) = State->assumeInBoundDual(Idx, *Size, T); in checkPreStmt()134 if (StOutBound && !StInBound) { in checkPreStmt()
577 auto [StInBound, StOutBound] = state->assumeInBoundDual(*Idx, Size); in CheckLocation()578 if (StOutBound && !StInBound) { in CheckLocation()594 return StInBound; in CheckLocation()1201 ProgramStateRef StInBound = State->assumeInBound(Idx, SizeDV, true); in isFirstBufInBound() local1203 return static_cast<bool>(StInBound); in isFirstBufInBound()