I finally got around to reporting this upstream as https://sourceware.org/bugzilla/show_bug.cgi?id=25215
I finally got around to reporting this upstream as https:/ /sourceware. org/bugzilla/ show_bug. cgi?id= 25215