695 png_convert_to_rfc1123_buffer(char out[29], png_const_timep ptime)  in png_convert_to_rfc1123_buffer()  argument
704    if (ptime->year > 9999 /* RFC1123 limitation */ ||  in png_convert_to_rfc1123_buffer()
705        ptime->month == 0    ||  ptime->month > 12  ||  in png_convert_to_rfc1123_buffer()
706        ptime->day   == 0    ||  ptime->day   > 31  ||  in png_convert_to_rfc1123_buffer()
707        ptime->hour  > 23    ||  ptime->minute > 59 ||  in png_convert_to_rfc1123_buffer()
708        ptime->second > 60)  in png_convert_to_rfc1123_buffer()
720       APPEND_NUMBER(PNG_NUMBER_FORMAT_u, (unsigned)ptime->day);  in png_convert_to_rfc1123_buffer()
722       APPEND_STRING(short_months[(ptime->month - 1)]);  in png_convert_to_rfc1123_buffer()
724       APPEND_NUMBER(PNG_NUMBER_FORMAT_u, ptime->year);  in png_convert_to_rfc1123_buffer()
726       APPEND_NUMBER(PNG_NUMBER_FORMAT_02u, (unsigned)ptime->hour);  in png_convert_to_rfc1123_buffer()
728       APPEND_NUMBER(PNG_NUMBER_FORMAT_02u, (unsigned)ptime->minute);  in png_convert_to_rfc1123_buffer()
730       APPEND_NUMBER(PNG_NUMBER_FORMAT_02u, (unsigned)ptime->second);  in png_convert_to_rfc1123_buffer()
748 png_convert_to_rfc1123(png_structrp png_ptr, png_const_timep ptime)  in png_convert_to_rfc1123()  argument
753       if (!png_convert_to_rfc1123_buffer(png_ptr->time_buffer, ptime))  in png_convert_to_rfc1123()