Searched defs:StOutBound (Results 1 – 4 of 4) sorted by relevance
63 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false); in checkLocation() local
63 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false); in checkPreStmt() local
134 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T); in checkPreStmt() local
293 ProgramStateRef StOutBound = state->assumeInBound(Idx, Size, false); in CheckLocation() local