[Bug c++/108063] push_back on std::vector allocates wrong amount of memory

[eric41293 at comcast dot net via Gcc-bugs]

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

Eric Schmidt <eric41293 at comcast dot net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |eric41293 at comcast dot net

--- Comment #5 from Eric Schmidt <eric41293 at comcast dot net> ---
Surely this should have been resolved as INVALID?