cl: Don't use device_infos if num_device_infos == 0

[piglit.git] / tests / shaders / glsl-link-initializer-01a.vert

float global_variable;

void main()
{
  gl_Position = gl_Vertex;
}