Lines Matching defs:isNew
446 bool IsNew;
447 ExplodedNode *Node = G->getNode(Loc, State, &IsNew);
452 assert (IsNew);
457 if (IsNew) WList->enqueue(Node);
474 bool isNew;
475 ExplodedNode *node = engine.getGraph().getNode(programPoint, state, &isNew);
478 if (isNew) {
494 bool IsNew;
495 ExplodedNode *N = C.Eng.G->getNode(Loc, State, &IsNew);
502 if (IsNew && !N->isSink())
505 return (IsNew ? N : 0);
549 bool IsNew;
550 ExplodedNode *Succ = C.Eng.G->getNode(Loc, N->State, &IsNew);
553 if (IsNew)
586 bool IsNew;
589 Pred->getLocationContext()), St, &IsNew);
593 if (IsNew) {
611 bool IsNew;
614 St, &IsNew);
616 if (IsNew) {
636 bool IsNew;
639 Pred->getLocationContext()), St, &IsNew);
642 if (IsNew) {
670 bool IsNew;
674 State, &IsNew);
678 if (IsNew) {
696 bool isNew;
697 ExplodedNode *Node = Eng.G->getNode(Loc, state, &isNew);
700 if (isNew)
757 bool isNew;
758 ExplodedNode *Node = Eng.G->getNode(Loc, state, &isNew);
761 if (isNew)
772 bool isNew;
773 ExplodedNode *Node = Eng.G->getNode(Loc, state, &isNew);
775 if (isNew)
