From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.7 required=5.0 tests=MAILING_LIST_MULTI, RCVD_IN_DNSWL_LOW,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 30755 invoked from network); 26 May 2023 20:34:14 -0000 Received: from second.openwall.net (193.110.157.125) by inbox.vuxu.org with ESMTPUTF8; 26 May 2023 20:34:14 -0000 Received: (qmail 23980 invoked by uid 550); 26 May 2023 20:34:12 -0000 Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-ID: Reply-To: musl@lists.openwall.com Received: (qmail 23945 invoked from network); 26 May 2023 20:34:11 -0000 Date: Fri, 26 May 2023 16:33:59 -0400 From: Rich Felker To: Jens Gustedt Cc: musl@lists.openwall.com Message-ID: <20230526203358.GO4163@brightrain.aerifal.cx> References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [musl] [C23 printf 3/3] C23: implement the wfN length modifiers for printf On Fri, May 26, 2023 at 09:41:04PM +0200, Jens Gustedt wrote: > Musl only has a difference between fixed-width and fastest-width > integer types for N == 16. And even here all architectures have made > the same choice, namely mapping to 32 bit types. > --- > src/stdio/vfprintf.c | 9 ++++++++- > src/stdio/vfwprintf.c | 9 ++++++++- > 2 files changed, 16 insertions(+), 2 deletions(-) > > diff --git a/src/stdio/vfprintf.c b/src/stdio/vfprintf.c > index 1a516663..9f02a594 100644 > --- a/src/stdio/vfprintf.c > +++ b/src/stdio/vfprintf.c > @@ -529,9 +529,16 @@ static int printf_core(FILE *f, const char *fmt, va_list *ap, union arg *nl_arg, > ps=st; > st=states[st]S(*s++); > if (st == WPRE) { > + // See if "fast" is requested. Difference is only > + // relevant for a fast type of minimum width 16. > + int fast16 = HPRE; > + if (*s == 'f') { > + fast16 = BARE; > + ++s; > + } > switch (getint(&s)) { > case 8: st = HHPRE; goto wpre; > - case 16: st = HPRE; goto wpre; > + case 16: st = fast16; goto wpre; > case 32: st = BARE; goto wpre; > #if UINTPTR_MAX >= UINT64_MAX > case 64: st = LPRE; goto wpre; > diff --git a/src/stdio/vfwprintf.c b/src/stdio/vfwprintf.c > index 4320761a..4e9ce63a 100644 > --- a/src/stdio/vfwprintf.c > +++ b/src/stdio/vfwprintf.c > @@ -244,9 +244,16 @@ static int wprintf_core(FILE *f, const wchar_t *fmt, va_list *ap, union arg *nl_ > ps=st; > st=states[st]S(*s++); > if (st == WPRE) { > + // See if "fast" is requested. Difference is only > + // relevant for a fast type of minimum width 16. > + int fast16 = HPRE; > + if (*s == 'f') { > + fast16 = BARE; > + ++s; > + } > switch (getint(&s)) { > case 8: st = HHPRE; goto wpre; > - case 16: st = HPRE; goto wpre; > + case 16: st = fast16; goto wpre; > case 32: st = BARE; goto wpre; > #if UINTPTR_MAX >= UINT64_MAX > case 64: st = LPRE; goto wpre; > -- > 2.34.1 It may just work to have w8, w16, wf8, and wf16 all resolve to BARE unconditionally, as the default promitions for variadic functions force these all to be passed as int. In the current code, for h and hh prefixes we cast down and discard any high bits, but unless the caller invoked UB by passing an argument with mismatched type, the cast is guaranteed not to change the value. Rich