482   QualType IntTy = ACtx.IntTy;  in initFunctionSummaries()  local
487   RangeIntTy IntMax = BVF.getMaxValue(IntTy).getLimitedValue();  in initFunctionSummaries()
559     SUMMARY(isalnum, ARGUMENT_TYPES(IntTy), RETURN_TYPE(IntTy),  in initFunctionSummaries()
590     SUMMARY(isalpha, ARGUMENT_TYPES(IntTy), RETURN_TYPE(IntTy),  in initFunctionSummaries()
617     SUMMARY(isascii, ARGUMENT_TYPES(IntTy), RETURN_TYPE(IntTy),  in initFunctionSummaries()
636     SUMMARY(isblank, ARGUMENT_TYPES(IntTy), RETURN_TYPE(IntTy),  in initFunctionSummaries()
657     SUMMARY(iscntrl, ARGUMENT_TYPES(IntTy), RETURN_TYPE(IntTy),  in initFunctionSummaries()
678     SUMMARY(isdigit, ARGUMENT_TYPES(IntTy), RETURN_TYPE(IntTy),  in initFunctionSummaries()
697     SUMMARY(isgraph, ARGUMENT_TYPES(IntTy), RETURN_TYPE(IntTy),  in initFunctionSummaries()
716     SUMMARY(islower, ARGUMENT_TYPES(IntTy), RETURN_TYPE(IntTy),  in initFunctionSummaries()
751     SUMMARY(isprint, ARGUMENT_TYPES(IntTy), RETURN_TYPE(IntTy),  in initFunctionSummaries()
770     SUMMARY(ispunct, ARGUMENT_TYPES(IntTy), RETURN_TYPE(IntTy),  in initFunctionSummaries()
795     SUMMARY(isspace, ARGUMENT_TYPES(IntTy), RETURN_TYPE(IntTy),  in initFunctionSummaries()
822     SUMMARY(isupper, ARGUMENT_TYPES(IntTy), RETURN_TYPE (IntTy),  in initFunctionSummaries()
846     SUMMARY(isxdigit, ARGUMENT_TYPES(IntTy), RETURN_TYPE(IntTy),  in initFunctionSummaries()
871     SUMMARY(getc, ARGUMENT_TYPES(Irrelevant), RETURN_TYPE(IntTy),  in initFunctionSummaries()
879     SUMMARY(fgetc, ARGUMENT_TYPES(Irrelevant), RETURN_TYPE(IntTy),  in initFunctionSummaries()
887     SUMMARY(getchar, ARGUMENT_TYPES(), RETURN_TYPE(IntTy),  in initFunctionSummaries()
901               RETURN_TYPE(IntTy), INVALIDATION_APPROACH(NoEvalCall))  in initFunctionSummaries()
938               RETURN_TYPE(IntTy), INVALIDATION_APPROACH(NoEvalCall))  in initFunctionSummaries()
993               RETURN_TYPE(IntTy), INVALIDATION_APPROACH(NoEvalCall))  in initFunctionSummaries()
1022             RETURN_TYPE(IntTy), INVALIDATION_APPROACH(NoEvalCall))  in initFunctionSummaries()