Searched refs:OriginalR (Results 1 – 2 of 2) sorted by relevance
640 const MemRegion * const *OriginalR; variable644 : R(r), OriginalR(originalR) {} in referenced_vars_iterator()650 return cast<VarRegion>(*OriginalR); in getOriginalRegion()663 ++OriginalR;
520 if (const VarRegion *OriginalR = BDR->getOriginalRegion(VR)) { in VisitNode() local522 State->getSVal(OriginalR).getAs<KnownSVal>()) in VisitNode()523 BR.addVisitor(new FindLastStoreBRVisitor(*KV, OriginalR)); in VisitNode()