From: Karol Herbst <kherbst@redhat.com>
Date: Thu, 5 Mar 2020 21:13:24 +0000 (+0100)
Subject: nir/validate: validate the stride for deref_ptr_as_array
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=667e14e7bd759a77e732c4de09fb978ee3816eaf;p=mesa.git

nir/validate: validate the stride for deref_ptr_as_array

Signed-off-by: Karol Herbst <kherbst@redhat.com>
Reviewed-by: Jason Ekstrand <jason@jlekstrand.net>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/4068>
---

diff --git a/src/compiler/nir/nir_validate.c b/src/compiler/nir/nir_validate.c
index 998017d504a..70ddda3e98b 100644
--- a/src/compiler/nir/nir_validate.c
+++ b/src/compiler/nir/nir_validate.c
@@ -482,6 +482,7 @@ validate_deref_instr(nir_deref_instr *instr, validate_state *state)
                          parent->deref_type == nir_deref_type_array ||
                          parent->deref_type == nir_deref_type_ptr_as_array ||
                          parent->deref_type == nir_deref_type_cast);
+         validate_assert(state, nir_deref_instr_ptr_as_array_stride(parent));
          validate_src(&instr->arr.index, state,
                       nir_dest_bit_size(instr->dest), 1);
          break;