Lines Matching defs:isUnderconstrained
720 bool TrackConstraintBRVisitor::isUnderconstrained(const ExplodedNode *N) const {722 return N->getState()->isNull(Constraint).isUnderconstrained();737 if (!isUnderconstrained(N))744 if (isUnderconstrained(PrevN)) {751 assert(!isUnderconstrained(N));