Searched refs:OldRegion (Results 1 – 2 of 2) sorted by relevance
1699 const MemRegion *OldRegion = nullptr; in VisitNode() local1722 OldRegion = Candidate; in VisitNode()1741 if (!OldRegion && StoreSite->getState()->getSVal(R) == V) { in VisitNode()1762 OldRegion = FB.getRegion(); in VisitNode()1779 OldRegion}; in VisitNode()
12138 SequenceTree::Seq OldRegion = Region; in VisitSequencedExpressions() local12149 Region = OldRegion; in VisitSequencedExpressions()12212 SequenceTree::Seq OldRegion = Region; in VisitBinAssign() local12255 Region = OldRegion; in VisitBinAssign()12306 SequenceTree::Seq OldRegion = Region; in VisitBinLOr() local12326 Region = OldRegion; in VisitBinLOr()12339 SequenceTree::Seq OldRegion = Region; in VisitBinLAnd() local12358 Region = OldRegion; in VisitBinLAnd()12386 SequenceTree::Seq OldRegion = Region; in VisitAbstractConditionalOperator() local12414 Region = OldRegion; in VisitAbstractConditionalOperator()[all …]