Searched refs:assumeInBound (Results 1 – 6 of 6) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | ReturnPointerRangeChecker.cpp | 62 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true); in checkPreStmt()
63 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false); in checkPreStmt()
|
| D | ArrayBoundChecker.cpp | 62 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true); in checkLocation()
63 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false); in checkLocation()
|
| D | ObjCContainersChecker.cpp | 133 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T); in checkPreStmt()
134 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T); in checkPreStmt()
|
| D | CStringChecker.cpp | 292 ProgramStateRef StInBound = state->assumeInBound(Idx, Size, true); in CheckLocation()
293 ProgramStateRef StOutBound = state->assumeInBound(Idx, Size, false); in CheckLocation()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 188 ProgramStateRef assumeInBound(DefinedOrUnknownSVal idx,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ProgramState.cpp | 304 ProgramStateRef ProgramState::assumeInBound(DefinedOrUnknownSVal Idx, in assumeInBound() function in ProgramState
|