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.