81   enum InvalidationKind { NoEvalCall, EvalCallAsPure };  enumerator
1051   case EvalCallAsPure: {  in evalCall()
1395       Summary(EvalCallAsPure)  in initFunctionSummaries()
1416       Summary(EvalCallAsPure)  in initFunctionSummaries()
1430       Summary(EvalCallAsPure)  in initFunctionSummaries()
1440       Summary(EvalCallAsPure)  in initFunctionSummaries()
1450       Summary(EvalCallAsPure)  in initFunctionSummaries()
1461       Summary(EvalCallAsPure)  in initFunctionSummaries()
1470       Summary(EvalCallAsPure)  in initFunctionSummaries()
1482       Summary(EvalCallAsPure)  in initFunctionSummaries()
1502       Summary(EvalCallAsPure)  in initFunctionSummaries()
1511       Summary(EvalCallAsPure)  in initFunctionSummaries()
1525       Summary(EvalCallAsPure)  in initFunctionSummaries()
1541       Summary(EvalCallAsPure)  in initFunctionSummaries()
1558       Summary(EvalCallAsPure)  in initFunctionSummaries()
1571       Summary(EvalCallAsPure)  in initFunctionSummaries()
1576       Summary(EvalCallAsPure)  in initFunctionSummaries()
1581       Summary(EvalCallAsPure)  in initFunctionSummaries()
2928         Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0))));  in initFunctionSummaries()
2933         Summary(EvalCallAsPure)  in initFunctionSummaries()
2937         Summary(EvalCallAsPure)  in initFunctionSummaries()
2941                             Summary(EvalCallAsPure)  in initFunctionSummaries()
2948         Summary(EvalCallAsPure)  in initFunctionSummaries()
2952         Summary(EvalCallAsPure)  in initFunctionSummaries()
2958         Summary(EvalCallAsPure)  in initFunctionSummaries()
2963         Summary(EvalCallAsPure)  in initFunctionSummaries()
2969         Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0))));  in initFunctionSummaries()
2973         Summary(EvalCallAsPure)  in initFunctionSummaries()
2979         Summary(EvalCallAsPure)  in initFunctionSummaries()
2985         Summary(EvalCallAsPure)  in initFunctionSummaries()
2991         Summary(EvalCallAsPure)  in initFunctionSummaries()
2998         Summary(EvalCallAsPure));  in initFunctionSummaries()