[Bug libstdc++/65131] Integer overflow in .size() for std::vector

[fayard at insideloop dot io]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65131

--- Comment #7 from Francois Fayard <fayard at insideloop dot io> ---
I agree. Thanks for your comments.