Home
last modified time | relevance | path

Searched refs:StInBound (Results 1 – 5 of 5) sorted by relevance

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundChecker.cpp61 ProgramStateRef StInBound = state->assumeInBound(Idx, ElementCount, true); in checkLocation() local
63 if (StOutBound && !StInBound) { in checkLocation()
88 C.addTransition(StInBound); in checkLocation()
H A DReturnPointerRangeChecker.cpp66 ProgramStateRef StInBound = state->assumeInBound(Idx, ElementCount, true); in checkPreStmt() local
68 if (StOutBound && !StInBound) { in checkPreStmt()
H A DObjCContainersChecker.cpp140 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T); in checkPreStmt() local
142 if (StOutBound && !StInBound) { in checkPreStmt()
H A DUndefResultChecker.cpp56 ProgramStateRef StInBound = state->assumeInBound(Idx, ElementCount, true); in isArrayIndexOutOfBounds() local
58 return StOutBound && !StInBound; in isArrayIndexOutOfBounds()
H A DCStringChecker.cpp354 ProgramStateRef StInBound = state->assumeInBound(Idx, Size, true); in CheckLocation() local
356 if (StOutBound && !StInBound) { in CheckLocation()
372 return StInBound; in CheckLocation()
931 ProgramStateRef StInBound = state->assumeInBound(Idx, SizeDV, true); in IsFirstBufInBound() local
933 return static_cast<bool>(StInBound); in IsFirstBufInBound()