configfs: Fix potential NULL d_inode dereference
authorDavid Howells <dhowells@redhat.com>
Tue, 27 Jan 2015 15:18:39 +0000 (15:18 +0000)
committerAl Viro <viro@zeniv.linux.org.uk>
Fri, 20 Feb 2015 09:56:43 +0000 (04:56 -0500)
commit112fc894a7c49e6435f91faa1cebfd425e6f3ace
tree931871efbfd4ed07b370a784e37edd18c72bad0c
parenta457ac28543cfa5101222b5ef90329c36611107c
configfs: Fix potential NULL d_inode dereference

Code that does this:

if (!(d_unhashed(dentry) && dentry->d_inode)) {
...
simple_unlink(parent->d_inode, dentry);
}

is broken because:

    !(d_unhashed(dentry) && dentry->d_inode)

is equivalent to:

    !d_unhashed(dentry) || !dentry->d_inode

so it is possible to get into simple_unlink() with dentry->d_inode == NULL.

simple_unlink(), however, assumes dentry->d_inode cannot be NULL.

I think that what was meant is this:

    !d_unhashed(dentry) && dentry->d_inode

and that the logical-not operator or the final close-bracket was misplaced.

Signed-off-by: David Howells <dhowells@redhat.com>
cc: Joel Becker <joel.becker@oracle.com>
Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
fs/configfs/inode.c