Closed harrism closed 1 week ago
Fixes #1587
Note: the only time UB could occur was in the constructor, because the ctor pushes a pair onto the stack and pop_counters() does not allow the last pair to be popped. Therefore, we only need to check for empty in push_counters().
pop_counters()
push_counters()
/merge
Description
Fixes #1587
Note: the only time UB could occur was in the constructor, because the ctor pushes a pair onto the stack and
pop_counters()
does not allow the last pair to be popped. Therefore, we only need to check for empty inpush_counters()
.Checklist