Home | History | Annotate | Download | only in Core

Lines Matching refs: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));