Lines Matching defs:isNew
197 bool IsNew;
198 ExplodedNode *Node = G.getNode(StartLoc, InitState, false, &IsNew);
199 assert (IsNew);
530 bool IsNew;
531 ExplodedNode *Node = G.getNode(Loc, State, false, &IsNew);
536 assert (IsNew);
541 if (IsNew) WList->enqueue(Node);
585 bool IsNew;
586 ExplodedNode *Succ = G.getNode(Loc, N->getState(), false, &IsNew);
589 if (IsNew)
601 bool isNew;
602 ExplodedNode *Node = G.getNode(Loc, N->getState(), false, &isNew);
604 return isNew ? Node : nullptr;
647 bool IsNew;
648 ExplodedNode *N = C.Eng.G.getNode(Loc, State, MarkAsSink, &IsNew);
652 if (!IsNew)
689 bool IsNew;
692 St, IsSink, &IsNew);
695 if (!IsNew)
709 bool IsNew;
712 St, false, &IsNew);
714 if (!IsNew)
734 bool IsNew;
737 St, IsSink, &IsNew);
740 if (!IsNew)
