Processed: update tags

2018-07-15 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > tags 856274 + fixed Bug #856274 [gnat-5,gnat-6,gnat-7] gnat-BV: gnatchop fails to execute (ARCH-)?gcc-BV-BV Added tag(s) fixed. > reassign 903694 gcc-7 7.0.3-24 Bug #903694 [src:gcc-snapshot] gnatlink tries to call -gcc-N-N Bug reassigned from

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