Bug#903694: Bug#856274: patch

2018-07-18 Thread Matthias Klose
On 15.07.2018 17:12, Nicolas Boulenguez wrote: > Hello. > > The attached reproducer_installed demonstrates that > * 903694 is a bug in gcc-7, not in the source for gcc-snapshot. > * 856274 is fixed in gcc-7. > > I have tried to rebuild gcc-7 with itself, replacing the former > debian/patches/ada-

Bug#856274: patch

2018-07-15 Thread Nicolas Boulenguez
Hello. The attached reproducer_installed demonstrates that * 903694 is a bug in gcc-7, not in the source for gcc-snapshot. * 856274 is fixed in gcc-7. I have tried to rebuild gcc-7 with itself, replacing the former debian/patches/ada-gcc-name.diff with the attached version. Then reproducer_in_tr