Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/
DReturnPointerRangeChecker.cpp62 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false); in checkPreStmt() local
63 if (StOutBound && !StInBound) { in checkPreStmt()
64 ExplodedNode *N = C.generateSink(StOutBound); in checkPreStmt()
DArrayBoundChecker.cpp62 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false); in checkLocation() local
63 if (StOutBound && !StInBound) { in checkLocation()
64 ExplodedNode *N = C.generateSink(StOutBound); in checkLocation()
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.cpp289 ProgramStateRef StOutBound = state->assumeInBound(Idx, Size, false); in CheckLocation() local
290 if (StOutBound && !StInBound) { in CheckLocation()
291 ExplodedNode *N = C.generateSink(StOutBound); in CheckLocation()