Free full_prog_argv at exit, closing a memory leak

1 files changed, 15 insertions, 0 deletions

diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c
index a646e57396..19954f80e9 100644
--- a/rts/RtsFlags.c
+++ b/rts/RtsFlags.c
@@ -1389,3 +1389,18 @@ setFullProgArgv(int argc, char *argv[])
     full_prog_argv[argc] = NULL;
 }
 
+void
+freeFullProgArgv (void)
+{
+    int i;
+
+    if (full_prog_argv != NULL) {
+        for (i = 0; i < full_prog_argc; i++) {
+            stgFree(full_prog_argv[i]);
+        }
+        stgFree(full_prog_argv);
+    }
+
+    full_prog_argc = 0;
+    full_prog_argv = NULL;
+}