Searched refs:StoreSite (Results 1 – 2 of 2) sorted by relevance
1366 const ExplodedNode *StoreSite = nullptr; in VisitNode() local1374 StoreSite = Pred; in VisitNode()1384 StoreSite = Pred; in VisitNode()1394 if (!StoreSite) { in VisitNode()1404 StoreSite = Succ; in VisitNode()1443 if (!StoreSite) in VisitNode()1454 getParentTracker().track(InitE, StoreSite, Options); in VisitNode()1534 StoreSite, in VisitNode()1551 ProgramStateRef State = StoreSite->getState(); in VisitNode()1552 SVal V = StoreSite->getSVal(S); in VisitNode()[all …]
141 const ExplodedNode *StoreSite; member