On Mon, 4 Jan 2010, Németh Márton wrote:
> Julia Lawall wrote:
> > At the moment, I think it is not possible, because the SmPL language does
> > not include attributes. But they do seem to be in the C AST, so perhaps
> > they could be added. I will look into it.
>
> The __devinitdata and __devinitconst are defined in linux/init.h using the
> __section macro. The __section macro is defined in linux/compiler.h and ends
> in an attribute, so it seems that this is really not possible with the current
> SmPL language:
>
> #define __devinitdata __section(.devinit.data)
> #define __devinitconst __section(.devinit.rodata)
> #define __section(S) __attribute__ ((__section__(#S)))
The definition doesn't matter. It is just that the SmPL parser for
declarations does not accept attributes, only types and const, etc.
julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
