80   enum ValueRangeKindTy { OutOfRange, WithinRange, ComparesToArgument };  enumerator
152       case WithinRange:  in apply()
562         ARGUMENT_CONDITION(ARG_NO(0), WithinRange)  in initFunctionSummaries()
572         ARGUMENT_CONDITION(ARG_NO(0), WithinRange)  in initFunctionSummaries()
585         RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
593         ARGUMENT_CONDITION(ARG_NO(0), WithinRange)  in initFunctionSummaries()
602         ARGUMENT_CONDITION(ARG_NO(0), WithinRange)  in initFunctionSummaries()
612         RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
620         ARGUMENT_CONDITION(ARG_NO(0), WithinRange)  in initFunctionSummaries()
631         RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
639         ARGUMENT_CONDITION(ARG_NO(0), WithinRange)  in initFunctionSummaries()
652         RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
660         ARGUMENT_CONDITION(ARG_NO(0), WithinRange)  in initFunctionSummaries()
673         RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
681         ARGUMENT_CONDITION(ARG_NO(0), WithinRange)  in initFunctionSummaries()
692         RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
700         ARGUMENT_CONDITION(ARG_NO(0), WithinRange)  in initFunctionSummaries()
711         RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
719         ARGUMENT_CONDITION(ARG_NO(0), WithinRange)  in initFunctionSummaries()
727         ARGUMENT_CONDITION(ARG_NO(0), WithinRange)  in initFunctionSummaries()
733         RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
738         ARGUMENT_CONDITION(ARG_NO(0), WithinRange)  in initFunctionSummaries()
746         RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
754         ARGUMENT_CONDITION(ARG_NO(0), WithinRange)  in initFunctionSummaries()
765         RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
773         ARGUMENT_CONDITION(ARG_NO(0), WithinRange)  in initFunctionSummaries()
790         RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
798         ARGUMENT_CONDITION(ARG_NO(0), WithinRange)  in initFunctionSummaries()
807         ARGUMENT_CONDITION(ARG_NO(0), WithinRange)  in initFunctionSummaries()
817         RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
825         ARGUMENT_CONDITION(ARG_NO(0), WithinRange)  in initFunctionSummaries()
833         ARGUMENT_CONDITION(ARG_NO(0), WithinRange)  in initFunctionSummaries()
841         RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
849         ARGUMENT_CONDITION(ARG_NO(0), WithinRange)  in initFunctionSummaries()
864         RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
874         RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
882         RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
890         RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
906           RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
917           RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
928           RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
943           RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
954           RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
965           RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
995           RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
1004           RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
1013           RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
1024           RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
1033           RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()
1042           RETURN_VALUE_CONDITION(WithinRange)  in initFunctionSummaries()