Unreviewed, rolling out r234489.
[WebKit-https.git] / Source / WTF / wtf / DateMath.cpp
1 /*
2  * Copyright (C) 1999-2000 Harri Porten (porten@kde.org)
3  * Copyright (C) 2006-2017 Apple Inc. All rights reserved.
4  * Copyright (C) 2009 Google Inc. All rights reserved.
5  * Copyright (C) 2007-2009 Torch Mobile, Inc.
6  * Copyright (C) 2010 &yet, LLC. (nate@andyet.net)
7  *
8  * The Original Code is Mozilla Communicator client code, released
9  * March 31, 1998.
10  *
11  * The Initial Developer of the Original Code is
12  * Netscape Communications Corporation.
13  * Portions created by the Initial Developer are Copyright (C) 1998
14  * the Initial Developer. All Rights Reserved.
15  *
16  * This library is free software; you can redistribute it and/or
17  * modify it under the terms of the GNU Lesser General Public
18  * License as published by the Free Software Foundation; either
19  * version 2.1 of the License, or (at your option) any later version.
20  *
21  * This library is distributed in the hope that it will be useful,
22  * but WITHOUT ANY WARRANTY; without even the implied warranty of
23  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
24  * Lesser General Public License for more details.
25  *
26  * You should have received a copy of the GNU Lesser General Public
27  * License along with this library; if not, write to the Free Software
28  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
29  *
30  * Alternatively, the contents of this file may be used under the terms
31  * of either the Mozilla Public License Version 1.1, found at
32  * http://www.mozilla.org/MPL/ (the "MPL") or the GNU General Public
33  * License Version 2.0, found at http://www.fsf.org/copyleft/gpl.html
34  * (the "GPL"), in which case the provisions of the MPL or the GPL are
35  * applicable instead of those above.  If you wish to allow use of your
36  * version of this file only under the terms of one of those two
37  * licenses (the MPL or the GPL) and not to allow others to use your
38  * version of this file under the LGPL, indicate your decision by
39  * deletingthe provisions above and replace them with the notice and
40  * other provisions required by the MPL or the GPL, as the case may be.
41  * If you do not delete the provisions above, a recipient may use your
42  * version of this file under any of the LGPL, the MPL or the GPL.
43
44  * Copyright 2006-2008 the V8 project authors. All rights reserved.
45  * Redistribution and use in source and binary forms, with or without
46  * modification, are permitted provided that the following conditions are
47  * met:
48  *
49  *     * Redistributions of source code must retain the above copyright
50  *       notice, this list of conditions and the following disclaimer.
51  *     * Redistributions in binary form must reproduce the above
52  *       copyright notice, this list of conditions and the following
53  *       disclaimer in the documentation and/or other materials provided
54  *       with the distribution.
55  *     * Neither the name of Google Inc. nor the names of its
56  *       contributors may be used to endorse or promote products derived
57  *       from this software without specific prior written permission.
58  *
59  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
60  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
61  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
62  * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
63  * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
64  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
65  * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
66  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
67  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
68  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
69  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
70  */
71
72 #include "config.h"
73 #include "DateMath.h"
74
75 #include "Assertions.h"
76 #include "ASCIICType.h"
77 #include "MathExtras.h"
78 #include "StdLibExtras.h"
79
80 #include <algorithm>
81 #include <limits.h>
82 #include <limits>
83 #include <stdint.h>
84 #include <time.h>
85 #include <wtf/text/StringBuilder.h>
86
87 #if OS(WINDOWS)
88 #include <windows.h>
89 #endif
90
91 #if HAVE(ERRNO_H)
92 #include <errno.h>
93 #endif
94
95 #if HAVE(SYS_TIME_H)
96 #include <sys/time.h>
97 #endif
98
99 #if HAVE(SYS_TIMEB_H)
100 #include <sys/timeb.h>
101 #endif
102
103 namespace WTF {
104
105 // FIXME: Should this function go into StringCommon.h or some other header?
106 template<unsigned length> inline bool startsWithLettersIgnoringASCIICase(const char* string, const char (&lowercaseLetters)[length])
107 {
108     return equalLettersIgnoringASCIICase(string, lowercaseLetters, length - 1);
109 }
110
111 /* Constants */
112
113 static const double maxUnixTime = 2145859200.0; // 12/31/2037
114 // ECMAScript asks not to support for a date of which total
115 // millisecond value is larger than the following value.
116 // See 15.9.1.14 of ECMA-262 5th edition.
117 static const double maxECMAScriptTime = 8.64E15;
118
119 // Day of year for the first day of each month, where index 0 is January, and day 0 is January 1.
120 // First for non-leap years, then for leap years.
121 static const int firstDayOfMonth[2][12] = {
122     {0, 31, 59, 90, 120, 151, 181, 212, 243, 273, 304, 334},
123     {0, 31, 60, 91, 121, 152, 182, 213, 244, 274, 305, 335}
124 };
125
126 static inline void getLocalTime(const time_t* localTime, struct tm* localTM)
127 {
128 #if COMPILER(MSVC)
129     localtime_s(localTM, localTime);
130 #elif HAVE(LOCALTIME_R)
131     localtime_r(localTime, localTM);
132 #else
133     localtime_s(localTime, localTM);
134 #endif
135 }
136
137 bool isLeapYear(int year)
138 {
139     if (year % 4 != 0)
140         return false;
141     if (year % 400 == 0)
142         return true;
143     if (year % 100 == 0)
144         return false;
145     return true;
146 }
147
148 static inline int daysInYear(int year)
149 {
150     return 365 + isLeapYear(year);
151 }
152
153 static inline double daysFrom1970ToYear(int year)
154 {
155     // The Gregorian Calendar rules for leap years:
156     // Every fourth year is a leap year.  2004, 2008, and 2012 are leap years.
157     // However, every hundredth year is not a leap year.  1900 and 2100 are not leap years.
158     // Every four hundred years, there's a leap year after all.  2000 and 2400 are leap years.
159
160     static const int leapDaysBefore1971By4Rule = 1970 / 4;
161     static const int excludedLeapDaysBefore1971By100Rule = 1970 / 100;
162     static const int leapDaysBefore1971By400Rule = 1970 / 400;
163
164     const double yearMinusOne = year - 1;
165     const double yearsToAddBy4Rule = floor(yearMinusOne / 4.0) - leapDaysBefore1971By4Rule;
166     const double yearsToExcludeBy100Rule = floor(yearMinusOne / 100.0) - excludedLeapDaysBefore1971By100Rule;
167     const double yearsToAddBy400Rule = floor(yearMinusOne / 400.0) - leapDaysBefore1971By400Rule;
168
169     return 365.0 * (year - 1970.0) + yearsToAddBy4Rule - yearsToExcludeBy100Rule + yearsToAddBy400Rule;
170 }
171
172 double msToDays(double ms)
173 {
174     return floor(ms / msPerDay);
175 }
176
177 static void appendTwoDigitNumber(StringBuilder& builder, int number)
178 {
179     ASSERT(number >= 0);
180     ASSERT(number < 100);
181     builder.append(static_cast<LChar>('0' + number / 10));
182     builder.append(static_cast<LChar>('0' + number % 10));
183 }
184
185 int msToYear(double ms)
186 {
187     int approxYear = static_cast<int>(floor(ms / (msPerDay * 365.2425)) + 1970);
188     double msFromApproxYearTo1970 = msPerDay * daysFrom1970ToYear(approxYear);
189     if (msFromApproxYearTo1970 > ms)
190         return approxYear - 1;
191     if (msFromApproxYearTo1970 + msPerDay * daysInYear(approxYear) <= ms)
192         return approxYear + 1;
193     return approxYear;
194 }
195
196 int dayInYear(double ms, int year)
197 {
198     return static_cast<int>(msToDays(ms) - daysFrom1970ToYear(year));
199 }
200
201 static inline double msToMilliseconds(double ms)
202 {
203     double result = fmod(ms, msPerDay);
204     if (result < 0)
205         result += msPerDay;
206     return result;
207 }
208
209 int msToMinutes(double ms)
210 {
211     double result = fmod(floor(ms / msPerMinute), minutesPerHour);
212     if (result < 0)
213         result += minutesPerHour;
214     return static_cast<int>(result);
215 }
216
217 int msToHours(double ms)
218 {
219     double result = fmod(floor(ms/msPerHour), hoursPerDay);
220     if (result < 0)
221         result += hoursPerDay;
222     return static_cast<int>(result);
223 }
224
225 int monthFromDayInYear(int dayInYear, bool leapYear)
226 {
227     const int d = dayInYear;
228     int step;
229
230     if (d < (step = 31))
231         return 0;
232     step += (leapYear ? 29 : 28);
233     if (d < step)
234         return 1;
235     if (d < (step += 31))
236         return 2;
237     if (d < (step += 30))
238         return 3;
239     if (d < (step += 31))
240         return 4;
241     if (d < (step += 30))
242         return 5;
243     if (d < (step += 31))
244         return 6;
245     if (d < (step += 31))
246         return 7;
247     if (d < (step += 30))
248         return 8;
249     if (d < (step += 31))
250         return 9;
251     if (d < (step += 30))
252         return 10;
253     return 11;
254 }
255
256 static inline bool checkMonth(int dayInYear, int& startDayOfThisMonth, int& startDayOfNextMonth, int daysInThisMonth)
257 {
258     startDayOfThisMonth = startDayOfNextMonth;
259     startDayOfNextMonth += daysInThisMonth;
260     return (dayInYear <= startDayOfNextMonth);
261 }
262
263 int dayInMonthFromDayInYear(int dayInYear, bool leapYear)
264 {
265     const int d = dayInYear;
266     int step;
267     int next = 30;
268
269     if (d <= next)
270         return d + 1;
271     const int daysInFeb = (leapYear ? 29 : 28);
272     if (checkMonth(d, step, next, daysInFeb))
273         return d - step;
274     if (checkMonth(d, step, next, 31))
275         return d - step;
276     if (checkMonth(d, step, next, 30))
277         return d - step;
278     if (checkMonth(d, step, next, 31))
279         return d - step;
280     if (checkMonth(d, step, next, 30))
281         return d - step;
282     if (checkMonth(d, step, next, 31))
283         return d - step;
284     if (checkMonth(d, step, next, 31))
285         return d - step;
286     if (checkMonth(d, step, next, 30))
287         return d - step;
288     if (checkMonth(d, step, next, 31))
289         return d - step;
290     if (checkMonth(d, step, next, 30))
291         return d - step;
292     step = next;
293     return d - step;
294 }
295
296 int dayInYear(int year, int month, int day)
297 {
298     return firstDayOfMonth[isLeapYear(year)][month] + day - 1;
299 }
300
301 double dateToDaysFrom1970(int year, int month, int day)
302 {
303     year += month / 12;
304
305     month %= 12;
306     if (month < 0) {
307         month += 12;
308         --year;
309     }
310
311     double yearday = floor(daysFrom1970ToYear(year));
312     ASSERT((year >= 1970 && yearday >= 0) || (year < 1970 && yearday < 0));
313     return yearday + dayInYear(year, month, day);
314 }
315
316 // There is a hard limit at 2038 that we currently do not have a workaround
317 // for (rdar://problem/5052975).
318 static inline int maximumYearForDST()
319 {
320     return 2037;
321 }
322
323 static inline int minimumYearForDST()
324 {
325     // Because of the 2038 issue (see maximumYearForDST) if the current year is
326     // greater than the max year minus 27 (2010), we want to use the max year
327     // minus 27 instead, to ensure there is a range of 28 years that all years
328     // can map to.
329     return std::min(msToYear(jsCurrentTime()), maximumYearForDST() - 27) ;
330 }
331
332 /*
333  * Find an equivalent year for the one given, where equivalence is deterined by
334  * the two years having the same leapness and the first day of the year, falling
335  * on the same day of the week.
336  *
337  * This function returns a year between this current year and 2037, however this
338  * function will potentially return incorrect results if the current year is after
339  * 2010, (rdar://problem/5052975), if the year passed in is before 1900 or after
340  * 2100, (rdar://problem/5055038).
341  */
342 int equivalentYearForDST(int year)
343 {
344     // It is ok if the cached year is not the current year as long as the rules
345     // for DST did not change between the two years; if they did the app would need
346     // to be restarted.
347     static int minYear = minimumYearForDST();
348     int maxYear = maximumYearForDST();
349
350     int difference;
351     if (year > maxYear)
352         difference = minYear - year;
353     else if (year < minYear)
354         difference = maxYear - year;
355     else
356         return year;
357
358     int quotient = difference / 28;
359     int product = (quotient) * 28;
360
361     year += product;
362     return year;
363 }
364
365 #if OS(WINDOWS)
366 typedef BOOL(WINAPI* callGetTimeZoneInformationForYear_t)(USHORT, PDYNAMIC_TIME_ZONE_INFORMATION, LPTIME_ZONE_INFORMATION);
367
368 static callGetTimeZoneInformationForYear_t timeZoneInformationForYearFunction()
369 {
370     static callGetTimeZoneInformationForYear_t getTimeZoneInformationForYear = nullptr;
371
372     if (getTimeZoneInformationForYear)
373         return getTimeZoneInformationForYear;
374
375     HMODULE module = ::GetModuleHandleW(L"kernel32.dll");
376     if (!module)
377         return nullptr;
378
379     getTimeZoneInformationForYear = reinterpret_cast<callGetTimeZoneInformationForYear_t>(::GetProcAddress(module, "GetTimeZoneInformationForYear"));
380
381     return getTimeZoneInformationForYear;
382 }
383 #endif
384
385 static int32_t calculateUTCOffset()
386 {
387 #if OS(WINDOWS)
388     TIME_ZONE_INFORMATION timeZoneInformation;
389     DWORD rc = 0;
390
391     if (callGetTimeZoneInformationForYear_t timeZoneFunction = timeZoneInformationForYearFunction()) {
392         // If available, use the Windows API call that takes into account the varying DST from
393         // year to year.
394         SYSTEMTIME systemTime;
395         ::GetSystemTime(&systemTime);
396         rc = timeZoneFunction(systemTime.wYear, nullptr, &timeZoneInformation);
397         if (rc == TIME_ZONE_ID_INVALID)
398             return 0;
399     } else {
400         rc = ::GetTimeZoneInformation(&timeZoneInformation);
401         if (rc == TIME_ZONE_ID_INVALID)
402             return 0;
403     }
404
405     int32_t bias = timeZoneInformation.Bias;
406
407     if (rc == TIME_ZONE_ID_DAYLIGHT)
408         bias += timeZoneInformation.DaylightBias;
409     else if (rc == TIME_ZONE_ID_STANDARD || rc == TIME_ZONE_ID_UNKNOWN)
410         bias += timeZoneInformation.StandardBias;
411
412     return -bias * 60 * 1000;
413 #else
414     time_t localTime = time(0);
415     tm localt;
416     getLocalTime(&localTime, &localt);
417
418     // Get the difference between this time zone and UTC on the 1st of January of this year.
419     localt.tm_sec = 0;
420     localt.tm_min = 0;
421     localt.tm_hour = 0;
422     localt.tm_mday = 1;
423     localt.tm_mon = 0;
424     // Not setting localt.tm_year!
425     localt.tm_wday = 0;
426     localt.tm_yday = 0;
427     localt.tm_isdst = 0;
428 #if HAVE(TM_GMTOFF)
429     localt.tm_gmtoff = 0;
430 #endif
431 #if HAVE(TM_ZONE)
432     localt.tm_zone = 0;
433 #endif
434
435 #if HAVE(TIMEGM)
436     time_t utcOffset = timegm(&localt) - mktime(&localt);
437 #else
438     // Using a canned date of 01/01/2009 on platforms with weaker date-handling foo.
439     localt.tm_year = 109;
440     time_t utcOffset = 1230768000 - mktime(&localt);
441 #endif
442
443     return static_cast<int32_t>(utcOffset * 1000);
444 #endif
445 }
446
447 #if !HAVE(TM_GMTOFF)
448
449 #if OS(WINDOWS)
450 // Code taken from http://support.microsoft.com/kb/167296
451 static void UnixTimeToFileTime(time_t t, LPFILETIME pft)
452 {
453     // Note that LONGLONG is a 64-bit value
454     LONGLONG ll;
455
456     ll = Int32x32To64(t, 10000000) + 116444736000000000;
457     pft->dwLowDateTime = (DWORD)ll;
458     pft->dwHighDateTime = ll >> 32;
459 }
460 #endif
461
462 /*
463  * Get the DST offset for the time passed in.
464  */
465 static double calculateDSTOffset(time_t localTime, double utcOffset)
466 {
467     // input is UTC so we have to shift back to local time to determine DST thus the + getUTCOffset()
468     double offsetTime = (localTime * msPerSecond) + utcOffset;
469
470     // Offset from UTC but doesn't include DST obviously
471     int offsetHour =  msToHours(offsetTime);
472     int offsetMinute =  msToMinutes(offsetTime);
473
474 #if OS(WINDOWS)
475     FILETIME utcFileTime;
476     UnixTimeToFileTime(localTime, &utcFileTime);
477     SYSTEMTIME utcSystemTime, localSystemTime;
478     if (!::FileTimeToSystemTime(&utcFileTime, &utcSystemTime))
479         return 0;
480     if (!::SystemTimeToTzSpecificLocalTime(nullptr, &utcSystemTime, &localSystemTime))
481         return 0;
482
483     double diff = ((localSystemTime.wHour - offsetHour) * secondsPerHour) + ((localSystemTime.wMinute - offsetMinute) * 60);
484 #else
485     tm localTM;
486     getLocalTime(&localTime, &localTM);
487
488     double diff = ((localTM.tm_hour - offsetHour) * secondsPerHour) + ((localTM.tm_min - offsetMinute) * 60);
489 #endif
490
491     if (diff < 0)
492         diff += secondsPerDay;
493
494     return (diff * msPerSecond);
495 }
496
497 #endif
498
499 // Returns combined offset in millisecond (UTC + DST).
500 LocalTimeOffset calculateLocalTimeOffset(double ms, TimeType inputTimeType)
501 {
502 #if HAVE(TM_GMTOFF)
503     double localToUTCTimeOffset = inputTimeType == LocalTime ? calculateUTCOffset() : 0;
504 #else
505     double localToUTCTimeOffset = calculateUTCOffset();
506 #endif
507     if (inputTimeType == LocalTime)
508         ms -= localToUTCTimeOffset;
509
510     // On Mac OS X, the call to localtime (see calculateDSTOffset) will return historically accurate
511     // DST information (e.g. New Zealand did not have DST from 1946 to 1974) however the JavaScript
512     // standard explicitly dictates that historical information should not be considered when
513     // determining DST. For this reason we shift away from years that localtime can handle but would
514     // return historically accurate information.
515     int year = msToYear(ms);
516     int equivalentYear = equivalentYearForDST(year);
517     if (year != equivalentYear) {
518         bool leapYear = isLeapYear(year);
519         int dayInYearLocal = dayInYear(ms, year);
520         int dayInMonth = dayInMonthFromDayInYear(dayInYearLocal, leapYear);
521         int month = monthFromDayInYear(dayInYearLocal, leapYear);
522         double day = dateToDaysFrom1970(equivalentYear, month, dayInMonth);
523         ms = (day * msPerDay) + msToMilliseconds(ms);
524     }
525
526     double localTimeSeconds = ms / msPerSecond;
527     if (localTimeSeconds > maxUnixTime)
528         localTimeSeconds = maxUnixTime;
529     else if (localTimeSeconds < 0) // Go ahead a day to make localtime work (does not work with 0).
530         localTimeSeconds += secondsPerDay;
531     // FIXME: time_t has a potential problem in 2038.
532     time_t localTime = static_cast<time_t>(localTimeSeconds);
533
534 #if HAVE(TM_GMTOFF)
535     tm localTM;
536     getLocalTime(&localTime, &localTM);
537     return LocalTimeOffset(localTM.tm_isdst, localTM.tm_gmtoff * msPerSecond);
538 #else
539     double dstOffset = calculateDSTOffset(localTime, localToUTCTimeOffset);
540     return LocalTimeOffset(dstOffset, localToUTCTimeOffset + dstOffset);
541 #endif
542 }
543
544 void initializeDates()
545 {
546 #if !ASSERT_DISABLED
547     static bool alreadyInitialized;
548     ASSERT(!alreadyInitialized);
549     alreadyInitialized = true;
550 #endif
551
552     equivalentYearForDST(2000); // Need to call once to initialize a static used in this function.
553 }
554
555 static inline double ymdhmsToSeconds(int year, long mon, long day, long hour, long minute, double second)
556 {
557     int mday = firstDayOfMonth[isLeapYear(year)][mon - 1];
558     double ydays = daysFrom1970ToYear(year);
559
560     double dateSeconds = second + minute * secondsPerMinute + hour * secondsPerHour + (mday + day - 1 + ydays) * secondsPerDay;
561
562     // Clamp to EcmaScript standard (ecma262/#sec-time-values-and-time-range) of
563     //  +/- 100,000,000 days from 01 January, 1970.
564     if (dateSeconds < -8640000000000.0 || dateSeconds > 8640000000000.0)
565         return std::numeric_limits<double>::quiet_NaN();
566     
567     return dateSeconds;
568 }
569
570 // We follow the recommendation of RFC 2822 to consider all
571 // obsolete time zones not listed here equivalent to "-0000".
572 static const struct KnownZone {
573 #if !OS(WINDOWS)
574     const
575 #endif
576         char tzName[4];
577     int tzOffset;
578 } knownZones[] = {
579     { "ut", 0 },
580     { "gmt", 0 },
581     { "est", -300 },
582     { "edt", -240 },
583     { "cst", -360 },
584     { "cdt", -300 },
585     { "mst", -420 },
586     { "mdt", -360 },
587     { "pst", -480 },
588     { "pdt", -420 }
589 };
590
591 inline static void skipSpacesAndComments(const char*& s)
592 {
593     int nesting = 0;
594     char ch;
595     while ((ch = *s)) {
596         if (!isASCIISpace(ch)) {
597             if (ch == '(')
598                 nesting++;
599             else if (ch == ')' && nesting > 0)
600                 nesting--;
601             else if (nesting == 0)
602                 break;
603         }
604         s++;
605     }
606 }
607
608 // returns 0-11 (Jan-Dec); -1 on failure
609 static int findMonth(const char* monthStr)
610 {
611     ASSERT(monthStr);
612     char needle[4];
613     for (int i = 0; i < 3; ++i) {
614         if (!*monthStr)
615             return -1;
616         needle[i] = static_cast<char>(toASCIILower(*monthStr++));
617     }
618     needle[3] = '\0';
619     const char *haystack = "janfebmaraprmayjunjulaugsepoctnovdec";
620     const char *str = strstr(haystack, needle);
621     if (str) {
622         int position = static_cast<int>(str - haystack);
623         if (position % 3 == 0)
624             return position / 3;
625     }
626     return -1;
627 }
628
629 static bool parseInt(const char* string, char** stopPosition, int base, int* result)
630 {
631     long longResult = strtol(string, stopPosition, base);
632     // Avoid the use of errno as it is not available on Windows CE
633     if (string == *stopPosition || longResult <= std::numeric_limits<int>::min() || longResult >= std::numeric_limits<int>::max())
634         return false;
635     *result = static_cast<int>(longResult);
636     return true;
637 }
638
639 static bool parseLong(const char* string, char** stopPosition, int base, long* result)
640 {
641     *result = strtol(string, stopPosition, base);
642     // Avoid the use of errno as it is not available on Windows CE
643     if (string == *stopPosition || *result == std::numeric_limits<long>::min() || *result == std::numeric_limits<long>::max())
644         return false;
645     return true;
646 }
647
648 // Parses a date with the format YYYY[-MM[-DD]].
649 // Year parsing is lenient, allows any number of digits, and +/-.
650 // Returns 0 if a parse error occurs, else returns the end of the parsed portion of the string.
651 static char* parseES5DatePortion(const char* currentPosition, int& year, long& month, long& day)
652 {
653     char* postParsePosition;
654
655     // This is a bit more lenient on the year string than ES5 specifies:
656     // instead of restricting to 4 digits (or 6 digits with mandatory +/-),
657     // it accepts any integer value. Consider this an implementation fallback.
658     if (!parseInt(currentPosition, &postParsePosition, 10, &year))
659         return 0;
660
661     // Check for presence of -MM portion.
662     if (*postParsePosition != '-')
663         return postParsePosition;
664     currentPosition = postParsePosition + 1;
665     
666     if (!isASCIIDigit(*currentPosition))
667         return 0;
668     if (!parseLong(currentPosition, &postParsePosition, 10, &month))
669         return 0;
670     if ((postParsePosition - currentPosition) != 2)
671         return 0;
672
673     // Check for presence of -DD portion.
674     if (*postParsePosition != '-')
675         return postParsePosition;
676     currentPosition = postParsePosition + 1;
677     
678     if (!isASCIIDigit(*currentPosition))
679         return 0;
680     if (!parseLong(currentPosition, &postParsePosition, 10, &day))
681         return 0;
682     if ((postParsePosition - currentPosition) != 2)
683         return 0;
684     return postParsePosition;
685 }
686
687 // Parses a time with the format HH:mm[:ss[.sss]][Z|(+|-)00:00].
688 // Fractional seconds parsing is lenient, allows any number of digits.
689 // Returns 0 if a parse error occurs, else returns the end of the parsed portion of the string.
690 static char* parseES5TimePortion(char* currentPosition, long& hours, long& minutes, double& seconds, long& timeZoneSeconds)
691 {
692     char* postParsePosition;
693     if (!isASCIIDigit(*currentPosition))
694         return 0;
695     if (!parseLong(currentPosition, &postParsePosition, 10, &hours))
696         return 0;
697     if (*postParsePosition != ':' || (postParsePosition - currentPosition) != 2)
698         return 0;
699     currentPosition = postParsePosition + 1;
700     
701     if (!isASCIIDigit(*currentPosition))
702         return 0;
703     if (!parseLong(currentPosition, &postParsePosition, 10, &minutes))
704         return 0;
705     if ((postParsePosition - currentPosition) != 2)
706         return 0;
707     currentPosition = postParsePosition;
708
709     // Seconds are optional.
710     if (*currentPosition == ':') {
711         ++currentPosition;
712     
713         long intSeconds;
714         if (!isASCIIDigit(*currentPosition))
715             return 0;
716         if (!parseLong(currentPosition, &postParsePosition, 10, &intSeconds))
717             return 0;
718         if ((postParsePosition - currentPosition) != 2)
719             return 0;
720         seconds = intSeconds;
721         if (*postParsePosition == '.') {
722             currentPosition = postParsePosition + 1;
723             
724             // In ECMA-262-5 it's a bit unclear if '.' can be present without milliseconds, but
725             // a reasonable interpretation guided by the given examples and RFC 3339 says "no".
726             // We check the next character to avoid reading +/- timezone hours after an invalid decimal.
727             if (!isASCIIDigit(*currentPosition))
728                 return 0;
729             
730             // We are more lenient than ES5 by accepting more or less than 3 fraction digits.
731             long fracSeconds;
732             if (!parseLong(currentPosition, &postParsePosition, 10, &fracSeconds))
733                 return 0;
734             
735             long numFracDigits = postParsePosition - currentPosition;
736             seconds += fracSeconds * pow(10.0, static_cast<double>(-numFracDigits));
737         }
738         currentPosition = postParsePosition;
739     }
740
741     if (*currentPosition == 'Z')
742         return currentPosition + 1;
743
744     bool tzNegative;
745     if (*currentPosition == '-')
746         tzNegative = true;
747     else if (*currentPosition == '+')
748         tzNegative = false;
749     else
750         return currentPosition; // no timezone
751     ++currentPosition;
752     
753     long tzHours;
754     long tzHoursAbs;
755     long tzMinutes;
756     
757     if (!isASCIIDigit(*currentPosition))
758         return 0;
759     if (!parseLong(currentPosition, &postParsePosition, 10, &tzHours))
760         return 0;
761     if (*postParsePosition != ':' || (postParsePosition - currentPosition) != 2)
762         return 0;
763     tzHoursAbs = labs(tzHours);
764     currentPosition = postParsePosition + 1;
765     
766     if (!isASCIIDigit(*currentPosition))
767         return 0;
768     if (!parseLong(currentPosition, &postParsePosition, 10, &tzMinutes))
769         return 0;
770     if ((postParsePosition - currentPosition) != 2)
771         return 0;
772     currentPosition = postParsePosition;
773     
774     if (tzHoursAbs > 24)
775         return 0;
776     if (tzMinutes < 0 || tzMinutes > 59)
777         return 0;
778     
779     timeZoneSeconds = 60 * (tzMinutes + (60 * tzHoursAbs));
780     if (tzNegative)
781         timeZoneSeconds = -timeZoneSeconds;
782
783     return currentPosition;
784 }
785
786 double parseES5DateFromNullTerminatedCharacters(const char* dateString)
787 {
788     // This parses a date of the form defined in ecma262/#sec-date-time-string-format
789     // (similar to RFC 3339 / ISO 8601: YYYY-MM-DDTHH:mm:ss[.sss]Z).
790     // In most cases it is intentionally strict (e.g. correct field widths, no stray whitespace).
791     
792     static const long daysPerMonth[12] = { 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 };
793     
794     // The year must be present, but the other fields may be omitted - see ES5.1 15.9.1.15.
795     int year = 0;
796     long month = 1;
797     long day = 1;
798     long hours = 0;
799     long minutes = 0;
800     double seconds = 0;
801     long timeZoneSeconds = 0;
802
803     // Parse the date YYYY[-MM[-DD]]
804     char* currentPosition = parseES5DatePortion(dateString, year, month, day);
805     if (!currentPosition)
806         return std::numeric_limits<double>::quiet_NaN();
807     // Look for a time portion.
808     if (*currentPosition == 'T') {
809         // Parse the time HH:mm[:ss[.sss]][Z|(+|-)00:00]
810         currentPosition = parseES5TimePortion(currentPosition + 1, hours, minutes, seconds, timeZoneSeconds);
811         if (!currentPosition)
812             return std::numeric_limits<double>::quiet_NaN();
813     }
814     // Check that we have parsed all characters in the string.
815     if (*currentPosition)
816         return std::numeric_limits<double>::quiet_NaN();
817
818     // A few of these checks could be done inline above, but since many of them are interrelated
819     // we would be sacrificing readability to "optimize" the (presumably less common) failure path.
820     if (month < 1 || month > 12)
821         return std::numeric_limits<double>::quiet_NaN();
822     if (day < 1 || day > daysPerMonth[month - 1])
823         return std::numeric_limits<double>::quiet_NaN();
824     if (month == 2 && day > 28 && !isLeapYear(year))
825         return std::numeric_limits<double>::quiet_NaN();
826     if (hours < 0 || hours > 24)
827         return std::numeric_limits<double>::quiet_NaN();
828     if (hours == 24 && (minutes || seconds))
829         return std::numeric_limits<double>::quiet_NaN();
830     if (minutes < 0 || minutes > 59)
831         return std::numeric_limits<double>::quiet_NaN();
832     if (seconds < 0 || seconds >= 61)
833         return std::numeric_limits<double>::quiet_NaN();
834     if (seconds > 60) {
835         // Discard leap seconds by clamping to the end of a minute.
836         seconds = 60;
837     }
838         
839     double dateSeconds = ymdhmsToSeconds(year, month, day, hours, minutes, seconds) - timeZoneSeconds;
840     return dateSeconds * msPerSecond;
841 }
842
843 // Odd case where 'exec' is allowed to be 0, to accomodate a caller in WebCore.
844 double parseDateFromNullTerminatedCharacters(const char* dateString, bool& haveTZ, int& offset)
845 {
846     haveTZ = false;
847     offset = 0;
848
849     // This parses a date in the form:
850     //     Tuesday, 09-Nov-99 23:12:40 GMT
851     // or
852     //     Sat, 01-Jan-2000 08:00:00 GMT
853     // or
854     //     Sat, 01 Jan 2000 08:00:00 GMT
855     // or
856     //     01 Jan 99 22:00 +0100    (exceptions in rfc822/rfc2822)
857     // ### non RFC formats, added for Javascript:
858     //     [Wednesday] January 09 1999 23:12:40 GMT
859     //     [Wednesday] January 09 23:12:40 GMT 1999
860     //
861     // We ignore the weekday.
862      
863     // Skip leading space
864     skipSpacesAndComments(dateString);
865
866     long month = -1;
867     const char *wordStart = dateString;
868     // Check contents of first words if not number
869     while (*dateString && !isASCIIDigit(*dateString)) {
870         if (isASCIISpace(*dateString) || *dateString == '(') {
871             if (dateString - wordStart >= 3)
872                 month = findMonth(wordStart);
873             skipSpacesAndComments(dateString);
874             wordStart = dateString;
875         } else
876            dateString++;
877     }
878
879     // Missing delimiter between month and day (like "January29")?
880     if (month == -1 && wordStart != dateString)
881         month = findMonth(wordStart);
882
883     skipSpacesAndComments(dateString);
884
885     if (!*dateString)
886         return std::numeric_limits<double>::quiet_NaN();
887
888     // ' 09-Nov-99 23:12:40 GMT'
889     char* newPosStr;
890     long day;
891     if (!parseLong(dateString, &newPosStr, 10, &day))
892         return std::numeric_limits<double>::quiet_NaN();
893     dateString = newPosStr;
894
895     if (day < 0)
896         return std::numeric_limits<double>::quiet_NaN();
897
898     std::optional<int> year;
899     if (day > 31) {
900         // ### where is the boundary and what happens below?
901         if (*dateString != '/')
902             return std::numeric_limits<double>::quiet_NaN();
903         // looks like a YYYY/MM/DD date
904         if (!*++dateString)
905             return std::numeric_limits<double>::quiet_NaN();
906         if (day <= std::numeric_limits<int>::min() || day >= std::numeric_limits<int>::max())
907             return std::numeric_limits<double>::quiet_NaN();
908         year = static_cast<int>(day);
909         if (!parseLong(dateString, &newPosStr, 10, &month))
910             return std::numeric_limits<double>::quiet_NaN();
911         month -= 1;
912         dateString = newPosStr;
913         if (*dateString++ != '/' || !*dateString)
914             return std::numeric_limits<double>::quiet_NaN();
915         if (!parseLong(dateString, &newPosStr, 10, &day))
916             return std::numeric_limits<double>::quiet_NaN();
917         dateString = newPosStr;
918     } else if (*dateString == '/' && month == -1) {
919         dateString++;
920         // This looks like a MM/DD/YYYY date, not an RFC date.
921         month = day - 1; // 0-based
922         if (!parseLong(dateString, &newPosStr, 10, &day))
923             return std::numeric_limits<double>::quiet_NaN();
924         if (day < 1 || day > 31)
925             return std::numeric_limits<double>::quiet_NaN();
926         dateString = newPosStr;
927         if (*dateString == '/')
928             dateString++;
929         if (!*dateString)
930             return std::numeric_limits<double>::quiet_NaN();
931      } else {
932         if (*dateString == '-')
933             dateString++;
934
935         skipSpacesAndComments(dateString);
936
937         if (*dateString == ',')
938             dateString++;
939
940         if (month == -1) { // not found yet
941             month = findMonth(dateString);
942             if (month == -1)
943                 return std::numeric_limits<double>::quiet_NaN();
944
945             while (*dateString && *dateString != '-' && *dateString != ',' && !isASCIISpace(*dateString))
946                 dateString++;
947
948             if (!*dateString)
949                 return std::numeric_limits<double>::quiet_NaN();
950
951             // '-99 23:12:40 GMT'
952             if (*dateString != '-' && *dateString != '/' && *dateString != ',' && !isASCIISpace(*dateString))
953                 return std::numeric_limits<double>::quiet_NaN();
954             dateString++;
955         }
956     }
957
958     if (month < 0 || month > 11)
959         return std::numeric_limits<double>::quiet_NaN();
960
961     // '99 23:12:40 GMT'
962     if (*dateString && !year) {
963         int result = 0;
964         if (!parseInt(dateString, &newPosStr, 10, &result))
965             return std::numeric_limits<double>::quiet_NaN();
966         year = result;
967     }
968
969     // Don't fail if the time is missing.
970     long hour = 0;
971     long minute = 0;
972     long second = 0;
973     if (!*newPosStr)
974         dateString = newPosStr;
975     else {
976         // ' 23:12:40 GMT'
977         if (!(isASCIISpace(*newPosStr) || *newPosStr == ',')) {
978             if (*newPosStr != ':')
979                 return std::numeric_limits<double>::quiet_NaN();
980             // There was no year; the number was the hour.
981             year = std::nullopt;
982         } else {
983             // in the normal case (we parsed the year), advance to the next number
984             dateString = ++newPosStr;
985             skipSpacesAndComments(dateString);
986         }
987
988         parseLong(dateString, &newPosStr, 10, &hour);
989         // Do not check for errno here since we want to continue
990         // even if errno was set becasue we are still looking
991         // for the timezone!
992
993         // Read a number? If not, this might be a timezone name.
994         if (newPosStr != dateString) {
995             dateString = newPosStr;
996
997             if (hour < 0 || hour > 23)
998                 return std::numeric_limits<double>::quiet_NaN();
999
1000             if (!*dateString)
1001                 return std::numeric_limits<double>::quiet_NaN();
1002
1003             // ':12:40 GMT'
1004             if (*dateString++ != ':')
1005                 return std::numeric_limits<double>::quiet_NaN();
1006
1007             if (!parseLong(dateString, &newPosStr, 10, &minute))
1008                 return std::numeric_limits<double>::quiet_NaN();
1009             dateString = newPosStr;
1010
1011             if (minute < 0 || minute > 59)
1012                 return std::numeric_limits<double>::quiet_NaN();
1013
1014             // ':40 GMT'
1015             if (*dateString && *dateString != ':' && !isASCIISpace(*dateString))
1016                 return std::numeric_limits<double>::quiet_NaN();
1017
1018             // seconds are optional in rfc822 + rfc2822
1019             if (*dateString ==':') {
1020                 dateString++;
1021
1022                 if (!parseLong(dateString, &newPosStr, 10, &second))
1023                     return std::numeric_limits<double>::quiet_NaN();
1024                 dateString = newPosStr;
1025
1026                 if (second < 0 || second > 59)
1027                     return std::numeric_limits<double>::quiet_NaN();
1028             }
1029
1030             skipSpacesAndComments(dateString);
1031
1032             if (startsWithLettersIgnoringASCIICase(dateString, "am")) {
1033                 if (hour > 12)
1034                     return std::numeric_limits<double>::quiet_NaN();
1035                 if (hour == 12)
1036                     hour = 0;
1037                 dateString += 2;
1038                 skipSpacesAndComments(dateString);
1039             } else if (startsWithLettersIgnoringASCIICase(dateString, "pm")) {
1040                 if (hour > 12)
1041                     return std::numeric_limits<double>::quiet_NaN();
1042                 if (hour != 12)
1043                     hour += 12;
1044                 dateString += 2;
1045                 skipSpacesAndComments(dateString);
1046             }
1047         }
1048     }
1049     
1050     // The year may be after the time but before the time zone.
1051     if (isASCIIDigit(*dateString) && !year) {
1052         int result = 0;
1053         if (!parseInt(dateString, &newPosStr, 10, &result))
1054             return std::numeric_limits<double>::quiet_NaN();
1055         year = result;
1056         dateString = newPosStr;
1057         skipSpacesAndComments(dateString);
1058     }
1059
1060     // Don't fail if the time zone is missing. 
1061     // Some websites omit the time zone (4275206).
1062     if (*dateString) {
1063         if (startsWithLettersIgnoringASCIICase(dateString, "gmt") || startsWithLettersIgnoringASCIICase(dateString, "utc")) {
1064             dateString += 3;
1065             haveTZ = true;
1066         }
1067
1068         if (*dateString == '+' || *dateString == '-') {
1069             int o;
1070             if (!parseInt(dateString, &newPosStr, 10, &o))
1071                 return std::numeric_limits<double>::quiet_NaN();
1072             dateString = newPosStr;
1073
1074             if (o < -9959 || o > 9959)
1075                 return std::numeric_limits<double>::quiet_NaN();
1076
1077             int sgn = (o < 0) ? -1 : 1;
1078             o = abs(o);
1079             if (*dateString != ':') {
1080                 if (o >= 24)
1081                     offset = ((o / 100) * 60 + (o % 100)) * sgn;
1082                 else
1083                     offset = o * 60 * sgn;
1084             } else { // GMT+05:00
1085                 ++dateString; // skip the ':'
1086                 int o2;
1087                 if (!parseInt(dateString, &newPosStr, 10, &o2))
1088                     return std::numeric_limits<double>::quiet_NaN();
1089                 dateString = newPosStr;
1090                 offset = (o * 60 + o2) * sgn;
1091             }
1092             haveTZ = true;
1093         } else {
1094             for (auto& knownZone : knownZones) {
1095                 // Since the passed-in length is used for both strings, the following checks that
1096                 // dateString has the time zone name as a prefix, not that it is equal.
1097                 auto length = strlen(knownZone.tzName);
1098                 if (equalLettersIgnoringASCIICase(dateString, knownZone.tzName, length)) {
1099                     offset = knownZone.tzOffset;
1100                     dateString += length;
1101                     haveTZ = true;
1102                     break;
1103                 }
1104             }
1105         }
1106     }
1107
1108     skipSpacesAndComments(dateString);
1109
1110     if (*dateString && !year) {
1111         int result = 0;
1112         if (!parseInt(dateString, &newPosStr, 10, &result))
1113             return std::numeric_limits<double>::quiet_NaN();
1114         year = result;
1115         dateString = newPosStr;
1116         skipSpacesAndComments(dateString);
1117     }
1118
1119     // Trailing garbage
1120     if (*dateString)
1121         return std::numeric_limits<double>::quiet_NaN();
1122
1123     // Y2K: Handle 2 digit years.
1124     if (year) {
1125         int yearValue = year.value();
1126         if (yearValue >= 0 && yearValue < 100) {
1127             if (yearValue < 50)
1128                 yearValue += 2000;
1129             else
1130                 yearValue += 1900;
1131         }
1132         year = yearValue;
1133     } else {
1134         // We select 2000 as default value. This is because of the following reasons.
1135         // 1. Year 2000 was used for the initial value of the variable `year`. While it won't be posed to users in WebKit,
1136         //    V8 used this 2000 as its default value. (As of April 2017, V8 is using the year 2001 and Spider Monkey is
1137         //    not doing this kind of fallback.)
1138         // 2. It is a leap year. When using `new Date("Feb 29")`, we assume that people want to save month and day.
1139         //    Leap year can save user inputs if they is valid. If we use the current year instead, the current year
1140         //    may not be a leap year. In that case, `new Date("Feb 29").getMonth()` becomes 2 (March).
1141         year = 2000;
1142     }
1143     ASSERT(year);
1144     
1145     return ymdhmsToSeconds(year.value(), month + 1, day, hour, minute, second) * msPerSecond;
1146 }
1147
1148 double parseDateFromNullTerminatedCharacters(const char* dateString)
1149 {
1150     bool haveTZ;
1151     int offset;
1152     double ms = parseDateFromNullTerminatedCharacters(dateString, haveTZ, offset);
1153     if (std::isnan(ms))
1154         return std::numeric_limits<double>::quiet_NaN();
1155
1156     // fall back to local timezone
1157     if (!haveTZ)
1158         offset = calculateLocalTimeOffset(ms, LocalTime).offset / msPerMinute; // ms value is in local time milliseconds.
1159
1160     return ms - (offset * msPerMinute);
1161 }
1162
1163 double timeClip(double t)
1164 {
1165     if (std::abs(t) > maxECMAScriptTime)
1166         return std::numeric_limits<double>::quiet_NaN();
1167     return std::trunc(t) + 0.0;
1168 }
1169
1170 // See http://tools.ietf.org/html/rfc2822#section-3.3 for more information.
1171 String makeRFC2822DateString(unsigned dayOfWeek, unsigned day, unsigned month, unsigned year, unsigned hours, unsigned minutes, unsigned seconds, int utcOffset)
1172 {
1173     StringBuilder stringBuilder;
1174     stringBuilder.append(weekdayName[dayOfWeek]);
1175     stringBuilder.appendLiteral(", ");
1176     stringBuilder.appendNumber(day);
1177     stringBuilder.append(' ');
1178     stringBuilder.append(monthName[month]);
1179     stringBuilder.append(' ');
1180     stringBuilder.appendNumber(year);
1181     stringBuilder.append(' ');
1182
1183     appendTwoDigitNumber(stringBuilder, hours);
1184     stringBuilder.append(':');
1185     appendTwoDigitNumber(stringBuilder, minutes);
1186     stringBuilder.append(':');
1187     appendTwoDigitNumber(stringBuilder, seconds);
1188     stringBuilder.append(' ');
1189
1190     stringBuilder.append(utcOffset > 0 ? '+' : '-');
1191     int absoluteUTCOffset = abs(utcOffset);
1192     appendTwoDigitNumber(stringBuilder, absoluteUTCOffset / 60);
1193     appendTwoDigitNumber(stringBuilder, absoluteUTCOffset % 60);
1194
1195     return stringBuilder.toString();
1196 }
1197
1198 } // namespace WTF