Re: [PATCH] log2.h: Macro-ize is_power_of_2() for use inBUILD_BUG_ON

From: Andrew Morton
Date: Wed Jan 06 2010 - 16:43:20 EST


On Wed, 06 Jan 2010 12:44:05 -0800
Roland Dreier <rdreier@xxxxxxxxx> wrote:

>
> > Perhaps we can avoid worrying about that via
>
> > #define BUILD_BUG_ON_NOT_POWER_OF_2(n) \
> > BUILD_BUG_ON((n != 0 && ((n & (n - 1)) == 0)))
>
> Having something so specific to this particular case makes me feel like
> maybe it's just not worth it.

mm.. I think _something_ is worth it. The requirement that a constant
be a power of two is a very common one in the kernel.

If you feel strongly about it and think the incremental benefit of your
version is worth the effort of screening out gcc warts then ho hum, go
for it I guess.

> At least in the case I'm looking at, we
> could just have:
>
> /*
> * The code relies on FOO being a power of 2. If you break this,
> * you're dumb.
> */
> #define FOO_SHIFT 6
> #define FOO (1 << FOO_SHIFT)
>
> Your thoughts?

Given the probably-hundreds of sites which could utilise this assertion,
that approach will be a bit of a PITA.

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/