Lines Matching defs:WI
2342 WLItem &WI = WL.back();2343 assert(!WI.N->succ_empty());2345 for (; WI.I != WI.E; ++WI.I) {2346 const ExplodedNode *Succ = *WI.I; 2372 if (!WL.empty() && &WL.back() == &WI)