C99 and GMP

[Marc Glisse]

On Fri, 27 Apr 2018, Marc Glisse wrote:

> On Fri, 27 Apr 2018, paul zimmermann wrote:
>
>>>> quite interesting. Why is gmp/mpn not tested in the head coverage?
>>> 
>>> It is tested. It appears as /var/tmp/lcov/gmp/mpn because it is a set of
>>> symlinks created at build time.
>> 
>> sorry I missed that. I see some of the files are not tested at all
>> (add_err3_n.c for example), and some have a low coverage (div_qr_1.c
>> for example). Are there any plans to improve that?
>
> Even for the generic files, the coverage varies per target, maybe add_err3_n 
> is better tested on ARM or something (not really answering your question).

Hmm, no, mpn_add_err3_n really seems completely unused. There is a refmpn 
implementation ready for comparisons...

-- 
Marc Glisse