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)