find the type of pointer in gdb