(Mostly) Clean up floatnum internal allocations.

svn path=/trunk/yasm/; revision=370

frontends/yasm/yasm.c

@@ -37,6 +37,7 @@
 #include "globals.h"
 #include "options.h"
 #include "errwarn.h"
+#include "floatnum.h"
 #include "symrec.h"
 
 #include "bytecode.h"
@@ -205,6 +206,8 @@ main(int argc, char *argv[])
     symrec_delete_all();
     filename_delete_all();
 
+    floatnum_shutdown();
+
     BitVector_Shutdown();
     return EXIT_SUCCESS;
 }

libyasm/floatnum.c

@@ -183,6 +183,29 @@ POT_Table_Init(void)
 }
 /*@=compdef@*/
 
+/*@-globstate@*/
+void
+floatnum_shutdown(void)
+{
+    int i;
+
+    if (!POT_TableN)
+	return;
+
+    /* Un-offset POT_TableP */
+    POT_TableP--;
+
+    for (i=0; i<14; i++) {
+	BitVector_Destroy(POT_TableN[i].f.mantissa);
+	BitVector_Destroy(POT_TableP[i].f.mantissa);
+    }
+    BitVector_Destroy(POT_TableP[14].f.mantissa);
+
+    xfree(POT_TableN);
+    xfree(POT_TableP);
+}
+/*@=globstate@*/
+
 static void
 floatnum_normalize(floatnum *flt)
 {

libyasm/floatnum.h

@@ -24,6 +24,9 @@
 #ifndef YASM_FLOATNUM_H
 #define YASM_FLOATNUM_H
 
+/* Clean up internal allocations */
+void floatnum_shutdown(void);
+
 /*@only@*/ floatnum *floatnum_new(const char *str);
 /*@only@*/ floatnum *floatnum_copy(const floatnum *flt);
 void floatnum_delete(/*@only@*/ floatnum *flt);

src/floatnum.c

@@ -183,6 +183,29 @@ POT_Table_Init(void)
 }
 /*@=compdef@*/
 
+/*@-globstate@*/
+void
+floatnum_shutdown(void)
+{
+    int i;
+
+    if (!POT_TableN)
+	return;
+
+    /* Un-offset POT_TableP */
+    POT_TableP--;
+
+    for (i=0; i<14; i++) {
+	BitVector_Destroy(POT_TableN[i].f.mantissa);
+	BitVector_Destroy(POT_TableP[i].f.mantissa);
+    }
+    BitVector_Destroy(POT_TableP[14].f.mantissa);
+
+    xfree(POT_TableN);
+    xfree(POT_TableP);
+}
+/*@=globstate@*/
+
 static void
 floatnum_normalize(floatnum *flt)
 {

src/floatnum.h

@@ -24,6 +24,9 @@
 #ifndef YASM_FLOATNUM_H
 #define YASM_FLOATNUM_H
 
+/* Clean up internal allocations */
+void floatnum_shutdown(void);
+
 /*@only@*/ floatnum *floatnum_new(const char *str);
 /*@only@*/ floatnum *floatnum_copy(const floatnum *flt);
 void floatnum_delete(/*@only@*/ floatnum *flt);

src/main.c

@@ -37,6 +37,7 @@
 #include "globals.h"
 #include "options.h"
 #include "errwarn.h"
+#include "floatnum.h"
 #include "symrec.h"
 
 #include "bytecode.h"
@@ -205,6 +206,8 @@ main(int argc, char *argv[])
     symrec_delete_all();
     filename_delete_all();
 
+    floatnum_shutdown();
+
     BitVector_Shutdown();
     return EXIT_SUCCESS;
 }