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

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DReturnPointerRangeChecker.cpp61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
62 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);
H A DArrayBoundChecker.cpp61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
62 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);
H A DObjCContainersChecker.cpp140 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T);
141 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T);
H A DUndefResultChecker.cpp55 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
56 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);
H A DCStringChecker.cpp338 ProgramStateRef StInBound = state->assumeInBound(Idx, Size, true);
339 ProgramStateRef StOutBound = state->assumeInBound(Idx, Size, false);
945 ProgramStateRef StInBound = state->assumeInBound(Idx, ExtentSize, true);
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp314 ProgramStateRef ProgramState::assumeInBound(DefinedOrUnknownSVal Idx, function in class:ProgramState
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h194 assumeInBound(DefinedOrUnknownSVal idx, DefinedOrUnknownSVal upperBound,

Completed in 187 milliseconds