[COMMITTED] pkl: add assertion to `pvm_make_array_type'

[Mohammad-Reza Nabipoor]

2022-10-27  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>

        * libpoke/pvm-val.c (pvm_make_array_type): Add an assertion
        for `bounder' to make sure it's not NULL.
---
 ChangeLog         | 5 +++++
 libpoke/pvm-val.c | 6 ++++--
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 51bd0bf9..7217c88c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2022-10-27  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>
+
+       * libpoke/pvm-val.c (pvm_make_array_type): Add an assertion
+       for `bounder' to make sure it's not NULL.
+
 2022-10-27  Mohammad-Reza Nabipoor  <mnabipoor@gnu.org>
 
        * doc/poke.texi (Describe-Compute): Fix Packet struct to use
diff --git a/libpoke/pvm-val.c b/libpoke/pvm-val.c
index 641fbd8b..54341761 100644
--- a/libpoke/pvm-val.c
+++ b/libpoke/pvm-val.c
@@ -527,12 +527,14 @@ pvm_make_offset_type (pvm_val base_type, pvm_val unit)
 }
 
 pvm_val
-pvm_make_array_type (pvm_val type, pvm_val bound)
+pvm_make_array_type (pvm_val type, pvm_val bounder)
 {
   pvm_val atype = pvm_make_type (PVM_TYPE_ARRAY);
 
+  assert (bounder);
+
   PVM_VAL_TYP_A_ETYPE (atype) = type;
-  PVM_VAL_TYP_A_BOUND (atype) = bound;
+  PVM_VAL_TYP_A_BOUND (atype) = bounder;
   return atype;
 }
 
-- 
2.38.1