[PPL-devel] Re: Questionable feature of the C++ interface (GMP 4.0.1)

Roberto Bagnara bagnara@cs.unipr.it writes:

So what happens is that a pointer is converted to true or false and then converted to 1 or 0 and this is what is used to initialize the object. Since this can give rise to bugs that are quite difficult to diagnose, I propose the above constructor is removed altogether, so that the compiler can complain loudly.

Sounds good to me. I guess if someone actually wants to initialize from a bool they can cast to an int first.