nstrftime.c 48 KB
Newer Older
Paul Eggert's avatar
Paul Eggert committed
1
/* Copyright (C) 1991-2020 Free Software Foundation, Inc.
Paul Eggert's avatar
Paul Eggert committed
2
   This file is part of the GNU C Library.
Paul Eggert's avatar
Paul Eggert committed
3

Paul Eggert's avatar
Paul Eggert committed
4 5 6 7
   The GNU C Library is free software; you can redistribute it and/or
   modify it under the terms of the GNU General Public
   License as published by the Free Software Foundation; either
   version 3 of the License, or (at your option) any later version.
Paul Eggert's avatar
Paul Eggert committed
8

Paul Eggert's avatar
Paul Eggert committed
9
   The GNU C Library is distributed in the hope that it will be useful,
Paul Eggert's avatar
Paul Eggert committed
10
   but WITHOUT ANY WARRANTY; without even the implied warranty of
Paul Eggert's avatar
Paul Eggert committed
11 12
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
   General Public License for more details.
Paul Eggert's avatar
Paul Eggert committed
13

Paul Eggert's avatar
Paul Eggert committed
14 15
   You should have received a copy of the GNU General Public
   License along with the GNU C Library; if not, see
Paul Eggert's avatar
Paul Eggert committed
16
   <https://www.gnu.org/licenses/>.  */
Paul Eggert's avatar
Paul Eggert committed
17 18

#ifdef _LIBC
Paul Eggert's avatar
Paul Eggert committed
19
# define USE_IN_EXTENDED_LOCALE_MODEL 1
Paul Eggert's avatar
Paul Eggert committed
20 21 22 23 24 25 26 27 28 29 30 31 32
# define HAVE_STRUCT_ERA_ENTRY 1
# define HAVE_TM_GMTOFF 1
# define HAVE_TM_ZONE 1
# define HAVE_TZNAME 1
# define HAVE_TZSET 1
# include "../locale/localeinfo.h"
#else
# include <config.h>
# if FPRINTFTIME
#  include "fprintftime.h"
# else
#  include "strftime.h"
# endif
Paul Eggert's avatar
Paul Eggert committed
33
# include "time-internal.h"
Paul Eggert's avatar
Paul Eggert committed
34 35 36 37 38 39 40 41 42
#endif

#include <ctype.h>
#include <time.h>

#if HAVE_TZNAME && !HAVE_DECL_TZNAME
extern char *tzname[];
#endif

Paul Eggert's avatar
Paul Eggert committed
43
/* Do multibyte processing if multibyte encodings are supported, unless
Paul Eggert's avatar
Paul Eggert committed
44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68
   multibyte sequences are safe in formats.  Multibyte sequences are
   safe if they cannot contain byte sequences that look like format
   conversion specifications.  The multibyte encodings used by the
   C library on the various platforms (UTF-8, GB2312, GBK, CP936,
   GB18030, EUC-TW, BIG5, BIG5-HKSCS, CP950, EUC-JP, EUC-KR, CP949,
   SHIFT_JIS, CP932, JOHAB) are safe for formats, because the byte '%'
   cannot occur in a multibyte character except in the first byte.

   The DEC-HANYU encoding used on OSF/1 is not safe for formats, but
   this encoding has never been seen in real-life use, so we ignore
   it.  */
#if !(defined __osf__ && 0)
# define MULTIBYTE_IS_FORMAT_SAFE 1
#endif
#define DO_MULTIBYTE (! MULTIBYTE_IS_FORMAT_SAFE)

#if DO_MULTIBYTE
# include <wchar.h>
  static const mbstate_t mbstate_zero;
#endif

#include <limits.h>
#include <stddef.h>
#include <stdlib.h>
#include <string.h>
Paul Eggert's avatar
Paul Eggert committed
69
#include <stdbool.h>
Paul Eggert's avatar
Paul Eggert committed
70

Paul Eggert's avatar
Paul Eggert committed
71
#include "attribute.h"
Paul Eggert's avatar
Paul Eggert committed
72 73
#include <intprops.h>

Paul Eggert's avatar
Paul Eggert committed
74 75 76 77 78 79 80 81 82 83 84 85 86 87 88
#ifdef COMPILE_WIDE
# include <endian.h>
# define CHAR_T wchar_t
# define UCHAR_T unsigned int
# define L_(Str) L##Str
# define NLW(Sym) _NL_W##Sym

# define MEMCPY(d, s, n) __wmemcpy (d, s, n)
# define STRLEN(s) __wcslen (s)

#else
# define CHAR_T char
# define UCHAR_T unsigned char
# define L_(Str) Str
# define NLW(Sym) Sym
Paul Eggert's avatar
Paul Eggert committed
89
# define ABALTMON_1 _NL_ABALTMON_1
Paul Eggert's avatar
Paul Eggert committed
90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108

# define MEMCPY(d, s, n) memcpy (d, s, n)
# define STRLEN(s) strlen (s)

#endif

/* Shift A right by B bits portably, by dividing A by 2**B and
   truncating towards minus infinity.  A and B should be free of side
   effects, and B should be in the range 0 <= B <= INT_BITS - 2, where
   INT_BITS is the number of useful bits in an int.  GNU code can
   assume that INT_BITS is at least 32.

   ISO C99 says that A >> B is implementation-defined if A < 0.  Some
   implementations (e.g., UNICOS 9.0 on a Cray Y-MP EL) don't shift
   right in the usual way when A < 0, so SHR falls back on division if
   ordinary A >> B doesn't seem to be the usual signed shift.  */
#define SHR(a, b)       \
  (-1 >> 1 == -1        \
   ? (a) >> (b)         \
Paul Eggert's avatar
Paul Eggert committed
109
   : ((a) + ((a) < 0)) / (1 << (b)) - ((a) < 0))
Paul Eggert's avatar
Paul Eggert committed
110 111 112 113 114 115 116 117 118 119 120 121

#define TM_YEAR_BASE 1900

#ifndef __isleap
/* Nonzero if YEAR is a leap year (every 4 years,
   except every 100th isn't, and every 400th is).  */
# define __isleap(year) \
  ((year) % 4 == 0 && ((year) % 100 != 0 || (year) % 400 == 0))
#endif


#ifdef _LIBC
122
# define mktime_z(tz, tm) mktime (tm)
Paul Eggert's avatar
Paul Eggert committed
123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157
# define tzname __tzname
# define tzset __tzset
#endif

#ifndef FPRINTFTIME
# define FPRINTFTIME 0
#endif

#if FPRINTFTIME
# define STREAM_OR_CHAR_T FILE
# define STRFTIME_ARG(x) /* empty */
#else
# define STREAM_OR_CHAR_T CHAR_T
# define STRFTIME_ARG(x) x,
#endif

#if FPRINTFTIME
# define memset_byte(P, Len, Byte) \
  do { size_t _i; for (_i = 0; _i < Len; _i++) fputc (Byte, P); } while (0)
# define memset_space(P, Len) memset_byte (P, Len, ' ')
# define memset_zero(P, Len) memset_byte (P, Len, '0')
#elif defined COMPILE_WIDE
# define memset_space(P, Len) (wmemset (P, L' ', Len), (P) += (Len))
# define memset_zero(P, Len) (wmemset (P, L'0', Len), (P) += (Len))
#else
# define memset_space(P, Len) (memset (P, ' ', Len), (P) += (Len))
# define memset_zero(P, Len) (memset (P, '0', Len), (P) += (Len))
#endif

#if FPRINTFTIME
# define advance(P, N)
#else
# define advance(P, N) ((P) += (N))
#endif

Paul Eggert's avatar
Paul Eggert committed
158 159
#define add(n, f) width_add (width, n, f)
#define width_add(width, n, f)                                                \
Paul Eggert's avatar
Paul Eggert committed
160 161
  do                                                                          \
    {                                                                         \
Paul Eggert's avatar
Paul Eggert committed
162
      size_t _n = (n);                                                        \
Paul Eggert's avatar
Paul Eggert committed
163
      size_t _w = pad == L_('-') || width < 0 ? 0 : width;                    \
Paul Eggert's avatar
Paul Eggert committed
164 165
      size_t _incr = _n < _w ? _w : _n;                                       \
      if (_incr >= maxsize - i)                                               \
Paul Eggert's avatar
Paul Eggert committed
166 167 168
        return 0;                                                             \
      if (p)                                                                  \
        {                                                                     \
Paul Eggert's avatar
Paul Eggert committed
169
          if (_n < _w)                                                        \
Paul Eggert's avatar
Paul Eggert committed
170
            {                                                                 \
Paul Eggert's avatar
Paul Eggert committed
171
              size_t _delta = _w - _n;                                        \
Paul Eggert's avatar
Paul Eggert committed
172
              if (pad == L_('0') || pad == L_('+'))                           \
Paul Eggert's avatar
Paul Eggert committed
173 174 175 176 177 178 179 180 181 182
                memset_zero (p, _delta);                                      \
              else                                                            \
                memset_space (p, _delta);                                     \
            }                                                                 \
          f;                                                                  \
          advance (p, _n);                                                    \
        }                                                                     \
      i += _incr;                                                             \
    } while (0)

Paul Eggert's avatar
Paul Eggert committed
183
#define add1(c) width_add1 (width, c)
Paul Eggert's avatar
Paul Eggert committed
184
#if FPRINTFTIME
Paul Eggert's avatar
Paul Eggert committed
185
# define width_add1(width, c) width_add (width, 1, fputc (c, p))
Paul Eggert's avatar
Paul Eggert committed
186
#else
Paul Eggert's avatar
Paul Eggert committed
187
# define width_add1(width, c) width_add (width, 1, *p = c)
Paul Eggert's avatar
Paul Eggert committed
188 189
#endif

Paul Eggert's avatar
Paul Eggert committed
190
#define cpy(n, s) width_cpy (width, n, s)
Paul Eggert's avatar
Paul Eggert committed
191
#if FPRINTFTIME
Paul Eggert's avatar
Paul Eggert committed
192 193
# define width_cpy(width, n, s)                                               \
    width_add (width, n,                                                      \
Paul Eggert's avatar
Paul Eggert committed
194 195 196 197 198 199 200
     do                                                                       \
       {                                                                      \
         if (to_lowcase)                                                      \
           fwrite_lowcase (p, (s), _n);                                       \
         else if (to_uppcase)                                                 \
           fwrite_uppcase (p, (s), _n);                                       \
         else                                                                 \
201 202
           {                                                                  \
             /* Ignore the value of fwrite.  The caller can determine whether \
Paul Eggert's avatar
Paul Eggert committed
203
                an error occurred by inspecting ferror (P).  All known fwrite \
204 205 206 207 208
                implementations set the stream's error indicator when they    \
                fail due to ENOMEM etc., even though C11 and POSIX.1-2008 do  \
                not require this.  */                                         \
             fwrite (s, _n, 1, p);                                            \
           }                                                                  \
Paul Eggert's avatar
Paul Eggert committed
209 210 211 212
       }                                                                      \
     while (0)                                                                \
    )
#else
Paul Eggert's avatar
Paul Eggert committed
213 214
# define width_cpy(width, n, s)                                               \
    width_add (width, n,                                                      \
Paul Eggert's avatar
Paul Eggert committed
215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249
         if (to_lowcase)                                                      \
           memcpy_lowcase (p, (s), _n LOCALE_ARG);                            \
         else if (to_uppcase)                                                 \
           memcpy_uppcase (p, (s), _n LOCALE_ARG);                            \
         else                                                                 \
           MEMCPY ((void *) p, (void const *) (s), _n))
#endif

#ifdef COMPILE_WIDE
# ifndef USE_IN_EXTENDED_LOCALE_MODEL
#  undef __mbsrtowcs_l
#  define __mbsrtowcs_l(d, s, l, st, loc) __mbsrtowcs (d, s, l, st)
# endif
# define widen(os, ws, l) \
  {                                                                           \
    mbstate_t __st;                                                           \
    const char *__s = os;                                                     \
    memset (&__st, '\0', sizeof (__st));                                      \
    l = __mbsrtowcs_l (NULL, &__s, 0, &__st, loc);                            \
    ws = (wchar_t *) alloca ((l + 1) * sizeof (wchar_t));                     \
    (void) __mbsrtowcs_l (ws, &__s, l, &__st, loc);                           \
  }
#endif


#if defined _LIBC && defined USE_IN_EXTENDED_LOCALE_MODEL
/* We use this code also for the extended locale handling where the
   function gets as an additional argument the locale which has to be
   used.  To access the values we have to redefine the _NL_CURRENT
   macro.  */
# define strftime               __strftime_l
# define wcsftime               __wcsftime_l
# undef _NL_CURRENT
# define _NL_CURRENT(category, item) \
  (current->values[_NL_ITEM_INDEX (item)].string)
Paul Eggert's avatar
Paul Eggert committed
250
# define LOCALE_PARAM , locale_t loc
Paul Eggert's avatar
Paul Eggert committed
251 252 253
# define LOCALE_ARG , loc
# define HELPER_LOCALE_ARG  , current
#else
Paul Eggert's avatar
Paul Eggert committed
254
# define LOCALE_PARAM
Paul Eggert's avatar
Paul Eggert committed
255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279
# define LOCALE_ARG
# ifdef _LIBC
#  define HELPER_LOCALE_ARG , _NL_CURRENT_DATA (LC_TIME)
# else
#  define HELPER_LOCALE_ARG
# endif
#endif

#ifdef COMPILE_WIDE
# ifdef USE_IN_EXTENDED_LOCALE_MODEL
#  define TOUPPER(Ch, L) __towupper_l (Ch, L)
#  define TOLOWER(Ch, L) __towlower_l (Ch, L)
# else
#  define TOUPPER(Ch, L) towupper (Ch)
#  define TOLOWER(Ch, L) towlower (Ch)
# endif
#else
# ifdef USE_IN_EXTENDED_LOCALE_MODEL
#  define TOUPPER(Ch, L) __toupper_l (Ch, L)
#  define TOLOWER(Ch, L) __tolower_l (Ch, L)
# else
#  define TOUPPER(Ch, L) toupper (Ch)
#  define TOLOWER(Ch, L) tolower (Ch)
# endif
#endif
Paul Eggert's avatar
Paul Eggert committed
280
/* We don't use 'isdigit' here since the locale dependent
Paul Eggert's avatar
Paul Eggert committed
281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306
   interpretation is not what we want here.  We only need to accept
   the arabic digits in the ASCII range.  One day there is perhaps a
   more reliable way to accept other sets of digits.  */
#define ISDIGIT(Ch) ((unsigned int) (Ch) - L_('0') <= 9)

#if FPRINTFTIME
static void
fwrite_lowcase (FILE *fp, const CHAR_T *src, size_t len)
{
  while (len-- > 0)
    {
      fputc (TOLOWER ((UCHAR_T) *src, loc), fp);
      ++src;
    }
}

static void
fwrite_uppcase (FILE *fp, const CHAR_T *src, size_t len)
{
  while (len-- > 0)
    {
      fputc (TOUPPER ((UCHAR_T) *src, loc), fp);
      ++src;
    }
}
#else
Paul Eggert's avatar
Paul Eggert committed
307 308 309
static CHAR_T *memcpy_lowcase (CHAR_T *dest, const CHAR_T *src,
                               size_t len LOCALE_PARAM);

Paul Eggert's avatar
Paul Eggert committed
310
static CHAR_T *
Paul Eggert's avatar
Paul Eggert committed
311
memcpy_lowcase (CHAR_T *dest, const CHAR_T *src, size_t len LOCALE_PARAM)
Paul Eggert's avatar
Paul Eggert committed
312 313 314 315 316 317
{
  while (len-- > 0)
    dest[len] = TOLOWER ((UCHAR_T) src[len], loc);
  return dest;
}

Paul Eggert's avatar
Paul Eggert committed
318 319 320
static CHAR_T *memcpy_uppcase (CHAR_T *dest, const CHAR_T *src,
                               size_t len LOCALE_PARAM);

Paul Eggert's avatar
Paul Eggert committed
321
static CHAR_T *
Paul Eggert's avatar
Paul Eggert committed
322
memcpy_uppcase (CHAR_T *dest, const CHAR_T *src, size_t len LOCALE_PARAM)
Paul Eggert's avatar
Paul Eggert committed
323 324 325 326 327 328 329 330 331 332 333 334
{
  while (len-- > 0)
    dest[len] = TOUPPER ((UCHAR_T) src[len], loc);
  return dest;
}
#endif


#if ! HAVE_TM_GMTOFF
/* Yield the difference between *A and *B,
   measured in seconds, ignoring leap seconds.  */
# define tm_diff ftime_tm_diff
Paul Eggert's avatar
Paul Eggert committed
335
static int tm_diff (const struct tm *, const struct tm *);
Paul Eggert's avatar
Paul Eggert committed
336 337 338 339 340 341 342 343
static int
tm_diff (const struct tm *a, const struct tm *b)
{
  /* Compute intervening leap days correctly even if year is negative.
     Take care to avoid int overflow in leap day calculations,
     but it's OK to assume that A and B are close to each other.  */
  int a4 = SHR (a->tm_year, 2) + SHR (TM_YEAR_BASE, 2) - ! (a->tm_year & 3);
  int b4 = SHR (b->tm_year, 2) + SHR (TM_YEAR_BASE, 2) - ! (b->tm_year & 3);
Paul Eggert's avatar
Paul Eggert committed
344 345
  int a100 = (a4 + (a4 < 0)) / 25 - (a4 < 0);
  int b100 = (b4 + (b4 < 0)) / 25 - (b4 < 0);
Paul Eggert's avatar
Paul Eggert committed
346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366
  int a400 = SHR (a100, 2);
  int b400 = SHR (b100, 2);
  int intervening_leap_days = (a4 - b4) - (a100 - b100) + (a400 - b400);
  int years = a->tm_year - b->tm_year;
  int days = (365 * years + intervening_leap_days
              + (a->tm_yday - b->tm_yday));
  return (60 * (60 * (24 * days + (a->tm_hour - b->tm_hour))
                + (a->tm_min - b->tm_min))
          + (a->tm_sec - b->tm_sec));
}
#endif /* ! HAVE_TM_GMTOFF */



/* The number of days from the first day of the first ISO week of this
   year to the year day YDAY with week day WDAY.  ISO weeks start on
   Monday; the first ISO week has the year's first Thursday.  YDAY may
   be as small as YDAY_MINIMUM.  */
#define ISO_WEEK_START_WDAY 1 /* Monday */
#define ISO_WEEK1_WDAY 4 /* Thursday */
#define YDAY_MINIMUM (-366)
Paul Eggert's avatar
Paul Eggert committed
367
static int iso_week_days (int, int);
Paul Eggert's avatar
Paul Eggert committed
368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383
#ifdef __GNUC__
__inline__
#endif
static int
iso_week_days (int yday, int wday)
{
  /* Add enough to the first operand of % to make it nonnegative.  */
  int big_enough_multiple_of_7 = (-YDAY_MINIMUM / 7 + 2) * 7;
  return (yday
          - (yday - wday + ISO_WEEK1_WDAY + big_enough_multiple_of_7) % 7
          + ISO_WEEK1_WDAY - ISO_WEEK_START_WDAY);
}


/* When compiling this file, GNU applications can #define my_strftime
   to a symbol (typically nstrftime) to get an extended strftime with
384
   extra arguments TZ and NS.  */
Paul Eggert's avatar
Paul Eggert committed
385 386 387 388 389 390 391

#if FPRINTFTIME
# undef my_strftime
# define my_strftime fprintftime
#endif

#ifdef my_strftime
392 393 394
# undef HAVE_TZSET
# define extra_args , tz, ns
# define extra_args_spec , timezone_t tz, int ns
Paul Eggert's avatar
Paul Eggert committed
395 396 397 398 399 400 401 402 403 404 405
#else
# if defined COMPILE_WIDE
#  define my_strftime wcsftime
#  define nl_get_alt_digit _nl_get_walt_digit
# else
#  define my_strftime strftime
#  define nl_get_alt_digit _nl_get_alt_digit
# endif
# define extra_args
# define extra_args_spec
/* We don't have this information in general.  */
406
# define tz 1
Paul Eggert's avatar
Paul Eggert committed
407 408 409
# define ns 0
#endif

Paul Eggert's avatar
Paul Eggert committed
410 411
static size_t __strftime_internal (STREAM_OR_CHAR_T *, STRFTIME_ARG (size_t)
                                   const CHAR_T *, const struct tm *,
Paul Eggert's avatar
Paul Eggert committed
412
                                   bool, int, int, bool *
Paul Eggert's avatar
Paul Eggert committed
413
                                   extra_args_spec LOCALE_PARAM);
Paul Eggert's avatar
Paul Eggert committed
414

Paul Eggert's avatar
Paul Eggert committed
415 416 417 418 419 420 421 422 423 424 425 426
/* Write information from TP into S according to the format
   string FORMAT, writing no more that MAXSIZE characters
   (including the terminating '\0') and returning number of
   characters written.  If S is NULL, nothing will be written
   anywhere, so to determine how many characters would be
   written, use NULL for S and (size_t) -1 for MAXSIZE.  */
size_t
my_strftime (STREAM_OR_CHAR_T *s, STRFTIME_ARG (size_t maxsize)
             const CHAR_T *format,
             const struct tm *tp extra_args_spec LOCALE_PARAM)
{
  bool tzset_called = false;
Paul Eggert's avatar
Paul Eggert committed
427 428
  return __strftime_internal (s, STRFTIME_ARG (maxsize) format, tp, false,
                              0, -1, &tzset_called extra_args LOCALE_ARG);
Paul Eggert's avatar
Paul Eggert committed
429 430 431 432 433
}
#if defined _LIBC && ! FPRINTFTIME
libc_hidden_def (my_strftime)
#endif

Paul Eggert's avatar
Paul Eggert committed
434 435 436 437
/* Just like my_strftime, above, but with more parameters.
   UPCASE indicates that the result should be converted to upper case.
   YR_SPEC and WIDTH specify the padding and width for the year.
   *TZSET_CALLED indicates whether tzset has been called here.  */
Paul Eggert's avatar
Paul Eggert committed
438
static size_t
Paul Eggert's avatar
Paul Eggert committed
439 440
__strftime_internal (STREAM_OR_CHAR_T *s, STRFTIME_ARG (size_t maxsize)
                     const CHAR_T *format,
Paul Eggert's avatar
Paul Eggert committed
441 442
                     const struct tm *tp, bool upcase,
                     int yr_spec, int width, bool *tzset_called
Paul Eggert's avatar
Paul Eggert committed
443
                     extra_args_spec LOCALE_PARAM)
Paul Eggert's avatar
Paul Eggert committed
444 445
{
#if defined _LIBC && defined USE_IN_EXTENDED_LOCALE_MODEL
Paul Eggert's avatar
Paul Eggert committed
446
  struct __locale_data *const current = loc->__locales[LC_TIME];
Paul Eggert's avatar
Paul Eggert committed
447 448 449 450 451 452 453 454 455
#endif
#if FPRINTFTIME
  size_t maxsize = (size_t) -1;
#endif

  int hour12 = tp->tm_hour;
#ifdef _NL_CURRENT
  /* We cannot make the following values variables since we must delay
     the evaluation of these values until really needed since some
Paul Eggert's avatar
Paul Eggert committed
456
     expressions might not be valid in every situation.  The 'struct tm'
Paul Eggert's avatar
Paul Eggert committed
457 458 459 460
     might be generated by a strptime() call that initialized
     only a few elements.  Dereference the pointers only if the format
     requires this.  Then it is ok to fail if the pointers are invalid.  */
# define a_wkday \
Paul Eggert's avatar
Paul Eggert committed
461 462
  ((const CHAR_T *) (tp->tm_wday < 0 || tp->tm_wday > 6                      \
                     ? "?" : _NL_CURRENT (LC_TIME, NLW(ABDAY_1) + tp->tm_wday)))
Paul Eggert's avatar
Paul Eggert committed
463
# define f_wkday \
Paul Eggert's avatar
Paul Eggert committed
464 465
  ((const CHAR_T *) (tp->tm_wday < 0 || tp->tm_wday > 6                      \
                     ? "?" : _NL_CURRENT (LC_TIME, NLW(DAY_1) + tp->tm_wday)))
Paul Eggert's avatar
Paul Eggert committed
466
# define a_month \
Paul Eggert's avatar
Paul Eggert committed
467 468
  ((const CHAR_T *) (tp->tm_mon < 0 || tp->tm_mon > 11                       \
                     ? "?" : _NL_CURRENT (LC_TIME, NLW(ABMON_1) + tp->tm_mon)))
Paul Eggert's avatar
Paul Eggert committed
469
# define f_month \
Paul Eggert's avatar
Paul Eggert committed
470 471
  ((const CHAR_T *) (tp->tm_mon < 0 || tp->tm_mon > 11                       \
                     ? "?" : _NL_CURRENT (LC_TIME, NLW(MON_1) + tp->tm_mon)))
Paul Eggert's avatar
Paul Eggert committed
472 473 474 475 476 477
# define a_altmonth \
  ((const CHAR_T *) (tp->tm_mon < 0 || tp->tm_mon > 11                       \
                     ? "?" : _NL_CURRENT (LC_TIME, NLW(ABALTMON_1) + tp->tm_mon)))
# define f_altmonth \
  ((const CHAR_T *) (tp->tm_mon < 0 || tp->tm_mon > 11                       \
                     ? "?" : _NL_CURRENT (LC_TIME, NLW(ALTMON_1) + tp->tm_mon)))
Paul Eggert's avatar
Paul Eggert committed
478 479 480 481 482 483
# define ampm \
  ((const CHAR_T *) _NL_CURRENT (LC_TIME, tp->tm_hour > 11                    \
                                 ? NLW(PM_STR) : NLW(AM_STR)))

# define aw_len STRLEN (a_wkday)
# define am_len STRLEN (a_month)
Paul Eggert's avatar
Paul Eggert committed
484
# define aam_len STRLEN (a_altmonth)
Paul Eggert's avatar
Paul Eggert committed
485
# define ap_len STRLEN (ampm)
Paul Eggert's avatar
Paul Eggert committed
486 487 488
#endif
#if HAVE_TZNAME
  char **tzname_vec = tzname;
Paul Eggert's avatar
Paul Eggert committed
489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508
#endif
  const char *zone;
  size_t i = 0;
  STREAM_OR_CHAR_T *p = s;
  const CHAR_T *f;
#if DO_MULTIBYTE && !defined COMPILE_WIDE
  const char *format_end = NULL;
#endif

  zone = NULL;
#if HAVE_TM_ZONE
  /* The POSIX test suite assumes that setting
     the environment variable TZ to a new value before calling strftime()
     will influence the result (the %Z format) even if the information in
     TP is computed with a totally different time zone.
     This is bogus: though POSIX allows bad behavior like this,
     POSIX does not require it.  Do the right thing instead.  */
  zone = (const char *) tp->tm_zone;
#endif
#if HAVE_TZNAME
509
  if (!tz)
Paul Eggert's avatar
Paul Eggert committed
510 511 512 513 514 515
    {
      if (! (zone && *zone))
        zone = "GMT";
    }
  else
    {
Paul Eggert's avatar
Paul Eggert committed
516 517 518 519
# if !HAVE_TM_ZONE
      /* Infer the zone name from *TZ instead of from TZNAME.  */
      tzname_vec = tz->tzname_copy;
# endif
Paul Eggert's avatar
Paul Eggert committed
520 521 522 523
    }
  /* The tzset() call might have changed the value.  */
  if (!(zone && *zone) && tp->tm_isdst >= 0)
    {
Paul Eggert's avatar
Paul Eggert committed
524 525 526
      /* POSIX.1 requires that local time zone information be used as
         though strftime called tzset.  */
# if HAVE_TZSET
Paul Eggert's avatar
Paul Eggert committed
527 528 529 530 531
      if (!*tzset_called)
        {
          tzset ();
          *tzset_called = true;
        }
Paul Eggert's avatar
Paul Eggert committed
532
# endif
Paul Eggert's avatar
Paul Eggert committed
533
      zone = tzname_vec[tp->tm_isdst != 0];
Paul Eggert's avatar
Paul Eggert committed
534 535
    }
#endif
536 537
  if (! zone)
    zone = "";
Paul Eggert's avatar
Paul Eggert committed
538 539 540 541 542 543 544

  if (hour12 > 12)
    hour12 -= 12;
  else
    if (hour12 == 0)
      hour12 = 12;

Paul Eggert's avatar
Paul Eggert committed
545
  for (f = format; *f != '\0'; width = -1, f++)
Paul Eggert's avatar
Paul Eggert committed
546
    {
Paul Eggert's avatar
Paul Eggert committed
547
      int pad = 0;  /* Padding for number ('_', '-', '+', '0', or 0).  */
Paul Eggert's avatar
Paul Eggert committed
548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566
      int modifier;             /* Field modifier ('E', 'O', or 0).  */
      int digits = 0;           /* Max digits for numeric format.  */
      int number_value;         /* Numeric value to be printed.  */
      unsigned int u_number_value; /* (unsigned int) number_value.  */
      bool negative_number;     /* The number is negative.  */
      bool always_output_a_sign; /* +/- should always be output.  */
      int tz_colon_mask;        /* Bitmask of where ':' should appear.  */
      const CHAR_T *subfmt;
      CHAR_T *bufp;
      CHAR_T buf[1
                 + 2 /* for the two colons in a %::z or %:::z time zone */
                 + (sizeof (int) < sizeof (time_t)
                    ? INT_STRLEN_BOUND (time_t)
                    : INT_STRLEN_BOUND (int))];
      bool to_lowcase = false;
      bool to_uppcase = upcase;
      size_t colons;
      bool change_case = false;
      int format_char;
Paul Eggert's avatar
Paul Eggert committed
567
      int subwidth;
Paul Eggert's avatar
Paul Eggert committed
568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664

#if DO_MULTIBYTE && !defined COMPILE_WIDE
      switch (*f)
        {
        case L_('%'):
          break;

        case L_('\b'): case L_('\t'): case L_('\n'):
        case L_('\v'): case L_('\f'): case L_('\r'):
        case L_(' '): case L_('!'): case L_('"'): case L_('#'): case L_('&'):
        case L_('\''): case L_('('): case L_(')'): case L_('*'): case L_('+'):
        case L_(','): case L_('-'): case L_('.'): case L_('/'): case L_('0'):
        case L_('1'): case L_('2'): case L_('3'): case L_('4'): case L_('5'):
        case L_('6'): case L_('7'): case L_('8'): case L_('9'): case L_(':'):
        case L_(';'): case L_('<'): case L_('='): case L_('>'): case L_('?'):
        case L_('A'): case L_('B'): case L_('C'): case L_('D'): case L_('E'):
        case L_('F'): case L_('G'): case L_('H'): case L_('I'): case L_('J'):
        case L_('K'): case L_('L'): case L_('M'): case L_('N'): case L_('O'):
        case L_('P'): case L_('Q'): case L_('R'): case L_('S'): case L_('T'):
        case L_('U'): case L_('V'): case L_('W'): case L_('X'): case L_('Y'):
        case L_('Z'): case L_('['): case L_('\\'): case L_(']'): case L_('^'):
        case L_('_'): case L_('a'): case L_('b'): case L_('c'): case L_('d'):
        case L_('e'): case L_('f'): case L_('g'): case L_('h'): case L_('i'):
        case L_('j'): case L_('k'): case L_('l'): case L_('m'): case L_('n'):
        case L_('o'): case L_('p'): case L_('q'): case L_('r'): case L_('s'):
        case L_('t'): case L_('u'): case L_('v'): case L_('w'): case L_('x'):
        case L_('y'): case L_('z'): case L_('{'): case L_('|'): case L_('}'):
        case L_('~'):
          /* The C Standard requires these 98 characters (plus '%') to
             be in the basic execution character set.  None of these
             characters can start a multibyte sequence, so they need
             not be analyzed further.  */
          add1 (*f);
          continue;

        default:
          /* Copy this multibyte sequence until we reach its end, find
             an error, or come back to the initial shift state.  */
          {
            mbstate_t mbstate = mbstate_zero;
            size_t len = 0;
            size_t fsize;

            if (! format_end)
              format_end = f + strlen (f) + 1;
            fsize = format_end - f;

            do
              {
                size_t bytes = mbrlen (f + len, fsize - len, &mbstate);

                if (bytes == 0)
                  break;

                if (bytes == (size_t) -2)
                  {
                    len += strlen (f + len);
                    break;
                  }

                if (bytes == (size_t) -1)
                  {
                    len++;
                    break;
                  }

                len += bytes;
              }
            while (! mbsinit (&mbstate));

            cpy (len, f);
            f += len - 1;
            continue;
          }
        }

#else /* ! DO_MULTIBYTE */

      /* Either multibyte encodings are not supported, they are
         safe for formats, so any non-'%' byte can be copied through,
         or this is the wide character version.  */
      if (*f != L_('%'))
        {
          add1 (*f);
          continue;
        }

#endif /* ! DO_MULTIBYTE */

      /* Check for flags that can modify a format.  */
      while (1)
        {
          switch (*++f)
            {
              /* This influences the number formats.  */
            case L_('_'):
            case L_('-'):
Paul Eggert's avatar
Paul Eggert committed
665
            case L_('+'):
Paul Eggert's avatar
Paul Eggert committed
666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688
            case L_('0'):
              pad = *f;
              continue;

              /* This changes textual output.  */
            case L_('^'):
              to_uppcase = true;
              continue;
            case L_('#'):
              change_case = true;
              continue;

            default:
              break;
            }
          break;
        }

      if (ISDIGIT (*f))
        {
          width = 0;
          do
            {
Paul Eggert's avatar
Paul Eggert committed
689 690
              if (INT_MULTIPLY_WRAPV (width, 10, &width)
                  || INT_ADD_WRAPV (width, *f - L_('0'), &width))
Paul Eggert's avatar
Paul Eggert committed
691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714
                width = INT_MAX;
              ++f;
            }
          while (ISDIGIT (*f));
        }

      /* Check for modifiers.  */
      switch (*f)
        {
        case L_('E'):
        case L_('O'):
          modifier = *f++;
          break;

        default:
          modifier = 0;
          break;
        }

      /* Now do the specified format.  */
      format_char = *f;
      switch (format_char)
        {
#define DO_NUMBER(d, v) \
Paul Eggert's avatar
Paul Eggert committed
715 716 717 718 719 720 721
          do                                                                  \
            {                                                                 \
              digits = d;                                                     \
              number_value = v;                                               \
              goto do_number;                                                 \
            }                                                                 \
          while (0)
Paul Eggert's avatar
Paul Eggert committed
722
#define DO_SIGNED_NUMBER(d, negative, v) \
Paul Eggert's avatar
Paul Eggert committed
723 724 725 726
          DO_MAYBE_SIGNED_NUMBER (d, negative, v, do_signed_number)
#define DO_YEARISH(d, negative, v) \
          DO_MAYBE_SIGNED_NUMBER (d, negative, v, do_yearish)
#define DO_MAYBE_SIGNED_NUMBER(d, negative, v, label) \
Paul Eggert's avatar
Paul Eggert committed
727 728 729 730 731
          do                                                                  \
            {                                                                 \
              digits = d;                                                     \
              negative_number = negative;                                     \
              u_number_value = v;                                             \
Paul Eggert's avatar
Paul Eggert committed
732
              goto label;                                                     \
Paul Eggert's avatar
Paul Eggert committed
733 734
            }                                                                 \
          while (0)
Paul Eggert's avatar
Paul Eggert committed
735 736 737 738

          /* The mask is not what you might think.
             When the ordinal i'th bit is set, insert a colon
             before the i'th digit of the time zone representation.  */
Paul Eggert's avatar
Paul Eggert committed
739
#define DO_TZ_OFFSET(d, mask, v) \
Paul Eggert's avatar
Paul Eggert committed
740 741 742 743 744 745 746 747
          do                                                                  \
            {                                                                 \
              digits = d;                                                     \
              tz_colon_mask = mask;                                           \
              u_number_value = v;                                             \
              goto do_tz_offset;                                              \
            }                                                                 \
          while (0)
Paul Eggert's avatar
Paul Eggert committed
748
#define DO_NUMBER_SPACEPAD(d, v) \
Paul Eggert's avatar
Paul Eggert committed
749 750 751 752 753 754 755
          do                                                                  \
            {                                                                 \
              digits = d;                                                     \
              number_value = v;                                               \
              goto do_number_spacepad;                                        \
            }                                                                 \
          while (0)
Paul Eggert's avatar
Paul Eggert committed
756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799

        case L_('%'):
          if (modifier != 0)
            goto bad_format;
          add1 (*f);
          break;

        case L_('a'):
          if (modifier != 0)
            goto bad_format;
          if (change_case)
            {
              to_uppcase = true;
              to_lowcase = false;
            }
#ifdef _NL_CURRENT
          cpy (aw_len, a_wkday);
          break;
#else
          goto underlying_strftime;
#endif

        case 'A':
          if (modifier != 0)
            goto bad_format;
          if (change_case)
            {
              to_uppcase = true;
              to_lowcase = false;
            }
#ifdef _NL_CURRENT
          cpy (STRLEN (f_wkday), f_wkday);
          break;
#else
          goto underlying_strftime;
#endif

        case L_('b'):
        case L_('h'):
          if (change_case)
            {
              to_uppcase = true;
              to_lowcase = false;
            }
Paul Eggert's avatar
Paul Eggert committed
800
          if (modifier == L_('E'))
Paul Eggert's avatar
Paul Eggert committed
801 802
            goto bad_format;
#ifdef _NL_CURRENT
Paul Eggert's avatar
Paul Eggert committed
803 804 805 806
          if (modifier == L_('O'))
            cpy (aam_len, a_altmonth);
          else
            cpy (am_len, a_month);
Paul Eggert's avatar
Paul Eggert committed
807 808 809 810 811 812
          break;
#else
          goto underlying_strftime;
#endif

        case L_('B'):
Paul Eggert's avatar
Paul Eggert committed
813
          if (modifier == L_('E'))
Paul Eggert's avatar
Paul Eggert committed
814 815 816 817 818 819 820
            goto bad_format;
          if (change_case)
            {
              to_uppcase = true;
              to_lowcase = false;
            }
#ifdef _NL_CURRENT
Paul Eggert's avatar
Paul Eggert committed
821 822 823 824
          if (modifier == L_('O'))
            cpy (STRLEN (f_altmonth), f_altmonth);
          else
            cpy (STRLEN (f_month), f_month);
Paul Eggert's avatar
Paul Eggert committed
825 826 827 828 829 830 831 832 833
          break;
#else
          goto underlying_strftime;
#endif

        case L_('c'):
          if (modifier == L_('O'))
            goto bad_format;
#ifdef _NL_CURRENT
Paul Eggert's avatar
Paul Eggert committed
834
          if (! (modifier == L_('E')
Paul Eggert's avatar
Paul Eggert committed
835 836 837 838 839 840 841 842 843 844
                 && (*(subfmt =
                       (const CHAR_T *) _NL_CURRENT (LC_TIME,
                                                     NLW(ERA_D_T_FMT)))
                     != '\0')))
            subfmt = (const CHAR_T *) _NL_CURRENT (LC_TIME, NLW(D_T_FMT));
#else
          goto underlying_strftime;
#endif

        subformat:
Paul Eggert's avatar
Paul Eggert committed
845 846
          subwidth = -1;
        subformat_width:
Paul Eggert's avatar
Paul Eggert committed
847
          {
Paul Eggert's avatar
Paul Eggert committed
848
            size_t len = __strftime_internal (NULL, STRFTIME_ARG ((size_t) -1)
Paul Eggert's avatar
Paul Eggert committed
849 850
                                              subfmt, tp, to_uppcase,
                                              pad, subwidth, tzset_called
Paul Eggert's avatar
Paul Eggert committed
851 852 853
                                              extra_args LOCALE_ARG);
            add (len, __strftime_internal (p,
                                           STRFTIME_ARG (maxsize - i)
Paul Eggert's avatar
Paul Eggert committed
854 855
                                           subfmt, tp, to_uppcase,
                                           pad, subwidth, tzset_called
Paul Eggert's avatar
Paul Eggert committed
856
                                           extra_args LOCALE_ARG));
Paul Eggert's avatar
Paul Eggert committed
857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913
          }
          break;

#if !(defined _NL_CURRENT && HAVE_STRUCT_ERA_ENTRY)
        underlying_strftime:
          {
            /* The relevant information is available only via the
               underlying strftime implementation, so use that.  */
            char ufmt[5];
            char *u = ufmt;
            char ubuf[1024]; /* enough for any single format in practice */
            size_t len;
            /* Make sure we're calling the actual underlying strftime.
               In some cases, config.h contains something like
               "#define strftime rpl_strftime".  */
# ifdef strftime
#  undef strftime
            size_t strftime ();
# endif

            /* The space helps distinguish strftime failure from empty
               output.  */
            *u++ = ' ';
            *u++ = '%';
            if (modifier != 0)
              *u++ = modifier;
            *u++ = format_char;
            *u = '\0';
            len = strftime (ubuf, sizeof ubuf, ufmt, tp);
            if (len != 0)
              cpy (len - 1, ubuf + 1);
          }
          break;
#endif

        case L_('C'):
          if (modifier == L_('E'))
            {
#if HAVE_STRUCT_ERA_ENTRY
              struct era_entry *era = _nl_get_era_entry (tp HELPER_LOCALE_ARG);
              if (era)
                {
# ifdef COMPILE_WIDE
                  size_t len = __wcslen (era->era_wname);
                  cpy (len, era->era_wname);
# else
                  size_t len = strlen (era->era_name);
                  cpy (len, era->era_name);
# endif
                  break;
                }
#else
              goto underlying_strftime;
#endif
            }

          {
Paul Eggert's avatar
Paul Eggert committed
914 915 916 917 918
            bool negative_year = tp->tm_year < - TM_YEAR_BASE;
            bool zero_thru_1899 = !negative_year & (tp->tm_year < 0);
            int century = ((tp->tm_year - 99 * zero_thru_1899) / 100
                           + TM_YEAR_BASE / 100);
            DO_YEARISH (2, negative_year, century);
Paul Eggert's avatar
Paul Eggert committed
919 920 921 922 923 924 925 926
          }

        case L_('x'):
          if (modifier == L_('O'))
            goto bad_format;
#ifdef _NL_CURRENT
          if (! (modifier == L_('E')
                 && (*(subfmt =
Paul Eggert's avatar
Paul Eggert committed
927
                       (const CHAR_T *) _NL_CURRENT (LC_TIME, NLW(ERA_D_FMT)))
Paul Eggert's avatar
Paul Eggert committed
928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958
                     != L_('\0'))))
            subfmt = (const CHAR_T *) _NL_CURRENT (LC_TIME, NLW(D_FMT));
          goto subformat;
#else
          goto underlying_strftime;
#endif
        case L_('D'):
          if (modifier != 0)
            goto bad_format;
          subfmt = L_("%m/%d/%y");
          goto subformat;

        case L_('d'):
          if (modifier == L_('E'))
            goto bad_format;

          DO_NUMBER (2, tp->tm_mday);

        case L_('e'):
          if (modifier == L_('E'))
            goto bad_format;

          DO_NUMBER_SPACEPAD (2, tp->tm_mday);

          /* All numeric formats set DIGITS and NUMBER_VALUE (or U_NUMBER_VALUE)
             and then jump to one of these labels.  */

        do_tz_offset:
          always_output_a_sign = true;
          goto do_number_body;

Paul Eggert's avatar
Paul Eggert committed
959 960 961 962 963 964 965 966 967
        do_yearish:
          if (pad == 0)
            pad = yr_spec;
          always_output_a_sign
            = (pad == L_('+')
               && ((digits == 2 ? 99 : 9999) < u_number_value
                   || digits < width));
          goto do_maybe_signed_number;

Paul Eggert's avatar
Paul Eggert committed
968
        do_number_spacepad:
Paul Eggert's avatar
Paul Eggert committed
969
          if (pad == 0)
Paul Eggert's avatar
Paul Eggert committed
970 971 972 973 974 975 976 977 978
            pad = L_('_');

        do_number:
          /* Format NUMBER_VALUE according to the MODIFIER flag.  */
          negative_number = number_value < 0;
          u_number_value = number_value;

        do_signed_number:
          always_output_a_sign = false;
Paul Eggert's avatar
Paul Eggert committed
979 980

        do_maybe_signed_number:
Paul Eggert's avatar
Paul Eggert committed
981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026
          tz_colon_mask = 0;

        do_number_body:
          /* Format U_NUMBER_VALUE according to the MODIFIER flag.
             NEGATIVE_NUMBER is nonzero if the original number was
             negative; in this case it was converted directly to
             unsigned int (i.e., modulo (UINT_MAX + 1)) without
             negating it.  */
          if (modifier == L_('O') && !negative_number)
            {
#ifdef _NL_CURRENT
              /* Get the locale specific alternate representation of
                 the number.  If none exist NULL is returned.  */
              const CHAR_T *cp = nl_get_alt_digit (u_number_value
                                                   HELPER_LOCALE_ARG);

              if (cp != NULL)
                {
                  size_t digitlen = STRLEN (cp);
                  if (digitlen != 0)
                    {
                      cpy (digitlen, cp);
                      break;
                    }
                }
#else
              goto underlying_strftime;
#endif
            }

          bufp = buf + sizeof (buf) / sizeof (buf[0]);

          if (negative_number)
            u_number_value = - u_number_value;

          do
            {
              if (tz_colon_mask & 1)
                *--bufp = ':';
              tz_colon_mask >>= 1;
              *--bufp = u_number_value % 10 + L_('0');
              u_number_value /= 10;
            }
          while (u_number_value != 0 || tz_colon_mask != 0);

        do_number_sign_and_padding:
Paul Eggert's avatar
Paul Eggert committed
1027 1028 1029 1030
          if (pad == 0)
            pad = L_('0');
          if (width < 0)
            width = digits;
Paul Eggert's avatar
Paul Eggert committed
1031

Paul Eggert's avatar
Paul Eggert committed
1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051
          {
            CHAR_T sign_char = (negative_number ? L_('-')
                                : always_output_a_sign ? L_('+')
                                : 0);
            int numlen = buf + sizeof buf / sizeof buf[0] - bufp;
            int shortage = width - !!sign_char - numlen;
            int padding = pad == L_('-') || shortage <= 0 ? 0 : shortage;

            if (sign_char)
              {
                if (pad == L_('_'))
                  {
                    if (p)
                      memset_space (p, padding);
                    i += padding;
                    width -= padding;
                  }
                width_add1 (0, sign_char);
                width--;
              }
Paul Eggert's avatar
Paul Eggert committed
1052

Paul Eggert's avatar
Paul Eggert committed
1053 1054
            cpy (numlen, bufp);
          }
Paul Eggert's avatar
Paul Eggert committed
1055 1056 1057 1058 1059
          break;

        case L_('F'):
          if (modifier != 0)
            goto bad_format;
Paul Eggert's avatar
Paul Eggert committed
1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070
          if (pad == 0 && width < 0)
            {
              pad = L_('+');
              subwidth = 4;
            }
          else
            {
              subwidth = width - 6;
              if (subwidth < 0)
                subwidth = 0;
            }
Paul Eggert's avatar
Paul Eggert committed
1071
          subfmt = L_("%Y-%m-%d");
Paul Eggert's avatar
Paul Eggert committed
1072
          goto subformat_width;
Paul Eggert's avatar
Paul Eggert committed
1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119

        case L_('H'):
          if (modifier == L_('E'))
            goto bad_format;

          DO_NUMBER (2, tp->tm_hour);

        case L_('I'):
          if (modifier == L_('E'))
            goto bad_format;

          DO_NUMBER (2, hour12);

        case L_('k'):           /* GNU extension.  */
          if (modifier == L_('E'))
            goto bad_format;

          DO_NUMBER_SPACEPAD (2, tp->tm_hour);

        case L_('l'):           /* GNU extension.  */
          if (modifier == L_('E'))
            goto bad_format;

          DO_NUMBER_SPACEPAD (2, hour12);

        case L_('j'):
          if (modifier == L_('E'))
            goto bad_format;

          DO_SIGNED_NUMBER (3, tp->tm_yday < -1, tp->tm_yday + 1U);

        case L_('M'):
          if (modifier == L_('E'))
            goto bad_format;

          DO_NUMBER (2, tp->tm_min);

        case L_('m'):
          if (modifier == L_('E'))
            goto bad_format;

          DO_SIGNED_NUMBER (2, tp->tm_mon < -1, tp->tm_mon + 1U);

#ifndef _LIBC
        case L_('N'):           /* GNU extension.  */
          if (modifier == L_('E'))
            goto bad_format;
Paul Eggert's avatar
Paul Eggert committed
1120 1121 1122 1123 1124 1125 1126
          {
            int n = ns, ns_digits = 9;
            if (width <= 0)
              width = ns_digits;
            int ndigs = ns_digits;
            while (width < ndigs || (1 < ndigs && n % 10 == 0))
              ndigs--, n /= 10;
Paul Eggert's avatar
Paul Eggert committed
1127 1128
            for (int j = ndigs; 0 < j; j--)
              buf[j - 1] = n % 10 + L_('0'), n /= 10;
Paul Eggert's avatar
Paul Eggert committed
1129 1130 1131 1132 1133 1134
            if (!pad)
              pad = L_('0');
            width_cpy (0, ndigs, buf);
            width_add (width - ndigs, 0, (void) 0);
          }
          break;
Paul Eggert's avatar
Paul Eggert committed
1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145
#endif

        case L_('n'):
          add1 (L_('\n'));
          break;

        case L_('P'):
          to_lowcase = true;
#ifndef _NL_CURRENT
          format_char = L_('p');
#endif
1146
          FALLTHROUGH;
Paul Eggert's avatar
Paul Eggert committed
1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159
        case L_('p'):
          if (change_case)
            {
              to_uppcase = false;
              to_lowcase = true;
            }
#ifdef _NL_CURRENT
          cpy (ap_len, ampm);
          break;
#else
          goto underlying_strftime;
#endif

Paul Eggert's avatar
Paul Eggert committed
1160 1161 1162 1163
        case L_('q'):           /* GNU extension.  */
          DO_SIGNED_NUMBER (1, false, ((tp->tm_mon * 11) >> 5) + 1);
          break;

Paul Eggert's avatar
Paul Eggert committed
1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190
        case L_('R'):
          subfmt = L_("%H:%M");
          goto subformat;

        case L_('r'):
#ifdef _NL_CURRENT
          if (*(subfmt = (const CHAR_T *) _NL_CURRENT (LC_TIME,
                                                       NLW(T_FMT_AMPM)))
              == L_('\0'))
            subfmt = L_("%I:%M:%S %p");
          goto subformat;
#else
          goto underlying_strftime;
#endif

        case L_('S'):
          if (modifier == L_('E'))
            goto bad_format;

          DO_NUMBER (2, tp->tm_sec);

        case L_('s'):           /* GNU extension.  */
          {
            struct tm ltm;
            time_t t;

            ltm = *tp;
1191
            t = mktime_z (tz, &ltm);
Paul Eggert's avatar
Paul Eggert committed
1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282

            /* Generate string value for T using time_t arithmetic;
               this works even if sizeof (long) < sizeof (time_t).  */

            bufp = buf + sizeof (buf) / sizeof (buf[0]);
            negative_number = t < 0;

            do
              {
                int d = t % 10;
                t /= 10;
                *--bufp = (negative_number ? -d : d) + L_('0');
              }
            while (t != 0);

            digits = 1;
            always_output_a_sign = false;
            goto do_number_sign_and_padding;
          }

        case L_('X'):
          if (modifier == L_('O'))
            goto bad_format;
#ifdef _NL_CURRENT
          if (! (modifier == L_('E')
                 && (*(subfmt =
                       (const CHAR_T *) _NL_CURRENT (LC_TIME, NLW(ERA_T_FMT)))
                     != L_('\0'))))
            subfmt = (const CHAR_T *) _NL_CURRENT (LC_TIME, NLW(T_FMT));
          goto subformat;
#else
          goto underlying_strftime;
#endif
        case L_('T'):
          subfmt = L_("%H:%M:%S");
          goto subformat;

        case L_('t'):
          add1 (L_('\t'));
          break;

        case L_('u'):
          DO_NUMBER (1, (tp->tm_wday - 1 + 7) % 7 + 1);

        case L_('U'):
          if (modifier == L_('E'))
            goto bad_format;

          DO_NUMBER (2, (tp->tm_yday - tp->tm_wday + 7) / 7);

        case L_('V'):
        case L_('g'):
        case L_('G'):
          if (modifier == L_('E'))
            goto bad_format;
          {
            /* YEAR is a leap year if and only if (tp->tm_year + TM_YEAR_BASE)
               is a leap year, except that YEAR and YEAR - 1 both work
               correctly even when (tp->tm_year + TM_YEAR_BASE) would
               overflow.  */
            int year = (tp->tm_year
                        + (tp->tm_year < 0
                           ? TM_YEAR_BASE % 400
                           : TM_YEAR_BASE % 400 - 400));
            int year_adjust = 0;
            int days = iso_week_days (tp->tm_yday, tp->tm_wday);

            if (days < 0)
              {
                /* This ISO week belongs to the previous year.  */
                year_adjust = -1;
                days = iso_week_days (tp->tm_yday + (365 + __isleap (year - 1)),
                                      tp->tm_wday);
              }
            else
              {
                int d = iso_week_days (tp->tm_yday - (365 + __isleap (year)),
                                       tp->tm_wday);
                if (0 <= d)
                  {
                    /* This ISO week belongs to the next year.  */
                    year_adjust = 1;
                    days = d;
                  }
              }

            switch (*f)
              {
              case L_('g'):
                {
                  int yy = (tp->tm_year % 100 + year_adjust) % 100;
Paul Eggert's avatar
Paul Eggert committed
1283 1284 1285 1286 1287 1288
                  DO_YEARISH (2, false,
                              (0 <= yy
                               ? yy
                               : tp->tm_year < -TM_YEAR_BASE - year_adjust
                               ? -yy
                               : yy + 100));
Paul Eggert's avatar
Paul Eggert committed
1289 1290 1291
                }

              case L_('G'):
Paul Eggert's avatar
Paul Eggert committed
1292 1293 1294
                DO_YEARISH (4, tp->tm_year < -TM_YEAR_BASE - year_adjust,
                            (tp->tm_year + (unsigned int) TM_YEAR_BASE
                             + year_adjust));
Paul Eggert's avatar
Paul Eggert committed
1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313

              default:
                DO_NUMBER (2, days / 7 + 1);
              }
          }

        case L_('W'):
          if (modifier == L_('E'))
            goto bad_format;

          DO_NUMBER (2, (tp->tm_yday - (tp->tm_wday - 1 + 7) % 7 + 7) / 7);

        case L_('w'):
          if (modifier == L_('E'))
            goto bad_format;

          DO_NUMBER (1, tp->tm_wday);

        case L_('Y'):
Paul Eggert's avatar
Paul Eggert committed
1314
          if (modifier == L_('E'))
Paul Eggert's avatar
Paul Eggert committed
1315 1316 1317 1318 1319 1320 1321 1322 1323 1324
            {
#if HAVE_STRUCT_ERA_ENTRY
              struct era_entry *era = _nl_get_era_entry (tp HELPER_LOCALE_ARG);
              if (era)
                {
# ifdef COMPILE_WIDE
                  subfmt = era->era_wformat;
# else
                  subfmt = era->era_format;
# endif
Paul Eggert's avatar
Paul Eggert committed
1325 1326
                  if (pad == 0)
                    pad = yr_spec;
Paul Eggert's avatar
Paul Eggert committed
1327 1328 1329 1330 1331 1332 1333 1334
                  goto subformat;
                }
#else
              goto underlying_strftime;
#endif
            }
          if (modifier == L_('O'))
            goto bad_format;
Paul Eggert's avatar
Paul Eggert committed
1335

Paul Eggert's avatar
Paul Eggert committed
1336 1337
          DO_YEARISH (4, tp->tm_year < -TM_YEAR_BASE,
                      tp->tm_year + (unsigned int) TM_YEAR_BASE);
Paul Eggert's avatar
Paul Eggert committed
1338 1339 1340 1341 1342 1343 1344 1345 1346

        case L_('y'):
          if (modifier == L_('E'))
            {
#if HAVE_STRUCT_ERA_ENTRY
              struct era_entry *era = _nl_get_era_entry (tp HELPER_LOCALE_ARG);
              if (era)
                {
                  int delta = tp->tm_year - era->start_date[0];
Paul Eggert's avatar
Paul Eggert committed
1347 1348 1349
                  if (pad == 0)
                    pad = yr_spec;
                  DO_NUMBER (2, (era->offset
Paul Eggert's avatar
Paul Eggert committed
1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360
                                 + delta * era->absolute_direction));
                }
#else
              goto underlying_strftime;
#endif
            }

          {
            int yy = tp->tm_year % 100;
            if (yy < 0)
              yy = tp->tm_year < - TM_YEAR_BASE ? -yy : yy + 100;
Paul Eggert's avatar
Paul Eggert committed
1361
            DO_YEARISH (2, false, yy);
Paul Eggert's avatar
Paul Eggert committed
1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409
          }

        case L_('Z'):
          if (change_case)
            {
              to_uppcase = false;
              to_lowcase = true;
            }

#ifdef COMPILE_WIDE
          {
            /* The zone string is always given in multibyte form.  We have
               to transform it first.  */
            wchar_t *wczone;
            size_t len;
            widen (zone, wczone, len);
            cpy (len, wczone);
          }
#else
          cpy (strlen (zone), zone);
#endif
          break;

        case L_(':'):
          /* :, ::, and ::: are valid only just before 'z'.
             :::: etc. are rejected later.  */
          for (colons = 1; f[colons] == L_(':'); colons++)
            continue;
          if (f[colons] != L_('z'))
            goto bad_format;
          f += colons;
          goto do_z_conversion;

        case L_('z'):
          colons = 0;

        do_z_conversion:
          if (tp->tm_isdst < 0)
            break;

          {
            int diff;
            int hour_diff;
            int min_diff;
            int sec_diff;
#if HAVE_TM_GMTOFF
            diff = tp->tm_gmtoff;
#else
1410
            if (!tz)
Paul Eggert's avatar
Paul Eggert committed
1411 1412 1413 1414 1415 1416 1417
              diff = 0;
            else
              {
                struct tm gtm;
                struct tm ltm;
                time_t lt;

Paul Eggert's avatar
Paul Eggert committed
1418 1419 1420 1421 1422 1423 1424 1425 1426 1427
                /* POSIX.1 requires that local time zone information be used as
                   though strftime called tzset.  */
# if HAVE_TZSET
                if (!*tzset_called)
                  {
                    tzset ();
                    *tzset_called = true;
                  }
# endif

Paul Eggert's avatar
Paul Eggert committed
1428
                ltm = *tp;
Paul Eggert's avatar
Paul Eggert committed
1429
                ltm.tm_wday = -1;
1430
                lt = mktime_z (tz, &ltm);
Paul Eggert's avatar
Paul Eggert committed
1431
                if (ltm.tm_wday < 0 || ! localtime_rz (0, &lt, &gtm))
Paul Eggert's avatar
Paul Eggert committed
1432 1433 1434 1435 1436
                  break;
                diff = tm_diff (&ltm, &gtm);
              }
#endif

Paul Eggert's avatar
Paul Eggert committed
1437
            negative_number = diff < 0 || (diff == 0 && *zone == '-');
Paul Eggert's avatar
Paul Eggert committed
1438 1439 1440 1441 1442 1443 1444
            hour_diff = diff / 60 / 60;
            min_diff = diff / 60 % 60;
            sec_diff = diff % 60;

            switch (colons)
              {
              case 0: /* +hhmm */
Paul Eggert's avatar
Paul Eggert committed
1445
                DO_TZ_OFFSET (5, 0, hour_diff * 100 + min_diff);
Paul Eggert's avatar
Paul Eggert committed
1446 1447

              case 1: tz_hh_mm: /* +hh:mm */
Paul Eggert's avatar
Paul Eggert committed
1448
                DO_TZ_OFFSET (6, 04, hour_diff * 100 + min_diff);
Paul Eggert's avatar
Paul Eggert committed
1449 1450

              case 2: tz_hh_mm_ss: /* +hh:mm:ss */
Paul Eggert's avatar
Paul Eggert committed
1451
                DO_TZ_OFFSET (9, 024,
Paul Eggert's avatar
Paul Eggert committed
1452 1453 1454 1455 1456 1457 1458
                              hour_diff * 10000 + min_diff * 100 + sec_diff);

              case 3: /* +hh if possible, else +hh:mm, else +hh:mm:ss */
                if (sec_diff != 0)
                  goto tz_hh_mm_ss;
                if (min_diff != 0)
                  goto tz_hh_mm;
Paul Eggert's avatar
Paul Eggert committed
1459
                DO_TZ_OFFSET (3, 0, hour_diff);
Paul Eggert's avatar
Paul Eggert committed
1460 1461 1462 1463 1464 1465 1466 1467

              default:
                goto bad_format;
              }
          }

        case L_('\0'):          /* GNU extension: % at end of format.  */
            --f;
1468
            FALLTHROUGH;
Paul Eggert's avatar
Paul Eggert committed
1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490
        default:
          /* Unknown format; output the format, including the '%',
             since this is most likely the right thing to do if a
             multibyte string has been misparsed.  */
        bad_format:
          {
            int flen;
            for (flen = 1; f[1 - flen] != L_('%'); flen++)
              continue;
            cpy (flen, &f[1 - flen]);
          }
          break;
        }
    }

#if ! FPRINTFTIME
  if (p && maxsize != 0)
    *p = L_('\0');
#endif

  return i;
}