Compile OpenCL2.x which declare "Other Data Types" with global address space in program scope


In OpenCL2.x, I think it is not legal to declare “Other Data Types” (The OpenCL™ C 2.0 Specification) ndrange_t / queue_t / … etc, with global address space in program scope, for example:

global ndrange_t nrt;
global queue_t qt;

kernel void test(global int *a) { a[0] = 0; }

Given the OpenCL2.x spec states:

In 6.5.1. __global (or global):
“Variables defined at program scope and static variables inside a
function can also be declared in the global address space. They can be
defined with any valid OpenCL C data type except for those in Other
Built-in Data Types. In particular, such program scope variables may
be of any user-defined type, or a pointer to a user-defined type.”

But I use clang-13 to compile the test case, it passes without any
warning or error:

clang-13 --target=amdgcn -cl-std=CL2.0 -S -O3

Should we add more checks in:

/// Returns true if there hasn't been any invalid type diagnosed.
static bool diagnoseOpenCLTypes(Sema &Se, VarDecl *NewVD)