Searched refs:StoreSite (Results 1 – 2 of 2) sorted by relevance
1419 const ExplodedNode *StoreSite = nullptr; in VisitNode() local1427 StoreSite = Pred; in VisitNode()1437 StoreSite = Pred; in VisitNode()1447 if (!StoreSite) { in VisitNode()1457 StoreSite = Succ; in VisitNode()1496 if (!StoreSite) in VisitNode()1507 getParentTracker().track(InitE, StoreSite, Options); in VisitNode()1587 StoreSite, in VisitNode()1604 ProgramStateRef State = StoreSite->getState(); in VisitNode()1605 SVal V = StoreSite->getSVal(S); in VisitNode()[all …]
142 const ExplodedNode *StoreSite; member