compiler/glsl: do not downcast list sentinel
authorNicolai Hähnle <nicolai.haehnle@amd.com>
Sat, 30 Apr 2016 06:36:59 +0000 (01:36 -0500)
committerNicolai Hähnle <nicolai.haehnle@amd.com>
Sat, 7 May 2016 21:46:58 +0000 (16:46 -0500)
This crashes gcc's undefined behaviour sanitizer.

Reviewed-by: Marek Olšák <marek.olsak@amd.com>
src/compiler/glsl/ir.cpp

index 750f61744e76d0e3f01e2f3373a754f534bb9018..d69ab131199aa8d584f93958a5e41cb6d1473260 100644 (file)
@@ -869,7 +869,8 @@ ir_constant::ir_constant(const struct glsl_type *type, exec_list *value_list)
    /* Use each component from each entry in the value_list to initialize one
     * component of the constant being constructed.
     */
-   for (unsigned i = 0; i < type->components(); /* empty */) {
+   unsigned i = 0;
+   for (;;) {
       assert(value->as_constant() != NULL);
       assert(!value->is_tail_sentinel());
 
@@ -901,6 +902,8 @@ ir_constant::ir_constant(const struct glsl_type *type, exec_list *value_list)
            break;
       }
 
+      if (i >= type->components())
+        break; /* avoid downcasting a list sentinel */
       value = (ir_constant *) value->next;
    }
 }