Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h246 bool canReasonAbout(SVal X) const override { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
275 return canReasonAbout(SVB.makeSymbolVal(SC->getOperand())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
279 return canReasonAbout(SVB.makeSymbolVal(SIE->getLHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
282 return canReasonAbout(SVB.makeSymbolVal(ISE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
285 return canReasonAbout(SVB.makeSymbolVal(SSE->getLHS())) && in REGISTER_TRAIT_WITH_PROGRAMSTATE()
286 canReasonAbout(SVB.makeSymbolVal(SSE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DConstraintManager.h160 virtual bool canReasonAbout(SVal X) const = 0;
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp58 if (!canReasonAbout(Cond)) { in assumeAux()
102 if (!canReasonAbout(Value)) { in assumeInclusiveRangeInternal()
H A DRangeConstraintManager.cpp1810 bool canReasonAbout(SVal X) const override;
2719 bool RangeConstraintManager::canReasonAbout(SVal X) const { in canReasonAbout() function in RangeConstraintManager