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

--- Comment #8 from Maxim Ostapenko <m.ostapenko at samsung dot com> ---
(In reply to Dominique d'Humieres from comment #7)
> > Attaching untested fix.
> > Dominique, could you try it?
> 
> Allow for ~2 hours.

Or better Jakub's fix, it looks cleaner.

Reply via email to