Lines Matching defs:ACtx

1568   const ASTContext &ACtx = BVF.getContext();
1573     const ASTContext &ACtx;
1576     LookupType(const ASTContext &ACtx) : ACtx(ACtx) {}
1580       IdentifierInfo &II = ACtx.Idents.get(Name);
1581       auto LookupRes = ACtx.getTranslationUnitDecl()->lookup(&II);
1592           return ACtx.getTypeDeclType(TD).getCanonicalType();
1600           return ACtx.getTypeDeclType(TD).getCanonicalType();
1603   } lookupTy(ACtx);
1608     const ASTContext &ACtx;
1611     GetRestrictTy(const ASTContext &ACtx) : ACtx(ACtx) {}
1613       return ACtx.getLangOpts().C99 ? ACtx.getRestrictType(Ty) : Ty;
1620   } getRestrictTy(ACtx);
1622     const ASTContext &ACtx;
1625     GetPointerTy(const ASTContext &ACtx) : ACtx(ACtx) {}
1626     QualType operator()(QualType Ty) { return ACtx.getPointerType(Ty); }
1632   } getPointerTy(ACtx);
1663   const QualType VoidTy = ACtx.VoidTy;
1664   const QualType CharTy = ACtx.CharTy;
1665   const QualType WCharTy = ACtx.WCharTy;
1666   const QualType IntTy = ACtx.IntTy;
1667   const QualType UnsignedIntTy = ACtx.UnsignedIntTy;
1668   const QualType LongTy = ACtx.LongTy;
1669   const QualType SizeTy = ACtx.getSizeType();
1703       std::min(BVF.getMaxValue(ACtx.UnsignedCharTy)->getLimitedValue(), IntMax);
1713     const ASTContext &ACtx;
1716     AddToFunctionSummaryMap(const ASTContext &ACtx, FunctionSummaryMapType &FSM,
1718         : ACtx(ACtx), Map(FSM), DisplayLoadedSummaries(DisplayLoadedSummaries) {
1729       IdentifierInfo &II = ACtx.Idents.get(Name);
1730       auto LookupRes = ACtx.getTranslationUnitDecl()->lookup(&II);
1756   } addToFunctionSummaryMap(ACtx, FunctionSummaryMap, DisplayLoadedSummaries);
3633         ACtx.getFunctionType(/*ResultTy=*/VoidPtrTy, /*Args=*/VoidPtrTy,