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()
3708         Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0))));  in initFunctionSummaries()
3713         Summary(EvalCallAsPure)  in initFunctionSummaries()
3719         Summary(EvalCallAsPure)  in initFunctionSummaries()
3723         Summary(EvalCallAsPure)  in initFunctionSummaries()
3727         Summary(EvalCallAsPure)  in initFunctionSummaries()
3731         Summary(EvalCallAsPure)  in initFunctionSummaries()
3735         Summary(EvalCallAsPure)  in initFunctionSummaries()
3739         Summary(EvalCallAsPure)  in initFunctionSummaries()
3743                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3748                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3753                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3758                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3763                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3768                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3773                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3778         Summary(EvalCallAsPure)  in initFunctionSummaries()
3785         Summary(EvalCallAsPure)  in initFunctionSummaries()
3789         Summary(EvalCallAsPure)  in initFunctionSummaries()
3793         Summary(EvalCallAsPure)  in initFunctionSummaries()
3797         Summary(EvalCallAsPure)  in initFunctionSummaries()
3801         Summary(EvalCallAsPure)  in initFunctionSummaries()
3805         Summary(EvalCallAsPure)  in initFunctionSummaries()
3809                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3814                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3819                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3824                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3829                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3834                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3839                             Summary(EvalCallAsPure)  in initFunctionSummaries()
3844         Summary(EvalCallAsPure)  in initFunctionSummaries()
3851         Summary(EvalCallAsPure)  in initFunctionSummaries()
3855         Summary(EvalCallAsPure)  in initFunctionSummaries()
3861         Summary(EvalCallAsPure)  in initFunctionSummaries()
3866         Summary(EvalCallAsPure)  in initFunctionSummaries()
3872         Summary(EvalCallAsPure).ArgConstraint(NotNull(ArgNo(0))));  in initFunctionSummaries()
3876         Summary(EvalCallAsPure)  in initFunctionSummaries()
3882         Summary(EvalCallAsPure)  in initFunctionSummaries()
3888         Summary(EvalCallAsPure)  in initFunctionSummaries()
3894         Summary(EvalCallAsPure)  in initFunctionSummaries()
3901         Summary(EvalCallAsPure));  in initFunctionSummaries()
3906         Summary(EvalCallAsPure)  in initFunctionSummaries()
3914         Summary(EvalCallAsPure)  in initFunctionSummaries()