Searched refs:isUnderconstrained (Results 1 – 4 of 4) sorted by relevance
66 bool isUnderconstrained() const { return !Val.has_value(); } in isUnderconstrained() function
415 bool isUnderconstrained(const ExplodedNode *N) const;
1799 bool TrackConstraintBRVisitor::isUnderconstrained(const ExplodedNode *N) const { in isUnderconstrained() function in TrackConstraintBRVisitor1801 return N->getState()->isNull(Constraint).isUnderconstrained(); in isUnderconstrained()1814 if (!isUnderconstrained(N)) in VisitNode()1821 if (isUnderconstrained(PrevN)) { in VisitNode()1828 assert(!isUnderconstrained(N)); in VisitNode()
372 if (IsNull.isUnderconstrained()) in isNonNull()