Error checking in free

1 files changed, 8 insertions, 1 deletions

diff --git a/regscope.c b/regscope.c
index ee7a001..be5546a 100644
--- a/regscope.c
+++ b/regscope.c
@@ -224,7 +224,14 @@ reg_alloc_free (reg_alloc_t *ra, reg_t reg)
     int idx = find_index (ra, reg);
     reg_status_t *status = &ra->status[idx];
 
-    status->allocated = FALSE;
+    if (status->spillable)
+    {
+	fprintf (stderr, "Attempting to free a spillable register\n");
+	return;
+    }
+
+    if (status->n_spills == 0)
+	status->allocated = FALSE;
 }
 
 int