13 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_SIMPLECONSTRAINTMANAGER_H 14 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_SIMPLECONSTRAINTMANAGER_H 29 : SU(subengine), SVB(SB) {}
40 bool Assumption)
override;
43 const llvm::APSInt &From,
44 const llvm::APSInt &To,
45 bool InRange)
override;
63 const llvm::APSInt &From,
64 const llvm::APSInt &To,
SymbolManager & getSymbolManager()
virtual ProgramStateRef assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym, bool Assumption)=0
Given a symbolic expression that cannot be reasoned about, assume that it is zero/nonzero and add it ...
~SimpleConstraintManager() override
SimpleConstraintManager(SubEngine *subengine, SValBuilder &SB)
ProgramStateRef assumeInclusiveRange(ProgramStateRef State, NonLoc Value, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange) override
virtual ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym, bool Assumption)=0
Given a symbolic expression that can be reasoned about, assume that it is true/false and generate the...
BasicValueFactory & getBasicVals() const
SValBuilder & getSValBuilder() const
ProgramStateRef assume(ProgramStateRef State, DefinedSVal Cond, bool Assumption) override
Ensures that the DefinedSVal conditional is expressed as a NonLoc by creating boolean casts to handle...
virtual ProgramStateRef assumeSymInclusiveRange(ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange)=0
Given a symbolic expression within the range [From, To], assume that it is true/false and generate th...
Dataflow Directional Tag Classes.
SymbolManager & getSymbolManager() const
BasicValueFactory & getBasicValueFactory()