Searched refs:assumeInBound (Results 1 - 6 of 6) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundChecker.cpp62 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
63 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);
H A DReturnPointerRangeChecker.cpp62 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
63 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);
H A DObjCContainersChecker.cpp133 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T);
134 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T);
H A DCStringChecker.cpp292 ProgramStateRef StInBound = state->assumeInBound(Idx, Size, true);
293 ProgramStateRef StOutBound = state->assumeInBound(Idx, Size, false);
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h188 ProgramStateRef assumeInBound(DefinedOrUnknownSVal idx,
/external/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp304 ProgramStateRef ProgramState::assumeInBound(DefinedOrUnknownSVal Idx, function in class:ProgramState

Completed in 1579 milliseconds