Fix a potential crash.

cwalther · cwalther · commit b1996c2dd98d · 2020-10-02T10:56:20.000+02:00
diff --git a/main.c b/main.c
@@ -266,6 +266,7 @@ bool cleanup_after_vm(supervisor_allocation* heap) {
     if (next_code) {
         if (next_code_allocation) {
             free_memory(next_code_allocation);
+            next_code_allocation = NULL;
         }
         // empty filename and options 0 is equivalent to the default, no need to waste memory on that
         if (next_code_len > 1 || next_code->options != 0) {

Original file line number	Diff line number	Diff line change
`@@ -266,6 +266,7 @@ bool cleanup_after_vm(supervisor_allocation* heap) {`
`266`	`266`	`if (next_code) {`
`267`	`267`	`if (next_code_allocation) {`
`268`	`268`	`free_memory(next_code_allocation);`
	`269`	`+ next_code_allocation = NULL;`
`269`	`270`	`}`
`270`	`271`	`// empty filename and options 0 is equivalent to the default, no need to waste memory on that`
`271`	`272`	`if (next_code_len > 1 \|\| next_code->options != 0) {`