Home
last modified time | relevance | path

Searched refs:StOutBound (Results 1 – 4 of 4) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DArrayBoundChecker.cpp63 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false); in checkLocation() local
64 if (StOutBound && !StInBound) { in checkLocation()
65 ExplodedNode *N = C.generateErrorNode(StOutBound); in checkLocation()
DReturnPointerRangeChecker.cpp63 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false); in checkPreStmt() local
64 if (StOutBound && !StInBound) { in checkPreStmt()
65 ExplodedNode *N = C.generateErrorNode(StOutBound); in checkPreStmt()
DObjCContainersChecker.cpp139 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T); in checkPreStmt() local
140 if (StOutBound && !StInBound) { in checkPreStmt()
141 ExplodedNode *N = C.generateErrorNode(StOutBound); in checkPreStmt()
DCStringChecker.cpp306 ProgramStateRef StOutBound = state->assumeInBound(Idx, Size, false); in CheckLocation() local
307 if (StOutBound && !StInBound) { in CheckLocation()
308 ExplodedNode *N = C.generateErrorNode(StOutBound); in CheckLocation()