https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77267
--- Comment #10 from Alexander Ivchenko <aivchenk at gmail dot com> --- Matthias, could you apply the fix for that bug (https://gcc.gnu.org/viewcvs?rev=240057&root=gcc&view=rev) to the Ubuntu version of gcc?
