glsl/linker: link-error using the same name in unnamed block and outside

According with OpenGL GLSL 4.20 spec, section 4.3.9, page 57:

   "It is a link-time error if any particular shader interface
    contains:
      - two different blocks, each having no instance name, and each
        having a member of the same name, or
      - a variable outside a block, and a block with no instance name,
        where the variable has the same name as a member in the block."

This means that it is a link error if for example we have a vertex
shader with the following definition.

  "layout(location=0) uniform Data { float a; float b; };"

and a fragment shader with:

  "uniform float a;"

As in both cases we refer to both uniforms as "a", and thus using
glGetUniformLocation() wouldn't know which one we mean.

This fixes KHR-GL*.shaders.uniform_block.common.name_matching.

v2: add fixed tests (Tapani)

Reviewed-by: Tapani Pälli <tapani.palli@intel.com>
This commit is contained in:
Juan A. Suarez Romero 2018-01-16 19:42:35 +01:00
parent 47ac11bcf8
commit 9b894c88a6
1 changed files with 23 additions and 0 deletions

View File

@ -1111,6 +1111,29 @@ cross_validate_globals(struct gl_shader_program *prog,
return;
}
/* In OpenGL GLSL 4.20 spec, section 4.3.9, page 57:
*
* "It is a link-time error if any particular shader interface
* contains:
*
* - two different blocks, each having no instance name, and each
* having a member of the same name, or
*
* - a variable outside a block, and a block with no instance name,
* where the variable has the same name as a member in the block."
*/
if (var->data.mode == existing->data.mode &&
var->get_interface_type() != existing->get_interface_type()) {
linker_error(prog, "declarations for %s `%s` are in "
"%s and %s\n",
mode_string(var), var->name,
existing->get_interface_type() ?
existing->get_interface_type()->name : "outside a block",
var->get_interface_type() ?
var->get_interface_type()->name : "outside a block");
return;
}
/* Only in GLSL ES 3.10, the precision qualifier should not match
* between block members defined in matched block names within a
* shader interface.