[PPL-devel] [Bug Report] GMP and PPL mismatches

Chia-Hsun Cheng chiahsun0814 at gmail.com
Sat Jan 5 06:21:02 CET 2013


Dear Roberto Bagnara,

I followed the provided link and downloaded ppl-1.1pre6 version. The
compilation was fine and all tests
in "make check" passed. The build-up of gcc was successful as well.
Thanks for the fast response and kind help!


Dear Marco Bodrato,

Thanks for the notification that solves my confusion!

Best Regards,
-- chiahsun


2013/1/4 Roberto Bagnara <bagnara at cs.unipr.it>

> On 01/03/13 12:47, Chia-Hsun Cheng wrote:
>
>>      2.  < Static data member name mismatches >
>>           ppl-1.0/src/mp_std_bits.defs.**hh:72 and
>> ppl-1.0/src/mp_std_bits.defs.**hh:133 defines
>>   static const bool tininess_before = false;
>>                                    ^^^^^^^^^^^^^^^^^
>>           However, in
>>           gmp-5.1.0/gmpxx.h:3302 and gmp-5.1.0/gmpxx.h:3339, there are
>>   static const bool tinyness_before = false;
>>                   ^^^^^^^^^^^^^^^^^^
>>   Problem:
>>   I am not sure if the two data member are the same. Since I commented
>> out the whole block of
>>   numeric_limits in ppl-1.0/src/mp_std_bits.defs.**hh in the last step,
>> the member `tininess_before'
>>   cannot be resolved.
>>   Fix:
>>   Finally, I add
>>   static const bool tininess_before = false;
>>   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^**^^^^^^^^^^^^
>>   in gmp-5.1.0/gmpxx.h:3303 and gmp-5.1.0/gmpxx.h:3341
>>   and add member initialization
>>   const bool numeric_limits<T>::tininess_**before; \
>>   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^**^^^^^^^^^^^^^^^^^^
>>   in gmp-5.1.0/cxx/limits.cc:47
>>   and rebuild the gmp library.
>>   So, for PPL library, even if the code for numeric_limits is commented
>> out, the declarations and object
>>   code can be found from GMP library.
>>
>
> Dear Chia-Hsun,
>
> Marco Bodrato (thanks Marco!) made me notice I overlooked this part
> of your message.  Indeed this is a bug in the PPL: the right spelling
> is `tinyness_before' as correctly written in GMP.  I have just fixed
> the Git version of the PPL and a new PPL 1.1 snapshot release will soon
> be added to the location I already indicated.
>
> Kind regards,
>
>     Roberto
>
> --
>      Prof. Roberto Bagnara
>
> Applied Formal Methods Laboratory - University of Parma, Italy
> mailto:bagnara at cs.unipr.it
>                               BUGSENG srl - http://bugseng.com
>                               mailto:roberto.bagnara@**bugseng.com<roberto.bagnara at bugseng.com>
>


More information about the gmp-bugs mailing list