Searched refs:StInBound (Results 1 - 4 of 4) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundChecker.cpp62 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true); local
64 if (StOutBound && !StInBound) {
89 C.addTransition(StInBound);
H A DReturnPointerRangeChecker.cpp62 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true); local
64 if (StOutBound && !StInBound) {
H A DObjCContainersChecker.cpp133 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T); local
135 if (StOutBound && !StInBound) {
H A DCStringChecker.cpp292 ProgramStateRef StInBound = state->assumeInBound(Idx, Size, true); local
294 if (StOutBound && !StInBound) {
333 return StInBound;

Completed in 347 milliseconds