reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1244 assert(FP.back().getPointer() == CurrentUpdate.getFrom() && 1245 FP.back().getInt() == CurrentUpdate.getKind()); 1246 FP.pop_back(); 1247 if (FP.empty()) BUI.FuturePredecessors.erase(CurrentUpdate.getTo());