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()
85 bool canReasonAbout(SVal X) const override;
144 virtual bool canReasonAbout(SVal X) const = 0;