Home | History | Annotate | Download | only in Core

Lines Matching refs:WI

1768       WLItem &WI = WL.back();
1769       assert(!WI.N->succ_empty());
1771       for (; WI.I != WI.E; ++WI.I) {
1772         const ExplodedNode *Succ = *WI.I;        
1798       if (!WL.empty() && &WL.back() == &WI)