Re: [Crash-utility] fix gdb_get_datatype cannot handle integer type