Lines Matching refs:IsNew
108 bool IsNew;
109 ExplodedNode *Node = G.getNode(StartLoc, InitState, false, &IsNew);
110 assert(IsNew);
498 bool IsNew;
499 ExplodedNode *Node = G.getNode(Loc, State, false, &IsNew);
504 assert(IsNew);
509 if (IsNew) WList->enqueue(Node);
554 bool IsNew;
555 ExplodedNode *Succ = G.getNode(Loc, N->getState(), false, &IsNew);
558 if (IsNew)
609 bool IsNew;
610 ExplodedNode *N = C.Eng.G.getNode(Loc, State, MarkAsSink, &IsNew);
614 if (!IsNew)
650 bool IsNew;
653 St, IsSink, &IsNew);
656 if (!IsNew)
668 bool IsNew;
671 St, false, &IsNew);
673 if (!IsNew)
692 bool IsNew;
695 St, IsSink, &IsNew);
698 if (!IsNew)