Mesa (master): nir/validate: validate the stride for deref_ptr_as_array

[GitLab Mirror]

Module: Mesa
Branch: master
Commit: 667e14e7bd759a77e732c4de09fb978ee3816eaf
URL:    http://cgit.freedesktop.org/mesa/mesa/commit/?id=667e14e7bd759a77e732c4de09fb978ee3816eaf

Author: Karol Herbst <kherbst at redhat.com>
Date:   Thu Mar  5 22:13:24 2020 +0100

nir/validate: validate the stride for deref_ptr_as_array

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

---

 src/compiler/nir/nir_validate.c | 1 +
 1 file changed, 1 insertion(+)

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;