Cross Reference: /external/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

Lines Matching refs:MR
125                                               const MemRegion *MR,
130                                         const MemRegion *MR,
148                               const MemRegion *MR);
614                                                 const MemRegion *MR,
618   MR = MR->StripCasts();
620   switch (MR->getKind()) {
648     return state->remove<CStringLength>(MR);
650   return state->set<CStringLength>(MR, strLength);
656                                                const MemRegion *MR,
660     const SVal *Recorded = state->get<CStringLength>(MR);
669                                                     MR, Ex, sizeTy,
673     state = state->set<CStringLength>(MR, strLength);
681   const MemRegion *MR = Buf.getAsRegion();
682   if (!MR) {
719   MR = MR->StripCasts();
721   switch (MR->getKind()) {
727     const StringLiteral *strLit = cast<StringRegion>(MR)->getStringLiteral();
735     return getCStringLengthForRegion(C, state, Ex, MR, hypothetical);
761       if (SummarizeRegion(os, C.getASTContext(), MR))
808   if (Optional<loc::MemRegionVal> MR = L->getAs<loc::MemRegionVal>()) {
809     const MemRegion *R = MR->getRegion()->StripCasts();
831                                      const MemRegion *MR) {
832   const TypedValueRegion *TVR = dyn_cast<TypedValueRegion>(MR);
834   switch (MR->getKind()) {
836     const NamedDecl *FD = cast<FunctionTextRegion>(MR)->getDecl();
1907     const MemRegion *MR = VarLoc.getAsRegion();
1908     if (!MR)
1916     state = state->set<CStringLength>(MR, strLength);
1943     const MemRegion *MR = *I;
1944     Invalidated.insert(MR);
1946     SuperRegions.insert(MR);
1947     while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) {
1948       MR = SR->getSuperRegion();
1949       SuperRegions.insert(MR);
1958     const MemRegion *MR = I.getKey();
1961     if (SuperRegions.count(MR)) {
1962       Entries = F.remove(Entries, MR);
1967     const MemRegion *Super = MR;
1971         Entries = F.remove(Entries, MR);