1242   const QualType SizeTy = ACtx.getSizeType();  in initFunctionSummaries()  local
1260   const QualType SizePtrTy = getPointerTy(SizeTy);  in initFunctionSummaries()
1267   const RangeInt SizeMax = BVF.getMaxValue(SizeTy).getLimitedValue();  in initFunctionSummaries()
1614       Signature(ArgTypes{VoidPtrRestrictTy, SizeTy, SizeTy, FilePtrRestrictTy},  in initFunctionSummaries()
1615                 RetType{SizeTy}),  in initFunctionSummaries()
1620                           Signature(ArgTypes{ConstVoidPtrRestrictTy, SizeTy,  in initFunctionSummaries()
1621                                              SizeTy, FilePtrRestrictTy},  in initFunctionSummaries()
1622                                     RetType{SizeTy}),  in initFunctionSummaries()
1638       "read", Signature(ArgTypes{IntTy, VoidPtrTy, SizeTy}, RetType{Ssize_tTy}),  in initFunctionSummaries()
1643       Signature(ArgTypes{IntTy, ConstVoidPtrTy, SizeTy}, RetType{Ssize_tTy}),  in initFunctionSummaries()
1873         Signature(ArgTypes{ConstCharPtrTy, SizeTy}, RetType{CharPtrTy}),  in initFunctionSummaries()
1901         "getcwd", Signature(ArgTypes{CharPtrTy, SizeTy}, RetType{CharPtrTy}),  in initFunctionSummaries()
2229         Signature(ArgTypes{VoidPtrTy, SizeTy, IntTy, IntTy, IntTy, Off_tTy},  in initFunctionSummaries()
2242         Signature(ArgTypes{VoidPtrTy, SizeTy, IntTy, IntTy, IntTy, Off64_tTy},  in initFunctionSummaries()
2274         Signature(ArgTypes{ConstCharPtrRestrictTy, CharPtrRestrictTy, SizeTy},  in initFunctionSummaries()
2293             ArgTypes{IntTy, ConstCharPtrRestrictTy, CharPtrRestrictTy, SizeTy},  in initFunctionSummaries()
2511             Signature(ArgTypes{IntTy, VoidPtrRestrictTy, SizeTy, IntTy,  in initFunctionSummaries()
2518           Signature(ArgTypes{IntTy, VoidPtrRestrictTy, SizeTy, IntTy,  in initFunctionSummaries()
2537             Signature(ArgTypes{IntTy, ConstVoidPtrTy, SizeTy, IntTy,  in initFunctionSummaries()
2543           Signature(ArgTypes{IntTy, ConstVoidPtrTy, SizeTy, IntTy, Irrelevant,  in initFunctionSummaries()
2560         Signature(ArgTypes{IntTy, VoidPtrTy, SizeTy, IntTy},  in initFunctionSummaries()
2632         Signature(ArgTypes{IntTy, ConstVoidPtrTy, SizeTy, IntTy},  in initFunctionSummaries()
2898         Signature(ArgTypes{Pthread_attr_tPtrTy, SizeTy}, RetType{IntTy}),  in initFunctionSummaries()
2978         Signature(ArgTypes{ConstVoidPtrTy, SizeTy}, RetType{IntTy}),  in initFunctionSummaries()
2984         Signature(ArgTypes{ConstVoidPtrTy, SizeTy, SizeTy}, RetType{IntTy}),  in initFunctionSummaries()