PR gdb/13405: