Lines Matching defs:Ctx
26 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {}
59 return MRMgr.getElementRegion(T, idx, R, Ctx);
64 ASTContext &Ctx = StateMgr.getContext();
86 QualType CanonPointeeTy = Ctx.getCanonicalType(PointeeTy);
89 if (CanonPointeeTy.getLocalUnqualifiedType() == Ctx.VoidTy)
95 QualType ObjTy = Ctx.getCanonicalType(TR->getValueType());
167 QualType ObjTy = Ctx.getCanonicalType(TR->getValueType());
168 QualType CanonPointeeTy = Ctx.getCanonicalType(PointeeTy);
190 CharUnits pointeeTySize = Ctx.getTypeSizeInChars(PointeeTy);
205 newSuperR = MakeElementRegion(baseR, Ctx.CharTy, off.getQuantity());
373 ASTContext &Ctx = svalBuilder.getContext();
379 T = Ctx.getPointerType(RT->getPointeeType());
456 BaseRegion, Ctx));
476 Ctx));
489 Ctx));
