Wrong behavior of clGetPlatformIDs()

Hi all, I discovered that calling the function cl_int clgetplatformids (cl_uint num_entries, cl_platform_id *platforms, cl_uint *num_platforms) with the platforms parameter set to NULL and the ...