PR gdb/15827