Add freopen special-case tests: chroot, EFBIG

Message ID 7a39f01b-c931-8b25-d08a-74247185a197@redhat.com
State Superseded
Headers
Series Add freopen special-case tests: chroot, EFBIG |

Checks

Context Check Description
redhat-pt-bot/TryBot-apply_patch success Patch applied to master at the time it was sent
redhat-pt-bot/TryBot-32bit success Build for i686
linaro-tcwg-bot/tcwg_glibc_build--master-aarch64 success Build passed
linaro-tcwg-bot/tcwg_glibc_check--master-aarch64 success Test passed
linaro-tcwg-bot/tcwg_glibc_build--master-arm success Build passed
linaro-tcwg-bot/tcwg_glibc_check--master-arm success Test passed

Commit Message

Joseph Myers Sept. 9, 2024, 9:46 p.m. UTC
  Add tests of special cases for freopen that were omitted from the more
general tests of different modes and similar issues.  The special
cases in the two tests here are logically unconnected, it was simply
convenient to put both tests in one patch.

* Test freopen with a NULL path to the new file, in a chroot.  Rather
  than asserting that this fails (logically, failure in this case is
  an implementation detail; it's not required for freopen to rely on
  /proc), verify that either it fails (without memory leaks) or that
  it succeeds and behaves as expected on success.  There is no check
  for file descriptor leaks because the machinery for that also
  depends on /proc, so can't be used in a chroot.

* Test that freopen and freopen64 are genuinely different in
  configurations with 32-bit off_t by checking for an EFBIG trying to
  write past 2GB in a file opened with freopen in such a configuration
  but no error with 64-bit off_t or when opening with freopen64.

Tested for x86_64 and x86.
  

Patch

diff --git a/stdio-common/Makefile b/stdio-common/Makefile
index ce7f7cdd3b..9d0ba0763a 100644
--- a/stdio-common/Makefile
+++ b/stdio-common/Makefile
@@ -219,8 +219,11 @@  tests := \
   tst-fphex-wide \
   tst-freopen2 \
   tst-freopen3 \
+  tst-freopen4 \
+  tst-freopen5 \
   tst-freopen64-2 \
   tst-freopen64-3 \
+  tst-freopen64-4 \
   tst-fseek \
   tst-fwrite \
   tst-fwrite-memstrm \
@@ -324,8 +327,11 @@  ifneq ($(PERL),no)
 tests-special += \
   $(objpfx)tst-freopen2-mem.out \
   $(objpfx)tst-freopen3-mem.out \
+  $(objpfx)tst-freopen4-mem.out \
+  $(objpfx)tst-freopen5-mem.out \
   $(objpfx)tst-freopen64-2-mem.out \
   $(objpfx)tst-freopen64-3-mem.out \
+  $(objpfx)tst-freopen64-4-mem.out \
   $(objpfx)tst-getline-enomem-mem.out \
   $(objpfx)tst-getline-mem.out \
   $(objpfx)tst-printf-bz18872-mem.out \
@@ -341,10 +347,16 @@  generated += \
   tst-freopen2.mtrace \
   tst-freopen3-mem.out \
   tst-freopen3.mtrace \
+  tst-freopen4-mem.out \
+  tst-freopen4.mtrace \
+  tst-freopen5-mem.out \
+  tst-freopen5.mtrace \
   tst-freopen64-2-mem.out \
   tst-freopen64-2.mtrace \
   tst-freopen64-3-mem.out \
   tst-freopen64-3.mtrace \
+  tst-freopen64-4-mem.out \
+  tst-freopen64-4.mtrace \
   tst-getline-enomem-mem.out \
   tst-getline-enomem.mtrace \
   tst-getline-mem.out \
@@ -476,6 +488,15 @@  tst-freopen3-ENV = \
 tst-freopen64-3-ENV = \
   MALLOC_TRACE=$(objpfx)tst-freopen64-3.mtrace \
   LD_PRELOAD=$(common-objpfx)malloc/libc_malloc_debug.so
+tst-freopen4-ENV = \
+  MALLOC_TRACE=$(objpfx)tst-freopen4.mtrace \
+  LD_PRELOAD=$(common-objpfx)malloc/libc_malloc_debug.so
+tst-freopen64-4-ENV = \
+  MALLOC_TRACE=$(objpfx)tst-freopen64-4.mtrace \
+  LD_PRELOAD=$(common-objpfx)malloc/libc_malloc_debug.so
+tst-freopen5-ENV = \
+  MALLOC_TRACE=$(objpfx)tst-freopen5.mtrace \
+  LD_PRELOAD=$(common-objpfx)malloc/libc_malloc_debug.so
 
 $(objpfx)tst-unbputc.out: tst-unbputc.sh $(objpfx)tst-unbputc
 	$(SHELL) $< $(common-objpfx) '$(test-program-prefix)'; \
diff --git a/stdio-common/tst-freopen4-main.c b/stdio-common/tst-freopen4-main.c
new file mode 100644
index 0000000000..e169442cf4
--- /dev/null
+++ b/stdio-common/tst-freopen4-main.c
@@ -0,0 +1,100 @@ 
+/* Test freopen in chroot.
+   Copyright (C) 2024 Free Software Foundation, Inc.
+   This file is part of the GNU C Library.
+
+   The GNU C Library is free software; you can redistribute it and/or
+   modify it under the terms of the GNU Lesser General Public
+   License as published by the Free Software Foundation; either
+   version 2.1 of the License, or (at your option) any later version.
+
+   The GNU C Library is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+   Lesser General Public License for more details.
+
+   You should have received a copy of the GNU Lesser General Public
+   License along with the GNU C Library; if not, see
+   <https://www.gnu.org/licenses/>.  */
+
+#include <mcheck.h>
+#include <stdio.h>
+#include <stdlib.h>
+
+#include <support/check.h>
+#include <support/file_contents.h>
+#include <support/namespace.h>
+#include <support/support.h>
+#include <support/temp_file.h>
+#include <support/test-driver.h>
+#include <support/xstdio.h>
+#include <support/xunistd.h>
+
+int
+do_test (void)
+{
+  mtrace ();
+  char *temp_dir = support_create_temp_directory ("tst-freopen4");
+  FILE *fp;
+  int ret;
+
+  /* These chroot tests verify that either reopening a renamed or
+     deleted file works even in the absence of /proc, or that it fails
+     (without memory leaks); thus, for example, such reopening does
+     not crash in the absence of /proc.  */
+
+  support_become_root ();
+  if (!support_can_chroot ())
+    return EXIT_UNSUPPORTED;
+  xchroot (temp_dir);
+
+  /* Test freopen with NULL, renamed file.  This verifies that
+     reopening succeeds (and resets the file position indicator to
+     start of file) even when the original path could no longer be
+     opened, or fails without a memory leak.  (It is not possible to
+     use <support/descriptors.h> to test for file descriptor leaks
+     here, because that also depends on /proc.)  */
+
+  verbose_printf ("testing freopen with NULL, renamed file\n");
+  fp = xfopen ("/file1", "w+");
+  ret = fputs ("file has been renamed", fp);
+  TEST_VERIFY (ret >= 0);
+  ret = rename ("/file1", "/file1a");
+  TEST_COMPARE (ret, 0);
+  fp = FREOPEN (NULL, "r+", fp);
+  if (fp != NULL)
+    {
+      puts ("freopen of renamed file succeeded");
+      TEST_COMPARE_FILE_STRING (fp, "file has been renamed");
+      xfclose (fp);
+    }
+  else
+    puts ("freopen of renamed file failed (OK)");
+  ret = rename ("/file1a", "/file1");
+  TEST_COMPARE (ret, 0);
+
+  /* Test freopen with NULL, deleted file.  This verifies that
+     reopening succeeds (and resets the file position indicator to
+     start of file) even when the original path could no longer be
+     opened, or fails without a memory leak.  */
+
+  verbose_printf ("testing freopen with NULL, deleted file\n");
+  fp = xfopen ("/file1", "r+");
+  ret = fputs ("file has now been deleted", fp);
+  TEST_VERIFY (ret >= 0);
+  ret = remove ("/file1");
+  TEST_COMPARE (ret, 0);
+  fp = FREOPEN (NULL, "r+", fp);
+  if (fp != NULL)
+    {
+      puts ("freopen of deleted file succeeded");
+      TEST_COMPARE_FILE_STRING (fp, "file has now been deleted");
+      xfclose (fp);
+    }
+  else
+    puts ("freopen of deleted file failed (OK)");
+
+  free (temp_dir);
+  return 0;
+}
+
+#include <support/test-driver.c>
diff --git a/stdio-common/tst-freopen4.c b/stdio-common/tst-freopen4.c
new file mode 100644
index 0000000000..24c5cc5f85
--- /dev/null
+++ b/stdio-common/tst-freopen4.c
@@ -0,0 +1,3 @@ 
+#define FREOPEN freopen
+#define OTHER_FREOPEN freopen64
+#include <tst-freopen4-main.c>
diff --git a/stdio-common/tst-freopen5.c b/stdio-common/tst-freopen5.c
new file mode 100644
index 0000000000..f32626bccf
--- /dev/null
+++ b/stdio-common/tst-freopen5.c
@@ -0,0 +1,144 @@ 
+/* Test freopen and freopen64 with large offsets.
+   Copyright (C) 2024 Free Software Foundation, Inc.
+   This file is part of the GNU C Library.
+
+   The GNU C Library is free software; you can redistribute it and/or
+   modify it under the terms of the GNU Lesser General Public
+   License as published by the Free Software Foundation; either
+   version 2.1 of the License, or (at your option) any later version.
+
+   The GNU C Library is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+   Lesser General Public License for more details.
+
+   You should have received a copy of the GNU Lesser General Public
+   License along with the GNU C Library; if not, see
+   <https://www.gnu.org/licenses/>.  */
+
+#include <errno.h>
+#include <mcheck.h>
+#include <stdio.h>
+#include <stdlib.h>
+
+#include <support/check.h>
+#include <support/descriptors.h>
+#include <support/support.h>
+#include <support/temp_file.h>
+#include <support/test-driver.h>
+#include <support/xstdio.h>
+
+#define START_TEST(DESC)			\
+  do						\
+    {						\
+      fds = support_descriptors_list ();	\
+      verbose_printf (DESC);			\
+    }						\
+  while (0)
+
+#define END_TEST				\
+  do						\
+    {						\
+      support_descriptors_check (fds);		\
+      support_descriptors_free (fds);		\
+    }						\
+  while (0)
+
+int
+do_test (void)
+{
+  mtrace ();
+  struct support_descriptors *fds;
+  FILE *fp;
+  int ret;
+
+  char *temp_dir = support_create_temp_directory ("tst-freopen5");
+  /* This file is removed at the end of each test rather than left
+     around between tests to avoid problems with subsequent tests
+     reopening it as a large (2GB + 1 byte) file.  */
+  char *file1 = xasprintf ("%s/file1", temp_dir);
+
+  /* fopen with freopen64: large offsets OK.  */
+  START_TEST ("testing fopen with freopen64\n");
+  fp = fopen ("/dev/null", "r");
+  TEST_VERIFY_EXIT (fp != NULL);
+  fp = freopen64 (file1, "w", fp);
+  TEST_VERIFY_EXIT (fp != NULL);
+  setbuf (fp, NULL);
+  ret = fseeko64 (fp, 1LL << 32, SEEK_SET);
+  TEST_COMPARE (ret, 0);
+  ret = fputc ('x', fp);
+  TEST_COMPARE (ret, 'x');
+  xfclose (fp);
+  ret = remove (file1);
+  TEST_COMPARE (ret, 0);
+  END_TEST;
+
+  /* fopen64 with freopen64: large offsets OK.  */
+  START_TEST ("testing fopen64 with freopen64\n");
+  fp = fopen64 ("/dev/null", "r");
+  TEST_VERIFY_EXIT (fp != NULL);
+  fp = freopen64 (file1, "w", fp);
+  TEST_VERIFY_EXIT (fp != NULL);
+  setbuf (fp, NULL);
+  ret = fseeko64 (fp, 1LL << 32, SEEK_SET);
+  TEST_COMPARE (ret, 0);
+  ret = fputc ('x', fp);
+  TEST_COMPARE (ret, 'x');
+  xfclose (fp);
+  ret = remove (file1);
+  TEST_COMPARE (ret, 0);
+  END_TEST;
+
+  /* fopen with freopen: large offsets not OK on 32-bit systems.  */
+  START_TEST ("testing fopen with freopen\n");
+  fp = fopen ("/dev/null", "r");
+  TEST_VERIFY_EXIT (fp != NULL);
+  fp = freopen (file1, "w", fp);
+  TEST_VERIFY_EXIT (fp != NULL);
+  setbuf (fp, NULL);
+  ret = fseeko64 (fp, 1LL << 32, SEEK_SET);
+  TEST_COMPARE (ret, 0);
+  errno = 0;
+  ret = fputc ('x', fp);
+  if (sizeof (off_t) == 4)
+    {
+      TEST_COMPARE (ret, EOF);
+      TEST_COMPARE (errno, EFBIG);
+    }
+  else
+    TEST_COMPARE (ret, 'x');
+  fclose (fp);
+  ret = remove (file1);
+  TEST_COMPARE (ret, 0);
+  END_TEST;
+
+  /* fopen64 with freopen: large offsets not OK on 32-bit systems.  */
+  START_TEST ("testing fopen64 with freopen\n");
+  fp = fopen64 ("/dev/null", "r");
+  TEST_VERIFY_EXIT (fp != NULL);
+  fp = freopen (file1, "w", fp);
+  TEST_VERIFY_EXIT (fp != NULL);
+  setbuf (fp, NULL);
+  ret = fseeko64 (fp, 1LL << 32, SEEK_SET);
+  TEST_COMPARE (ret, 0);
+  errno = 0;
+  ret = fputc ('x', fp);
+  if (sizeof (off_t) == 4)
+    {
+      TEST_COMPARE (ret, EOF);
+      TEST_COMPARE (errno, EFBIG);
+    }
+  else
+    TEST_COMPARE (ret, 'x');
+  fclose (fp);
+  ret = remove (file1);
+  TEST_COMPARE (ret, 0);
+  END_TEST;
+
+  free (temp_dir);
+  free (file1);
+  return 0;
+}
+
+#include <support/test-driver.c>
diff --git a/stdio-common/tst-freopen64-4.c b/stdio-common/tst-freopen64-4.c
new file mode 100644
index 0000000000..be985f7618
--- /dev/null
+++ b/stdio-common/tst-freopen64-4.c
@@ -0,0 +1,3 @@ 
+#define FREOPEN freopen64
+#define OTHER_FREOPEN freopen
+#include <tst-freopen4-main.c>