VM: return value of vm_executable_path() should be free'd

diff --git a/vm/image.cpp b/vm/image.cpp
index f04097b46c670a1d54a7e3793f9f3572a04c40d0..f4b23110970e6bbdc3e4a5784eae4d4fbef1547e 100644 (file)
--- a/vm/image.cpp
+++ b/vm/image.cpp
@@ -343,14 +343,15 @@ void factor_vm::primitive_save_image() {
 
 bool factor_vm::embedded_image_p() {
   const vm_char* vm_path = vm_executable_path();
-  if (!vm_path)
-    return false;
   FILE* file = OPEN_READ(vm_path);
-  if (!file)
+  if (!file) {
+    free((vm_char *)vm_path);
     return false;
+  }
   embedded_image_footer footer;
   bool embedded_p = read_embedded_image_footer(file, &footer);
   fclose(file);
+  free((vm_char *)vm_path);
   return embedded_p;
 }