Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/
DArrayBoundChecker.cpp60 const GRState *StInBound = state->assumeInBound(Idx, NumElements, true); in checkLocation() local
62 if (StOutBound && !StInBound) { in checkLocation()
86 assert(StInBound); in checkLocation()
87 C.addTransition(StInBound); in checkLocation()
DReturnPointerRangeChecker.cpp61 const GRState *StInBound = state->assumeInBound(Idx, NumElements, true); in checkPreStmt() local
63 if (StOutBound && !StInBound) { in checkPreStmt()
DCStringChecker.cpp247 const GRState *StInBound = state->assumeInBound(Idx, Size, true); in CheckLocation() local
249 if (StOutBound && !StInBound) { in CheckLocation()
287 return StInBound; in CheckLocation()