glsl: Remove some unnecessary uses of error_emitted

The error_emitted flag is used in semantic checking to prevent spurious
cascading errors.  For example,

void foo(sampler2D s, float a)
{
    float x = a + (1.2 + s);

    ...
}

should only generate a single error.  Without the error_emitted flag for
the first error, "a + ..." would also generate an error.

However, a bunch of cases in _mesa_ast_array_index_to_hir that were
setting error_emitted would mask legitimate errors.  For example,

    vec4 a[7];
    float b = a[3.14];

should generate two error (float index and type mismatch in assignment).
The uses of error_emitted would cause only the first to be emitted.

This patch removes most of the places in _mesa_ast_array_index_to_hir
that would set the error_emitted flag.

Signed-off-by: Ian Romanick <ian.d.romanick@intel.com>
Reviewed-by: Kenneth Graunke <kenneth@whitecape.org>

diff --git a/src/glsl/ast_array_index.cpp b/src/glsl/ast_array_index.cpp
index fecda4592b6c5bf61e09f5f7fc5762cb09eeaac0..9331bef4bde132135c1b3fbb5a636803155991a2 100644 (file)
--- a/src/glsl/ast_array_index.cpp
+++ b/src/glsl/ast_array_index.cpp
@@ -43,17 +43,13 @@ _mesa_ast_array_index_to_hir(void *mem_ctx,
       _mesa_glsl_error(& idx_loc, state,
                       "cannot dereference non-array / non-matrix / "
                       "non-vector");
-      error_emitted = true;
+      result->type = glsl_type::error_type;
    }
 
    if (!idx->type->is_integer()) {
-      _mesa_glsl_error(& idx_loc, state,
-                      "array index must be integer type");
-      error_emitted = true;
+      _mesa_glsl_error(& idx_loc, state, "array index must be integer type");
    } else if (!idx->type->is_scalar()) {
-      _mesa_glsl_error(& idx_loc, state,
-                      "array index must be scalar");
-      error_emitted = true;
+      _mesa_glsl_error(& idx_loc, state, "array index must be scalar");
    }
 
    /* If the array index is a constant expression and the array has a
@@ -101,11 +97,9 @@ _mesa_ast_array_index_to_hir(void *mem_ctx,
       if (bound > 0) {
         _mesa_glsl_error(& loc, state, "%s index must be < %u",
                          type_name, bound);
-        error_emitted = true;
       } else if (idx < 0) {
         _mesa_glsl_error(& loc, state, "%s index must be >= 0",
                          type_name);
-        error_emitted = true;
       }
 
       if (array->type->is_array()) {
@@ -122,8 +116,7 @@ _mesa_ast_array_index_to_hir(void *mem_ctx,
            /* Check whether this access will, as a side effect, implicitly
             * cause the size of a built-in array to be too large.
             */
-           if (check_builtin_array_max_size(v->name, idx+1, loc, state))
-              error_emitted = true;
+           check_builtin_array_max_size(v->name, idx+1, loc, state);
         }
       }
    } else if (array->type->array_size() == 0) {
@@ -183,12 +176,8 @@ _mesa_ast_array_index_to_hir(void *mem_ctx,
                          "sampler arrays indexed with non-constant "
                          "expressions is forbidden in GLSL 1.30 and "
                          "later");
-        error_emitted = true;
       }
    }
 
-   if (error_emitted)
-      result->type = glsl_type::error_type;
-
    return result;
 }