[Bug c/54203] New: ctime on INT_MAX returns wrong date

[aminalipour at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54203

             Bug #: 54203
           Summary: ctime on INT_MAX returns wrong date
    Classification: Unclassified
           Product: gcc
           Version: 4.4.6
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: aminalipour@gmail.com


main(){
  time_t t = INT_MAX;
  char *s = ctime(&t);
  printf("%s", s);
}
returns:
Mon Jan 18 19:14:07 2038

but my computer calendar shows that Jan 18, 2038 is Tuesday!