Searched defs:StInBound (Results 1 – 4 of 4) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | ArrayBoundChecker.cpp | 62 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true); in checkLocation() local
|
| D | ReturnPointerRangeChecker.cpp | 62 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true); in checkPreStmt() local
|
| D | ObjCContainersChecker.cpp | 138 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T); in checkPreStmt() local
|
| D | CStringChecker.cpp | 305 ProgramStateRef StInBound = state->assumeInBound(Idx, Size, true); in CheckLocation() local
888 ProgramStateRef StInBound = state->assumeInBound(Idx, ExtentSize, true); in IsFirstBufInBound() local
|