Home | History | Annotate | Download | only in Core

Lines Matching refs:NI

1983   for (ExplodedNodeSet::iterator NI=Tmp.begin(), NE=Tmp.end(); NI!=NE; ++NI)
1984 evalBind(Dst, StoreE, *NI, location, Val, false);
2047 for (ExplodedNodeSet::iterator NI=Tmp.begin(), NE=Tmp.end(); NI!=NE; ++NI) {
2048 state = (*NI)->getState();
2049 const LocationContext *LCtx = (*NI)->getLocationContext();
2058 Bldr.generateNode(NodeEx, *NI, state->BindExpr(BoundEx, LCtx, V), tag,