Lines Matching defs:MR
254 const MemRegion *MR,
259 const MemRegion *MR,
302 const MemRegion *MR);
957 const MemRegion *MR,
961 MR = MR->StripCasts();
963 switch (MR->getKind()) {
992 return state->remove<CStringLength>(MR);
994 return state->set<CStringLength>(MR, strLength);
1000 const MemRegion *MR,
1004 const SVal *Recorded = state->get<CStringLength>(MR);
1013 MR, Ex, sizeTy,
1030 state = state->set<CStringLength>(MR, strLength);
1039 const MemRegion *MR = Buf.getAsRegion();
1040 if (!MR) {
1064 MR = MR->StripCasts();
1066 switch (MR->getKind()) {
1072 const StringLiteral *strLit = cast<StringRegion>(MR)->getStringLiteral();
1078 const VarDecl *Decl = cast<NonParamVarRegion>(MR)->getDecl();
1095 return getCStringLengthForRegion(C, state, Ex, MR, hypothetical);
1114 if (SummarizeRegion(os, C.getASTContext(), MR))
1280 if (std::optional<loc::MemRegionVal> MR = L->getAs<loc::MemRegionVal>()) {
1281 const MemRegion *R = MR->getRegion()->StripCasts();
1307 const MemRegion *MR) {
1308 switch (MR->getKind()) {
1310 if (const auto *FD = cast<FunctionCodeRegion>(MR)->getDecl())
1325 << cast<TypedValueRegion>(MR)->getValueType();
1328 os << "a variable of type" << cast<TypedValueRegion>(MR)->getValueType();
1331 os << "a parameter of type" << cast<TypedValueRegion>(MR)->getValueType();
1334 os << "a field of type " << cast<TypedValueRegion>(MR)->getValueType();
1338 << cast<TypedValueRegion>(MR)->getValueType();
1350 const MemRegion *MR = MemVal.getAsRegion();
1351 if (!MR)
1358 RegionOffset Offset = MR->getAsOffset();
1407 State = setCStringLength(State, MR,
1411 CStringChecker::getTag(), MR, DstBuffer, Ctx.getSizeType(),
1421 MR, NewStrLen);
2742 const MemRegion *MR = VarLoc.getAsRegion();
2743 if (!MR)
2751 state = state->set<CStringLength>(MR, strLength);
2772 for (const MemRegion *MR : Regions) {
2773 Invalidated.insert(MR);
2775 SuperRegions.insert(MR);
2776 while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) {
2777 MR = SR->getSuperRegion();
2778 SuperRegions.insert(MR);
2785 for (const MemRegion *MR : llvm::make_first_range(Entries)) {
2787 if (SuperRegions.count(MR)) {
2788 Entries = F.remove(Entries, MR);
2793 const MemRegion *Super = MR;
2797 Entries = F.remove(Entries, MR);