gdb: OpenCL C Datatypes

 
 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.