public inbox for linux-kernel@vger.kernel.org
 help / color / mirror / Atom feed
* [PATCH 1/5] fs/gfs2: test for IS_ERR rather than 0
@ 2008-03-24 18:08 Julia Lawall
  2008-03-31 10:35 ` Steven Whitehouse
  0 siblings, 1 reply; 2+ messages in thread
From: Julia Lawall @ 2008-03-24 18:08 UTC (permalink / raw)
  To: swhiteho, cluster-devel, linux-kernel, kernel-janitors

From: Julia Lawall <julia@diku.dk>

The function gfs2_inode_lookup always returns either a valid pointer or a
value made with ERR_PTR, so its result should be tested with IS_ERR, not
with a test for 0.


The problem was found using the following semantic match.
(http://www.emn.fr/x-info/coccinelle/)

//<smpl>
@a@
expression E, E1;
statement S,S1;
position p;
@@

E = gfs2_inode_lookup(...)
... when != E = E1
if@p (E) S else S1

@n@
position a.p;
expression E,E1;
statement S,S1;
@@

E = NULL
... when != E = E1
if@p (E) S else S1

@depends on !n@
expression E;
statement S,S1;
position a.p;
@@

* if@p (E)
  S else S1
//</smpl>

Signed-off-by: Julia Lawall <julia@diku.dk>
---
 fs/gfs2/ops_export.c |    2 --
 1 file changed, 2 deletions(-)

diff -u -p a/fs/gfs2/ops_export.c b/fs/gfs2/ops_export.c
--- a/fs/gfs2/ops_export.c	2008-03-12 14:13:14.000000000 +0100
+++ b/fs/gfs2/ops_export.c	2008-03-24 16:04:41.000000000 +0100
@@ -204,8 +204,6 @@ static struct dentry *gfs2_get_dentry(st
 	inode = gfs2_inode_lookup(sb, DT_UNKNOWN,
 					inum->no_addr,
 					0, 0);
-	if (!inode)
-		goto fail;
 	if (IS_ERR(inode)) {
 		error = PTR_ERR(inode);
 		goto fail;

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [PATCH 1/5] fs/gfs2: test for IS_ERR rather than 0
  2008-03-24 18:08 [PATCH 1/5] fs/gfs2: test for IS_ERR rather than 0 Julia Lawall
@ 2008-03-31 10:35 ` Steven Whitehouse
  0 siblings, 0 replies; 2+ messages in thread
From: Steven Whitehouse @ 2008-03-31 10:35 UTC (permalink / raw)
  To: Julia Lawall; +Cc: cluster-devel, linux-kernel, kernel-janitors, akpm

Hi,

On Mon, 2008-03-24 at 19:08 +0100, Julia Lawall wrote:
> From: Julia Lawall <julia@diku.dk>
> 
> The function gfs2_inode_lookup always returns either a valid pointer or a
> value made with ERR_PTR, so its result should be tested with IS_ERR, not
> with a test for 0.
> 
Sorry for the delay - I've just got back from holiday. Its now in the
GFS2 -nmw git tree. Also I updated the tree to the latest Linus git tree
at the same time. Thanks,

Steve.



^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2008-03-31 10:38 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2008-03-24 18:08 [PATCH 1/5] fs/gfs2: test for IS_ERR rather than 0 Julia Lawall
2008-03-31 10:35 ` Steven Whitehouse

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox