Благодаря ответу wm мне указали правильное направление, и я должен был написать фрагмент для печати информации о платформе:
cl_platform_info Param_Name[5]={CL_PLATFORM_PROFILE, CL_PLATFORM_VERSION, CL_PLATFORM_NAME, CL_PLATFORM_VENDOR, CL_PLATFORM_EXTENSIONS};
cl_platform_info param_name;
size_t param_value_size;
for(int j=0;j<5;j++){
param_name=Param_Name[j];
err = clGetPlatformInfo( platforms[i], param_name, 0, NULL, ¶m_value_size);
char* param_value = (char*)malloc( sizeof(char) * param_value_size);
err = clGetPlatformInfo( platforms[i], param_name, param_value_size, param_value, NULL );
printf("%s\n", param_value);
free(param_value);
}
Полный код можно найти здесь, в этом GitHub Gist .