Gdb/OpenCL-C-Datatypes

From Get docs

15.4.5.1 OpenCL C Datatypes

GDB supports the builtin scalar and vector datatypes specified by OpenCL 1.1. In addition the half- and double-precision floating point data types of the cl_khr_fp16 and cl_khr_fp64 OpenCL extensions are also known to GDB.