Searched refs:isUnderconstrained (Results 1 – 3 of 3) sorted by relevance
57 bool isUnderconstrained() const { in isUnderconstrained() function
724 bool TrackConstraintBRVisitor::isUnderconstrained(const ExplodedNode *N) const { in isUnderconstrained() function in TrackConstraintBRVisitor726 return N->getState()->isNull(Constraint).isUnderconstrained(); in isUnderconstrained()741 if (!isUnderconstrained(N)) in VisitNode()748 if (isUnderconstrained(PrevN)) { in VisitNode()755 assert(!isUnderconstrained(N)); in VisitNode()
160 bool isUnderconstrained(const ExplodedNode *N) const;