Add some semantic checks for OpenCL. Variadic macros, VLAs and bitfields are not supported.