172   struct StackElem {  in evaluate()  struct
182   std::stack<StackElem> CounterStack;  in evaluate()
188     StackElem &Current = CounterStack.top();  in evaluate()
205       if (Current.VisitCount == StackElem::KNeverVisited) {  in evaluate()
206         CounterStack.push(StackElem{E.LHS});  in evaluate()
207         Current.VisitCount = StackElem::KVisitedOnce;  in evaluate()
208       } else if (Current.VisitCount == StackElem::KVisitedOnce) {  in evaluate()
210         CounterStack.push(StackElem{E.RHS});  in evaluate()
211         Current.VisitCount = StackElem::KVisitedTwice;  in evaluate()
537   struct StackElem {  in getMaxCounterID()  struct
547   std::stack<StackElem> CounterStack;  in getMaxCounterID()
553     StackElem &Current = CounterStack.top();  in getMaxCounterID()
570         if (Current.VisitCount == StackElem::KNeverVisited) {  in getMaxCounterID()
571           CounterStack.push(StackElem{E.LHS});  in getMaxCounterID()
572           Current.VisitCount = StackElem::KVisitedOnce;  in getMaxCounterID()
573         } else if (Current.VisitCount == StackElem::KVisitedOnce) {  in getMaxCounterID()
575           CounterStack.push(StackElem{E.RHS});  in getMaxCounterID()
576           Current.VisitCount = StackElem::KVisitedTwice;  in getMaxCounterID()