Home
last modified time | relevance | path

Searched refs:assumeInBoundDual (Results 1 – 7 of 7) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundChecker.cpp62 std::tie(StInBound, StOutBound) = state->assumeInBoundDual(Idx, ElementCount); in checkLocation()
H A DReturnPointerRangeChecker.cpp68 std::tie(StInBound, StOutBound) = state->assumeInBoundDual(Idx, ElementCount); in checkPreStmt()
H A DObjCContainersChecker.cpp138 std::tie(StInBound, StOutBound) = State->assumeInBoundDual(Idx, *Size, T); in checkPreStmt()
H A DUndefResultChecker.cpp57 std::tie(StInBound, StOutBound) = state->assumeInBoundDual(Idx, ElementCount); in isArrayIndexOutOfBounds()
H A DCStringChecker.cpp388 std::tie(StInBound, StOutBound) = state->assumeInBoundDual(Idx, Size); in CheckLocation()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp318 ProgramState::assumeInBoundDual(DefinedOrUnknownSVal Idx, in assumeInBoundDual() function in ProgramState
367 assumeInBoundDual(Idx, UpperBound, indexTy); in assumeInBound()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h231 assumeInBoundDual(DefinedOrUnknownSVal idx, DefinedOrUnknownSVal upperBound,