12 raw_ostream &operator<<(raw_ostream &OS, const ValueLatticeElement &Val) {  in operator <<()  argument
13   if (Val.isUnknown())  in operator <<()
15   if (Val.isUndef())  in operator <<()
17   if (Val.isOverdefined())  in operator <<()
20   if (Val.isNotConstant())  in operator <<()
21     return OS << "notconstant<" << *Val.getNotConstant() << ">";  in operator <<()
23   if (Val.isConstantRangeIncludingUndef())  in operator <<()
25               << Val.getConstantRange(true).getLower() << ", "  in operator <<()
26               << Val.getConstantRange(true).getUpper() << ">";  in operator <<()
28   if (Val.isConstantRange())  in operator <<()
29     return OS << "constantrange<" << Val.getConstantRange().getLower() << ", "  in operator <<()
30               << Val.getConstantRange().getUpper() << ">";  in operator <<()
31   return OS << "constant<" << *Val.getConstant() << ">";  in operator <<()