public inbox for linux-kernel@vger.kernel.org
 help / color / mirror / Atom feed
From: Willy Tarreau <w@1wt.eu>
To: David Laight <david.laight.linux@gmail.com>
Cc: "Thomas Weißschuh" <linux@weissschuh.net>,
	linux-kernel@vger.kernel.org, "Cheng Li" <lechain@gmail.com>
Subject: Re: [PATCH v4 next 09/23] tools/nolibc: Implement strerror() in terms of strerror_r()
Date: Sat, 7 Mar 2026 12:37:35 +0100	[thread overview]
Message-ID: <aawN_8aXcgR5AfaJ@1wt.eu> (raw)
In-Reply-To: <20260307113105.76fb7fe9@pumpkin>

On Sat, Mar 07, 2026 at 11:31:05AM +0000, David Laight wrote:
> On Sat, 7 Mar 2026 11:18:41 +0100
> Willy Tarreau <w@1wt.eu> wrote:
> 
> > Hi David,
> > 
> > On Mon, Mar 02, 2026 at 10:18:01AM +0000, david.laight.linux@gmail.com wrote:
> > > From: David Laight <david.laight.linux@gmail.com>
> > > 
> > > strerror() can be the only part of a program that has a .data section.
> > > This requres 4k in the program file.  
> > 
> > Thanks for handling this one! Indeed, I saw a trivial hello world program
> > take 4kB once %m got supported, which is a shame.
> > 
> > > Add a simple implementation of strerror_r() (ignores buflen) and use
> > > that in strerror() so that the "errno=" string is copied at run-time.
> > > Use __builtin_memcpy() because that optimises away the input string
> > > and just writes the required constants to the target buffer.
> > > 
> > > Ignoring buflen is unlikely to be a problem given that the output is
> > > always short.  
> > 
> > On this point it's not necessarily true, as we can overflow too short
> > an output, e.g. when calling strerror_r() on a single-byte buffer:
> 
> But that would be silly, and you get what you deserve :-)
> It's not like passing char[64] will be too short because of some overlong
> error text.

Yes I know and I also hate having to write code to defend against
silliness, but sometimes what looks silly to some in fact looks smart
to others. You could for example find it stupid to call snprintf() with
a zero-length but it's actually used sometimes to figure the size to
allocate.

> > > +static __attribute__((unused,))
> > > +int strerror_r(int errnum, char *buf, size_t buflen __attribute__((unused)))
> > > +{  
> > 
> > Here I think we can simply do this to comply with the man page:
> > 
> > 	if (buflen < 18) {
> > 		errno = ERANGE;
> > 		return -1;
> 
> Looks like it should 'return ERANGE' (matching glibc 2.13+).

Ah you're right, I initially misunderstood the man page as "a positive
number with errno set". But yes, returning ERANGE is fine!

> > (and we can safely ignore it for strerror()).
> 
> ISTR strerror_r() tends to get inlined into strerror() so it
> would be optimised away.

That's what I suspected as well.

> That simple (slightly over-enthusiastic) check is probably fine.
> Especially since normal code will be expecting a much longer string. 
> 
> I did think of implementing strerror_r() as:
>     return snprintf(buf, buflen, "errno=%d", errnum) < buflen ? 0 : ERANGE;
> but that seems excessive.

Yes ;-)

Willy

  reply	other threads:[~2026-03-07 11:37 UTC|newest]

Thread overview: 44+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-03-02 10:17 [PATCH v4 next 00/23] Enhance printf() david.laight.linux
2026-03-02 10:17 ` [PATCH v4 next 01/23] tools/nolibc: Add _NOLIBC_OPTIMIZER_HIDE_VAR() to compiler.h david.laight.linux
2026-03-07 10:50   ` Willy Tarreau
2026-03-02 10:17 ` [PATCH v4 next 02/23] tools/nolibc/printf: Move snprintf length check to callback david.laight.linux
2026-03-07 10:48   ` Willy Tarreau
2026-03-02 10:17 ` [PATCH v4 next 03/23] selftests/nolibc: Return correct value when printf test fails david.laight.linux
2026-03-02 10:17 ` [PATCH v4 next 04/23] selftests/nolibc: check vsnprintf() output buffer before the length david.laight.linux
2026-03-02 10:17 ` [PATCH v4 next 05/23] selftests/nolibc: Use length of 'expected' string to check snprintf() output david.laight.linux
2026-03-02 10:17 ` [PATCH v4 next 06/23] selftests/nolibc: Check that snprintf() doesn't write beyond the buffer end david.laight.linux
2026-03-02 10:17 ` [PATCH v4 next 07/23] selftests/nolibc: Let EXPECT_VFPRINTF() tests be skipped david.laight.linux
2026-03-02 10:18 ` [PATCH 08/23] selftests/nolibc: Rename w to written in expect_vfprintf() david.laight.linux
2026-03-02 10:18 ` [PATCH v4 next 09/23] tools/nolibc: Implement strerror() in terms of strerror_r() david.laight.linux
2026-03-07 10:18   ` Willy Tarreau
2026-03-07 11:31     ` David Laight
2026-03-07 11:37       ` Willy Tarreau [this message]
2026-03-07 16:55         ` David Laight
2026-03-07 17:17           ` Willy Tarreau
2026-03-02 10:18 ` [PATCH v4 next 10/23] tools/nolibc: Rename the 'errnum' parameter to strerror() david.laight.linux
2026-03-07 10:19   ` Willy Tarreau
2026-03-02 10:18 ` [PATCH v4 next 11/23] tools/nolibc/printf: Output pad characters in 16 byte chunks david.laight.linux
2026-03-02 10:18 ` [PATCH 12/23] tools/nolibc/printf: Simplify __nolibc_printf() david.laight.linux
2026-03-02 10:18 ` [PATCH v4 next 13/23] tools/nolibc/printf: Use goto and reduce indentation david.laight.linux
2026-03-07 10:30   ` Willy Tarreau
2026-03-02 10:18 ` [PATCH 14/23] tools/nolibc/printf: Use bit-masks to hold requested flag, length and conversion chars david.laight.linux
2026-03-02 10:18 ` [PATCH v4 next 15/23] tools/nolibc/printf: Add support for length modifiers tzqL and formats iX david.laight.linux
2026-03-02 10:18 ` [PATCH v4 next 16/23] tools/nolibc/printf: Handle "%s" with the numeric formats david.laight.linux
2026-03-07 10:32   ` Willy Tarreau
2026-03-02 10:18 ` [PATCH 17/23] tools/nolibc/printf: Prepend sign to converted number david.laight.linux
2026-03-07 10:40   ` Willy Tarreau
2026-03-02 10:18 ` [PATCH v4 next 18/23] tools/nolibc/printf: Add support for conversion flags space and plus david.laight.linux
2026-03-07 10:46   ` Willy Tarreau
2026-03-02 10:18 ` [PATCH v4 next 19/23] tools/nolibc/printf: Special case 0 and add support for %#x david.laight.linux
2026-03-07 10:46   ` Willy Tarreau
2026-03-02 10:18 ` [PATCH v4 next 20/23] tools/nolibc/printf: Add support for left aligning fields david.laight.linux
2026-03-07 10:46   ` Willy Tarreau
2026-03-02 10:18 ` [PATCH v4 next 21/23] tools/nolibc/printf: Add support for zero padding and field precision david.laight.linux
2026-03-02 10:18 ` [PATCH v4 next 22/23] tools/nolibc/printf: Add support for octal output david.laight.linux
2026-03-07 10:45   ` Willy Tarreau
2026-03-02 10:18 ` [PATCH v4 next 23/23] selftests/nolibc: Use printf variable field widths and precisions david.laight.linux
2026-03-07 10:53 ` [PATCH v4 next 00/23] Enhance printf() Willy Tarreau
2026-03-07 18:02 ` Thomas Weißschuh
2026-03-07 22:03   ` David Laight
2026-03-07 22:20     ` Thomas Weißschuh
2026-03-08  9:23   ` Willy Tarreau

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=aawN_8aXcgR5AfaJ@1wt.eu \
    --to=w@1wt.eu \
    --cc=david.laight.linux@gmail.com \
    --cc=lechain@gmail.com \
    --cc=linux-kernel@vger.kernel.org \
    --cc=linux@weissschuh.net \
    /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