From: Michael D. Lowis <mike.lowis@gentex.com>
Date: Wed, 28 Jan 2015 21:29:37 +0000 (-0500)
Subject: Added asserts to protect against underflow and overflow
X-Git-Url: https://git.mdlowis.com/?a=commitdiff_plain;h=181cc70ebeb96e349a506030d52b3c2f172cf7e9;p=projs%2Fonward.git

Added asserts to protect against underflow and overflow
---

diff --git a/source/onward.c b/source/onward.c
index 0037399..e402023 100755
--- a/source/onward.c
+++ b/source/onward.c
@@ -2,6 +2,7 @@
 #include "onward_sys.h"
 #include <string.h>
 #include <stdio.h>
+#include <assert.h>
 
 static value_t char_oneof(char ch, char* chs);
 
@@ -536,27 +537,33 @@ value_t onward_pcfetch(void) {
 
 void onward_aspush(value_t val) {
     asp += sizeof(value_t);
+    assert(asp <= (asb + ARG_STACK_SZ));
     *((value_t*)asp) = val;
 }
 
 value_t onward_aspeek(value_t val) {
-    return *((value_t*)(asp + (val * sizeof(value_t))));
+    uintptr_t location = asp + (val * sizeof(value_t));
+    assert(location > asb);
+    return *((value_t*)(location));
 }
 
 value_t onward_aspop(void) {
     value_t val = *((value_t*)asp);
     asp -= sizeof(value_t);
+    assert(asp >= asb);
     return val;
 }
 
 void onward_rspush(value_t val) {
     rsp += sizeof(value_t);
+    assert(rsp <= (rsb + RET_STACK_SZ));
     *((value_t*)rsp) = val;
 }
 
 value_t onward_rspop(void) {
     value_t val = *((value_t*)rsp);
     rsp -= sizeof(value_t);
+    assert(rsp >= rsb);
     return val;
 }