Home | History | Annotate | Download | only in Core

Lines Matching full:isnew

61   bool isNew;
62 ExplodedNode *Node = G.getNode(Loc, state, false, &isNew);
64 if (isNew)
287 bool isNew;
288 ExplodedNode *BindedRetNode = G.getNode(Loc, state, false, &isNew);
290 if (!isNew)
313 bool isNew;
315 ExplodedNode *CEENode = G.getNode(Loc, CEEState, false, &isNew);
317 if (!isNew)
450 bool isNew;
451 if (ExplodedNode *N = G.getNode(Loc, State, false, &isNew)) {
453 if (isNew)