New --free-all option for freeing memory on exit.

Although we are garbage-collected, being able to clean up on
shutdown is nevertheless useful for uncovering leaks. Leaks
can occur, for instance, due to neglect to free out-of-heap
satellite data from objects that are reclaimed by gc.
This feature is long overdue.

* arith.c, arith.h (arith_free_all): New function.

* gc.c, gc.h (gc_free_all): New function.

* lib.c (init): Remove program name parameter and
redundant initialization of progname globl variable.

* lib.h (progname): Superfluous declaration removed.
This is already declared in txr.h.
(init): Declaration updated.

* regex.c (char_set_destroy): Do not check the static
allocation flag here; just destroy the object.
Do check for a null pointer, though.
(char_set_cobj_destroy): This cobj destructor now
checks the static flag of the char set object and
avoids freeing it. Thus our char set singletons are
left alone by gc, but our global freeing function
takes care of them.
(wide_cs): New static variable moved out of
wide_display_char_p to static scope.
(regex_free_all): New function.

* regex.h (regex_free_all): Declared.

* txr.c (progname): const qualifier and initializer removed.
(main): Ensure progname is always dynamically allocated, even
in the argv[0] == 0 case. Do not pass progname to init;
it doesn't take that argument any more.
(free_all): New static function.
(txr_main): Implement --free-all option.

* txr.h (progname): Declaration updated.

1 files changed, 1 insertions, 0 deletions

diff --git a/arith.h b/arith.h
index bc3a0568..4e1bf5d2 100644
--- a/arith.h
+++ b/arith.h
@@ -41,3 +41,4 @@ val tofloat(val obj);
 val toint(val obj, val base);
 val width(val num);
 void arith_init(void);
+void arith_free_all(void);