On Mon, Jul 30, 2018 at 04:38:17PM +0200, U.Mutlu wrote: > So, if you assume the bug happens only with the gcc from the > Debian repository, then maybe you should contact them too: > https://packages.debian.org/buster/gcc > https://bugs.debian.org/cgi-bin/pkgreport.cgi?pkg=gcc;dist=unstable No problem. I will try to figure out if this is Debian only or not. I suspect not because someone has tried to fix a similar issue on Fedora. Thanks for your help. Wei.
