Lines Matching defs:ACtx

1565   const ASTContext &ACtx = BVF.getContext();
1570     const ASTContext &ACtx;
1573     LookupType(const ASTContext &ACtx) : ACtx(ACtx) {}
1577       IdentifierInfo &II = ACtx.Idents.get(Name);
1578       auto LookupRes = ACtx.getTranslationUnitDecl()->lookup(&II);
1589           return ACtx.getTypeDeclType(TD).getCanonicalType();
1597           return ACtx.getTypeDeclType(TD).getCanonicalType();
1600   } lookupTy(ACtx);
1605     const ASTContext &ACtx;
1608     GetRestrictTy(const ASTContext &ACtx) : ACtx(ACtx) {}
1610       return ACtx.getLangOpts().C99 ? ACtx.getRestrictType(Ty) : Ty;
1617   } getRestrictTy(ACtx);
1619     const ASTContext &ACtx;
1622     GetPointerTy(const ASTContext &ACtx) : ACtx(ACtx) {}
1623     QualType operator()(QualType Ty) { return ACtx.getPointerType(Ty); }
1629   } getPointerTy(ACtx);
1660   const QualType VoidTy = ACtx.VoidTy;
1661   const QualType CharTy = ACtx.CharTy;
1662   const QualType WCharTy = ACtx.WCharTy;
1663   const QualType IntTy = ACtx.IntTy;
1664   const QualType UnsignedIntTy = ACtx.UnsignedIntTy;
1665   const QualType LongTy = ACtx.LongTy;
1666   const QualType SizeTy = ACtx.getSizeType();
1700       std::min(BVF.getMaxValue(ACtx.UnsignedCharTy).getLimitedValue(), IntMax);
1710     const ASTContext &ACtx;
1713     AddToFunctionSummaryMap(const ASTContext &ACtx, FunctionSummaryMapType &FSM,
1715         : ACtx(ACtx), Map(FSM), DisplayLoadedSummaries(DisplayLoadedSummaries) {
1726       IdentifierInfo &II = ACtx.Idents.get(Name);
1727       auto LookupRes = ACtx.getTranslationUnitDecl()->lookup(&II);
1753   } addToFunctionSummaryMap(ACtx, FunctionSummaryMap, DisplayLoadedSummaries);
3630         ACtx.getFunctionType(/*ResultTy=*/VoidPtrTy, /*Args=*/VoidPtrTy,