The if guard if(ii < size) in the OpenCL code is only required because more threads are launched than work items - this is the kind of thing that I would like to abstract out in the Fortran code (but still needs to be generated).
I agree you’re right; perhaps we should first focus on what we can do with do concurrent to start with, and then see what limitations arise?