[RFC][PATCH v3 44/55] move put_link() into handle_dots()

From: Al Viro
Date: Sun Mar 01 2020 - 16:53:44 EST


From: Al Viro <viro@xxxxxxxxxxxxxxxxxx>

That closes a harmless irregularity in do_last() - if trailing
symlink ends with . or .. we forget to drop it. Not a problem,
since nameidata is about to be done with anyway, but let's keep
it more regular.

Signed-off-by: Al Viro <viro@xxxxxxxxxxxxxxxxxx>
---
fs/namei.c | 76 +++++++++++++++++++++++++++++++-------------------------------
1 file changed, 38 insertions(+), 38 deletions(-)

diff --git a/fs/namei.c b/fs/namei.c
index be756aa32240..3f15b18af991 100644
--- a/fs/namei.c
+++ b/fs/namei.c
@@ -1654,40 +1654,6 @@ static inline int may_lookup(struct nameidata *nd)
return inode_permission(nd->inode, MAY_EXEC);
}

-static inline int handle_dots(struct nameidata *nd, int type)
-{
- if (type == LAST_DOTDOT) {
- int error = 0;
-
- if (!nd->root.mnt) {
- error = set_root(nd);
- if (error)
- return error;
- }
- if (nd->flags & LOOKUP_RCU)
- error = follow_dotdot_rcu(nd);
- else
- error = follow_dotdot(nd);
- if (error)
- return error;
-
- if (unlikely(nd->flags & LOOKUP_IS_SCOPED)) {
- /*
- * If there was a racing rename or mount along our
- * path, then we can't be sure that ".." hasn't jumped
- * above nd->root (and so userspace should retry or use
- * some fallback).
- */
- smp_rmb();
- if (unlikely(__read_seqcount_retry(&mount_lock.seqcount, nd->m_seq)))
- return -EAGAIN;
- if (unlikely(__read_seqcount_retry(&rename_lock.seqcount, nd->r_seq)))
- return -EAGAIN;
- }
- }
- return 0;
-}
-
enum {WALK_TRAILING = 1, WALK_MORE = 2, WALK_NOFOLLOW = 4};

static const char *pick_link(struct nameidata *nd, struct path *link,
@@ -1819,6 +1785,42 @@ static const char *step_into(struct nameidata *nd, int flags,
return pick_link(nd, &path, inode, seq, flags);
}

+static int handle_dots(struct nameidata *nd, int type, int flags)
+{
+ if (type == LAST_DOTDOT) {
+ int error = 0;
+
+ if (!nd->root.mnt) {
+ error = set_root(nd);
+ if (error)
+ return error;
+ }
+ if (nd->flags & LOOKUP_RCU)
+ error = follow_dotdot_rcu(nd);
+ else
+ error = follow_dotdot(nd);
+ if (error)
+ return error;
+
+ if (unlikely(nd->flags & LOOKUP_IS_SCOPED)) {
+ /*
+ * If there was a racing rename or mount along our
+ * path, then we can't be sure that ".." hasn't jumped
+ * above nd->root (and so userspace should retry or use
+ * some fallback).
+ */
+ smp_rmb();
+ if (unlikely(__read_seqcount_retry(&mount_lock.seqcount, nd->m_seq)))
+ return -EAGAIN;
+ if (unlikely(__read_seqcount_retry(&rename_lock.seqcount, nd->r_seq)))
+ return -EAGAIN;
+ }
+ }
+ if (!(flags & WALK_MORE) && nd->depth)
+ put_link(nd);
+ return 0;
+}
+
static const char *walk_component(struct nameidata *nd, int flags)
{
struct dentry *dentry;
@@ -1831,9 +1833,7 @@ static const char *walk_component(struct nameidata *nd, int flags)
* parent relationships.
*/
if (unlikely(nd->last_type != LAST_NORM)) {
- err = handle_dots(nd, nd->last_type);
- if (!(flags & WALK_MORE) && nd->depth)
- put_link(nd);
+ err = handle_dots(nd, nd->last_type, flags);
return ERR_PTR(err);
}
dentry = lookup_fast(nd, &inode, &seq);
@@ -3142,7 +3142,7 @@ static const char *open_last_lookups(struct nameidata *nd,
nd->flags |= op->intent;

if (nd->last_type != LAST_NORM) {
- error = handle_dots(nd, nd->last_type);
+ error = handle_dots(nd, nd->last_type, WALK_TRAILING);
if (likely(!error))
error = complete_walk(nd);
return ERR_PTR(error);
--
2.11.0