347   assert(!isEmpty());  in getMinValue()
352   assert(!isEmpty());  in getMaxValue()
357   assert(!isEmpty());  in isUnsigned()
362   assert(!isEmpty());  in getBitWidth()
367   assert(!isEmpty());  in getAPSIntType()
372   if (isEmpty() || !pin(Point))  in containsImpl()
475   if (What.isEmpty() || !What.pin(Lower, Upper))  in intersect()
596   if (LHS.isEmpty() || RHS.isEmpty() || LHS.getMaxValue() < RHS.getMinValue() ||  in intersect()
611   if (What.isEmpty())  in negate()
677   if (What.isEmpty() || What.getAPSIntType() == Ty)  in castTo()
1049         return ClassConstraint.second.isEmpty();  in areFeasible()
1359     assert(!Origin.isEmpty());  in fillGaps()
1379     if (LHS.isEmpty() || RHS.isEmpty()) {  in VisitBinaryOperator()
1550       if (!QueriedRangeSet || QueriedRangeSet->isEmpty())  in getRangeForComparisonSymbol()
2001     if (!State || NewConstraint.isEmpty())  in assign()
2077         if (UpdatedConstraint.isEmpty())  in assign()
2102     assert(!Constraint.isEmpty() && "Empty ranges shouldn't get here");  in interpreteAsBool()
2206     assert(!ClassMembers.isEmpty() &&  in getConstraintMap()
2316     if (NewClassConstraint->isEmpty())  in mergeImpl()
2366   if (!DisequalToOther.isEmpty()) {  in mergeImpl()
2497       if (FirstConstraint.isEmpty())  in addToDisequalityInfo()
2542   assert(!ClsMembers.isEmpty() &&  in removeMember()
2696     if (DisequalClasses.isEmpty())  in isClassDataConsistent()
2837     if (!DisequalClasses.isEmpty()) {  in removeDeadBindings()
2843         assert(!DisequalToDisequalSet.isEmpty());  in removeDeadBindings()
2847         if (NewSet.isEmpty()) {  in removeDeadBindings()
2902     if (LiveMembers.isEmpty()) {  in removeDeadBindings()
3150   if (New.isEmpty())  in assumeSymWithinInclusiveRange()
3199   if (Constraints.isEmpty()) {  in printConstraints()
3270   if (Members.isEmpty()) {  in printEquivalenceClasses()
3306   if (Disequalities.isEmpty()) {  in printDisequalities()