https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70474
--- Comment #4 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- As reported in bugzilla the patch fixes the issue. What is your plan about it? TIA Dominique > Le 31 mars 2016 à 11:26, m.ostapenko at samsung dot com > <gcc-bugzi...@gcc.gnu.org> a écrit : > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70474 > > --- Comment #1 from Maxim Ostapenko <m.ostapenko at samsung dot com> --- > Created attachment 38143 > --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=38143&action=edit > Proposed patch. > > Does this patch fix the problem? > > -- > You are receiving this mail because: > You reported the bug.
