https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82509
--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > This uses your patch to gcc, plus the following patch to gdb: > > https://sourceware.org/ml/gdb-patches/2017-10/msg00266.html Great, thanks for the testing.