glsl: catch out of bounds access in the debug version

Signed-off-by: Marcin Ślusarz <marcin.slusarz@intel.com>
Reviewed-by: Marek Olšák <marek.olsak@amd.com>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/6067>

diff --git a/src/compiler/glsl/lower_precision.cpp b/src/compiler/glsl/lower_precision.cpp
index d03c66a5dc05ecea45c64392b315bf90fe834078..1f116cd40ff9c09712a45554155d31ea2f37d7ac 100644 (file)
--- a/src/compiler/glsl/lower_precision.cpp
+++ b/src/compiler/glsl/lower_precision.cpp
@@ -445,8 +445,9 @@ is_lowerable_builtin(ir_call *ir,
        */
       const struct util_format_description *desc =
          util_format_description(resource->data.image_format);
        */
       const struct util_format_description *desc =
          util_format_description(resource->data.image_format);

-      unsigned i =
+      int i =

          util_format_get_first_non_void_channel(resource->data.image_format);
          util_format_get_first_non_void_channel(resource->data.image_format);

+      assert(i >= 0);

 
       if (desc->channel[i].pure_integer ||
           desc->channel[i].type == UTIL_FORMAT_TYPE_FLOAT)
 
       if (desc->channel[i].pure_integer ||
           desc->channel[i].type == UTIL_FORMAT_TYPE_FLOAT)