696 png_convert_to_rfc1123_buffer(char out[29], png_const_timep ptime)  in png_convert_to_rfc1123_buffer()  argument
705    if (ptime->year > 9999 /* RFC1123 limitation */ ||  in png_convert_to_rfc1123_buffer()
706        ptime->month == 0    ||  ptime->month > 12  ||  in png_convert_to_rfc1123_buffer()
707        ptime->day   == 0    ||  ptime->day   > 31  ||  in png_convert_to_rfc1123_buffer()
708        ptime->hour  > 23    ||  ptime->minute > 59 ||  in png_convert_to_rfc1123_buffer()
709        ptime->second > 60)  in png_convert_to_rfc1123_buffer()
721       APPEND_NUMBER(PNG_NUMBER_FORMAT_u, (unsigned)ptime->day);  in png_convert_to_rfc1123_buffer()
723       APPEND_STRING(short_months[(ptime->month - 1)]);  in png_convert_to_rfc1123_buffer()
725       APPEND_NUMBER(PNG_NUMBER_FORMAT_u, ptime->year);  in png_convert_to_rfc1123_buffer()
727       APPEND_NUMBER(PNG_NUMBER_FORMAT_02u, (unsigned)ptime->hour);  in png_convert_to_rfc1123_buffer()
729       APPEND_NUMBER(PNG_NUMBER_FORMAT_02u, (unsigned)ptime->minute);  in png_convert_to_rfc1123_buffer()
731       APPEND_NUMBER(PNG_NUMBER_FORMAT_02u, (unsigned)ptime->second);  in png_convert_to_rfc1123_buffer()
750 png_convert_to_rfc1123(png_structrp png_ptr, png_const_timep ptime)  in png_convert_to_rfc1123()  argument
755       if (png_convert_to_rfc1123_buffer(png_ptr->time_buffer, ptime) == 0)  in png_convert_to_rfc1123()