https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71701
--- Comment #5 from Pedro Alves <palves at redhat dot com> --- See original context here, where the warning was truly puzzling: https://sourceware.org/ml/gdb-patches/2016-06/msg00515.html
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71701
--- Comment #5 from Pedro Alves <palves at redhat dot com> --- See original context here, where the warning was truly puzzling: https://sourceware.org/ml/gdb-patches/2016-06/msg00515.html