These and similar attributes are used to check correctness when using the sparse tool. For example, it can warn about code that interchanges little- and big-endian values, or that mixes user space and kernel space pointers.
These attributes have no effect on the 'real' C compiler.
|