From 5427bf8939f0ed254db9db32a6d96af98e641f59 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Juan=20Manuel=20Tom=C3=A1s?= <jtomas1815@gmail.com>
Date: Sun, 26 Apr 2020 22:24:46 -0300
Subject: Replace out of bound checks with asserts

---
 page.c | 35 ++++++++++++++++-------------------
 1 file changed, 16 insertions(+), 19 deletions(-)

(limited to 'page.c')

diff --git a/page.c b/page.c
index 864623e..dd3d29a 100644
--- a/page.c
+++ b/page.c
@@ -1,6 +1,7 @@
 #include <stdint.h>
 #include <string.h>
 #include <stdlib.h>
+#include <assert.h>
 
 #ifndef PAGE_SIZE
 #define PAGE_SIZE 4096
@@ -65,32 +66,28 @@ void free_page(struct page *page) {
 }
 
 void move_gap_forward(struct page *page) {
-	if (page->gap_end < PAGE_SIZE) {
-		page->elements[page->gap_start] = page->elements[page->gap_end];
-		page->gap_start++;
-		page->gap_end++;
-	}
+	assert(page->gap_end < PAGE_SIZE);
+	page->elements[page->gap_start] = page->elements[page->gap_end];
+	page->gap_start++;
+	page->gap_end++;
 }
 
 void move_gap_backward(struct page *page) {
-	if (page->gap_start > 0) {
-		page->gap_end--;
-		page->gap_start--;
-		page->elements[page->gap_end] = page->elements[page->gap_start];
-	}
+	assert(page->gap_start > 0);
+	page->gap_end--;
+	page->gap_start--;
+	page->elements[page->gap_end] = page->elements[page->gap_start];
 }
 
 void insert_at_gap(struct page *page, uint8_t c) {
-	if (page->element_count < PAGE_SIZE) {
-		page->elements[page->gap_start] = c;
-		page->gap_start++;
-		page->element_count++;
-	}
+	assert(page->element_count < PAGE_SIZE);
+	page->elements[page->gap_start] = c;
+	page->gap_start++;
+	page->element_count++;
 }
 
 void delete_at_gap(struct page *page) {
-	if (page->gap_start > 0) {
-		page->gap_start--;
-		page->element_count--;
-	}
+	assert(page->gap_start > 0);
+	page->gap_start--;
+	page->element_count--;
 }
-- 
cgit v1.2.3