[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 #2 from jo.rickert at protonmail dot ch ---
The forgotten command line:

g++ -o main main.cpp dummy.cpp undefined_behavior.cpp