You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
push_back does not appear to decrement the index when futures are popped, so the code that uses push_back is probably more likely to be affected by this issue.
See #2664
@conradludgate explained how to fix this, but it does not seem trivial.
(By the way, what I had in mind when I mentioned this issue in #2664 was to make the index 64-bit to mitigate the risk of overflow.)
The text was updated successfully, but these errors were encountered: