bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: undefined behaviour findings in bitset


From: Akim Demaille
Subject: Re: undefined behaviour findings in bitset
Date: Sat, 16 Mar 2019 17:42:43 +0100

> commit 4c8a35ed125e1b87a11d6aecd0b7b216384552bb
> Author: Akim Demaille <address@hidden>
> Date:   Sat Mar 16 17:36:22 2019 +0100
> 
>    bitset: a bit (...) more tests
> 
>    * tests/test-bitset.c (check_attributes): Check zero and ones.
> 
> diff --git a/tests/test-bitset.c b/tests/test-bitset.c
> index 032865095..f4502d1d6 100644
> --- a/tests/test-bitset.c
> +++ b/tests/test-bitset.c
> @@ -62,10 +68,17 @@ void compare (enum bitset_attr a, enum bitset_attr b)
>   bitset_copy (bsrc3, asrc3);
>   bitset bdst = bitset_create (nbits, b);
> 
> +  /* not */
> +  bitset_not (adst, asrc0);
> +  bitset_not (bdst, bsrc0);
> +  assert_bitset_equal (adst, bdst);
> +
> +  /* not */
>   bitset_not (adst, asrc0);
>   bitset_not (bdst, bsrc0);
>   assert_bitset_equal (adst, bdst);

I have removed that spurious duplicate.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]