diff options
author | Julia Lawall <julia@diku.dk> | 2011-01-24 14:55:19 -0500 |
---|---|---|
committer | Chris Mason <chris.mason@oracle.com> | 2011-01-28 16:40:37 -0500 |
commit | 34d19bada00f4825588b338a8ee193820f9ceeb0 (patch) | |
tree | 878be53a548cfc3b2bf653ab33f4431691ca9646 | |
parent | 333e8105445d4f51101fc3d23199a919d66730b3 (diff) |
fs/btrfs/inode.c: Add missing IS_ERR test
After the conditional that precedes the following code, inode may be an
ERR_PTR value. This can eg result from a memory allocation failure via the
call to btrfs_iget, and thus does not imply that root is different than
sub_root. Thus, an IS_ERR check is added to ensure that there is no
dereference of inode in this case.
The semantic match that finds this problem is as follows:
(http://coccinelle.lip6.fr/)
// <smpl>
@r@
identifier f;
@@
f(...) { ... return ERR_PTR(...); }
@@
identifier r.f, fld;
expression x;
statement S1,S2;
@@
x = f(...)
... when != IS_ERR(x)
(
if (IS_ERR(x) ||...) S1 else S2
|
*x->fld
)
// </smpl>
Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Chris Mason <chris.mason@oracle.com>
-rw-r--r-- | fs/btrfs/inode.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/fs/btrfs/inode.c b/fs/btrfs/inode.c index 2c9a2f7d5631..2b7d251d6ad1 100644 --- a/fs/btrfs/inode.c +++ b/fs/btrfs/inode.c | |||
@@ -4137,7 +4137,7 @@ struct inode *btrfs_lookup_dentry(struct inode *dir, struct dentry *dentry) | |||
4137 | } | 4137 | } |
4138 | srcu_read_unlock(&root->fs_info->subvol_srcu, index); | 4138 | srcu_read_unlock(&root->fs_info->subvol_srcu, index); |
4139 | 4139 | ||
4140 | if (root != sub_root) { | 4140 | if (!IS_ERR(inode) && root != sub_root) { |
4141 | down_read(&root->fs_info->cleanup_work_sem); | 4141 | down_read(&root->fs_info->cleanup_work_sem); |
4142 | if (!(inode->i_sb->s_flags & MS_RDONLY)) | 4142 | if (!(inode->i_sb->s_flags & MS_RDONLY)) |
4143 | btrfs_orphan_cleanup(sub_root); | 4143 | btrfs_orphan_cleanup(sub_root); |