737 png_convert_to_rfc1123_buffer(char out[29], png_const_timep ptime)  in png_convert_to_rfc1123_buffer()  argument
746    if (ptime->year > 9999 /* RFC1123 limitation */ ||  in png_convert_to_rfc1123_buffer()
747        ptime->month == 0    ||  ptime->month > 12  ||  in png_convert_to_rfc1123_buffer()
748        ptime->day   == 0    ||  ptime->day   > 31  ||  in png_convert_to_rfc1123_buffer()
749        ptime->hour  > 23    ||  ptime->minute > 59 ||  in png_convert_to_rfc1123_buffer()
750        ptime->second > 60)  in png_convert_to_rfc1123_buffer()
762       APPEND_NUMBER(PNG_NUMBER_FORMAT_u, (unsigned)ptime->day);  in png_convert_to_rfc1123_buffer()
764       APPEND_STRING(short_months[(ptime->month - 1)]);  in png_convert_to_rfc1123_buffer()
766       APPEND_NUMBER(PNG_NUMBER_FORMAT_u, ptime->year);  in png_convert_to_rfc1123_buffer()
768       APPEND_NUMBER(PNG_NUMBER_FORMAT_02u, (unsigned)ptime->hour);  in png_convert_to_rfc1123_buffer()
770       APPEND_NUMBER(PNG_NUMBER_FORMAT_02u, (unsigned)ptime->minute);  in png_convert_to_rfc1123_buffer()
772       APPEND_NUMBER(PNG_NUMBER_FORMAT_02u, (unsigned)ptime->second);  in png_convert_to_rfc1123_buffer()
791 png_convert_to_rfc1123(png_structrp png_ptr, png_const_timep ptime)  in png_convert_to_rfc1123()  argument
796       if (png_convert_to_rfc1123_buffer(png_ptr->time_buffer, ptime) == 0)  in png_convert_to_rfc1123()