Searched refs:assumeInBound (Results 1 - 7 of 7) sorted by relevance
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | ReturnPointerRangeChecker.cpp | 61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true); 62 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);
|
H A D | ArrayBoundChecker.cpp | 61 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true); 62 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);
|
H A D | ObjCContainersChecker.cpp | 140 ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T); 141 ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T);
|
H A D | UndefResultChecker.cpp | 55 ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true); 56 ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);
|
H A D | CStringChecker.cpp | 338 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 D | ProgramState.cpp | 314 ProgramStateRef ProgramState::assumeInBound(DefinedOrUnknownSVal Idx, function in class:ProgramState
|
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ProgramState.h | 194 assumeInBound(DefinedOrUnknownSVal idx, DefinedOrUnknownSVal upperBound,
|
Completed in 187 milliseconds