Assignment operator

[filiatra]

I am getting some random error when calling

std::vector<mpfr::mpreal>::insert

in the case that reallocation is triggered.

The memory check shows that the problem localizes inside the assignment operator

inline mpreal& mpreal::operator=(const mpreal& v)

and in particular there is an uninitialized conditional jump at

if(tp != vp){

Is there some scenario that would cause the variable

mp_prec_t vp = mpfr_get_prec(v.mpfr_srcptr());

to be uninitialized?