Searched refs:OriginalR (Results 1 – 2 of 2) sorted by relevance
654 const MemRegion * const *OriginalR; variable658 : R(r), OriginalR(originalR) {} in referenced_vars_iterator()664 return cast<VarRegion>(*OriginalR); in getOriginalRegion()677 ++OriginalR;
569 if (const VarRegion *OriginalR = BDR->getOriginalRegion(VR)) { in VisitNode() local571 State->getSVal(OriginalR).getAs<KnownSVal>()) in VisitNode()572 BR.addVisitor(new FindLastStoreBRVisitor(*KV, OriginalR, in VisitNode()