Lines Matching defs:WI
1874 WLItem &WI = WL.back();1875 assert(!WI.N->succ_empty());1877 for (; WI.I != WI.E; ++WI.I) {1878 const ExplodedNode *Succ = *WI.I; 1904 if (!WL.empty() && &WL.back() == &WI)