Re: macros: "do-while" versus "({ })" and a compile-time error

[linux-os \(Dick Johnson\)]

On Wed, 10 Jan 2007, Robert P. J. Day wrote:

> On Wed, 10 Jan 2007, linux-os (Dick Johnson) wrote:
>
>>
>> On Wed, 10 Jan 2007, Robert P. J. Day wrote:
>
>>> just FYI, the reason i brought this up in the first place is that
>>> i noticed that the ALIGN() macro in kernel.h didn't verify that
>>> the alignment value was a power of 2, so i thought -- hmmm, i
>>> wonder if there are any invocations where that's not true, so i
>>> (temporarily) rewrote ALIGN to incorporate that check, and the
>>> build blew up including include/net/neighbour.h, which contains
>>> the out-of-function declaration:
>>>
>>> struct neighbour
>>> {
>>>        ...
>>>        unsigned char           ha[ALIGN(MAX_ADDR_LEN, sizeof(unsigned long))];
>>>        ...
>>>
>>> so it's not a big deal, it was just me goofing around and breaking
>>> things.
>>>
>>> rday
>>
>>
>> Hmmm, in that case you would be trying to put code inside a
>> structure! Neat --if you could do it!
>
> well, yes, but it does raise a potential issue.  currently, that
> ALIGN() macro is being used to define one of the members of that
> structure.  since it's a "simple" macro, there's no problem.
>
> but there are *plenty* of macros in the source tree that incorporate
> either the "do-while" or "({ })" notation.  what the above implies is
> that the ALIGN() macro can *never* be extended in that way because of
> the way it's being used in the struct definition above, outside of a
> function.
>
> doesn't that place an unnecessarily limit on what might be done with
> ALIGN() in the future?  because of how it's being used in that single
> structure definition, it is forever restricted from being extended.
> isn't that perhaps a dangerous restriction for any macro?
>
> rday

Remember that a macro simply substitutes "text." If the new text doesn't make 
any sense, the compiler will barf. There are gnu extensions such as
__attribute__ that can be used to manipulate structure members in
non-default ways.

Also alignment only occurs when data-space in allocated either at runtime or at 
link time. This knowledge is useful when you are defining structures that will 
have elements accessed by pointers. You put the largest elements (a.k.a. 
sizeof()) at the beginning of the structure.


Cheers,
Dick Johnson
Penguin : Linux version 2.6.16.24 on an i686 machine (5592.72 BogoMips).
New book: http://www.AbominableFirebug.com/
_


****************************************************************
The information transmitted in this message is confidential and may be privileged.  Any review, retransmission, dissemination, or other use of this information by persons or entities other than the intended recipient is prohibited.  If you are not the intended recipient, please notify Analogic Corporation immediately - by replying to this message or by sending an email to DeliveryErrors@xxxxxxxxxxxx - and destroy all copies of this information, including any attachments, without reading or disclosing them.

Thank you.
-
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/