Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSimpleConstraintManager.h72 ProgramStateRef assumeInclusiveRangeInternal(ProgramStateRef State,
H A DConstraintManager.h165 virtual ProgramStateRef assumeInclusiveRangeInternal(ProgramStateRef State,
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DConstraintManager.cpp105 return assumeInclusiveRangeInternal(State, Value, From, To, Assumption); in assumeInclusiveRangeDual()
H A DSimpleConstraintManager.cpp95 ProgramStateRef SimpleConstraintManager::assumeInclusiveRangeInternal( in assumeInclusiveRangeInternal() function in clang::ento::SimpleConstraintManager