[Bug libstdc++/71780] std::map::operator[] crashes with std::vector of objects used as key

[kevin_harer at mentor dot com]

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

--- Comment #2 from Kevin Harer <kevin_harer at mentor dot com> ---
(In reply to Daniel Krügler from comment #1)
> I can reproduce the problem for gcc versions smaller than 4.7.3, but I doubt
> that these old versions will be maintained for a fix.

Daniel I sort of thought that - There is several acceptable work-arounds.
I just wanted to report it so it gets fixed wherever you can fix it -

Also - depending on the fix, I am not above hacking our own version
of headers...