[bug-gawk] lint warning: mktime: at least one of the values is out of the default range

[Hermann Peifer]

Hi,

I am getting lint warnings for 24 as hour value:

$ awk --lint 'BEGIN{mktime("2014 1 1 24 0 0")}'
awk: cmd. line:1: warning: `mktime' is a gawk extension
awk: cmd. line:1: warning: mktime: at least one of the values is out of 
the default range

As far as I understand, ISO 8601 allows both 00 and 24 as hour value for 
midnight and legal minute values are 00 to 59. Is there a (good) reason 
why lint warnings are generated for hour=24 but not for minute=60 ?

Regards, Hermann

# Related snippet from builtin.c

if (do_lint /* Ready? Set! Go: */
  && (    (second < 0 || second > 60)
  || (minute < 0 || minute > 60)
  || (hour < 0 || hour > 23)
  || (day < 1 || day > 31)
  || (month < 1 || month > 12) ))
       lintwarn(_("mktime: at least one of the values is out of the 
default range"));