re: [PATCH] configfs: User-driven configuration filesystem

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Hello Joel Becker,

This is a semi-automatic email about new static checker warnings.

The patch 7063fbf22611: "[PATCH] configfs: User-driven configuration
filesystem" from Dec 15, 2005, leads to the following Smatch
complaint:

fs/configfs/inode.c:256 configfs_drop_dentry()
	 error: we previously assumed 'dentry->d_inode' could be null (see line 252)

fs/configfs/inode.c
   251			spin_lock(&dentry->d_lock);
   252			if (!(d_unhashed(dentry) && dentry->d_inode)) {
                                                    ^^^^^^^^^^^^^^^
We want ->d_inode to be NULL (or d_unhashed() to be false).

   253				dget_dlock(dentry);
   254				__d_drop(dentry);
   255				spin_unlock(&dentry->d_lock);
   256				simple_unlink(parent->d_inode, dentry);
                                                               ^^^^^^
But then we dereference dentry->d_inode here inside the call to
simple_unlink() which is puzzling and means the initial condition is
wrong somehow.  Maybe the parenthesis are wrong and it should be:

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

   257			} else
   258				spin_unlock(&dentry->d_lock);

regards,
dan carpenter
--
To unsubscribe from this list: send the line "unsubscribe kernel-janitors" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html




[Index of Archives]     [Kernel Development]     [Kernel Announce]     [Kernel Newbies]     [Linux Networking Development]     [Share Photos]     [IDE]     [Security]     [Git]     [Netfilter]     [Yosemite News]     [MIPS Linux]     [ARM Linux]     [Device Mapper]

  Powered by Linux