Searched refs:assumeInBound (Results 1 – 5 of 5) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | ReturnPointerRangeChecker.cpp | 61 const GRState *StInBound = state->assumeInBound(Idx, NumElements, true); in checkPreStmt()
62 const GRState *StOutBound = state->assumeInBound(Idx, NumElements, false); in checkPreStmt()
|
| D | ArrayBoundChecker.cpp | 60 const GRState *StInBound = state->assumeInBound(Idx, NumElements, true); in checkLocation()
61 const GRState *StOutBound = state->assumeInBound(Idx, NumElements, false); in checkLocation()
|
| D | CStringChecker.cpp | 247 const GRState *StInBound = state->assumeInBound(Idx, Size, true); in CheckLocation()
248 const GRState *StOutBound = state->assumeInBound(Idx, Size, false); in CheckLocation()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | GRState.cpp | 273 const GRState *GRState::assumeInBound(DefinedOrUnknownSVal Idx, in assumeInBound() function in GRState
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | GRState.h | 179 const GRState *assumeInBound(DefinedOrUnknownSVal idx,
|