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

[jo.rickert at protonmail dot ch via Gcc-bugs]

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

--- Comment #6 from jo.rickert at protonmail dot ch ---
(In reply to Andrew Pinski from comment #4)
> You can read up more on the one definition rule here:
> https://en.cppreference.com/w/cpp/language/definition
> 
> It is a good summary of what the standard says.

Thanks, I thought the name had to be unique per translation unit.