https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80361
--- Comment #1 from Jürgen Reuter <juergen.reuter at desy dot de> --- Bug only appears when using the flags -fbacktrace -ggdb -fcheck=all. With default flags -O2 -g it doesn't occur.
juergen.reuter at desy dot de Fri, 07 Apr 2017 14:20:34 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80361
--- Comment #1 from Jürgen Reuter <juergen.reuter at desy dot de> --- Bug only appears when using the flags -fbacktrace -ggdb -fcheck=all. With default flags -O2 -g it doesn't occur.