> Le 8 sept. 2019 à 03:17, Paul Eggert a écrit :
>
> Thanks, and your changes all look good to me; please install when you have
> the time. We can worry about the other issues later (if ever...).
Installed, thanks!
Thanks, and your changes all look good to me; please install when you have the
time. We can worry about the other issues later (if ever...).
Hi Paul,
Thanks a lot for the detailed answer!
> Le 5 sept. 2019 à 22:54, Paul Eggert a écrit :
>
> On 9/5/19 12:59 PM, Akim Demaille wrote:
>
>>EBITSET_ELTS (src)
>> -= realloc (EBITSET_ELTS (src), newsize * sizeof (tbitset_elt
>> *));
>> += xrealloc (EBIT
On 9/5/19 12:59 PM, Akim Demaille wrote:
EBITSET_ELTS (src)
-= realloc (EBITSET_ELTS (src), newsize * sizeof (tbitset_elt *));
+= xrealloc (EBITSET_ELTS (src), newsize * sizeof (tbitset_elt *));
This code is trying to shrink the bitset, and in the unlikely e
