gdb patch #137813: no regression/no fix