Home
last modified time | relevance | path

Searched refs:RangedConstraintManager (Results 1 – 6 of 6) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp21 RangedConstraintManager::~RangedConstraintManager() {} in ~RangedConstraintManager()
23 ProgramStateRef RangedConstraintManager::assumeSym(ProgramStateRef State, in assumeSym()
101 ProgramStateRef RangedConstraintManager::assumeSymInclusiveRange( in assumeSymInclusiveRange()
133 RangedConstraintManager::assumeSymUnsupported(ProgramStateRef State, in assumeSymUnsupported()
152 ProgramStateRef RangedConstraintManager::assumeSymRel(ProgramStateRef State, in assumeSymRel()
217 void RangedConstraintManager::computeAdjustment(SymbolRef &Sym, in computeAdjustment()
H A DCMakeLists.txt41 RangedConstraintManager.cpp
H A DRangeConstraintManager.cpp1792 class RangeConstraintManager : public RangedConstraintManager {
1795 : RangedConstraintManager(EE, SVB), F(getBasicVals()) {} in RangeConstraintManager()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRangedConstraintManager.h407 class RangedConstraintManager : public SimpleConstraintManager {
409 RangedConstraintManager(ExprEngine *EE, SValBuilder &SB) in RangedConstraintManager() function
412 ~RangedConstraintManager() override;
/llvm-project-15.0.7/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/
H A DBUILD.gn50 "RangedConstraintManager.cpp",
/llvm-project-15.0.7/clang/docs/tools/
H A Dclang-formatted-files.txt241 clang/include/clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h