From: Florian Weimer <fweimer@redhat.com>
To: libc-alpha@sourceware.org
Subject: [PATCH 10/11] stdio-common: Support large offsets with %lln
Date: Fri, 09 Feb 2024 16:25:55 +0100 [thread overview]
Message-ID: <d25f0a580fde5721d594492cbb8a37d38b53c702.1707491940.git.fweimer@redhat.com> (raw)
In-Reply-To: <cover.1707491940.git.fweimer@redhat.com>
Use of Xprintf_buffer_done is unnecessary because it performs
overflow detection against int and sets errno.
---
stdio-common/Makefile | 1 +
stdio-common/tst-printf-large-n.c | 81 +++++++++++++++++++++++++++++
stdio-common/vfprintf-process-arg.c | 2 +-
3 files changed, 83 insertions(+), 1 deletion(-)
create mode 100644 stdio-common/tst-printf-large-n.c
diff --git a/stdio-common/Makefile b/stdio-common/Makefile
index d610ed67e6..482d841f96 100644
--- a/stdio-common/Makefile
+++ b/stdio-common/Makefile
@@ -234,6 +234,7 @@ tests := \
tst-printf-fp-free \
tst-printf-fp-leak \
tst-printf-intn \
+ tst-printf-large-n \
tst-printf-oct \
tst-printf-round \
tst-printfsz \
diff --git a/stdio-common/tst-printf-large-n.c b/stdio-common/tst-printf-large-n.c
new file mode 100644
index 0000000000..4504a693d2
--- /dev/null
+++ b/stdio-common/tst-printf-large-n.c
@@ -0,0 +1,81 @@
+/* Test that %n can report values larger than INT_MAX.
+ 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 <limits.h>
+#include <stdio.h>
+#include <wchar.h>
+
+#include <support/blob_repeat.h>
+#include <support/check.h>
+#include <support/xstdio.h>
+
+static int
+do_test (void)
+{
+ enum { string_length = 1 << 28 };
+
+ FILE *fp = xfopen ("/dev/null", "w");
+
+ /* Byte-oriented streams. */
+ {
+ struct support_blob_repeat repeat
+ = support_blob_repeat_allocate ("a", 1, string_length + 1);
+ char *string = repeat.start;
+ if (string == NULL)
+ FAIL_UNSUPPORTED ("cannot allocate large string");
+ string[string_length] = '\0';
+
+ long long int n;
+ TEST_COMPARE (fprintf (fp, "%s %s %s %s %s %s %s %s %lln",
+ string, string, string, string, string, string,
+ string, string, &n), -1);
+ TEST_COMPARE (errno, EOVERFLOW);
+ TEST_COMPARE (n, 8 * (string_length + 1LL));
+ TEST_VERIFY (n > INT_MAX);
+
+ support_blob_repeat_free (&repeat);
+ }
+
+ /* Wide-oriented streams. */
+ {
+ struct support_blob_repeat repeat
+ = support_blob_repeat_allocate (L"a", sizeof (wchar_t),
+ string_length + 1);
+ wchar_t *string = repeat.start;
+ if (string == NULL)
+ FAIL_UNSUPPORTED ("cannot allocate large wide string");
+ string[string_length] = '\0';
+
+ long long int n;
+ TEST_COMPARE (fwprintf (fp, L"%Ls %Ls %Ls %Ls %Ls %Ls %Ls %Ls %lln",
+ string, string, string, string, string, string,
+ string, string, &n), -1);
+ TEST_COMPARE (errno, EOVERFLOW);
+ TEST_COMPARE (n, 8 * (string_length + 1LL));
+ TEST_VERIFY (n > INT_MAX);
+
+ support_blob_repeat_free (&repeat);
+ }
+
+ xfclose (fp);
+
+ return 0;
+}
+
+#include <support/test-driver.c>
diff --git a/stdio-common/vfprintf-process-arg.c b/stdio-common/vfprintf-process-arg.c
index af6b570ea9..dbc78d4942 100644
--- a/stdio-common/vfprintf-process-arg.c
+++ b/stdio-common/vfprintf-process-arg.c
@@ -337,7 +337,7 @@ LABEL (form_number):
}
/* Answer the count of characters written. */
void *ptrptr = process_arg_pointer ();
- unsigned int written = Xprintf_buffer_done (buf);
+ uint64_t written = buf->written + (buf->write_ptr - buf->write_base);
if (is_longlong)
*(long long int *) ptrptr = written;
else if (is_long_num)
--
2.43.0
next prev parent reply other threads:[~2024-02-09 15:26 UTC|newest]
Thread overview: 34+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-02-09 15:24 [PATCH 00/11] Build getdomainname, gethostname, syslog with fortification Florian Weimer
2024-02-09 15:24 ` [PATCH 01/11] misc: Build getdomainname " Florian Weimer
2024-02-12 17:14 ` Adhemerval Zanella Netto
2024-02-12 17:30 ` Andreas Schwab
2024-02-12 19:29 ` Florian Weimer
2024-02-13 9:12 ` Andreas Schwab
2024-02-13 9:23 ` Florian Weimer
2024-02-13 9:32 ` Andreas Schwab
2024-02-09 15:24 ` [PATCH 02/11] misc: Build gethostname " Florian Weimer
2024-02-12 17:25 ` Adhemerval Zanella Netto
2024-02-09 15:25 ` [PATCH 03/11] libio: Add fortify wrapper for internal __snprintf Florian Weimer
2024-02-12 17:34 ` Adhemerval Zanella Netto
2024-02-13 12:13 ` Florian Weimer
2024-02-13 13:16 ` Adhemerval Zanella Netto
2024-02-09 15:25 ` [PATCH 04/11] syslog: Update misc/tst-syslog to check reported %n value Florian Weimer
2024-02-13 11:59 ` Adhemerval Zanella Netto
2024-02-15 13:23 ` Florian Weimer
2024-02-09 15:25 ` [PATCH 05/11] syslog: Build with fortification Florian Weimer
2024-02-13 12:26 ` Adhemerval Zanella Netto
2024-02-09 15:25 ` [PATCH 06/11] stdio: Rename __printf_buffer to __vfprintf_buffer Florian Weimer
2024-02-16 13:40 ` Adhemerval Zanella Netto
2024-02-09 15:25 ` [PATCH 07/11] libio: Extract __printf_buffer_asprintf_init from asprintf implementation Florian Weimer
2024-02-16 14:04 ` Adhemerval Zanella Netto
2024-02-09 15:25 ` [PATCH 08/11] stdio-common: Introduce the __printf_buffer function Florian Weimer
2024-02-16 14:12 ` Adhemerval Zanella Netto
2024-02-09 15:25 ` [PATCH 09/11] stdio-common: Allow skipping initial bytes in __printf_buffer for %n Florian Weimer
2024-02-16 14:13 ` Adhemerval Zanella Netto
2024-02-09 15:25 ` Florian Weimer [this message]
2024-02-16 14:20 ` [PATCH 10/11] stdio-common: Support large offsets with %lln Adhemerval Zanella Netto
2024-02-09 15:26 ` [PATCH 11/11] syslog: Use a printf buffer directly to construct the entire packet Florian Weimer
2024-02-14 15:16 ` Adhemerval Zanella Netto
2024-02-15 13:02 ` Florian Weimer
2024-02-16 13:35 ` Adhemerval Zanella Netto
2024-02-16 15:58 ` Adhemerval Zanella Netto
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=d25f0a580fde5721d594492cbb8a37d38b53c702.1707491940.git.fweimer@redhat.com \
--to=fweimer@redhat.com \
--cc=libc-alpha@sourceware.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).