Home | History | Annotate | Download | only in Checkers

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);