Lines Matching defs:Ctx
648 ASTContext &Ctx;
669 : RM(rm), Ctx(StateMgr.getContext()),
1057 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
1079 Ctx.IntTy, Count);
1084 if (const ArrayType *AT = Ctx.getAsArrayType(T)) {
1100 uint64_t ElemSize = Ctx.getTypeSize(ElementTy);
1197 /* type does not matter */ Ctx.IntTy,
1311 if (Ctx.getAsVariableArrayType(EleTy)) {
1318 CharUnits EleSize = Ctx.getTypeSizeInChars(EleTy);
1342 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, R, Ctx));
1586 QualType T = Ctx.getAsArrayType(StrR->getValueType())->getElementType();
1587 if (!Ctx.hasSameUnqualifiedType(T, R->getElementType()))
1630 if (Ctx.getTypeSizeInChars(baseT) >= Ctx.getTypeSizeInChars(elemT)) {
1941 assert(Ctx.getAsConstantArrayType(R->getValueType()) &&
2035 V = svalBuilder.makeZeroVal(Ctx.IntTy);
2054 const ArrayType *AT =cast<ArrayType>(Ctx.getCanonicalType(R->getValueType()));
2093 const ElementRegion *ER = MRMgr.getElementRegion(ElementTy, Idx, R, Ctx);
2140 const ElementRegion *ER = MRMgr.getElementRegion(ElemType, Idx, R, Ctx);