80   enum ValueRangeKindTy { OutOfRange, WithinRange, ComparesToArgument };  enumerator
150       case OutOfRange:  in apply()
567         RETURN_VALUE_CONDITION(OutOfRange)  in initFunctionSummaries()
579         ARGUMENT_CONDITION(ARG_NO(0), OutOfRange)  in initFunctionSummaries()
597         RETURN_VALUE_CONDITION(OutOfRange)  in initFunctionSummaries()
607         ARGUMENT_CONDITION(ARG_NO(0), OutOfRange)  in initFunctionSummaries()
623         RETURN_VALUE_CONDITION(OutOfRange)  in initFunctionSummaries()
628         ARGUMENT_CONDITION(ARG_NO(0), OutOfRange)  in initFunctionSummaries()
643         RETURN_VALUE_CONDITION(OutOfRange)  in initFunctionSummaries()
648         ARGUMENT_CONDITION(ARG_NO(0), OutOfRange)  in initFunctionSummaries()
664         RETURN_VALUE_CONDITION(OutOfRange)  in initFunctionSummaries()
669         ARGUMENT_CONDITION(ARG_NO(0), OutOfRange)  in initFunctionSummaries()
684         RETURN_VALUE_CONDITION(OutOfRange)  in initFunctionSummaries()
689         ARGUMENT_CONDITION(ARG_NO(0), OutOfRange)  in initFunctionSummaries()
703         RETURN_VALUE_CONDITION(OutOfRange)  in initFunctionSummaries()
708         ARGUMENT_CONDITION(ARG_NO(0), OutOfRange)  in initFunctionSummaries()
722         RETURN_VALUE_CONDITION(OutOfRange)  in initFunctionSummaries()
730         ARGUMENT_CONDITION(ARG_NO(0), OutOfRange)  in initFunctionSummaries()
743         ARGUMENT_CONDITION(ARG_NO(0), OutOfRange)  in initFunctionSummaries()
757         RETURN_VALUE_CONDITION(OutOfRange)  in initFunctionSummaries()
762         ARGUMENT_CONDITION(ARG_NO(0), OutOfRange)  in initFunctionSummaries()
779         RETURN_VALUE_CONDITION(OutOfRange)  in initFunctionSummaries()
784         ARGUMENT_CONDITION(ARG_NO(0), OutOfRange)  in initFunctionSummaries()
802         RETURN_VALUE_CONDITION(OutOfRange)  in initFunctionSummaries()
812         ARGUMENT_CONDITION(ARG_NO(0), OutOfRange)  in initFunctionSummaries()
828         RETURN_VALUE_CONDITION(OutOfRange)  in initFunctionSummaries()
838         ARGUMENT_CONDITION(ARG_NO(0), OutOfRange)  in initFunctionSummaries()
854         RETURN_VALUE_CONDITION(OutOfRange)  in initFunctionSummaries()
859         ARGUMENT_CONDITION(ARG_NO(0), OutOfRange)  in initFunctionSummaries()