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

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Are you sure this is not just a bug in Draco's use of the std::lib?

I'll try checking out the code and building it with _GLIBCXX_DEBUG defined, and
see if I can reproduce the crash.

Reply via email to