Home
last modified time | relevance | path

Searched refs:assumeInBound (Results 1 – 3 of 3) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp374 ProgramStateRef ProgramState::assumeInBound(DefinedOrUnknownSVal Idx, in assumeInBound() function in ProgramState
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h236 assumeInBound(DefinedOrUnknownSVal idx, DefinedOrUnknownSVal upperBound,
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp1201 ProgramStateRef StInBound = State->assumeInBound(Idx, SizeDV, true); in isFirstBufInBound()