RE: [PATCH][4/4] let's kill verify_area - convert kernel/printk.c to access_ok()

["Peter Kjellerstedt" <peter.kjellerstedt@axis.com>]

> -----Original Message-----
> From: linux-kernel-owner@vger.kernel.org 
> [mailto:linux-kernel-owner@vger.kernel.org] On Behalf Of 
> Vincent Hanquez
> Sent: Friday, January 07, 2005 13:52
> To: Jesper Juhl
> Cc: linux-kernel; Andrew Morton
> Subject: Re: [PATCH][4/4] let's kill verify_area - convert 
> kernel/printk.c to access_ok()
> 
> On Fri, Jan 07, 2005 at 02:18:55AM +0100, Jesper Juhl wrote:
> > @@ -300,8 +300,8 @@ int do_syslog(int type, char __user * bu
> >  		error = 0;
> >  		if (!len)
> >  			goto out;
> > -		error = verify_area(VERIFY_WRITE,buf,len);
> > -		if (error)
> > +		error = access_ok(VERIFY_WRITE,buf,len);
> > +		if (!error)
> 
> I would rather put the ! on access_ok
> "if (!error)" is read as "if no error"

Actually, this should be:

	error = access_ok(VERIFY_WRITE, buf, len) ? 0 : -EFAULT;
	if (error)
		goto out;

Alternatively:

	if (!access_ok(VERIFY_WRITE, buf, len)) {
		error = -EFAULT;
		goto out;
	}

Otherwise the returned value from do_syslog() is incorrect 
in case access_ok() fails (i.e., 0 instead of -EFAULT)...

//Peter