Searched refs:StoreSite (Results 1 – 2 of 2) sorted by relevance
1526 const ExplodedNode *StoreSite = nullptr; in VisitNode() local1534 StoreSite = Pred; in VisitNode()1545 StoreSite = Pred; in VisitNode()1555 if (!StoreSite) { in VisitNode()1565 StoreSite = Succ; in VisitNode()1680 if (!StoreSite) in VisitNode()1691 getParentTracker().track(InitE, StoreSite, Options); in VisitNode()1771 StoreSite, in VisitNode()1788 ProgramStateRef State = StoreSite->getState(); in VisitNode()1789 SVal V = StoreSite->getSVal(S); in VisitNode()[all …]
149 const ExplodedNode *StoreSite; member