Searched refs:StInBound (Results 1 – 3 of 3) sorted by relevance
60 const GRState *StInBound = state->assumeInBound(Idx, NumElements, true); in checkLocation() local62 if (StOutBound && !StInBound) { in checkLocation()86 assert(StInBound); in checkLocation()87 C.addTransition(StInBound); in checkLocation()
61 const GRState *StInBound = state->assumeInBound(Idx, NumElements, true); in checkPreStmt() local63 if (StOutBound && !StInBound) { in checkPreStmt()
247 const GRState *StInBound = state->assumeInBound(Idx, Size, true); in CheckLocation() local249 if (StOutBound && !StInBound) { in CheckLocation()287 return StInBound; in CheckLocation()