Компилятор OpenCL2.2 SPIRV не проверяет неверный код

Я просто использовал Реализация эталонного лязга OpenCL C ++ для компиляции исходного кода на странице 13 функции:

#include <opencl_def>
#include <opencl_memory>
#include <opencl_vector_load_store>

half bar(half a) { //ok: half built-in type passed by value
half b = a; //ok: copying half data type
b += 10.0; // not allowed: arithmetic operation
// vload should be used or cl_khr_fp16 support enabled
float f = cl::vload_half<1>(0, &b); // ok
return a; //ok: return half built-in type
}

kernel void foo(cl::global_ptr<half> pg) { //ok: a global pointer
// passed from the host
int offset = 1;
half *ptr = pg.get() + offset; //ok: half pointer arithmetic
half b = bar(*ptr); //ok: dereferencing half pointer
if(b < *ptr) { //not allowed: it is only supported if cl_khr_fp16
// extension is enabled
}
}

Спецификации говорят, что есть линия с half мутация, которая недопустима, и поэтому я ожидал, что компиляция потерпит неудачу. К сожалению, он собран без каких-либо жалоб.

Я что-то не так понимаю?