Searched refs:RangedConstraintManager (Results 1 - 4 of 4) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp1 //== RangedConstraintManager.cpp --------------------------------*- C++ -*--==//
9 // This file defines RangedConstraintManager, a class that provides a
15 #include "clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h"
21 RangedConstraintManager::~RangedConstraintManager() {}
23 ProgramStateRef RangedConstraintManager::assumeSym(ProgramStateRef State,
73 ProgramStateRef RangedConstraintManager::assumeSymInclusiveRange(
102 RangedConstraintManager::assumeSymUnsupported(ProgramStateRef State,
119 ProgramStateRef RangedConstraintManager::assumeSymRel(ProgramStateRef State,
184 void RangedConstraintManager
[all...]
H A DRangeConstraintManager.cpp18 #include "clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h"
241 class RangeConstraintManager : public RangedConstraintManager {
244 : RangedConstraintManager(SE, SVB) {}
269 // Implementation for interface from RangedConstraintManager.
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRangedConstraintManager.h1 //== RangedConstraintManager.h ----------------------------------*- C++ -*--==//
138 class RangedConstraintManager : public SimpleConstraintManager { class in namespace:clang::ento
140 RangedConstraintManager(SubEngine *SE, SValBuilder &SB) function in class:clang::ento::RangedConstraintManager
143 ~RangedConstraintManager() override;
/freebsd-11-stable/lib/clang/libclang/
H A DMakefile657 SRCS_FUL+= StaticAnalyzer/Core/RangedConstraintManager.cpp

Completed in 193 milliseconds