glsl: remove duplicate embedded struct validation

Commit c98deb18d5836f in 2010 disallowed embedded struct definitions
in ES. Then in 2013 d9bb8b7b56ce65b disallowed it for everything but
GLSL 1.10.

Commit c98deb18d5836f seemed the cleanest way to do the check so its
been extended to cover GL and the other version has been removed.

Reviewed-by: Iago Toral Quiroga <itoral@igalia.com>

diff --git a/src/compiler/glsl/ast_to_hir.cpp b/src/compiler/glsl/ast_to_hir.cpp
index 92f4988c3396f05ed46a64139433ff5ef7843abc..38336729cea0a1539cf51cb7553f3c1595562bc3 100644 (file)
--- a/src/compiler/glsl/ast_to_hir.cpp
+++ b/src/compiler/glsl/ast_to_hir.cpp
@@ -6267,13 +6267,24 @@ ast_process_struct_or_iface_block_members(exec_list *instructions,
 
       decl_list->type->specifier->hir(instructions, state);
 
-      /* Section 10.9 of the GLSL ES 1.00 specification states that
-       * embedded structure definitions have been removed from the language.
+      /* Section 4.1.8 (Structures) of the GLSL 1.10 spec says:
+       *
+       *    "Anonymous structures are not supported; so embedded structures
+       *    must have a declarator. A name given to an embedded struct is
+       *    scoped at the same level as the struct it is embedded in."
+       *
+       * The same section of the  GLSL 1.20 spec says:
+       *
+       *    "Anonymous structures are not supported. Embedded structures are
+       *    not supported."
+       *
+       * The GLSL ES 1.00 and 3.00 specs have similar langauge. So, we allow
+       * embedded structures in 1.10 only.
        */
-      if (state->es_shader && decl_list->type->specifier->structure != NULL) {
-         _mesa_glsl_error(&loc, state, "embedded structure definitions are "
-                          "not allowed in GLSL ES 1.00");
-      }
+      if (state->language_version != 110 &&
+          decl_list->type->specifier->structure != NULL)
+         _mesa_glsl_error(&loc, state,
+                          "embedded structure declarations are not allowed");
 
       const glsl_type *decl_type =
          decl_list->type->glsl_type(& type_name, state);
@@ -6514,33 +6525,6 @@ ast_struct_specifier::hir(exec_list *instructions,
 {
    YYLTYPE loc = this->get_location();
 
-   /* Section 4.1.8 (Structures) of the GLSL 1.10 spec says:
-    *
-    *     "Anonymous structures are not supported; so embedded structures must
-    *     have a declarator. A name given to an embedded struct is scoped at
-    *     the same level as the struct it is embedded in."
-    *
-    * The same section of the  GLSL 1.20 spec says:
-    *
-    *     "Anonymous structures are not supported. Embedded structures are not
-    *     supported.
-    *
-    *         struct S { float f; };
-    *         struct T {
-    *             S;              // Error: anonymous structures disallowed
-    *             struct { ... }; // Error: embedded structures disallowed
-    *             S s;            // Okay: nested structures with name are allowed
-    *         };"
-    *
-    * The GLSL ES 1.00 and 3.00 specs have similar langauge and examples.  So,
-    * we allow embedded structures in 1.10 only.
-    */
-   if (state->language_version != 110 && state->struct_specifier_depth != 0)
-      _mesa_glsl_error(&loc, state,
-                      "embedded structure declarations are not allowed");
-
-   state->struct_specifier_depth++;
-
    unsigned expl_location = 0;
    if (layout && layout->flags.q.explicit_location) {
       if (!process_qualifier_constant(state, &loc, "location",
@@ -6583,8 +6567,6 @@ ast_struct_specifier::hir(exec_list *instructions,
       }
    }
 
-   state->struct_specifier_depth--;
-
    /* Structure type definitions do not have r-values.
     */
    return NULL;
@@ -6704,11 +6686,6 @@ ast_interface_block::hir(exec_list *instructions,
    exec_list declared_variables;
    glsl_struct_field *fields;
 
-   /* Treat an interface block as one level of nesting, so that embedded struct
-    * specifiers will be disallowed.
-    */
-   state->struct_specifier_depth++;
-
    /* For blocks that accept memory qualifiers (i.e. shader storage), verify
     * that we don't have incompatible qualifiers
     */
@@ -6751,8 +6728,6 @@ ast_interface_block::hir(exec_list *instructions,
                                                 qual_stream,
                                                 expl_location);
 
-   state->struct_specifier_depth--;
-
    if (!redeclaring_per_vertex) {
       validate_identifier(this->block_name, loc, state);
 

diff --git a/src/compiler/glsl/glsl_parser_extras.cpp b/src/compiler/glsl/glsl_parser_extras.cpp
index 20ec89dd21008919db890b0e92e64c62e11a6979..99a04287224a98711c287e2aa25a4eccb8cd03d3 100644 (file)
--- a/src/compiler/glsl/glsl_parser_extras.cpp
+++ b/src/compiler/glsl/glsl_parser_extras.cpp
@@ -69,8 +69,6 @@ _mesa_glsl_parse_state::_mesa_glsl_parse_state(struct gl_context *_ctx,
    this->error = false;
    this->loop_nesting_ast = NULL;
 
-   this->struct_specifier_depth = 0;
-
    this->uses_builtin_functions = false;
 
    /* Set default language version and extensions */

diff --git a/src/compiler/glsl/glsl_parser_extras.h b/src/compiler/glsl/glsl_parser_extras.h
index a905b5647878e082bd9661da5ed7c812d872767e..4dacc2ac62beb8f86ac63de9e05fe710e9db8981 100644 (file)
--- a/src/compiler/glsl/glsl_parser_extras.h
+++ b/src/compiler/glsl/glsl_parser_extras.h
@@ -289,13 +289,6 @@ struct _mesa_glsl_parse_state {
    unsigned forced_language_version;
    gl_shader_stage stage;
 
-   /**
-    * Number of nested struct_specifier levels
-    *
-    * Outside a struct_specifier, this is zero.
-    */
-   unsigned struct_specifier_depth;
-
    /**
     * Default uniform layout qualifiers tracked during parsing.
     * Currently affects uniform blocks and uniform buffer variables in