Searched refs:LeftNode (Results 1 – 1 of 1) sorted by relevance
187 static bool hasVisibleUpdate(const ExplodedNode *LeftNode, SVal LeftVal, in hasVisibleUpdate() argument201 LLCV->getStore() == LeftNode->getState()->getStore() && in hasVisibleUpdate()