Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp360 ProgramStateRef ProgramState::assumeInBound(DefinedOrUnknownSVal Idx, in assumeInBound() function in ProgramState
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h235 assumeInBound(DefinedOrUnknownSVal idx, DefinedOrUnknownSVal upperBound,
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp1207 ProgramStateRef StInBound = State->assumeInBound(Idx, SizeDV, true); in isFirstBufInBound()
/freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/
H A DDemangleTestCases.inc7664 …ssumeInBoundENS0_20DefinedOrUnknownSValES2_b", "clang::ento::GRState::assumeInBound(clang::ento::D…