[PATCH] fstat: add test and documentation for an edge case.

[Matteo Croce]

From: Matteo Croce <teknoraver@meta.com>

The fstatat behaviour when the target is a dangling symlink is different
if flags contains AT_SYMLINK_NOFOLLOW or not.
Add a test for this and document it.
---
 io/_linkname        |  1 +
 io/tst-stat.c       | 17 +++++++++++++++--
 manual/filesys.texi |  5 +++--
 3 files changed, 19 insertions(+), 4 deletions(-)
 create mode 120000 io/_linkname

diff --git a/io/_linkname b/io/_linkname
new file mode 120000
index 0000000000..1084818f23
--- /dev/null
+++ b/io/_linkname
@@ -0,0 +1 @@
+_target
\ No newline at end of file
diff --git a/io/tst-stat.c b/io/tst-stat.c
index 61bdbfb638..31e3b22579 100644
--- a/io/tst-stat.c
+++ b/io/tst-stat.c
@@ -62,6 +62,17 @@ fstatat_check (int fd, const char *path, struct stat *st)
   TEST_COMPARE (fstatat (fd, path, st, 0), 0);
 }
 
+static void
+fstatat_link (struct stat *st)
+{
+  symlink("_target", "_linkname");
+
+  TEST_COMPARE (fstatat (AT_FDCWD, "_linkname", st, 0), -1);
+  TEST_COMPARE (errno, ENOENT);
+
+  TEST_COMPARE (fstatat (AT_FDCWD, "_linkname", st, AT_SYMLINK_NOFOLLOW), 0);
+}
+
 typedef void (*test_t)(int, const char *path, struct stat *);
 
 static int
@@ -81,13 +92,13 @@ do_test (void)
     printf ("warning: timestamp with nanoseconds not supported\n");
 
   struct statx stx;
+  struct stat st;
   TEST_COMPARE (statx (fd, path, 0, STATX_BASIC_STATS, &stx), 0);
 
-  test_t tests[] = { stat_check, lstat_check, fstat_check, fstatat_check };
+  test_t tests[] = { stat_check, lstat_check, fstat_check, fstatat_check};
 
   for (int i = 0; i < array_length (tests); i++)
     {
-      struct stat st;
       tests[i](fd, path, &st);
 
       TEST_COMPARE (stx.stx_dev_major, major (st.st_dev));
@@ -111,6 +122,8 @@ do_test (void)
 	}
     }
 
+  fstatat_link(&st);
+
   return 0;
 }
 
diff --git a/manual/filesys.texi b/manual/filesys.texi
index d0ced84bf6..e3721c3d23 100644
--- a/manual/filesys.texi
+++ b/manual/filesys.texi
@@ -2397,8 +2397,9 @@ The descriptor @var{filedes} is not associated with a directory, and
 @var{filename} is a relative file name.
 
 @item ENOENT
-The file named by @var{filename} does not exist, or @var{filename} is an
-empty string and @var{flags} does not contain @code{AT_EMPTY_PATH}.
+The file named by @var{filename} does not exist, it's a dangling symlink
+and @var{flags} does not contain @code{AT_SYMLINK_NOFOLLOW}, or @var{filename}
+is an empty string and @var{flags} does not contain @code{AT_EMPTY_PATH}.
 @end table
 
 When the sources are compiled with @code{_FILE_OFFSET_BITS == 64} this
-- 
2.49.0