Skip to content

Commit

Permalink
xen/bitops: Fix break usage in for_each_set_bit() loop
Browse files Browse the repository at this point in the history
for_each_set_bit()'s use of a double for loop had an accidental bug with a
break in the inner loop leading to an infinite outer loop.

Adjust for_each_set_bit() to avoid this behaviour, and add extend
test_for_each_set_bit() with a test case for this.

Fixes: ed26376 ("xen/bitops: Introduce for_each_set_bit()")
Signed-off-by: Andrew Cooper <[email protected]>
Reviewed-by: Frediano Ziglio <[email protected]>
Reviewed-by: Jan Beulich <[email protected]>
Reviewed-by: Roger Pau Monné <[email protected]>
  • Loading branch information
andyhhp committed Nov 21, 2024
1 parent f52004b commit c0bf881
Show file tree
Hide file tree
Showing 2 changed files with 17 additions and 2 deletions.
17 changes: 16 additions & 1 deletion xen/common/bitops.c
Original file line number Diff line number Diff line change
Expand Up @@ -86,7 +86,7 @@ static void __init test_fls(void)

static void __init test_for_each_set_bit(void)
{
unsigned int ui, ui_res = 0;
unsigned int ui, ui_res = 0, tmp;
unsigned long ul, ul_res = 0;
uint64_t ull, ull_res = 0;

Expand All @@ -110,6 +110,21 @@ static void __init test_for_each_set_bit(void)

if ( ull != ull_res )
panic("for_each_set_bit(uint64) expected %#"PRIx64", got %#"PRIx64"\n", ull, ull_res);

/* Check that we can break from the middle of the loop. */
ui = HIDE(0x80001008U);
tmp = 0;
ui_res = 0;
for_each_set_bit ( i, ui )
{
if ( tmp++ > 1 )
break;

ui_res |= 1U << i;
}

if ( ui_res != 0x1008 )
panic("for_each_set_bit(break) expected 0x1008, got %#x\n", ui_res);
}

static void __init test_multiple_bits_set(void)
Expand Down
2 changes: 1 addition & 1 deletion xen/include/xen/bitops.h
Original file line number Diff line number Diff line change
Expand Up @@ -299,7 +299,7 @@ static always_inline attr_const unsigned int fls64(uint64_t x)
* A copy of @val is taken internally.
*/
#define for_each_set_bit(iter, val) \
for ( typeof(val) __v = (val); __v; ) \
for ( typeof(val) __v = (val); __v; __v = 0 ) \
for ( unsigned int (iter); \
__v && ((iter) = ffs_g(__v) - 1, true); \
__v &= __v - 1 )
Expand Down

0 comments on commit c0bf881

Please sign in to comment.