check number of locals and parameters

diff --git a/lang/m2/comp/Version.c b/lang/m2/comp/Version.c
index 9b8c4ce..7e734b1 100644 (file)
--- a/lang/m2/comp/Version.c
+++ b/lang/m2/comp/Version.c
@@ -1 +1 @@
-static char Version[] = "ACK Modula-2 compiler Version 0.28";
+static char Version[] = "ACK Modula-2 compiler Version 0.29";

diff --git a/lang/m2/comp/type.c b/lang/m2/comp/type.c
index 3a9a31d..22496d8 100644 (file)
--- a/lang/m2/comp/type.c
+++ b/lang/m2/comp/type.c
@@ -399,6 +399,9 @@ proc_type(result_type, parameters, n_bytes_params)
 
        tp->prc_params = parameters;
        tp->prc_nbpar = n_bytes_params;
+       if (! fit(n_bytes_params, (int) word_size)) {
+               error("maximum parameter byte count exceeded");
+       }
        return tp;
 }
 

diff --git a/lang/m2/comp/walk.c b/lang/m2/comp/walk.c
index d148ac9..7961ec7 100644 (file)
--- a/lang/m2/comp/walk.c
+++ b/lang/m2/comp/walk.c
@@ -339,6 +339,9 @@ WalkProcedure(procedure)
        C_ret(func_res_size);
        if (! options['n']) WalkDefList(sc->sc_def, RegisterMessage);
        C_end(-sc->sc_off);
+       if (! fit(sc->sc_off, (int) word_size)) {
+               node_error(procedure->prc_body, "maximum local byte count exceeded");
+       }
        TmpClose();
        CurrVis = savevis;
        proclevel--;