[PATCH] Test fclose on an unopened file.

Florian Weimer fweimer@redhat.com
Thu Sep 5 11:58:41 GMT 2024


* Aaron Merey:

> Add new file libio/tst-fclosed-unopened.c that tests whether fclose on
> an unopened file returns EOF.
>
> fclose returning EOF for unopened files is not part of the external
> contract but there are dependancies on this behaviour.  For example,
> gnulib's close_stdout in lib/closeout.c.
>
> Tested for x86_64.
>
> Signed-off-by: Aaron Merey <amerey@redhat.com>
> ---
>  libio/Makefile              |  1 +
>  libio/tst-fclose-unopened.c | 40 +++++++++++++++++++++++++++++++++++++
>  2 files changed, 41 insertions(+)
>  create mode 100644 libio/tst-fclose-unopened.c
>
> diff --git a/libio/Makefile b/libio/Makefile
> index 6a507b67ea..59f3ee0b7c 100644
> --- a/libio/Makefile
> +++ b/libio/Makefile
> @@ -95,6 +95,7 @@ tests = \
>    tst-eof \
>    tst-ext \
>    tst-ext2 \
> +  tst-fclose-unopened \
>    tst-fdopen-seek-failure \
>    tst-fgetc-after-eof \
>    tst-fgetwc \
> diff --git a/libio/tst-fclose-unopened.c b/libio/tst-fclose-unopened.c
> new file mode 100644
> index 0000000000..2c7cea0b52
> --- /dev/null
> +++ b/libio/tst-fclose-unopened.c
> @@ -0,0 +1,40 @@
> +/* Test using fclose on an unopened file.
> +   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 <stdio.h>
> +#include <support/check.h>
> +
> +/* Verify that fclose on an unopened file returns EOF.  This is not part
> +   of the fclose external contract but there are dependancies on this
> +   behaviour.  */
> +
> +static int
> +do_test (void)
> +{
> +  TEST_VERIFY (fclose (stdin) == 0);
> +
> +  /* Attempt to close the unopened file and verify that EOF is returned.
> +     Calling fclose on a file twice normally causes a use-after-free bug,
> +     however the standard streams are an exception since they are not
> +     deallocated by fclose.  */
> +  TEST_VERIFY (fclose (stdin) == EOF);

Sorry, missed that you can use

  TEST_COMPARE (fclose (stdin), 0);
  TEST_COMPARE (fclose (stdin), EOF);

It will provide additional diagnostics on failure.

We should also add a second test with an
libio/tst-fclose-unopened2.input file: read something from it, and then
do the same double fclose.  This will cover the case where a buffer has
been allocated.  We can do this in a separate patch if you prefer.

Do you have commit access to the glibc project, or should I push the
revised version (with TEST_COMPARE) on your behalf?

Thanks,
Florian



More information about the Libc-alpha mailing list