Lines Matching defs:Ctx
151 static bool SummarizeRegion(raw_ostream &os, ASTContext &Ctx,
358 ASTContext &Ctx = svalBuilder.getContext();
362 QualType PtrTy = Ctx.getPointerType(Ctx.CharTy);
499 ASTContext &Ctx = svalBuilder.getContext();
500 QualType CharPtrTy = Ctx.getPointerType(Ctx.CharTy);
836 ASTContext &Ctx = svalBuilder.getContext();
840 QualType PtrTy = Ctx.getPointerType(Ctx.CharTy);
946 bool CStringChecker::SummarizeRegion(raw_ostream &os, ASTContext &Ctx,
1054 ASTContext &Ctx = SvalBuilder.getContext();
1055 QualType CharPtrTy = Ctx.getPointerType(Ctx.CharTy);