72   enum InvalidationKindTy { NoEvalCall, EvalCallAsPure };  enumerator
383   case EvalCallAsPure: {  in evalCall()
560             INVALIDATION_APPROACH(EvalCallAsPure))  in initFunctionSummaries()
591             INVALIDATION_APPROACH(EvalCallAsPure))  in initFunctionSummaries()
618             INVALIDATION_APPROACH(EvalCallAsPure))  in initFunctionSummaries()
637             INVALIDATION_APPROACH(EvalCallAsPure))  in initFunctionSummaries()
658             INVALIDATION_APPROACH(EvalCallAsPure))  in initFunctionSummaries()
679             INVALIDATION_APPROACH(EvalCallAsPure))  in initFunctionSummaries()
698             INVALIDATION_APPROACH(EvalCallAsPure))  in initFunctionSummaries()
717             INVALIDATION_APPROACH(EvalCallAsPure))  in initFunctionSummaries()
752             INVALIDATION_APPROACH(EvalCallAsPure))  in initFunctionSummaries()
771             INVALIDATION_APPROACH(EvalCallAsPure))  in initFunctionSummaries()
796             INVALIDATION_APPROACH(EvalCallAsPure))  in initFunctionSummaries()
823             INVALIDATION_APPROACH(EvalCallAsPure))  in initFunctionSummaries()
847             INVALIDATION_APPROACH(EvalCallAsPure))  in initFunctionSummaries()