https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85230
--- Comment #8 from Dmitry Vyukov <dvyukov at google dot com> --- Depending on how long the proper fix will take. If we are talking about, say, a week then I will just wait. We have to deal with hundreds of assorted kernel crashes all over the place anyway.
