printf format string

I want to clarify something about `printf`'s `format` argument.
The spec says:

> The format is in the constant address
space and must be resolvable at compile time, i.e. cannot be dynamically created by the executing
program itself.

Does it mean that `format` may be a kernel argument rather than a string literal? For example:

`__kernel void f(__constant char* arg) {
printf(arg);
}`

I don't see any such code in the CTS. I prefer this code to be disallowed. If you agree, I'll upload a change to the spec to clarify this.

Review the printf format requirement in the OpenCL specification and the CTS coverage mentioned in the issue. Evaluate the shown __constant char* kernel-argument example; done means the specification explicitly resolves whether it is allowed, with any needed CTS coverage identified.

Written by the indexing model from the issue text.