Re: [RFC PATCH 0/2] init: make sure syscall arguments are marked__user where needed

From: Andrew Morton
Date: Fri Apr 20 2012 - 20:42:01 EST


On Fri, 20 Apr 2012 19:05:46 -0500 H Hartley Sweeten <hartleys@xxxxxxxxxxxxxxxxxxx> wrote:

> > Can we just make "make C=1" skip that file or something?
>
> What about putting something like this at the top of the files:
>
>
> /*
> * Many of the syscalls used in this file expect some of the arguments
> * to be __user pointers not __kernel pointers. To limit the sparse
> * noise, turn off sparse checking for this file.
> */
> #ifdef __CHECKER__
> #undef __CHECKER__
> #warning "Sparse checking disabled for this file"
> #endif
>
>
> Maybe without the warning if it doesn't seem necessary.
>
> This keeps <linux/compiler.h> from defining the __attribute__* checks.

That looks nice and explicit.
--
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/