From 4c01cb503cca01eaad140cbfc810a7691d5575bd Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 20 Dec 2016 09:57:31 -0800 Subject: [PATCH] fix(library/native_compiler/native_compiler): memory leak --- src/library/native_compiler/native_compiler.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/library/native_compiler/native_compiler.cpp b/src/library/native_compiler/native_compiler.cpp index 9521067839..7891da0e5e 100644 --- a/src/library/native_compiler/native_compiler.cpp +++ b/src/library/native_compiler/native_compiler.cpp @@ -39,7 +39,7 @@ Author: Jared Roesch and Leonardo de Moura #include "util/lean_path.h" // #include "util/executable.h" -static std::string* g_lean_install_path; +static std::string * g_lean_install_path = nullptr; namespace lean { @@ -509,5 +509,6 @@ void initialize_native_compiler() { void finalize_native_compiler() { native::finalize_options(); delete g_native_module_key; + delete g_lean_install_path; } }