Searched refs:StInBound (Results 1 – 4 of 4) sorted by relevance
61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true); in checkLocation() local63 if (StOutBound && !StInBound) { in checkLocation()87 C.addTransition(StInBound); in checkLocation()
61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true); in checkPreStmt() local63 if (StOutBound && !StInBound) { in checkPreStmt()
133 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T); in checkPreStmt() local135 if (StOutBound && !StInBound) { in checkPreStmt()
288 ProgramStateRef StInBound = state->assumeInBound(Idx, Size, true); in CheckLocation() local290 if (StOutBound && !StInBound) { in CheckLocation()328 return StInBound; in CheckLocation()