//xfail:NOT_ALL_VERIFIED
//--local_size=128 --num_groups=128 --no-inline
//kernel.cl:13:[\d]+:[\s]+error:[\s]+this assertion might not hold for work item [\d]+ in work group [\d]+[\s]+__assert\(!__write\(p\)\);





__kernel void foo(__global int* p, __global int* q) {

  p[get_global_id(0)] = q[get_global_id(0)];

  __assert(!__write(p));

}
