reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
19 PendingBodies.push(Lambda->getBody()); 27 if (!PendingBodies.empty() && S == PendingBodies.top()) 27 if (!PendingBodies.empty() && S == PendingBodies.top()) 28 PendingBodies.pop(); 37 bool allBodiesHaveBeenTraversed() const { return PendingBodies.empty(); }