michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix memory leak in mpfp. Add mpfp finalizer to avoid Valgrind warnings.

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-08-12 11:34:19 -07:00
parent 99df36f747
commit 2ad9c89684
1 changed files with 12 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
src/util/numerics/mpfp.cpp
View file

@ -8,6 +8,15 @@ Author: Soonho Kong
#include "mpfp.h" #include "mpfp.h"
namespace lean { namespace lean {
/**
\brief Auxiliary class for invoking mpfr_free_cache before
exiting and avoiding Valgrind memory leak warnings.
*/
class mpfr_finalizer {
public:
~mpfr_finalizer() { mpfr_free_cache(); }
};
static mpfr_finalizer g_mpfr_finalizer;
inline unsigned necessary_digits(mpfr_prec_t p) { inline unsigned necessary_digits(mpfr_prec_t p) {
static constexpr double LOG10_2 = 0.30102999566; static constexpr double LOG10_2 = 0.30102999566;
@ -15,11 +24,12 @@ inline unsigned necessary_digits(mpfr_prec_t p) {
} }
std::ostream & operator<<(std::ostream & out, mpfp const & v) { std::ostream & operator<<(std::ostream & out, mpfp const & v) {
static thread_local char* s = nullptr; char * s = nullptr;
static thread_local char format[128]; char format[128];
sprintf(format, "%%.%dRNg", necessary_digits(mpfr_get_prec(v.m_val))); sprintf(format, "%%.%dRNg", necessary_digits(mpfr_get_prec(v.m_val)));
mpfr_asprintf(&s, format, v.m_val); mpfr_asprintf(&s, format, v.m_val);
std::string str = std::string(s); std::string str = std::string(s);
mpfr_free_str(s);
out << str; out << str;
return out; return out;
} }