184   int64_t LastPoppedValue;  in evaluate()  local
191       LastPoppedValue = 0;  in evaluate()
197       LastPoppedValue = CounterValues[Current.ICounter.getCounterID()];  in evaluate()
208         Current.LHS = LastPoppedValue;  in evaluate()
213         int64_t RHS = LastPoppedValue;  in evaluate()
214         LastPoppedValue =  in evaluate()
223   return LastPoppedValue;  in evaluate()
501   int64_t LastPoppedValue;  in getMaxCounterID()  local
508       LastPoppedValue = 0;  in getMaxCounterID()
512       LastPoppedValue = Current.ICounter.getCounterID();  in getMaxCounterID()
517         LastPoppedValue = 0;  in getMaxCounterID()
525           Current.LHS = LastPoppedValue;  in getMaxCounterID()
530           int64_t RHS = LastPoppedValue;  in getMaxCounterID()
531           LastPoppedValue = std::max(LHS, RHS);  in getMaxCounterID()
540   return LastPoppedValue;  in getMaxCounterID()