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.generateSink(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.generateSink(StOutBound); in checkPreStmt()
DObjCContainersChecker.cpp134 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T); in checkPreStmt() local
135 if (StOutBound && !StInBound) { in checkPreStmt()
136 ExplodedNode *N = C.generateSink(StOutBound); in checkPreStmt()
DCStringChecker.cpp293 ProgramStateRef StOutBound = state->assumeInBound(Idx, Size, false); in CheckLocation() local
294 if (StOutBound && !StInBound) { in CheckLocation()
295 ExplodedNode *N = C.generateSink(StOutBound); in CheckLocation()