76   enum InvalidationKind { NoEvalCall, EvalCallAsPure };  enumerator
867   case EvalCallAsPure: {  in evalCall()
1209       Summary(EvalCallAsPure)  in initFunctionSummaries()
1227       Summary(EvalCallAsPure)  in initFunctionSummaries()
1238       Summary(EvalCallAsPure)  in initFunctionSummaries()
1245       Summary(EvalCallAsPure)  in initFunctionSummaries()
1252       Summary(EvalCallAsPure)  in initFunctionSummaries()
1259       Summary(EvalCallAsPure)  in initFunctionSummaries()
1266       Summary(EvalCallAsPure)  in initFunctionSummaries()
1273       Summary(EvalCallAsPure)  in initFunctionSummaries()
1288       Summary(EvalCallAsPure)  in initFunctionSummaries()
1295       Summary(EvalCallAsPure)  in initFunctionSummaries()
1306       Summary(EvalCallAsPure)  in initFunctionSummaries()
1317       Summary(EvalCallAsPure)  in initFunctionSummaries()
1329       Summary(EvalCallAsPure)  in initFunctionSummaries()
1338       Summary(EvalCallAsPure)  in initFunctionSummaries()
1343       Summary(EvalCallAsPure)  in initFunctionSummaries()
1348       Summary(EvalCallAsPure)  in initFunctionSummaries()
1500         Summary(EvalCallAsPure)  in initFunctionSummaries()
2570         Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0))));  in initFunctionSummaries()
2575         Summary(EvalCallAsPure)  in initFunctionSummaries()
2579         Summary(EvalCallAsPure)  in initFunctionSummaries()
2583                             Summary(EvalCallAsPure)  in initFunctionSummaries()
2590         Summary(EvalCallAsPure)  in initFunctionSummaries()
2594         Summary(EvalCallAsPure)  in initFunctionSummaries()
2600         Summary(EvalCallAsPure)  in initFunctionSummaries()
2605         Summary(EvalCallAsPure)  in initFunctionSummaries()
2611         Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0))));  in initFunctionSummaries()
2615         Summary(EvalCallAsPure)  in initFunctionSummaries()
2621         Summary(EvalCallAsPure)  in initFunctionSummaries()
2627         Summary(EvalCallAsPure)  in initFunctionSummaries()
2633         Summary(EvalCallAsPure)  in initFunctionSummaries()
2640         Summary(EvalCallAsPure));  in initFunctionSummaries()