76     EvalCallAsPure  enumerator
1408     if (Summary.getInvalidationKd() == EvalCallAsPure) {  in checkPostCall()
1474   case EvalCallAsPure: {  in evalCall()
1832       Summary(EvalCallAsPure)  in initFunctionSummaries()
1854       Summary(EvalCallAsPure)  in initFunctionSummaries()
1868       Summary(EvalCallAsPure)  in initFunctionSummaries()
1878       Summary(EvalCallAsPure)  in initFunctionSummaries()
1888       Summary(EvalCallAsPure)  in initFunctionSummaries()
1899       Summary(EvalCallAsPure)  in initFunctionSummaries()
1908       Summary(EvalCallAsPure)  in initFunctionSummaries()
1920       Summary(EvalCallAsPure)  in initFunctionSummaries()
1940       Summary(EvalCallAsPure)  in initFunctionSummaries()
1949       Summary(EvalCallAsPure)  in initFunctionSummaries()
1963       Summary(EvalCallAsPure)  in initFunctionSummaries()
1979       Summary(EvalCallAsPure)  in initFunctionSummaries()
1996       Summary(EvalCallAsPure)  in initFunctionSummaries()
2009       Summary(EvalCallAsPure)  in initFunctionSummaries()
2015       Summary(EvalCallAsPure)  in initFunctionSummaries()
2021       Summary(EvalCallAsPure)  in initFunctionSummaries()
3640         Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0))));  in initFunctionSummaries()
3645         Summary(EvalCallAsPure)  in initFunctionSummaries()
3651         Summary(EvalCallAsPure)  in initFunctionSummaries()
3655         Summary(EvalCallAsPure)  in initFunctionSummaries()
3659         Summary(EvalCallAsPure)  in initFunctionSummaries()
3663         Summary(EvalCallAsPure)  in initFunctionSummaries()
3667         Summary(EvalCallAsPure)  in initFunctionSummaries()
3671         Summary(EvalCallAsPure)  in initFunctionSummaries()
3675                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3680                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3685                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3690                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3695                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3700                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3705                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3710         Summary(EvalCallAsPure)  in initFunctionSummaries()
3717         Summary(EvalCallAsPure)  in initFunctionSummaries()
3721         Summary(EvalCallAsPure)  in initFunctionSummaries()
3725         Summary(EvalCallAsPure)  in initFunctionSummaries()
3729         Summary(EvalCallAsPure)  in initFunctionSummaries()
3733         Summary(EvalCallAsPure)  in initFunctionSummaries()
3737         Summary(EvalCallAsPure)  in initFunctionSummaries()
3741                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3746                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3751                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3756                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3761                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3766                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3771                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3776         Summary(EvalCallAsPure)  in initFunctionSummaries()
3783         Summary(EvalCallAsPure)  in initFunctionSummaries()
3787         Summary(EvalCallAsPure)  in initFunctionSummaries()
3793         Summary(EvalCallAsPure)  in initFunctionSummaries()
3798         Summary(EvalCallAsPure)  in initFunctionSummaries()
3804         Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0))));  in initFunctionSummaries()
3808         Summary(EvalCallAsPure)  in initFunctionSummaries()
3814         Summary(EvalCallAsPure)  in initFunctionSummaries()
3820         Summary(EvalCallAsPure)  in initFunctionSummaries()
3826         Summary(EvalCallAsPure)  in initFunctionSummaries()
3833         Summary(EvalCallAsPure));  in initFunctionSummaries()
3838         Summary(EvalCallAsPure)  in initFunctionSummaries()
3846         Summary(EvalCallAsPure)  in initFunctionSummaries()