Fix guarding condition to avoid reading out of bound values in accessing M table variables

Author: mdurero

examples/java/src/com/mlang/MValue.java

@@ -276,7 +276,7 @@ static MValue m_array_index(MValue[] array, int tableStart, MValue index, int si
 
     if (indexInteger < 0) {
       return zero;
-    } else if (indexInteger > size) {
+    } else if (indexInteger >= size) {
       return mUndefined;
     } else {
       return array[tableStart + indexInteger];

examples/ocaml/mvalue.ml

@@ -114,7 +114,7 @@ let m_table_value_at_index (variable_array : m_array) (table_start : int)
     let offset = int_of_float index.value in
     match offset with
     | x when x < 0 -> m_zero
-    | x when x > size -> m_undef
+    | x when x >= size -> m_undef
     | _ -> Array.get variable_array (offset + table_start)
 
 let m_max (x : m_value) (y : m_value) : m_value =

src/mlang/backend_compilers/bir_to_dgfip_c.ml

@@ -284,8 +284,8 @@ let rec generate_c_expr (e : expression Pos.marked)
         Dand
           ( Dand
               ( Dvar (Local idx_var, Def),
-                Dbinop
-                  ("<=", Dvar (Local idx_var, Val), Dlit (float_of_int size)) ),
+                Dbinop ("<", Dvar (Local idx_var, Val), Dlit (float_of_int size))
+              ),
             Daccess (Pos.unmark var, Def, idx_var) )
       in
       let value_comp =