From: Rich Felker <dalias@libc.org>
To: musl@lists.openwall.com
Subject: Re: out of range struct tm fields in strftime
Date: Mon, 21 Sep 2015 16:28:36 -0400 [thread overview]
Message-ID: <20150921202836.GT17773@brightrain.aerifal.cx> (raw)
In-Reply-To: <20150920195450.GD10551@port70.net>
On Sun, Sep 20, 2015 at 09:54:50PM +0200, Szabolcs Nagy wrote:
> * Szabolcs Nagy <nsz@port70.net> [2015-09-20 18:44:35 +0200]:
> > * Rich Felker <dalias@libc.org> [2015-09-20 12:36:29 -0400]:
> > > On Sun, Sep 20, 2015 at 02:44:50PM +0200, Szabolcs Nagy wrote:
> > > > out of range tm fields should not be treated as ub
> > > > as noted in the thread
> > > > http://sourceware.org/ml/libc-alpha/2015-09/msg00546.html
> > > >
> > > > i have a patch but there might be simpler approaches
> > >
> > > Wouldn't it be less invasive to just make some small changes like
> > > putting a U on some of the constants so that the arithmetic happens as
> > > unsigned?
> > >
> >
> > that might be simpler (and probably generates better
> > code for div,mod by const)
> >
> > but for the nl_langinfo item computation the range
> > has to be limited properly (tm_wday and tm_mon are
> > affected).
>
> implemented this approach with wday%7U and using some 0U+
> static int week_num(const struct tm *tm)
> {
> - int val = (tm->tm_yday + 7 - (tm->tm_wday+6)%7) / 7;
> + int val = (tm->tm_yday + 7U - (tm->tm_wday+6U)%7) / 7;
> /* If 1 Jan is just 1-3 days past Monday,
> * the previous week is also in this year. */
> - if ((tm->tm_wday - tm->tm_yday - 2 + 371) % 7 <= 2)
> + if ((0U + tm->tm_wday - tm->tm_yday - 2 + 371) % 7 <= 2)
> val++;
> if (!val) {
> val = 52;
> /* If 31 December of prev year a Thursday,
> * or Friday of a leap year, then the
> * prev year has 53 weeks. */
> - int dec31 = (tm->tm_wday - tm->tm_yday - 1 + 7) % 7;
> + int dec31 = (0U + tm->tm_wday - tm->tm_yday - 1 + 7) % 7;
This is okay but it might (or might not) be less ugly to just reorder
the constants to avoid the 0U. Thoughts?
> @@ -57,17 +57,17 @@ const char *__strftime_fmt_1(char (*s)[100], size_t *l, int f, const struct tm *
>
> switch (f) {
> case 'a':
> - item = ABDAY_1 + tm->tm_wday;
> + item = ABDAY_1 + tm->tm_wday%7U;
This is going to be a significant code size increase on many archs,
and possibly significant performance cost too. I wonder if there's a
better way.
> @@ -143,10 +143,10 @@ const char *__strftime_fmt_1(char (*s)[100], size_t *l, int f, const struct tm *
> width = 1;
> goto number;
> case 'U':
> - val = (tm->tm_yday + 7 - tm->tm_wday) / 7;
> + val = (tm->tm_yday + 7U - tm->tm_wday) / 7;
These look fine.
> @@ -165,7 +165,7 @@ const char *__strftime_fmt_1(char (*s)[100], size_t *l, int f, const struct tm *
> val = tm->tm_year % 100;
> goto number;
> case 'Y':
> - val = tm->tm_year + 1900;
> + val = tm->tm_year + 1900LL;
Also looks ok. Hopefully the compiler does not actually evaluate in
64-bit.
Rich
prev parent reply other threads:[~2015-09-21 20:28 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-09-20 12:44 Szabolcs Nagy
2015-09-20 16:36 ` Rich Felker
2015-09-20 16:44 ` Szabolcs Nagy
2015-09-20 19:54 ` Szabolcs Nagy
2015-09-21 20:28 ` Rich Felker [this message]
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=20150921202836.GT17773@brightrain.aerifal.cx \
--to=dalias@libc.org \
--cc=musl@lists.openwall.com \
/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.
Code repositories for project(s) associated with this public inbox
https://git.vuxu.org/mirror/musl/
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 NNTP newsgroup(s).