Home | History | Annotate | Download | only in Checkers

Lines Matching refs:MR

197   const MemRegion *MR = C.getSVal(Arg).getAsRegion();
198   if (!MR) {
203   return MR;
274   const MemRegion *MR = getArgRegion(CE, C);
275   if (!MR)
279   DefinedOrUnknownSVal Size = getDynamicExtent(State, MR, C.getSValBuilder());
287   const MemRegion *MR = getArgRegion(CE, C);
288   if (!MR)
292       getDynamicExtent(C.getState(), MR, C.getSValBuilder());
302   const MemRegion *MR = getArgRegion(CE, C);
303   if (!MR)
307   if (const auto *TVR = MR->getAs<TypedValueRegion>()) {
311         MR->castAs<SymbolicRegion>()->getSymbol()->getType()->getPointeeType();
317       getDynamicElementCount(C.getState(), MR, C.getSValBuilder(), ElementTy);