Searched refs:canReasonAbout (Results 1 – 3 of 3) sorted by relevance
26 bool SimpleConstraintManager::canReasonAbout(SVal X) const { in canReasonAbout() function in clang::ento::SimpleConstraintManager120 if (!canReasonAbout(Cond)) { in assumeAux()201 if (!canReasonAbout(Value)) { in assumeWithinInclusiveRange()
106 bool canReasonAbout(SVal X) const override;
173 virtual bool canReasonAbout(SVal X) const = 0;