]> rtime.felk.cvut.cz Git - l4.git/blob - l4/pkg/libpng/lib/contrib/png.c
update
[l4.git] / l4 / pkg / libpng / lib / contrib / png.c
1
2 /* png.c - location for general purpose libpng functions
3  *
4  * Last changed in libpng 1.6.12 [June 12, 2014]
5  * Copyright (c) 1998-2014 Glenn Randers-Pehrson
6  * (Version 0.96 Copyright (c) 1996, 1997 Andreas Dilger)
7  * (Version 0.88 Copyright (c) 1995, 1996 Guy Eric Schalnat, Group 42, Inc.)
8  *
9  * This code is released under the libpng license.
10  * For conditions of distribution and use, see the disclaimer
11  * and license in png.h
12  */
13
14 #include "pngpriv.h"
15
16 /* Generate a compiler error if there is an old png.h in the search path. */
17 typedef png_libpng_version_1_6_12 Your_png_h_is_not_version_1_6_12;
18
19 /* Tells libpng that we have already handled the first "num_bytes" bytes
20  * of the PNG file signature.  If the PNG data is embedded into another
21  * stream we can set num_bytes = 8 so that libpng will not attempt to read
22  * or write any of the magic bytes before it starts on the IHDR.
23  */
24
25 #ifdef PNG_READ_SUPPORTED
26 void PNGAPI
27 png_set_sig_bytes(png_structrp png_ptr, int num_bytes)
28 {
29    png_debug(1, "in png_set_sig_bytes");
30
31    if (png_ptr == NULL)
32       return;
33
34    if (num_bytes > 8)
35       png_error(png_ptr, "Too many bytes for PNG signature");
36
37    png_ptr->sig_bytes = (png_byte)(num_bytes < 0 ? 0 : num_bytes);
38 }
39
40 /* Checks whether the supplied bytes match the PNG signature.  We allow
41  * checking less than the full 8-byte signature so that those apps that
42  * already read the first few bytes of a file to determine the file type
43  * can simply check the remaining bytes for extra assurance.  Returns
44  * an integer less than, equal to, or greater than zero if sig is found,
45  * respectively, to be less than, to match, or be greater than the correct
46  * PNG signature (this is the same behavior as strcmp, memcmp, etc).
47  */
48 int PNGAPI
49 png_sig_cmp(png_const_bytep sig, png_size_t start, png_size_t num_to_check)
50 {
51    png_byte png_signature[8] = {137, 80, 78, 71, 13, 10, 26, 10};
52
53    if (num_to_check > 8)
54       num_to_check = 8;
55
56    else if (num_to_check < 1)
57       return (-1);
58
59    if (start > 7)
60       return (-1);
61
62    if (start + num_to_check > 8)
63       num_to_check = 8 - start;
64
65    return ((int)(memcmp(&sig[start], &png_signature[start], num_to_check)));
66 }
67
68 #endif /* PNG_READ_SUPPORTED */
69
70 #if defined(PNG_READ_SUPPORTED) || defined(PNG_WRITE_SUPPORTED)
71 /* Function to allocate memory for zlib */
72 PNG_FUNCTION(voidpf /* PRIVATE */,
73 png_zalloc,(voidpf png_ptr, uInt items, uInt size),PNG_ALLOCATED)
74 {
75    png_alloc_size_t num_bytes = size;
76
77    if (png_ptr == NULL)
78       return NULL;
79
80    if (items >= (~(png_alloc_size_t)0)/size)
81    {
82       png_warning (png_voidcast(png_structrp, png_ptr),
83          "Potential overflow in png_zalloc()");
84       return NULL;
85    }
86
87    num_bytes *= items;
88    return png_malloc_warn(png_voidcast(png_structrp, png_ptr), num_bytes);
89 }
90
91 /* Function to free memory for zlib */
92 void /* PRIVATE */
93 png_zfree(voidpf png_ptr, voidpf ptr)
94 {
95    png_free(png_voidcast(png_const_structrp,png_ptr), ptr);
96 }
97
98 /* Reset the CRC variable to 32 bits of 1's.  Care must be taken
99  * in case CRC is > 32 bits to leave the top bits 0.
100  */
101 void /* PRIVATE */
102 png_reset_crc(png_structrp png_ptr)
103 {
104    /* The cast is safe because the crc is a 32 bit value. */
105    png_ptr->crc = (png_uint_32)crc32(0, Z_NULL, 0);
106 }
107
108 /* Calculate the CRC over a section of data.  We can only pass as
109  * much data to this routine as the largest single buffer size.  We
110  * also check that this data will actually be used before going to the
111  * trouble of calculating it.
112  */
113 void /* PRIVATE */
114 png_calculate_crc(png_structrp png_ptr, png_const_bytep ptr, png_size_t length)
115 {
116    int need_crc = 1;
117
118    if (PNG_CHUNK_ANCILLARY(png_ptr->chunk_name))
119    {
120       if ((png_ptr->flags & PNG_FLAG_CRC_ANCILLARY_MASK) ==
121           (PNG_FLAG_CRC_ANCILLARY_USE | PNG_FLAG_CRC_ANCILLARY_NOWARN))
122          need_crc = 0;
123    }
124
125    else /* critical */
126    {
127       if (png_ptr->flags & PNG_FLAG_CRC_CRITICAL_IGNORE)
128          need_crc = 0;
129    }
130
131    /* 'uLong' is defined in zlib.h as unsigned long; this means that on some
132     * systems it is a 64 bit value.  crc32, however, returns 32 bits so the
133     * following cast is safe.  'uInt' may be no more than 16 bits, so it is
134     * necessary to perform a loop here.
135     */
136    if (need_crc && length > 0)
137    {
138       uLong crc = png_ptr->crc; /* Should never issue a warning */
139
140       do
141       {
142          uInt safe_length = (uInt)length;
143          if (safe_length == 0)
144             safe_length = (uInt)-1; /* evil, but safe */
145
146          crc = crc32(crc, ptr, safe_length);
147
148          /* The following should never issue compiler warnings; if they do the
149           * target system has characteristics that will probably violate other
150           * assumptions within the libpng code.
151           */
152          ptr += safe_length;
153          length -= safe_length;
154       }
155       while (length > 0);
156
157       /* And the following is always safe because the crc is only 32 bits. */
158       png_ptr->crc = (png_uint_32)crc;
159    }
160 }
161
162 /* Check a user supplied version number, called from both read and write
163  * functions that create a png_struct.
164  */
165 int
166 png_user_version_check(png_structrp png_ptr, png_const_charp user_png_ver)
167 {
168    if (user_png_ver != NULL)
169    {
170       int i = 0;
171
172       do
173       {
174          if (user_png_ver[i] != png_libpng_ver[i])
175             png_ptr->flags |= PNG_FLAG_LIBRARY_MISMATCH;
176       } while (png_libpng_ver[i++]);
177    }
178
179    else
180       png_ptr->flags |= PNG_FLAG_LIBRARY_MISMATCH;
181
182    if (png_ptr->flags & PNG_FLAG_LIBRARY_MISMATCH)
183    {
184      /* Libpng 0.90 and later are binary incompatible with libpng 0.89, so
185       * we must recompile any applications that use any older library version.
186       * For versions after libpng 1.0, we will be compatible, so we need
187       * only check the first and third digits (note that when we reach version
188       * 1.10 we will need to check the fourth symbol, namely user_png_ver[3]).
189       */
190       if (user_png_ver == NULL || user_png_ver[0] != png_libpng_ver[0] ||
191           (user_png_ver[0] == '1' && (user_png_ver[2] != png_libpng_ver[2] ||
192           user_png_ver[3] != png_libpng_ver[3])) ||
193           (user_png_ver[0] == '0' && user_png_ver[2] < '9'))
194       {
195 #ifdef PNG_WARNINGS_SUPPORTED
196          size_t pos = 0;
197          char m[128];
198
199          pos = png_safecat(m, (sizeof m), pos,
200              "Application built with libpng-");
201          pos = png_safecat(m, (sizeof m), pos, user_png_ver);
202          pos = png_safecat(m, (sizeof m), pos, " but running with ");
203          pos = png_safecat(m, (sizeof m), pos, png_libpng_ver);
204          PNG_UNUSED(pos)
205
206          png_warning(png_ptr, m);
207 #endif
208
209 #ifdef PNG_ERROR_NUMBERS_SUPPORTED
210          png_ptr->flags = 0;
211 #endif
212
213          return 0;
214       }
215    }
216
217    /* Success return. */
218    return 1;
219 }
220
221 /* Generic function to create a png_struct for either read or write - this
222  * contains the common initialization.
223  */
224 PNG_FUNCTION(png_structp /* PRIVATE */,
225 png_create_png_struct,(png_const_charp user_png_ver, png_voidp error_ptr,
226     png_error_ptr error_fn, png_error_ptr warn_fn, png_voidp mem_ptr,
227     png_malloc_ptr malloc_fn, png_free_ptr free_fn),PNG_ALLOCATED)
228 {
229    png_struct create_struct;
230 #  ifdef PNG_SETJMP_SUPPORTED
231       jmp_buf create_jmp_buf;
232 #  endif
233
234    /* This temporary stack-allocated structure is used to provide a place to
235     * build enough context to allow the user provided memory allocator (if any)
236     * to be called.
237     */
238    memset(&create_struct, 0, (sizeof create_struct));
239
240    /* Added at libpng-1.2.6 */
241 #  ifdef PNG_USER_LIMITS_SUPPORTED
242       create_struct.user_width_max = PNG_USER_WIDTH_MAX;
243       create_struct.user_height_max = PNG_USER_HEIGHT_MAX;
244
245 #     ifdef PNG_USER_CHUNK_CACHE_MAX
246          /* Added at libpng-1.2.43 and 1.4.0 */
247          create_struct.user_chunk_cache_max = PNG_USER_CHUNK_CACHE_MAX;
248 #     endif
249
250 #     ifdef PNG_USER_CHUNK_MALLOC_MAX
251          /* Added at libpng-1.2.43 and 1.4.1, required only for read but exists
252           * in png_struct regardless.
253           */
254          create_struct.user_chunk_malloc_max = PNG_USER_CHUNK_MALLOC_MAX;
255 #     endif
256 #  endif
257
258    /* The following two API calls simply set fields in png_struct, so it is safe
259     * to do them now even though error handling is not yet set up.
260     */
261 #  ifdef PNG_USER_MEM_SUPPORTED
262       png_set_mem_fn(&create_struct, mem_ptr, malloc_fn, free_fn);
263 #  else
264       PNG_UNUSED(mem_ptr)
265       PNG_UNUSED(malloc_fn)
266       PNG_UNUSED(free_fn)
267 #  endif
268
269    /* (*error_fn) can return control to the caller after the error_ptr is set,
270     * this will result in a memory leak unless the error_fn does something
271     * extremely sophisticated.  The design lacks merit but is implicit in the
272     * API.
273     */
274    png_set_error_fn(&create_struct, error_ptr, error_fn, warn_fn);
275
276 #  ifdef PNG_SETJMP_SUPPORTED
277       if (!setjmp(create_jmp_buf))
278       {
279          /* Temporarily fake out the longjmp information until we have
280           * successfully completed this function.  This only works if we have
281           * setjmp() support compiled in, but it is safe - this stuff should
282           * never happen.
283           */
284          create_struct.jmp_buf_ptr = &create_jmp_buf;
285          create_struct.jmp_buf_size = 0; /*stack allocation*/
286          create_struct.longjmp_fn = longjmp;
287 #  else
288       {
289 #  endif
290          /* Call the general version checker (shared with read and write code):
291           */
292          if (png_user_version_check(&create_struct, user_png_ver))
293          {
294             png_structrp png_ptr = png_voidcast(png_structrp,
295                png_malloc_warn(&create_struct, (sizeof *png_ptr)));
296
297             if (png_ptr != NULL)
298             {
299                /* png_ptr->zstream holds a back-pointer to the png_struct, so
300                 * this can only be done now:
301                 */
302                create_struct.zstream.zalloc = png_zalloc;
303                create_struct.zstream.zfree = png_zfree;
304                create_struct.zstream.opaque = png_ptr;
305
306 #              ifdef PNG_SETJMP_SUPPORTED
307                   /* Eliminate the local error handling: */
308                   create_struct.jmp_buf_ptr = NULL;
309                   create_struct.jmp_buf_size = 0;
310                   create_struct.longjmp_fn = 0;
311 #              endif
312
313                *png_ptr = create_struct;
314
315                /* This is the successful return point */
316                return png_ptr;
317             }
318          }
319       }
320
321    /* A longjmp because of a bug in the application storage allocator or a
322     * simple failure to allocate the png_struct.
323     */
324    return NULL;
325 }
326
327 /* Allocate the memory for an info_struct for the application. */
328 PNG_FUNCTION(png_infop,PNGAPI
329 png_create_info_struct,(png_const_structrp png_ptr),PNG_ALLOCATED)
330 {
331    png_inforp info_ptr;
332
333    png_debug(1, "in png_create_info_struct");
334
335    if (png_ptr == NULL)
336       return NULL;
337
338    /* Use the internal API that does not (or at least should not) error out, so
339     * that this call always returns ok.  The application typically sets up the
340     * error handling *after* creating the info_struct because this is the way it
341     * has always been done in 'example.c'.
342     */
343    info_ptr = png_voidcast(png_inforp, png_malloc_base(png_ptr,
344       (sizeof *info_ptr)));
345
346    if (info_ptr != NULL)
347       memset(info_ptr, 0, (sizeof *info_ptr));
348
349    return info_ptr;
350 }
351
352 /* This function frees the memory associated with a single info struct.
353  * Normally, one would use either png_destroy_read_struct() or
354  * png_destroy_write_struct() to free an info struct, but this may be
355  * useful for some applications.  From libpng 1.6.0 this function is also used
356  * internally to implement the png_info release part of the 'struct' destroy
357  * APIs.  This ensures that all possible approaches free the same data (all of
358  * it).
359  */
360 void PNGAPI
361 png_destroy_info_struct(png_const_structrp png_ptr, png_infopp info_ptr_ptr)
362 {
363    png_inforp info_ptr = NULL;
364
365    png_debug(1, "in png_destroy_info_struct");
366
367    if (png_ptr == NULL)
368       return;
369
370    if (info_ptr_ptr != NULL)
371       info_ptr = *info_ptr_ptr;
372
373    if (info_ptr != NULL)
374    {
375       /* Do this first in case of an error below; if the app implements its own
376        * memory management this can lead to png_free calling png_error, which
377        * will abort this routine and return control to the app error handler.
378        * An infinite loop may result if it then tries to free the same info
379        * ptr.
380        */
381       *info_ptr_ptr = NULL;
382
383       png_free_data(png_ptr, info_ptr, PNG_FREE_ALL, -1);
384       memset(info_ptr, 0, (sizeof *info_ptr));
385       png_free(png_ptr, info_ptr);
386    }
387 }
388
389 /* Initialize the info structure.  This is now an internal function (0.89)
390  * and applications using it are urged to use png_create_info_struct()
391  * instead.  Use deprecated in 1.6.0, internal use removed (used internally it
392  * is just a memset).
393  *
394  * NOTE: it is almost inconceivable that this API is used because it bypasses
395  * the user-memory mechanism and the user error handling/warning mechanisms in
396  * those cases where it does anything other than a memset.
397  */
398 PNG_FUNCTION(void,PNGAPI
399 png_info_init_3,(png_infopp ptr_ptr, png_size_t png_info_struct_size),
400    PNG_DEPRECATED)
401 {
402    png_inforp info_ptr = *ptr_ptr;
403
404    png_debug(1, "in png_info_init_3");
405
406    if (info_ptr == NULL)
407       return;
408
409    if ((sizeof (png_info)) > png_info_struct_size)
410    {
411       *ptr_ptr = NULL;
412       /* The following line is why this API should not be used: */
413       free(info_ptr);
414       info_ptr = png_voidcast(png_inforp, png_malloc_base(NULL,
415          (sizeof *info_ptr)));
416       *ptr_ptr = info_ptr;
417    }
418
419    /* Set everything to 0 */
420    memset(info_ptr, 0, (sizeof *info_ptr));
421 }
422
423 /* The following API is not called internally */
424 void PNGAPI
425 png_data_freer(png_const_structrp png_ptr, png_inforp info_ptr,
426    int freer, png_uint_32 mask)
427 {
428    png_debug(1, "in png_data_freer");
429
430    if (png_ptr == NULL || info_ptr == NULL)
431       return;
432
433    if (freer == PNG_DESTROY_WILL_FREE_DATA)
434       info_ptr->free_me |= mask;
435
436    else if (freer == PNG_USER_WILL_FREE_DATA)
437       info_ptr->free_me &= ~mask;
438
439    else
440       png_error(png_ptr, "Unknown freer parameter in png_data_freer");
441 }
442
443 void PNGAPI
444 png_free_data(png_const_structrp png_ptr, png_inforp info_ptr, png_uint_32 mask,
445    int num)
446 {
447    png_debug(1, "in png_free_data");
448
449    if (png_ptr == NULL || info_ptr == NULL)
450       return;
451
452 #ifdef PNG_TEXT_SUPPORTED
453    /* Free text item num or (if num == -1) all text items */
454    if ((mask & PNG_FREE_TEXT) & info_ptr->free_me)
455    {
456       if (num != -1)
457       {
458          if (info_ptr->text && info_ptr->text[num].key)
459          {
460             png_free(png_ptr, info_ptr->text[num].key);
461             info_ptr->text[num].key = NULL;
462          }
463       }
464
465       else
466       {
467          int i;
468          for (i = 0; i < info_ptr->num_text; i++)
469              png_free_data(png_ptr, info_ptr, PNG_FREE_TEXT, i);
470          png_free(png_ptr, info_ptr->text);
471          info_ptr->text = NULL;
472          info_ptr->num_text=0;
473       }
474    }
475 #endif
476
477 #ifdef PNG_tRNS_SUPPORTED
478    /* Free any tRNS entry */
479    if ((mask & PNG_FREE_TRNS) & info_ptr->free_me)
480    {
481       png_free(png_ptr, info_ptr->trans_alpha);
482       info_ptr->trans_alpha = NULL;
483       info_ptr->valid &= ~PNG_INFO_tRNS;
484    }
485 #endif
486
487 #ifdef PNG_sCAL_SUPPORTED
488    /* Free any sCAL entry */
489    if ((mask & PNG_FREE_SCAL) & info_ptr->free_me)
490    {
491       png_free(png_ptr, info_ptr->scal_s_width);
492       png_free(png_ptr, info_ptr->scal_s_height);
493       info_ptr->scal_s_width = NULL;
494       info_ptr->scal_s_height = NULL;
495       info_ptr->valid &= ~PNG_INFO_sCAL;
496    }
497 #endif
498
499 #ifdef PNG_pCAL_SUPPORTED
500    /* Free any pCAL entry */
501    if ((mask & PNG_FREE_PCAL) & info_ptr->free_me)
502    {
503       png_free(png_ptr, info_ptr->pcal_purpose);
504       png_free(png_ptr, info_ptr->pcal_units);
505       info_ptr->pcal_purpose = NULL;
506       info_ptr->pcal_units = NULL;
507       if (info_ptr->pcal_params != NULL)
508          {
509             unsigned int i;
510             for (i = 0; i < info_ptr->pcal_nparams; i++)
511             {
512                png_free(png_ptr, info_ptr->pcal_params[i]);
513                info_ptr->pcal_params[i] = NULL;
514             }
515             png_free(png_ptr, info_ptr->pcal_params);
516             info_ptr->pcal_params = NULL;
517          }
518       info_ptr->valid &= ~PNG_INFO_pCAL;
519    }
520 #endif
521
522 #ifdef PNG_iCCP_SUPPORTED
523    /* Free any profile entry */
524    if ((mask & PNG_FREE_ICCP) & info_ptr->free_me)
525    {
526       png_free(png_ptr, info_ptr->iccp_name);
527       png_free(png_ptr, info_ptr->iccp_profile);
528       info_ptr->iccp_name = NULL;
529       info_ptr->iccp_profile = NULL;
530       info_ptr->valid &= ~PNG_INFO_iCCP;
531    }
532 #endif
533
534 #ifdef PNG_sPLT_SUPPORTED
535    /* Free a given sPLT entry, or (if num == -1) all sPLT entries */
536    if ((mask & PNG_FREE_SPLT) & info_ptr->free_me)
537    {
538       if (num != -1)
539       {
540          if (info_ptr->splt_palettes)
541          {
542             png_free(png_ptr, info_ptr->splt_palettes[num].name);
543             png_free(png_ptr, info_ptr->splt_palettes[num].entries);
544             info_ptr->splt_palettes[num].name = NULL;
545             info_ptr->splt_palettes[num].entries = NULL;
546          }
547       }
548
549       else
550       {
551          if (info_ptr->splt_palettes_num)
552          {
553             int i;
554             for (i = 0; i < info_ptr->splt_palettes_num; i++)
555                png_free_data(png_ptr, info_ptr, PNG_FREE_SPLT, (int)i);
556
557             png_free(png_ptr, info_ptr->splt_palettes);
558             info_ptr->splt_palettes = NULL;
559             info_ptr->splt_palettes_num = 0;
560          }
561          info_ptr->valid &= ~PNG_INFO_sPLT;
562       }
563    }
564 #endif
565
566 #ifdef PNG_STORE_UNKNOWN_CHUNKS_SUPPORTED
567    if ((mask & PNG_FREE_UNKN) & info_ptr->free_me)
568    {
569       if (num != -1)
570       {
571           if (info_ptr->unknown_chunks)
572           {
573              png_free(png_ptr, info_ptr->unknown_chunks[num].data);
574              info_ptr->unknown_chunks[num].data = NULL;
575           }
576       }
577
578       else
579       {
580          int i;
581
582          if (info_ptr->unknown_chunks_num)
583          {
584             for (i = 0; i < info_ptr->unknown_chunks_num; i++)
585                png_free_data(png_ptr, info_ptr, PNG_FREE_UNKN, (int)i);
586
587             png_free(png_ptr, info_ptr->unknown_chunks);
588             info_ptr->unknown_chunks = NULL;
589             info_ptr->unknown_chunks_num = 0;
590          }
591       }
592    }
593 #endif
594
595 #ifdef PNG_hIST_SUPPORTED
596    /* Free any hIST entry */
597    if ((mask & PNG_FREE_HIST)  & info_ptr->free_me)
598    {
599       png_free(png_ptr, info_ptr->hist);
600       info_ptr->hist = NULL;
601       info_ptr->valid &= ~PNG_INFO_hIST;
602    }
603 #endif
604
605    /* Free any PLTE entry that was internally allocated */
606    if ((mask & PNG_FREE_PLTE) & info_ptr->free_me)
607    {
608       png_free(png_ptr, info_ptr->palette);
609       info_ptr->palette = NULL;
610       info_ptr->valid &= ~PNG_INFO_PLTE;
611       info_ptr->num_palette = 0;
612    }
613
614 #ifdef PNG_INFO_IMAGE_SUPPORTED
615    /* Free any image bits attached to the info structure */
616    if ((mask & PNG_FREE_ROWS) & info_ptr->free_me)
617    {
618       if (info_ptr->row_pointers)
619       {
620          png_uint_32 row;
621          for (row = 0; row < info_ptr->height; row++)
622          {
623             png_free(png_ptr, info_ptr->row_pointers[row]);
624             info_ptr->row_pointers[row] = NULL;
625          }
626          png_free(png_ptr, info_ptr->row_pointers);
627          info_ptr->row_pointers = NULL;
628       }
629       info_ptr->valid &= ~PNG_INFO_IDAT;
630    }
631 #endif
632
633    if (num != -1)
634       mask &= ~PNG_FREE_MUL;
635
636    info_ptr->free_me &= ~mask;
637 }
638 #endif /* defined(PNG_READ_SUPPORTED) || defined(PNG_WRITE_SUPPORTED) */
639
640 /* This function returns a pointer to the io_ptr associated with the user
641  * functions.  The application should free any memory associated with this
642  * pointer before png_write_destroy() or png_read_destroy() are called.
643  */
644 png_voidp PNGAPI
645 png_get_io_ptr(png_const_structrp png_ptr)
646 {
647    if (png_ptr == NULL)
648       return (NULL);
649
650    return (png_ptr->io_ptr);
651 }
652
653 #if defined(PNG_READ_SUPPORTED) || defined(PNG_WRITE_SUPPORTED)
654 #  ifdef PNG_STDIO_SUPPORTED
655 /* Initialize the default input/output functions for the PNG file.  If you
656  * use your own read or write routines, you can call either png_set_read_fn()
657  * or png_set_write_fn() instead of png_init_io().  If you have defined
658  * PNG_NO_STDIO or otherwise disabled PNG_STDIO_SUPPORTED, you must use a
659  * function of your own because "FILE *" isn't necessarily available.
660  */
661 void PNGAPI
662 png_init_io(png_structrp png_ptr, png_FILE_p fp)
663 {
664    png_debug(1, "in png_init_io");
665
666    if (png_ptr == NULL)
667       return;
668
669    png_ptr->io_ptr = (png_voidp)fp;
670 }
671 #  endif
672
673 #ifdef PNG_SAVE_INT_32_SUPPORTED
674 /* The png_save_int_32 function assumes integers are stored in two's
675  * complement format.  If this isn't the case, then this routine needs to
676  * be modified to write data in two's complement format.  Note that,
677  * the following works correctly even if png_int_32 has more than 32 bits
678  * (compare the more complex code required on read for sign extension.)
679  */
680 void PNGAPI
681 png_save_int_32(png_bytep buf, png_int_32 i)
682 {
683    buf[0] = (png_byte)((i >> 24) & 0xff);
684    buf[1] = (png_byte)((i >> 16) & 0xff);
685    buf[2] = (png_byte)((i >> 8) & 0xff);
686    buf[3] = (png_byte)(i & 0xff);
687 }
688 #endif
689
690 #  ifdef PNG_TIME_RFC1123_SUPPORTED
691 /* Convert the supplied time into an RFC 1123 string suitable for use in
692  * a "Creation Time" or other text-based time string.
693  */
694 int PNGAPI
695 png_convert_to_rfc1123_buffer(char out[29], png_const_timep ptime)
696 {
697    static PNG_CONST char short_months[12][4] =
698         {"Jan", "Feb", "Mar", "Apr", "May", "Jun",
699          "Jul", "Aug", "Sep", "Oct", "Nov", "Dec"};
700
701    if (out == NULL)
702       return 0;
703
704    if (ptime->year > 9999 /* RFC1123 limitation */ ||
705        ptime->month == 0    ||  ptime->month > 12  ||
706        ptime->day   == 0    ||  ptime->day   > 31  ||
707        ptime->hour  > 23    ||  ptime->minute > 59 ||
708        ptime->second > 60)
709       return 0;
710
711    {
712       size_t pos = 0;
713       char number_buf[5]; /* enough for a four-digit year */
714
715 #     define APPEND_STRING(string) pos = png_safecat(out, 29, pos, (string))
716 #     define APPEND_NUMBER(format, value)\
717          APPEND_STRING(PNG_FORMAT_NUMBER(number_buf, format, (value)))
718 #     define APPEND(ch) if (pos < 28) out[pos++] = (ch)
719
720       APPEND_NUMBER(PNG_NUMBER_FORMAT_u, (unsigned)ptime->day);
721       APPEND(' ');
722       APPEND_STRING(short_months[(ptime->month - 1)]);
723       APPEND(' ');
724       APPEND_NUMBER(PNG_NUMBER_FORMAT_u, ptime->year);
725       APPEND(' ');
726       APPEND_NUMBER(PNG_NUMBER_FORMAT_02u, (unsigned)ptime->hour);
727       APPEND(':');
728       APPEND_NUMBER(PNG_NUMBER_FORMAT_02u, (unsigned)ptime->minute);
729       APPEND(':');
730       APPEND_NUMBER(PNG_NUMBER_FORMAT_02u, (unsigned)ptime->second);
731       APPEND_STRING(" +0000"); /* This reliably terminates the buffer */
732
733 #     undef APPEND
734 #     undef APPEND_NUMBER
735 #     undef APPEND_STRING
736    }
737
738    return 1;
739 }
740
741 #     if PNG_LIBPNG_VER < 10700
742 /* To do: remove the following from libpng-1.7 */
743 /* Original API that uses a private buffer in png_struct.
744  * Deprecated because it causes png_struct to carry a spurious temporary
745  * buffer (png_struct::time_buffer), better to have the caller pass this in.
746  */
747 png_const_charp PNGAPI
748 png_convert_to_rfc1123(png_structrp png_ptr, png_const_timep ptime)
749 {
750    if (png_ptr != NULL)
751    {
752       /* The only failure above if png_ptr != NULL is from an invalid ptime */
753       if (!png_convert_to_rfc1123_buffer(png_ptr->time_buffer, ptime))
754          png_warning(png_ptr, "Ignoring invalid time value");
755
756       else
757          return png_ptr->time_buffer;
758    }
759
760    return NULL;
761 }
762 #     endif
763 #  endif /* PNG_TIME_RFC1123_SUPPORTED */
764
765 #endif /* defined(PNG_READ_SUPPORTED) || defined(PNG_WRITE_SUPPORTED) */
766
767 png_const_charp PNGAPI
768 png_get_copyright(png_const_structrp png_ptr)
769 {
770    PNG_UNUSED(png_ptr)  /* Silence compiler warning about unused png_ptr */
771 #ifdef PNG_STRING_COPYRIGHT
772    return PNG_STRING_COPYRIGHT
773 #else
774 #  ifdef __STDC__
775    return PNG_STRING_NEWLINE \
776      "libpng version 1.6.12 - June 12, 2014" PNG_STRING_NEWLINE \
777      "Copyright (c) 1998-2014 Glenn Randers-Pehrson" PNG_STRING_NEWLINE \
778      "Copyright (c) 1996-1997 Andreas Dilger" PNG_STRING_NEWLINE \
779      "Copyright (c) 1995-1996 Guy Eric Schalnat, Group 42, Inc." \
780      PNG_STRING_NEWLINE;
781 #  else
782       return "libpng version 1.6.12 - June 12, 2014\
783       Copyright (c) 1998-2014 Glenn Randers-Pehrson\
784       Copyright (c) 1996-1997 Andreas Dilger\
785       Copyright (c) 1995-1996 Guy Eric Schalnat, Group 42, Inc.";
786 #  endif
787 #endif
788 }
789
790 /* The following return the library version as a short string in the
791  * format 1.0.0 through 99.99.99zz.  To get the version of *.h files
792  * used with your application, print out PNG_LIBPNG_VER_STRING, which
793  * is defined in png.h.
794  * Note: now there is no difference between png_get_libpng_ver() and
795  * png_get_header_ver().  Due to the version_nn_nn_nn typedef guard,
796  * it is guaranteed that png.c uses the correct version of png.h.
797  */
798 png_const_charp PNGAPI
799 png_get_libpng_ver(png_const_structrp png_ptr)
800 {
801    /* Version of *.c files used when building libpng */
802    return png_get_header_ver(png_ptr);
803 }
804
805 png_const_charp PNGAPI
806 png_get_header_ver(png_const_structrp png_ptr)
807 {
808    /* Version of *.h files used when building libpng */
809    PNG_UNUSED(png_ptr)  /* Silence compiler warning about unused png_ptr */
810    return PNG_LIBPNG_VER_STRING;
811 }
812
813 png_const_charp PNGAPI
814 png_get_header_version(png_const_structrp png_ptr)
815 {
816    /* Returns longer string containing both version and date */
817    PNG_UNUSED(png_ptr)  /* Silence compiler warning about unused png_ptr */
818 #ifdef __STDC__
819    return PNG_HEADER_VERSION_STRING
820 #  ifndef PNG_READ_SUPPORTED
821    "     (NO READ SUPPORT)"
822 #  endif
823    PNG_STRING_NEWLINE;
824 #else
825    return PNG_HEADER_VERSION_STRING;
826 #endif
827 }
828
829 #ifdef PNG_BUILD_GRAYSCALE_PALETTE_SUPPORTED
830 /* NOTE: this routine is not used internally! */
831 /* Build a grayscale palette.  Palette is assumed to be 1 << bit_depth
832  * large of png_color.  This lets grayscale images be treated as
833  * paletted.  Most useful for gamma correction and simplification
834  * of code.  This API is not used internally.
835  */
836 void PNGAPI
837 png_build_grayscale_palette(int bit_depth, png_colorp palette)
838 {
839    int num_palette;
840    int color_inc;
841    int i;
842    int v;
843
844    png_debug(1, "in png_do_build_grayscale_palette");
845
846    if (palette == NULL)
847       return;
848
849    switch (bit_depth)
850    {
851       case 1:
852          num_palette = 2;
853          color_inc = 0xff;
854          break;
855
856       case 2:
857          num_palette = 4;
858          color_inc = 0x55;
859          break;
860
861       case 4:
862          num_palette = 16;
863          color_inc = 0x11;
864          break;
865
866       case 8:
867          num_palette = 256;
868          color_inc = 1;
869          break;
870
871       default:
872          num_palette = 0;
873          color_inc = 0;
874          break;
875    }
876
877    for (i = 0, v = 0; i < num_palette; i++, v += color_inc)
878    {
879       palette[i].red = (png_byte)v;
880       palette[i].green = (png_byte)v;
881       palette[i].blue = (png_byte)v;
882    }
883 }
884 #endif
885
886 #ifdef PNG_SET_UNKNOWN_CHUNKS_SUPPORTED
887 int PNGAPI
888 png_handle_as_unknown(png_const_structrp png_ptr, png_const_bytep chunk_name)
889 {
890    /* Check chunk_name and return "keep" value if it's on the list, else 0 */
891    png_const_bytep p, p_end;
892
893    if (png_ptr == NULL || chunk_name == NULL || png_ptr->num_chunk_list == 0)
894       return PNG_HANDLE_CHUNK_AS_DEFAULT;
895
896    p_end = png_ptr->chunk_list;
897    p = p_end + png_ptr->num_chunk_list*5; /* beyond end */
898
899    /* The code is the fifth byte after each four byte string.  Historically this
900     * code was always searched from the end of the list, this is no longer
901     * necessary because the 'set' routine handles duplicate entries correcty.
902     */
903    do /* num_chunk_list > 0, so at least one */
904    {
905       p -= 5;
906
907       if (!memcmp(chunk_name, p, 4))
908          return p[4];
909    }
910    while (p > p_end);
911
912    /* This means that known chunks should be processed and unknown chunks should
913     * be handled according to the value of png_ptr->unknown_default; this can be
914     * confusing because, as a result, there are two levels of defaulting for
915     * unknown chunks.
916     */
917    return PNG_HANDLE_CHUNK_AS_DEFAULT;
918 }
919
920 #if defined(PNG_READ_UNKNOWN_CHUNKS_SUPPORTED) ||\
921    defined(PNG_HANDLE_AS_UNKNOWN_SUPPORTED)
922 int /* PRIVATE */
923 png_chunk_unknown_handling(png_const_structrp png_ptr, png_uint_32 chunk_name)
924 {
925    png_byte chunk_string[5];
926
927    PNG_CSTRING_FROM_CHUNK(chunk_string, chunk_name);
928    return png_handle_as_unknown(png_ptr, chunk_string);
929 }
930 #endif /* READ_UNKNOWN_CHUNKS || HANDLE_AS_UNKNOWN */
931 #endif /* SET_UNKNOWN_CHUNKS */
932
933 #ifdef PNG_READ_SUPPORTED
934 /* This function, added to libpng-1.0.6g, is untested. */
935 int PNGAPI
936 png_reset_zstream(png_structrp png_ptr)
937 {
938    if (png_ptr == NULL)
939       return Z_STREAM_ERROR;
940
941    /* WARNING: this resets the window bits to the maximum! */
942    return (inflateReset(&png_ptr->zstream));
943 }
944 #endif /* PNG_READ_SUPPORTED */
945
946 /* This function was added to libpng-1.0.7 */
947 png_uint_32 PNGAPI
948 png_access_version_number(void)
949 {
950    /* Version of *.c files used when building libpng */
951    return((png_uint_32)PNG_LIBPNG_VER);
952 }
953
954
955
956 #if defined(PNG_READ_SUPPORTED) || defined(PNG_WRITE_SUPPORTED)
957 /* Ensure that png_ptr->zstream.msg holds some appropriate error message string.
958  * If it doesn't 'ret' is used to set it to something appropriate, even in cases
959  * like Z_OK or Z_STREAM_END where the error code is apparently a success code.
960  */
961 void /* PRIVATE */
962 png_zstream_error(png_structrp png_ptr, int ret)
963 {
964    /* Translate 'ret' into an appropriate error string, priority is given to the
965     * one in zstream if set.  This always returns a string, even in cases like
966     * Z_OK or Z_STREAM_END where the error code is a success code.
967     */
968    if (png_ptr->zstream.msg == NULL) switch (ret)
969    {
970       default:
971       case Z_OK:
972          png_ptr->zstream.msg = PNGZ_MSG_CAST("unexpected zlib return code");
973          break;
974
975       case Z_STREAM_END:
976          /* Normal exit */
977          png_ptr->zstream.msg = PNGZ_MSG_CAST("unexpected end of LZ stream");
978          break;
979
980       case Z_NEED_DICT:
981          /* This means the deflate stream did not have a dictionary; this
982           * indicates a bogus PNG.
983           */
984          png_ptr->zstream.msg = PNGZ_MSG_CAST("missing LZ dictionary");
985          break;
986
987       case Z_ERRNO:
988          /* gz APIs only: should not happen */
989          png_ptr->zstream.msg = PNGZ_MSG_CAST("zlib IO error");
990          break;
991
992       case Z_STREAM_ERROR:
993          /* internal libpng error */
994          png_ptr->zstream.msg = PNGZ_MSG_CAST("bad parameters to zlib");
995          break;
996
997       case Z_DATA_ERROR:
998          png_ptr->zstream.msg = PNGZ_MSG_CAST("damaged LZ stream");
999          break;
1000
1001       case Z_MEM_ERROR:
1002          png_ptr->zstream.msg = PNGZ_MSG_CAST("insufficient memory");
1003          break;
1004
1005       case Z_BUF_ERROR:
1006          /* End of input or output; not a problem if the caller is doing
1007           * incremental read or write.
1008           */
1009          png_ptr->zstream.msg = PNGZ_MSG_CAST("truncated");
1010          break;
1011
1012       case Z_VERSION_ERROR:
1013          png_ptr->zstream.msg = PNGZ_MSG_CAST("unsupported zlib version");
1014          break;
1015
1016       case PNG_UNEXPECTED_ZLIB_RETURN:
1017          /* Compile errors here mean that zlib now uses the value co-opted in
1018           * pngpriv.h for PNG_UNEXPECTED_ZLIB_RETURN; update the switch above
1019           * and change pngpriv.h.  Note that this message is "... return",
1020           * whereas the default/Z_OK one is "... return code".
1021           */
1022          png_ptr->zstream.msg = PNGZ_MSG_CAST("unexpected zlib return");
1023          break;
1024    }
1025 }
1026
1027 /* png_convert_size: a PNGAPI but no longer in png.h, so deleted
1028  * at libpng 1.5.5!
1029  */
1030
1031 /* Added at libpng version 1.2.34 and 1.4.0 (moved from pngset.c) */
1032 #ifdef PNG_GAMMA_SUPPORTED /* always set if COLORSPACE */
1033 static int
1034 png_colorspace_check_gamma(png_const_structrp png_ptr,
1035    png_colorspacerp colorspace, png_fixed_point gAMA, int from)
1036    /* This is called to check a new gamma value against an existing one.  The
1037     * routine returns false if the new gamma value should not be written.
1038     *
1039     * 'from' says where the new gamma value comes from:
1040     *
1041     *    0: the new gamma value is the libpng estimate for an ICC profile
1042     *    1: the new gamma value comes from a gAMA chunk
1043     *    2: the new gamma value comes from an sRGB chunk
1044     */
1045 {
1046    png_fixed_point gtest;
1047
1048    if ((colorspace->flags & PNG_COLORSPACE_HAVE_GAMMA) != 0 &&
1049       (!png_muldiv(&gtest, colorspace->gamma, PNG_FP_1, gAMA) ||
1050       png_gamma_significant(gtest)))
1051    {
1052       /* Either this is an sRGB image, in which case the calculated gamma
1053        * approximation should match, or this is an image with a profile and the
1054        * value libpng calculates for the gamma of the profile does not match the
1055        * value recorded in the file.  The former, sRGB, case is an error, the
1056        * latter is just a warning.
1057        */
1058       if ((colorspace->flags & PNG_COLORSPACE_FROM_sRGB) != 0 || from == 2)
1059       {
1060          png_chunk_report(png_ptr, "gamma value does not match sRGB",
1061             PNG_CHUNK_ERROR);
1062          /* Do not overwrite an sRGB value */
1063          return from == 2;
1064       }
1065
1066       else /* sRGB tag not involved */
1067       {
1068          png_chunk_report(png_ptr, "gamma value does not match libpng estimate",
1069             PNG_CHUNK_WARNING);
1070          return from == 1;
1071       }
1072    }
1073
1074    return 1;
1075 }
1076
1077 void /* PRIVATE */
1078 png_colorspace_set_gamma(png_const_structrp png_ptr,
1079    png_colorspacerp colorspace, png_fixed_point gAMA)
1080 {
1081    /* Changed in libpng-1.5.4 to limit the values to ensure overflow can't
1082     * occur.  Since the fixed point representation is assymetrical it is
1083     * possible for 1/gamma to overflow the limit of 21474 and this means the
1084     * gamma value must be at least 5/100000 and hence at most 20000.0.  For
1085     * safety the limits here are a little narrower.  The values are 0.00016 to
1086     * 6250.0, which are truly ridiculous gamma values (and will produce
1087     * displays that are all black or all white.)
1088     *
1089     * In 1.6.0 this test replaces the ones in pngrutil.c, in the gAMA chunk
1090     * handling code, which only required the value to be >0.
1091     */
1092    png_const_charp errmsg;
1093
1094    if (gAMA < 16 || gAMA > 625000000)
1095       errmsg = "gamma value out of range";
1096
1097 #  ifdef PNG_READ_gAMA_SUPPORTED
1098       /* Allow the application to set the gamma value more than once */
1099       else if ((png_ptr->mode & PNG_IS_READ_STRUCT) != 0 &&
1100          (colorspace->flags & PNG_COLORSPACE_FROM_gAMA) != 0)
1101          errmsg = "duplicate";
1102 #  endif
1103
1104    /* Do nothing if the colorspace is already invalid */
1105    else if (colorspace->flags & PNG_COLORSPACE_INVALID)
1106       return;
1107
1108    else
1109    {
1110       if (png_colorspace_check_gamma(png_ptr, colorspace, gAMA, 1/*from gAMA*/))
1111       {
1112          /* Store this gamma value. */
1113          colorspace->gamma = gAMA;
1114          colorspace->flags |=
1115             (PNG_COLORSPACE_HAVE_GAMMA | PNG_COLORSPACE_FROM_gAMA);
1116       }
1117
1118       /* At present if the check_gamma test fails the gamma of the colorspace is
1119        * not updated however the colorspace is not invalidated.  This
1120        * corresponds to the case where the existing gamma comes from an sRGB
1121        * chunk or profile.  An error message has already been output.
1122        */
1123       return;
1124    }
1125
1126    /* Error exit - errmsg has been set. */
1127    colorspace->flags |= PNG_COLORSPACE_INVALID;
1128    png_chunk_report(png_ptr, errmsg, PNG_CHUNK_WRITE_ERROR);
1129 }
1130
1131 void /* PRIVATE */
1132 png_colorspace_sync_info(png_const_structrp png_ptr, png_inforp info_ptr)
1133 {
1134    if (info_ptr->colorspace.flags & PNG_COLORSPACE_INVALID)
1135    {
1136       /* Everything is invalid */
1137       info_ptr->valid &= ~(PNG_INFO_gAMA|PNG_INFO_cHRM|PNG_INFO_sRGB|
1138          PNG_INFO_iCCP);
1139
1140 #     ifdef PNG_COLORSPACE_SUPPORTED
1141          /* Clean up the iCCP profile now if it won't be used. */
1142          png_free_data(png_ptr, info_ptr, PNG_FREE_ICCP, -1/*not used*/);
1143 #     else
1144          PNG_UNUSED(png_ptr)
1145 #     endif
1146    }
1147
1148    else
1149    {
1150 #     ifdef PNG_COLORSPACE_SUPPORTED
1151          /* Leave the INFO_iCCP flag set if the pngset.c code has already set
1152           * it; this allows a PNG to contain a profile which matches sRGB and
1153           * yet still have that profile retrievable by the application.
1154           */
1155          if (info_ptr->colorspace.flags & PNG_COLORSPACE_MATCHES_sRGB)
1156             info_ptr->valid |= PNG_INFO_sRGB;
1157
1158          else
1159             info_ptr->valid &= ~PNG_INFO_sRGB;
1160
1161          if (info_ptr->colorspace.flags & PNG_COLORSPACE_HAVE_ENDPOINTS)
1162             info_ptr->valid |= PNG_INFO_cHRM;
1163
1164          else
1165             info_ptr->valid &= ~PNG_INFO_cHRM;
1166 #     endif
1167
1168       if (info_ptr->colorspace.flags & PNG_COLORSPACE_HAVE_GAMMA)
1169          info_ptr->valid |= PNG_INFO_gAMA;
1170
1171       else
1172          info_ptr->valid &= ~PNG_INFO_gAMA;
1173    }
1174 }
1175
1176 #ifdef PNG_READ_SUPPORTED
1177 void /* PRIVATE */
1178 png_colorspace_sync(png_const_structrp png_ptr, png_inforp info_ptr)
1179 {
1180    if (info_ptr == NULL) /* reduce code size; check here not in the caller */
1181       return;
1182
1183    info_ptr->colorspace = png_ptr->colorspace;
1184    png_colorspace_sync_info(png_ptr, info_ptr);
1185 }
1186 #endif
1187 #endif
1188
1189 #ifdef PNG_COLORSPACE_SUPPORTED
1190 /* Added at libpng-1.5.5 to support read and write of true CIEXYZ values for
1191  * cHRM, as opposed to using chromaticities.  These internal APIs return
1192  * non-zero on a parameter error.  The X, Y and Z values are required to be
1193  * positive and less than 1.0.
1194  */
1195 static int
1196 png_xy_from_XYZ(png_xy *xy, const png_XYZ *XYZ)
1197 {
1198    png_int_32 d, dwhite, whiteX, whiteY;
1199
1200    d = XYZ->red_X + XYZ->red_Y + XYZ->red_Z;
1201    if (!png_muldiv(&xy->redx, XYZ->red_X, PNG_FP_1, d)) return 1;
1202    if (!png_muldiv(&xy->redy, XYZ->red_Y, PNG_FP_1, d)) return 1;
1203    dwhite = d;
1204    whiteX = XYZ->red_X;
1205    whiteY = XYZ->red_Y;
1206
1207    d = XYZ->green_X + XYZ->green_Y + XYZ->green_Z;
1208    if (!png_muldiv(&xy->greenx, XYZ->green_X, PNG_FP_1, d)) return 1;
1209    if (!png_muldiv(&xy->greeny, XYZ->green_Y, PNG_FP_1, d)) return 1;
1210    dwhite += d;
1211    whiteX += XYZ->green_X;
1212    whiteY += XYZ->green_Y;
1213
1214    d = XYZ->blue_X + XYZ->blue_Y + XYZ->blue_Z;
1215    if (!png_muldiv(&xy->bluex, XYZ->blue_X, PNG_FP_1, d)) return 1;
1216    if (!png_muldiv(&xy->bluey, XYZ->blue_Y, PNG_FP_1, d)) return 1;
1217    dwhite += d;
1218    whiteX += XYZ->blue_X;
1219    whiteY += XYZ->blue_Y;
1220
1221    /* The reference white is simply the sum of the end-point (X,Y,Z) vectors,
1222     * thus:
1223     */
1224    if (!png_muldiv(&xy->whitex, whiteX, PNG_FP_1, dwhite)) return 1;
1225    if (!png_muldiv(&xy->whitey, whiteY, PNG_FP_1, dwhite)) return 1;
1226
1227    return 0;
1228 }
1229
1230 static int
1231 png_XYZ_from_xy(png_XYZ *XYZ, const png_xy *xy)
1232 {
1233    png_fixed_point red_inverse, green_inverse, blue_scale;
1234    png_fixed_point left, right, denominator;
1235
1236    /* Check xy and, implicitly, z.  Note that wide gamut color spaces typically
1237     * have end points with 0 tristimulus values (these are impossible end
1238     * points, but they are used to cover the possible colors.)
1239     */
1240    if (xy->redx < 0 || xy->redx > PNG_FP_1) return 1;
1241    if (xy->redy < 0 || xy->redy > PNG_FP_1-xy->redx) return 1;
1242    if (xy->greenx < 0 || xy->greenx > PNG_FP_1) return 1;
1243    if (xy->greeny < 0 || xy->greeny > PNG_FP_1-xy->greenx) return 1;
1244    if (xy->bluex < 0 || xy->bluex > PNG_FP_1) return 1;
1245    if (xy->bluey < 0 || xy->bluey > PNG_FP_1-xy->bluex) return 1;
1246    if (xy->whitex < 0 || xy->whitex > PNG_FP_1) return 1;
1247    if (xy->whitey < 0 || xy->whitey > PNG_FP_1-xy->whitex) return 1;
1248
1249    /* The reverse calculation is more difficult because the original tristimulus
1250     * value had 9 independent values (red,green,blue)x(X,Y,Z) however only 8
1251     * derived values were recorded in the cHRM chunk;
1252     * (red,green,blue,white)x(x,y).  This loses one degree of freedom and
1253     * therefore an arbitrary ninth value has to be introduced to undo the
1254     * original transformations.
1255     *
1256     * Think of the original end-points as points in (X,Y,Z) space.  The
1257     * chromaticity values (c) have the property:
1258     *
1259     *           C
1260     *   c = ---------
1261     *       X + Y + Z
1262     *
1263     * For each c (x,y,z) from the corresponding original C (X,Y,Z).  Thus the
1264     * three chromaticity values (x,y,z) for each end-point obey the
1265     * relationship:
1266     *
1267     *   x + y + z = 1
1268     *
1269     * This describes the plane in (X,Y,Z) space that intersects each axis at the
1270     * value 1.0; call this the chromaticity plane.  Thus the chromaticity
1271     * calculation has scaled each end-point so that it is on the x+y+z=1 plane
1272     * and chromaticity is the intersection of the vector from the origin to the
1273     * (X,Y,Z) value with the chromaticity plane.
1274     *
1275     * To fully invert the chromaticity calculation we would need the three
1276     * end-point scale factors, (red-scale, green-scale, blue-scale), but these
1277     * were not recorded.  Instead we calculated the reference white (X,Y,Z) and
1278     * recorded the chromaticity of this.  The reference white (X,Y,Z) would have
1279     * given all three of the scale factors since:
1280     *
1281     *    color-C = color-c * color-scale
1282     *    white-C = red-C + green-C + blue-C
1283     *            = red-c*red-scale + green-c*green-scale + blue-c*blue-scale
1284     *
1285     * But cHRM records only white-x and white-y, so we have lost the white scale
1286     * factor:
1287     *
1288     *    white-C = white-c*white-scale
1289     *
1290     * To handle this the inverse transformation makes an arbitrary assumption
1291     * about white-scale:
1292     *
1293     *    Assume: white-Y = 1.0
1294     *    Hence:  white-scale = 1/white-y
1295     *    Or:     red-Y + green-Y + blue-Y = 1.0
1296     *
1297     * Notice the last statement of the assumption gives an equation in three of
1298     * the nine values we want to calculate.  8 more equations come from the
1299     * above routine as summarised at the top above (the chromaticity
1300     * calculation):
1301     *
1302     *    Given: color-x = color-X / (color-X + color-Y + color-Z)
1303     *    Hence: (color-x - 1)*color-X + color.x*color-Y + color.x*color-Z = 0
1304     *
1305     * This is 9 simultaneous equations in the 9 variables "color-C" and can be
1306     * solved by Cramer's rule.  Cramer's rule requires calculating 10 9x9 matrix
1307     * determinants, however this is not as bad as it seems because only 28 of
1308     * the total of 90 terms in the various matrices are non-zero.  Nevertheless
1309     * Cramer's rule is notoriously numerically unstable because the determinant
1310     * calculation involves the difference of large, but similar, numbers.  It is
1311     * difficult to be sure that the calculation is stable for real world values
1312     * and it is certain that it becomes unstable where the end points are close
1313     * together.
1314     *
1315     * So this code uses the perhaps slightly less optimal but more
1316     * understandable and totally obvious approach of calculating color-scale.
1317     *
1318     * This algorithm depends on the precision in white-scale and that is
1319     * (1/white-y), so we can immediately see that as white-y approaches 0 the
1320     * accuracy inherent in the cHRM chunk drops off substantially.
1321     *
1322     * libpng arithmetic: a simple invertion of the above equations
1323     * ------------------------------------------------------------
1324     *
1325     *    white_scale = 1/white-y
1326     *    white-X = white-x * white-scale
1327     *    white-Y = 1.0
1328     *    white-Z = (1 - white-x - white-y) * white_scale
1329     *
1330     *    white-C = red-C + green-C + blue-C
1331     *            = red-c*red-scale + green-c*green-scale + blue-c*blue-scale
1332     *
1333     * This gives us three equations in (red-scale,green-scale,blue-scale) where
1334     * all the coefficients are now known:
1335     *
1336     *    red-x*red-scale + green-x*green-scale + blue-x*blue-scale
1337     *       = white-x/white-y
1338     *    red-y*red-scale + green-y*green-scale + blue-y*blue-scale = 1
1339     *    red-z*red-scale + green-z*green-scale + blue-z*blue-scale
1340     *       = (1 - white-x - white-y)/white-y
1341     *
1342     * In the last equation color-z is (1 - color-x - color-y) so we can add all
1343     * three equations together to get an alternative third:
1344     *
1345     *    red-scale + green-scale + blue-scale = 1/white-y = white-scale
1346     *
1347     * So now we have a Cramer's rule solution where the determinants are just
1348     * 3x3 - far more tractible.  Unfortunately 3x3 determinants still involve
1349     * multiplication of three coefficients so we can't guarantee to avoid
1350     * overflow in the libpng fixed point representation.  Using Cramer's rule in
1351     * floating point is probably a good choice here, but it's not an option for
1352     * fixed point.  Instead proceed to simplify the first two equations by
1353     * eliminating what is likely to be the largest value, blue-scale:
1354     *
1355     *    blue-scale = white-scale - red-scale - green-scale
1356     *
1357     * Hence:
1358     *
1359     *    (red-x - blue-x)*red-scale + (green-x - blue-x)*green-scale =
1360     *                (white-x - blue-x)*white-scale
1361     *
1362     *    (red-y - blue-y)*red-scale + (green-y - blue-y)*green-scale =
1363     *                1 - blue-y*white-scale
1364     *
1365     * And now we can trivially solve for (red-scale,green-scale):
1366     *
1367     *    green-scale =
1368     *                (white-x - blue-x)*white-scale - (red-x - blue-x)*red-scale
1369     *                -----------------------------------------------------------
1370     *                                  green-x - blue-x
1371     *
1372     *    red-scale =
1373     *                1 - blue-y*white-scale - (green-y - blue-y) * green-scale
1374     *                ---------------------------------------------------------
1375     *                                  red-y - blue-y
1376     *
1377     * Hence:
1378     *
1379     *    red-scale =
1380     *          ( (green-x - blue-x) * (white-y - blue-y) -
1381     *            (green-y - blue-y) * (white-x - blue-x) ) / white-y
1382     * -------------------------------------------------------------------------
1383     *  (green-x - blue-x)*(red-y - blue-y)-(green-y - blue-y)*(red-x - blue-x)
1384     *
1385     *    green-scale =
1386     *          ( (red-y - blue-y) * (white-x - blue-x) -
1387     *            (red-x - blue-x) * (white-y - blue-y) ) / white-y
1388     * -------------------------------------------------------------------------
1389     *  (green-x - blue-x)*(red-y - blue-y)-(green-y - blue-y)*(red-x - blue-x)
1390     *
1391     * Accuracy:
1392     * The input values have 5 decimal digits of accuracy.  The values are all in
1393     * the range 0 < value < 1, so simple products are in the same range but may
1394     * need up to 10 decimal digits to preserve the original precision and avoid
1395     * underflow.  Because we are using a 32-bit signed representation we cannot
1396     * match this; the best is a little over 9 decimal digits, less than 10.
1397     *
1398     * The approach used here is to preserve the maximum precision within the
1399     * signed representation.  Because the red-scale calculation above uses the
1400     * difference between two products of values that must be in the range -1..+1
1401     * it is sufficient to divide the product by 7; ceil(100,000/32767*2).  The
1402     * factor is irrelevant in the calculation because it is applied to both
1403     * numerator and denominator.
1404     *
1405     * Note that the values of the differences of the products of the
1406     * chromaticities in the above equations tend to be small, for example for
1407     * the sRGB chromaticities they are:
1408     *
1409     * red numerator:    -0.04751
1410     * green numerator:  -0.08788
1411     * denominator:      -0.2241 (without white-y multiplication)
1412     *
1413     *  The resultant Y coefficients from the chromaticities of some widely used
1414     *  color space definitions are (to 15 decimal places):
1415     *
1416     *  sRGB
1417     *    0.212639005871510 0.715168678767756 0.072192315360734
1418     *  Kodak ProPhoto
1419     *    0.288071128229293 0.711843217810102 0.000085653960605
1420     *  Adobe RGB
1421     *    0.297344975250536 0.627363566255466 0.075291458493998
1422     *  Adobe Wide Gamut RGB
1423     *    0.258728243040113 0.724682314948566 0.016589442011321
1424     */
1425    /* By the argument, above overflow should be impossible here. The return
1426     * value of 2 indicates an internal error to the caller.
1427     */
1428    if (!png_muldiv(&left, xy->greenx-xy->bluex, xy->redy - xy->bluey, 7))
1429       return 2;
1430    if (!png_muldiv(&right, xy->greeny-xy->bluey, xy->redx - xy->bluex, 7))
1431       return 2;
1432    denominator = left - right;
1433
1434    /* Now find the red numerator. */
1435    if (!png_muldiv(&left, xy->greenx-xy->bluex, xy->whitey-xy->bluey, 7))
1436       return 2;
1437    if (!png_muldiv(&right, xy->greeny-xy->bluey, xy->whitex-xy->bluex, 7))
1438       return 2;
1439
1440    /* Overflow is possible here and it indicates an extreme set of PNG cHRM
1441     * chunk values.  This calculation actually returns the reciprocal of the
1442     * scale value because this allows us to delay the multiplication of white-y
1443     * into the denominator, which tends to produce a small number.
1444     */
1445    if (!png_muldiv(&red_inverse, xy->whitey, denominator, left-right) ||
1446        red_inverse <= xy->whitey /* r+g+b scales = white scale */)
1447       return 1;
1448
1449    /* Similarly for green_inverse: */
1450    if (!png_muldiv(&left, xy->redy-xy->bluey, xy->whitex-xy->bluex, 7))
1451       return 2;
1452    if (!png_muldiv(&right, xy->redx-xy->bluex, xy->whitey-xy->bluey, 7))
1453       return 2;
1454    if (!png_muldiv(&green_inverse, xy->whitey, denominator, left-right) ||
1455        green_inverse <= xy->whitey)
1456       return 1;
1457
1458    /* And the blue scale, the checks above guarantee this can't overflow but it
1459     * can still produce 0 for extreme cHRM values.
1460     */
1461    blue_scale = png_reciprocal(xy->whitey) - png_reciprocal(red_inverse) -
1462       png_reciprocal(green_inverse);
1463    if (blue_scale <= 0) return 1;
1464
1465
1466    /* And fill in the png_XYZ: */
1467    if (!png_muldiv(&XYZ->red_X, xy->redx, PNG_FP_1, red_inverse)) return 1;
1468    if (!png_muldiv(&XYZ->red_Y, xy->redy, PNG_FP_1, red_inverse)) return 1;
1469    if (!png_muldiv(&XYZ->red_Z, PNG_FP_1 - xy->redx - xy->redy, PNG_FP_1,
1470       red_inverse))
1471       return 1;
1472
1473    if (!png_muldiv(&XYZ->green_X, xy->greenx, PNG_FP_1, green_inverse))
1474       return 1;
1475    if (!png_muldiv(&XYZ->green_Y, xy->greeny, PNG_FP_1, green_inverse))
1476       return 1;
1477    if (!png_muldiv(&XYZ->green_Z, PNG_FP_1 - xy->greenx - xy->greeny, PNG_FP_1,
1478       green_inverse))
1479       return 1;
1480
1481    if (!png_muldiv(&XYZ->blue_X, xy->bluex, blue_scale, PNG_FP_1)) return 1;
1482    if (!png_muldiv(&XYZ->blue_Y, xy->bluey, blue_scale, PNG_FP_1)) return 1;
1483    if (!png_muldiv(&XYZ->blue_Z, PNG_FP_1 - xy->bluex - xy->bluey, blue_scale,
1484       PNG_FP_1))
1485       return 1;
1486
1487    return 0; /*success*/
1488 }
1489
1490 static int
1491 png_XYZ_normalize(png_XYZ *XYZ)
1492 {
1493    png_int_32 Y;
1494
1495    if (XYZ->red_Y < 0 || XYZ->green_Y < 0 || XYZ->blue_Y < 0 ||
1496       XYZ->red_X < 0 || XYZ->green_X < 0 || XYZ->blue_X < 0 ||
1497       XYZ->red_Z < 0 || XYZ->green_Z < 0 || XYZ->blue_Z < 0)
1498       return 1;
1499
1500    /* Normalize by scaling so the sum of the end-point Y values is PNG_FP_1.
1501     * IMPLEMENTATION NOTE: ANSI requires signed overflow not to occur, therefore
1502     * relying on addition of two positive values producing a negative one is not
1503     * safe.
1504     */
1505    Y = XYZ->red_Y;
1506    if (0x7fffffff - Y < XYZ->green_X) return 1;
1507    Y += XYZ->green_Y;
1508    if (0x7fffffff - Y < XYZ->blue_X) return 1;
1509    Y += XYZ->blue_Y;
1510
1511    if (Y != PNG_FP_1)
1512    {
1513       if (!png_muldiv(&XYZ->red_X, XYZ->red_X, PNG_FP_1, Y)) return 1;
1514       if (!png_muldiv(&XYZ->red_Y, XYZ->red_Y, PNG_FP_1, Y)) return 1;
1515       if (!png_muldiv(&XYZ->red_Z, XYZ->red_Z, PNG_FP_1, Y)) return 1;
1516
1517       if (!png_muldiv(&XYZ->green_X, XYZ->green_X, PNG_FP_1, Y)) return 1;
1518       if (!png_muldiv(&XYZ->green_Y, XYZ->green_Y, PNG_FP_1, Y)) return 1;
1519       if (!png_muldiv(&XYZ->green_Z, XYZ->green_Z, PNG_FP_1, Y)) return 1;
1520
1521       if (!png_muldiv(&XYZ->blue_X, XYZ->blue_X, PNG_FP_1, Y)) return 1;
1522       if (!png_muldiv(&XYZ->blue_Y, XYZ->blue_Y, PNG_FP_1, Y)) return 1;
1523       if (!png_muldiv(&XYZ->blue_Z, XYZ->blue_Z, PNG_FP_1, Y)) return 1;
1524    }
1525
1526    return 0;
1527 }
1528
1529 static int
1530 png_colorspace_endpoints_match(const png_xy *xy1, const png_xy *xy2, int delta)
1531 {
1532    /* Allow an error of +/-0.01 (absolute value) on each chromaticity */
1533    return !(PNG_OUT_OF_RANGE(xy1->whitex, xy2->whitex,delta) ||
1534       PNG_OUT_OF_RANGE(xy1->whitey, xy2->whitey,delta) ||
1535       PNG_OUT_OF_RANGE(xy1->redx,   xy2->redx,  delta) ||
1536       PNG_OUT_OF_RANGE(xy1->redy,   xy2->redy,  delta) ||
1537       PNG_OUT_OF_RANGE(xy1->greenx, xy2->greenx,delta) ||
1538       PNG_OUT_OF_RANGE(xy1->greeny, xy2->greeny,delta) ||
1539       PNG_OUT_OF_RANGE(xy1->bluex,  xy2->bluex, delta) ||
1540       PNG_OUT_OF_RANGE(xy1->bluey,  xy2->bluey, delta));
1541 }
1542
1543 /* Added in libpng-1.6.0, a different check for the validity of a set of cHRM
1544  * chunk chromaticities.  Earlier checks used to simply look for the overflow
1545  * condition (where the determinant of the matrix to solve for XYZ ends up zero
1546  * because the chromaticity values are not all distinct.)  Despite this it is
1547  * theoretically possible to produce chromaticities that are apparently valid
1548  * but that rapidly degrade to invalid, potentially crashing, sets because of
1549  * arithmetic inaccuracies when calculations are performed on them.  The new
1550  * check is to round-trip xy -> XYZ -> xy and then check that the result is
1551  * within a small percentage of the original.
1552  */
1553 static int
1554 png_colorspace_check_xy(png_XYZ *XYZ, const png_xy *xy)
1555 {
1556    int result;
1557    png_xy xy_test;
1558
1559    /* As a side-effect this routine also returns the XYZ endpoints. */
1560    result = png_XYZ_from_xy(XYZ, xy);
1561    if (result != 0) return result;
1562
1563    result = png_xy_from_XYZ(&xy_test, XYZ);
1564    if (result != 0) return result;
1565
1566    if (png_colorspace_endpoints_match(xy, &xy_test,
1567       5/*actually, the math is pretty accurate*/))
1568       return 0;
1569
1570    /* Too much slip */
1571    return 1;
1572 }
1573
1574 /* This is the check going the other way.  The XYZ is modified to normalize it
1575  * (another side-effect) and the xy chromaticities are returned.
1576  */
1577 static int
1578 png_colorspace_check_XYZ(png_xy *xy, png_XYZ *XYZ)
1579 {
1580    int result;
1581    png_XYZ XYZtemp;
1582
1583    result = png_XYZ_normalize(XYZ);
1584    if (result != 0) return result;
1585
1586    result = png_xy_from_XYZ(xy, XYZ);
1587    if (result != 0) return result;
1588
1589    XYZtemp = *XYZ;
1590    return png_colorspace_check_xy(&XYZtemp, xy);
1591 }
1592
1593 /* Used to check for an endpoint match against sRGB */
1594 static const png_xy sRGB_xy = /* From ITU-R BT.709-3 */
1595 {
1596    /* color      x       y */
1597    /* red   */ 64000, 33000,
1598    /* green */ 30000, 60000,
1599    /* blue  */ 15000,  6000,
1600    /* white */ 31270, 32900
1601 };
1602
1603 static int
1604 png_colorspace_set_xy_and_XYZ(png_const_structrp png_ptr,
1605    png_colorspacerp colorspace, const png_xy *xy, const png_XYZ *XYZ,
1606    int preferred)
1607 {
1608    if (colorspace->flags & PNG_COLORSPACE_INVALID)
1609       return 0;
1610
1611    /* The consistency check is performed on the chromaticities; this factors out
1612     * variations because of the normalization (or not) of the end point Y
1613     * values.
1614     */
1615    if (preferred < 2 && (colorspace->flags & PNG_COLORSPACE_HAVE_ENDPOINTS))
1616    {
1617       /* The end points must be reasonably close to any we already have.  The
1618        * following allows an error of up to +/-.001
1619        */
1620       if (!png_colorspace_endpoints_match(xy, &colorspace->end_points_xy, 100))
1621       {
1622          colorspace->flags |= PNG_COLORSPACE_INVALID;
1623          png_benign_error(png_ptr, "inconsistent chromaticities");
1624          return 0; /* failed */
1625       }
1626
1627       /* Only overwrite with preferred values */
1628       if (preferred == 0)
1629          return 1; /* ok, but no change */
1630    }
1631
1632    colorspace->end_points_xy = *xy;
1633    colorspace->end_points_XYZ = *XYZ;
1634    colorspace->flags |= PNG_COLORSPACE_HAVE_ENDPOINTS;
1635
1636    /* The end points are normally quoted to two decimal digits, so allow +/-0.01
1637     * on this test.
1638     */
1639    if (png_colorspace_endpoints_match(xy, &sRGB_xy, 1000))
1640       colorspace->flags |= PNG_COLORSPACE_ENDPOINTS_MATCH_sRGB;
1641
1642    else
1643       colorspace->flags &= PNG_COLORSPACE_CANCEL(
1644          PNG_COLORSPACE_ENDPOINTS_MATCH_sRGB);
1645
1646    return 2; /* ok and changed */
1647 }
1648
1649 int /* PRIVATE */
1650 png_colorspace_set_chromaticities(png_const_structrp png_ptr,
1651    png_colorspacerp colorspace, const png_xy *xy, int preferred)
1652 {
1653    /* We must check the end points to ensure they are reasonable - in the past
1654     * color management systems have crashed as a result of getting bogus
1655     * colorant values, while this isn't the fault of libpng it is the
1656     * responsibility of libpng because PNG carries the bomb and libpng is in a
1657     * position to protect against it.
1658     */
1659    png_XYZ XYZ;
1660
1661    switch (png_colorspace_check_xy(&XYZ, xy))
1662    {
1663       case 0: /* success */
1664          return png_colorspace_set_xy_and_XYZ(png_ptr, colorspace, xy, &XYZ,
1665             preferred);
1666
1667       case 1:
1668          /* We can't invert the chromaticities so we can't produce value XYZ
1669           * values.  Likely as not a color management system will fail too.
1670           */
1671          colorspace->flags |= PNG_COLORSPACE_INVALID;
1672          png_benign_error(png_ptr, "invalid chromaticities");
1673          break;
1674
1675       default:
1676          /* libpng is broken; this should be a warning but if it happens we
1677           * want error reports so for the moment it is an error.
1678           */
1679          colorspace->flags |= PNG_COLORSPACE_INVALID;
1680          png_error(png_ptr, "internal error checking chromaticities");
1681          break;
1682    }
1683
1684    return 0; /* failed */
1685 }
1686
1687 int /* PRIVATE */
1688 png_colorspace_set_endpoints(png_const_structrp png_ptr,
1689    png_colorspacerp colorspace, const png_XYZ *XYZ_in, int preferred)
1690 {
1691    png_XYZ XYZ = *XYZ_in;
1692    png_xy xy;
1693
1694    switch (png_colorspace_check_XYZ(&xy, &XYZ))
1695    {
1696       case 0:
1697          return png_colorspace_set_xy_and_XYZ(png_ptr, colorspace, &xy, &XYZ,
1698             preferred);
1699
1700       case 1:
1701          /* End points are invalid. */
1702          colorspace->flags |= PNG_COLORSPACE_INVALID;
1703          png_benign_error(png_ptr, "invalid end points");
1704          break;
1705
1706       default:
1707          colorspace->flags |= PNG_COLORSPACE_INVALID;
1708          png_error(png_ptr, "internal error checking chromaticities");
1709          break;
1710    }
1711
1712    return 0; /* failed */
1713 }
1714
1715 #if defined(PNG_sRGB_SUPPORTED) || defined(PNG_iCCP_SUPPORTED)
1716 /* Error message generation */
1717 static char
1718 png_icc_tag_char(png_uint_32 byte)
1719 {
1720    byte &= 0xff;
1721    if (byte >= 32 && byte <= 126)
1722       return (char)byte;
1723    else
1724       return '?';
1725 }
1726
1727 static void
1728 png_icc_tag_name(char *name, png_uint_32 tag)
1729 {
1730    name[0] = '\'';
1731    name[1] = png_icc_tag_char(tag >> 24);
1732    name[2] = png_icc_tag_char(tag >> 16);
1733    name[3] = png_icc_tag_char(tag >>  8);
1734    name[4] = png_icc_tag_char(tag      );
1735    name[5] = '\'';
1736 }
1737
1738 static int
1739 is_ICC_signature_char(png_alloc_size_t it)
1740 {
1741    return it == 32 || (it >= 48 && it <= 57) || (it >= 65 && it <= 90) ||
1742       (it >= 97 && it <= 122);
1743 }
1744
1745 static int
1746 is_ICC_signature(png_alloc_size_t it)
1747 {
1748    return is_ICC_signature_char(it >> 24) /* checks all the top bits */ &&
1749       is_ICC_signature_char((it >> 16) & 0xff) &&
1750       is_ICC_signature_char((it >> 8) & 0xff) &&
1751       is_ICC_signature_char(it & 0xff);
1752 }
1753
1754 static int
1755 png_icc_profile_error(png_const_structrp png_ptr, png_colorspacerp colorspace,
1756    png_const_charp name, png_alloc_size_t value, png_const_charp reason)
1757 {
1758    size_t pos;
1759    char message[196]; /* see below for calculation */
1760
1761    if (colorspace != NULL)
1762       colorspace->flags |= PNG_COLORSPACE_INVALID;
1763
1764    pos = png_safecat(message, (sizeof message), 0, "profile '"); /* 9 chars */
1765    pos = png_safecat(message, pos+79, pos, name); /* Truncate to 79 chars */
1766    pos = png_safecat(message, (sizeof message), pos, "': "); /* +2 = 90 */
1767    if (is_ICC_signature(value))
1768    {
1769       /* So 'value' is at most 4 bytes and the following cast is safe */
1770       png_icc_tag_name(message+pos, (png_uint_32)value);
1771       pos += 6; /* total +8; less than the else clause */
1772       message[pos++] = ':';
1773       message[pos++] = ' ';
1774    }
1775 #  ifdef PNG_WARNINGS_SUPPORTED
1776    else
1777       {
1778          char number[PNG_NUMBER_BUFFER_SIZE]; /* +24 = 114*/
1779
1780          pos = png_safecat(message, (sizeof message), pos,
1781             png_format_number(number, number+(sizeof number),
1782                PNG_NUMBER_FORMAT_x, value));
1783          pos = png_safecat(message, (sizeof message), pos, "h: "); /*+2 = 116*/
1784       }
1785 #  endif
1786    /* The 'reason' is an arbitrary message, allow +79 maximum 195 */
1787    pos = png_safecat(message, (sizeof message), pos, reason);
1788    PNG_UNUSED(pos)
1789
1790    /* This is recoverable, but make it unconditionally an app_error on write to
1791     * avoid writing invalid ICC profiles into PNG files.  (I.e.  we handle them
1792     * on read, with a warning, but on write unless the app turns off
1793     * application errors the PNG won't be written.)
1794     */
1795    png_chunk_report(png_ptr, message,
1796       (colorspace != NULL) ? PNG_CHUNK_ERROR : PNG_CHUNK_WRITE_ERROR);
1797
1798    return 0;
1799 }
1800 #endif /* sRGB || iCCP */
1801
1802 #ifdef PNG_sRGB_SUPPORTED
1803 int /* PRIVATE */
1804 png_colorspace_set_sRGB(png_const_structrp png_ptr, png_colorspacerp colorspace,
1805    int intent)
1806 {
1807    /* sRGB sets known gamma, end points and (from the chunk) intent. */
1808    /* IMPORTANT: these are not necessarily the values found in an ICC profile
1809     * because ICC profiles store values adapted to a D50 environment; it is
1810     * expected that the ICC profile mediaWhitePointTag will be D50, see the
1811     * checks and code elsewhere to understand this better.
1812     *
1813     * These XYZ values, which are accurate to 5dp, produce rgb to gray
1814     * coefficients of (6968,23435,2366), which are reduced (because they add up
1815     * to 32769 not 32768) to (6968,23434,2366).  These are the values that
1816     * libpng has traditionally used (and are the best values given the 15bit
1817     * algorithm used by the rgb to gray code.)
1818     */
1819    static const png_XYZ sRGB_XYZ = /* D65 XYZ (*not* the D50 adapted values!) */
1820    {
1821       /* color      X      Y      Z */
1822       /* red   */ 41239, 21264,  1933,
1823       /* green */ 35758, 71517, 11919,
1824       /* blue  */ 18048,  7219, 95053
1825    };
1826
1827    /* Do nothing if the colorspace is already invalidated. */
1828    if (colorspace->flags & PNG_COLORSPACE_INVALID)
1829       return 0;
1830
1831    /* Check the intent, then check for existing settings.  It is valid for the
1832     * PNG file to have cHRM or gAMA chunks along with sRGB, but the values must
1833     * be consistent with the correct values.  If, however, this function is
1834     * called below because an iCCP chunk matches sRGB then it is quite
1835     * conceivable that an older app recorded incorrect gAMA and cHRM because of
1836     * an incorrect calculation based on the values in the profile - this does
1837     * *not* invalidate the profile (though it still produces an error, which can
1838     * be ignored.)
1839     */
1840    if (intent < 0 || intent >= PNG_sRGB_INTENT_LAST)
1841       return png_icc_profile_error(png_ptr, colorspace, "sRGB",
1842          (unsigned)intent, "invalid sRGB rendering intent");
1843
1844    if ((colorspace->flags & PNG_COLORSPACE_HAVE_INTENT) != 0 &&
1845       colorspace->rendering_intent != intent)
1846       return png_icc_profile_error(png_ptr, colorspace, "sRGB",
1847          (unsigned)intent, "inconsistent rendering intents");
1848
1849    if ((colorspace->flags & PNG_COLORSPACE_FROM_sRGB) != 0)
1850    {
1851       png_benign_error(png_ptr, "duplicate sRGB information ignored");
1852       return 0;
1853    }
1854
1855    /* If the standard sRGB cHRM chunk does not match the one from the PNG file
1856     * warn but overwrite the value with the correct one.
1857     */
1858    if ((colorspace->flags & PNG_COLORSPACE_HAVE_ENDPOINTS) != 0 &&
1859       !png_colorspace_endpoints_match(&sRGB_xy, &colorspace->end_points_xy,
1860          100))
1861       png_chunk_report(png_ptr, "cHRM chunk does not match sRGB",
1862          PNG_CHUNK_ERROR);
1863
1864    /* This check is just done for the error reporting - the routine always
1865     * returns true when the 'from' argument corresponds to sRGB (2).
1866     */
1867    (void)png_colorspace_check_gamma(png_ptr, colorspace, PNG_GAMMA_sRGB_INVERSE,
1868       2/*from sRGB*/);
1869
1870    /* intent: bugs in GCC force 'int' to be used as the parameter type. */
1871    colorspace->rendering_intent = (png_uint_16)intent;
1872    colorspace->flags |= PNG_COLORSPACE_HAVE_INTENT;
1873
1874    /* endpoints */
1875    colorspace->end_points_xy = sRGB_xy;
1876    colorspace->end_points_XYZ = sRGB_XYZ;
1877    colorspace->flags |=
1878       (PNG_COLORSPACE_HAVE_ENDPOINTS|PNG_COLORSPACE_ENDPOINTS_MATCH_sRGB);
1879
1880    /* gamma */
1881    colorspace->gamma = PNG_GAMMA_sRGB_INVERSE;
1882    colorspace->flags |= PNG_COLORSPACE_HAVE_GAMMA;
1883
1884    /* Finally record that we have an sRGB profile */
1885    colorspace->flags |=
1886       (PNG_COLORSPACE_MATCHES_sRGB|PNG_COLORSPACE_FROM_sRGB);
1887
1888    return 1; /* set */
1889 }
1890 #endif /* sRGB */
1891
1892 #ifdef PNG_iCCP_SUPPORTED
1893 /* Encoded value of D50 as an ICC XYZNumber.  From the ICC 2010 spec the value
1894  * is XYZ(0.9642,1.0,0.8249), which scales to:
1895  *
1896  *    (63189.8112, 65536, 54060.6464)
1897  */
1898 static const png_byte D50_nCIEXYZ[12] =
1899    { 0x00, 0x00, 0xf6, 0xd6, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0xd3, 0x2d };
1900
1901 int /* PRIVATE */
1902 png_icc_check_length(png_const_structrp png_ptr, png_colorspacerp colorspace,
1903    png_const_charp name, png_uint_32 profile_length)
1904 {
1905    if (profile_length < 132)
1906       return png_icc_profile_error(png_ptr, colorspace, name, profile_length,
1907          "too short");
1908
1909    return 1;
1910 }
1911
1912 int /* PRIVATE */
1913 png_icc_check_header(png_const_structrp png_ptr, png_colorspacerp colorspace,
1914    png_const_charp name, png_uint_32 profile_length,
1915    png_const_bytep profile/* first 132 bytes only */, int color_type)
1916 {
1917    png_uint_32 temp;
1918
1919    /* Length check; this cannot be ignored in this code because profile_length
1920     * is used later to check the tag table, so even if the profile seems over
1921     * long profile_length from the caller must be correct.  The caller can fix
1922     * this up on read or write by just passing in the profile header length.
1923     */
1924    temp = png_get_uint_32(profile);
1925    if (temp != profile_length)
1926       return png_icc_profile_error(png_ptr, colorspace, name, temp,
1927          "length does not match profile");
1928
1929    temp = (png_uint_32) (*(profile+8));
1930    if (temp > 3 && (profile_length & 3))
1931       return png_icc_profile_error(png_ptr, colorspace, name, profile_length,
1932          "invalid length");
1933
1934    temp = png_get_uint_32(profile+128); /* tag count: 12 bytes/tag */
1935    if (temp > 357913930 || /* (2^32-4-132)/12: maximum possible tag count */
1936       profile_length < 132+12*temp) /* truncated tag table */
1937       return png_icc_profile_error(png_ptr, colorspace, name, temp,
1938          "tag count too large");
1939
1940    /* The 'intent' must be valid or we can't store it, ICC limits the intent to
1941     * 16 bits.
1942     */
1943    temp = png_get_uint_32(profile+64);
1944    if (temp >= 0xffff) /* The ICC limit */
1945       return png_icc_profile_error(png_ptr, colorspace, name, temp,
1946          "invalid rendering intent");
1947
1948    /* This is just a warning because the profile may be valid in future
1949     * versions.
1950     */
1951    if (temp >= PNG_sRGB_INTENT_LAST)
1952       (void)png_icc_profile_error(png_ptr, NULL, name, temp,
1953          "intent outside defined range");
1954
1955    /* At this point the tag table can't be checked because it hasn't necessarily
1956     * been loaded; however, various header fields can be checked.  These checks
1957     * are for values permitted by the PNG spec in an ICC profile; the PNG spec
1958     * restricts the profiles that can be passed in an iCCP chunk (they must be
1959     * appropriate to processing PNG data!)
1960     */
1961
1962    /* Data checks (could be skipped).  These checks must be independent of the
1963     * version number; however, the version number doesn't accomodate changes in
1964     * the header fields (just the known tags and the interpretation of the
1965     * data.)
1966     */
1967    temp = png_get_uint_32(profile+36); /* signature 'ascp' */
1968    if (temp != 0x61637370)
1969       return png_icc_profile_error(png_ptr, colorspace, name, temp,
1970          "invalid signature");
1971
1972    /* Currently the PCS illuminant/adopted white point (the computational
1973     * white point) are required to be D50,
1974     * however the profile contains a record of the illuminant so perhaps ICC
1975     * expects to be able to change this in the future (despite the rationale in
1976     * the introduction for using a fixed PCS adopted white.)  Consequently the
1977     * following is just a warning.
1978     */
1979    if (memcmp(profile+68, D50_nCIEXYZ, 12) != 0)
1980       (void)png_icc_profile_error(png_ptr, NULL, name, 0/*no tag value*/,
1981          "PCS illuminant is not D50");
1982
1983    /* The PNG spec requires this:
1984     * "If the iCCP chunk is present, the image samples conform to the colour
1985     * space represented by the embedded ICC profile as defined by the
1986     * International Color Consortium [ICC]. The colour space of the ICC profile
1987     * shall be an RGB colour space for colour images (PNG colour types 2, 3, and
1988     * 6), or a greyscale colour space for greyscale images (PNG colour types 0
1989     * and 4)."
1990     *
1991     * This checking code ensures the embedded profile (on either read or write)
1992     * conforms to the specification requirements.  Notice that an ICC 'gray'
1993     * color-space profile contains the information to transform the monochrome
1994     * data to XYZ or L*a*b (according to which PCS the profile uses) and this
1995     * should be used in preference to the standard libpng K channel replication
1996     * into R, G and B channels.
1997     *
1998     * Previously it was suggested that an RGB profile on grayscale data could be
1999     * handled.  However it it is clear that using an RGB profile in this context
2000     * must be an error - there is no specification of what it means.  Thus it is
2001     * almost certainly more correct to ignore the profile.
2002     */
2003    temp = png_get_uint_32(profile+16); /* data colour space field */
2004    switch (temp)
2005    {
2006       case 0x52474220: /* 'RGB ' */
2007          if (!(color_type & PNG_COLOR_MASK_COLOR))
2008             return png_icc_profile_error(png_ptr, colorspace, name, temp,
2009                "RGB color space not permitted on grayscale PNG");
2010          break;
2011
2012       case 0x47524159: /* 'GRAY' */
2013          if (color_type & PNG_COLOR_MASK_COLOR)
2014             return png_icc_profile_error(png_ptr, colorspace, name, temp,
2015                "Gray color space not permitted on RGB PNG");
2016          break;
2017
2018       default:
2019          return png_icc_profile_error(png_ptr, colorspace, name, temp,
2020             "invalid ICC profile color space");
2021    }
2022
2023    /* It is up to the application to check that the profile class matches the
2024     * application requirements; the spec provides no guidance, but it's pretty
2025     * weird if the profile is not scanner ('scnr'), monitor ('mntr'), printer
2026     * ('prtr') or 'spac' (for generic color spaces).  Issue a warning in these
2027     * cases.  Issue an error for device link or abstract profiles - these don't
2028     * contain the records necessary to transform the color-space to anything
2029     * other than the target device (and not even that for an abstract profile).
2030     * Profiles of these classes may not be embedded in images.
2031     */
2032    temp = png_get_uint_32(profile+12); /* profile/device class */
2033    switch (temp)
2034    {
2035       case 0x73636E72: /* 'scnr' */
2036       case 0x6D6E7472: /* 'mntr' */
2037       case 0x70727472: /* 'prtr' */
2038       case 0x73706163: /* 'spac' */
2039          /* All supported */
2040          break;
2041
2042       case 0x61627374: /* 'abst' */
2043          /* May not be embedded in an image */
2044          return png_icc_profile_error(png_ptr, colorspace, name, temp,
2045             "invalid embedded Abstract ICC profile");
2046
2047       case 0x6C696E6B: /* 'link' */
2048          /* DeviceLink profiles cannot be interpreted in a non-device specific
2049           * fashion, if an app uses the AToB0Tag in the profile the results are
2050           * undefined unless the result is sent to the intended device,
2051           * therefore a DeviceLink profile should not be found embedded in a
2052           * PNG.
2053           */
2054          return png_icc_profile_error(png_ptr, colorspace, name, temp,
2055             "unexpected DeviceLink ICC profile class");
2056
2057       case 0x6E6D636C: /* 'nmcl' */
2058          /* A NamedColor profile is also device specific, however it doesn't
2059           * contain an AToB0 tag that is open to misinterpretation.  Almost
2060           * certainly it will fail the tests below.
2061           */
2062          (void)png_icc_profile_error(png_ptr, NULL, name, temp,
2063             "unexpected NamedColor ICC profile class");
2064          break;
2065
2066       default:
2067          /* To allow for future enhancements to the profile accept unrecognized
2068           * profile classes with a warning, these then hit the test below on the
2069           * tag content to ensure they are backward compatible with one of the
2070           * understood profiles.
2071           */
2072          (void)png_icc_profile_error(png_ptr, NULL, name, temp,
2073             "unrecognized ICC profile class");
2074          break;
2075    }
2076
2077    /* For any profile other than a device link one the PCS must be encoded
2078     * either in XYZ or Lab.
2079     */
2080    temp = png_get_uint_32(profile+20);
2081    switch (temp)
2082    {
2083       case 0x58595A20: /* 'XYZ ' */
2084       case 0x4C616220: /* 'Lab ' */
2085          break;
2086
2087       default:
2088          return png_icc_profile_error(png_ptr, colorspace, name, temp,
2089             "unexpected ICC PCS encoding");
2090    }
2091
2092    return 1;
2093 }
2094
2095 int /* PRIVATE */
2096 png_icc_check_tag_table(png_const_structrp png_ptr, png_colorspacerp colorspace,
2097    png_const_charp name, png_uint_32 profile_length,
2098    png_const_bytep profile /* header plus whole tag table */)
2099 {
2100    png_uint_32 tag_count = png_get_uint_32(profile+128);
2101    png_uint_32 itag;
2102    png_const_bytep tag = profile+132; /* The first tag */
2103
2104    /* First scan all the tags in the table and add bits to the icc_info value
2105     * (temporarily in 'tags').
2106     */
2107    for (itag=0; itag < tag_count; ++itag, tag += 12)
2108    {
2109       png_uint_32 tag_id = png_get_uint_32(tag+0);
2110       png_uint_32 tag_start = png_get_uint_32(tag+4); /* must be aligned */
2111       png_uint_32 tag_length = png_get_uint_32(tag+8);/* not padded */
2112
2113       /* The ICC specification does not exclude zero length tags, therefore the
2114        * start might actually be anywhere if there is no data, but this would be
2115        * a clear abuse of the intent of the standard so the start is checked for
2116        * being in range.  All defined tag types have an 8 byte header - a 4 byte
2117        * type signature then 0.
2118        */
2119       if ((tag_start & 3) != 0)
2120       {
2121          /* CNHP730S.icc shipped with Microsoft Windows 64 violates this, it is
2122           * only a warning here because libpng does not care about the
2123           * alignment.
2124           */
2125          (void)png_icc_profile_error(png_ptr, NULL, name, tag_id,
2126             "ICC profile tag start not a multiple of 4");
2127       }
2128
2129       /* This is a hard error; potentially it can cause read outside the
2130        * profile.
2131        */
2132       if (tag_start > profile_length || tag_length > profile_length - tag_start)
2133          return png_icc_profile_error(png_ptr, colorspace, name, tag_id,
2134             "ICC profile tag outside profile");
2135    }
2136
2137    return 1; /* success, maybe with warnings */
2138 }
2139
2140 #if defined(PNG_sRGB_SUPPORTED) && PNG_sRGB_PROFILE_CHECKS >= 0
2141 /* Information about the known ICC sRGB profiles */
2142 static const struct
2143 {
2144    png_uint_32 adler, crc, length;
2145    png_uint_32 md5[4];
2146    png_byte    have_md5;
2147    png_byte    is_broken;
2148    png_uint_16 intent;
2149
2150 #  define PNG_MD5(a,b,c,d) { a, b, c, d }, (a!=0)||(b!=0)||(c!=0)||(d!=0)
2151 #  define PNG_ICC_CHECKSUM(adler, crc, md5, intent, broke, date, length, fname)\
2152       { adler, crc, length, md5, broke, intent },
2153
2154 } png_sRGB_checks[] =
2155 {
2156    /* This data comes from contrib/tools/checksum-icc run on downloads of
2157     * all four ICC sRGB profiles from www.color.org.
2158     */
2159    /* adler32, crc32, MD5[4], intent, date, length, file-name */
2160    PNG_ICC_CHECKSUM(0x0a3fd9f6, 0x3b8772b9,
2161       PNG_MD5(0x29f83dde, 0xaff255ae, 0x7842fae4, 0xca83390d), 0, 0,
2162       "2009/03/27 21:36:31", 3048, "sRGB_IEC61966-2-1_black_scaled.icc")
2163
2164    /* ICC sRGB v2 perceptual no black-compensation: */
2165    PNG_ICC_CHECKSUM(0x4909e5e1, 0x427ebb21,
2166       PNG_MD5(0xc95bd637, 0xe95d8a3b, 0x0df38f99, 0xc1320389), 1, 0,
2167       "2009/03/27 21:37:45", 3052, "sRGB_IEC61966-2-1_no_black_scaling.icc")
2168
2169    PNG_ICC_CHECKSUM(0xfd2144a1, 0x306fd8ae,
2170       PNG_MD5(0xfc663378, 0x37e2886b, 0xfd72e983, 0x8228f1b8), 0, 0,
2171       "2009/08/10 17:28:01", 60988, "sRGB_v4_ICC_preference_displayclass.icc")
2172
2173    /* ICC sRGB v4 perceptual */
2174    PNG_ICC_CHECKSUM(0x209c35d2, 0xbbef7812,
2175       PNG_MD5(0x34562abf, 0x994ccd06, 0x6d2c5721, 0xd0d68c5d), 0, 0,
2176       "2007/07/25 00:05:37", 60960, "sRGB_v4_ICC_preference.icc")
2177
2178    /* The following profiles have no known MD5 checksum. If there is a match
2179     * on the (empty) MD5 the other fields are used to attempt a match and
2180     * a warning is produced.  The first two of these profiles have a 'cprt' tag
2181     * which suggests that they were also made by Hewlett Packard.
2182     */
2183    PNG_ICC_CHECKSUM(0xa054d762, 0x5d5129ce,
2184       PNG_MD5(0x00000000, 0x00000000, 0x00000000, 0x00000000), 1, 0,
2185       "2004/07/21 18:57:42", 3024, "sRGB_IEC61966-2-1_noBPC.icc")
2186
2187    /* This is a 'mntr' (display) profile with a mediaWhitePointTag that does not
2188     * match the D50 PCS illuminant in the header (it is in fact the D65 values,
2189     * so the white point is recorded as the un-adapted value.)  The profiles
2190     * below only differ in one byte - the intent - and are basically the same as
2191     * the previous profile except for the mediaWhitePointTag error and a missing
2192     * chromaticAdaptationTag.
2193     */
2194    PNG_ICC_CHECKSUM(0xf784f3fb, 0x182ea552,
2195       PNG_MD5(0x00000000, 0x00000000, 0x00000000, 0x00000000), 0, 1/*broken*/,
2196       "1998/02/09 06:49:00", 3144, "HP-Microsoft sRGB v2 perceptual")
2197
2198    PNG_ICC_CHECKSUM(0x0398f3fc, 0xf29e526d,
2199       PNG_MD5(0x00000000, 0x00000000, 0x00000000, 0x00000000), 1, 1/*broken*/,
2200       "1998/02/09 06:49:00", 3144, "HP-Microsoft sRGB v2 media-relative")
2201 };
2202
2203 static int
2204 png_compare_ICC_profile_with_sRGB(png_const_structrp png_ptr,
2205    png_const_bytep profile, uLong adler)
2206 {
2207    /* The quick check is to verify just the MD5 signature and trust the
2208     * rest of the data.  Because the profile has already been verified for
2209     * correctness this is safe.  png_colorspace_set_sRGB will check the 'intent'
2210     * field too, so if the profile has been edited with an intent not defined
2211     * by sRGB (but maybe defined by a later ICC specification) the read of
2212     * the profile will fail at that point.
2213     */
2214
2215    png_uint_32 length = 0;
2216    png_uint_32 intent = 0x10000; /* invalid */
2217 #if PNG_sRGB_PROFILE_CHECKS > 1
2218    uLong crc = 0; /* the value for 0 length data */
2219 #endif
2220    unsigned int i;
2221
2222    /* First see if PNG_SKIP_sRGB_CHECK_PROFILE has been set to "on" */
2223    if (((png_ptr->options >> PNG_SKIP_sRGB_CHECK_PROFILE) & 3) ==
2224                PNG_OPTION_ON)
2225       return 0;
2226
2227    for (i=0; i < (sizeof png_sRGB_checks) / (sizeof png_sRGB_checks[0]); ++i)
2228    {
2229       if (png_get_uint_32(profile+84) == png_sRGB_checks[i].md5[0] &&
2230          png_get_uint_32(profile+88) == png_sRGB_checks[i].md5[1] &&
2231          png_get_uint_32(profile+92) == png_sRGB_checks[i].md5[2] &&
2232          png_get_uint_32(profile+96) == png_sRGB_checks[i].md5[3])
2233       {
2234          /* This may be one of the old HP profiles without an MD5, in that
2235           * case we can only use the length and Adler32 (note that these
2236           * are not used by default if there is an MD5!)
2237           */
2238 #        if PNG_sRGB_PROFILE_CHECKS == 0
2239             if (png_sRGB_checks[i].have_md5)
2240                return 1+png_sRGB_checks[i].is_broken;
2241 #        endif
2242
2243          /* Profile is unsigned or more checks have been configured in. */
2244          if (length == 0)
2245          {
2246             length = png_get_uint_32(profile);
2247             intent = png_get_uint_32(profile+64);
2248          }
2249
2250          /* Length *and* intent must match */
2251          if (length == png_sRGB_checks[i].length &&
2252             intent == png_sRGB_checks[i].intent)
2253          {
2254             /* Now calculate the adler32 if not done already. */
2255             if (adler == 0)
2256             {
2257                adler = adler32(0, NULL, 0);
2258                adler = adler32(adler, profile, length);
2259             }
2260
2261             if (adler == png_sRGB_checks[i].adler)
2262             {
2263                /* These basic checks suggest that the data has not been
2264                 * modified, but if the check level is more than 1 perform
2265                 * our own crc32 checksum on the data.
2266                 */
2267 #              if PNG_sRGB_PROFILE_CHECKS > 1
2268                   if (crc == 0)
2269                   {
2270                      crc = crc32(0, NULL, 0);
2271                      crc = crc32(crc, profile, length);
2272                   }
2273
2274                   /* So this check must pass for the 'return' below to happen.
2275                    */
2276                   if (crc == png_sRGB_checks[i].crc)
2277 #              endif
2278                {
2279                   if (png_sRGB_checks[i].is_broken)
2280                   {
2281                      /* These profiles are known to have bad data that may cause
2282                       * problems if they are used, therefore attempt to
2283                       * discourage their use, skip the 'have_md5' warning below,
2284                       * which is made irrelevant by this error.
2285                       */
2286                      png_chunk_report(png_ptr, "known incorrect sRGB profile",
2287                         PNG_CHUNK_ERROR);
2288                   }
2289
2290                   /* Warn that this being done; this isn't even an error since
2291                    * the profile is perfectly valid, but it would be nice if
2292                    * people used the up-to-date ones.
2293                    */
2294                   else if (!png_sRGB_checks[i].have_md5)
2295                   {
2296                      png_chunk_report(png_ptr,
2297                         "out-of-date sRGB profile with no signature",
2298                         PNG_CHUNK_WARNING);
2299                   }
2300
2301                   return 1+png_sRGB_checks[i].is_broken;
2302                }
2303             }
2304
2305 # if PNG_sRGB_PROFILE_CHECKS > 0
2306          /* The signature matched, but the profile had been changed in some
2307           * way.  This probably indicates a data error or uninformed hacking.
2308           * Fall through to "no match".
2309           */
2310          png_chunk_report(png_ptr,
2311              "Not recognizing known sRGB profile that has been edited", 
2312              PNG_CHUNK_WARNING);
2313          break;
2314 # endif
2315          }
2316       }
2317    }
2318
2319    return 0; /* no match */
2320 }
2321 #endif
2322
2323 #ifdef PNG_sRGB_SUPPORTED
2324 void /* PRIVATE */
2325 png_icc_set_sRGB(png_const_structrp png_ptr,
2326    png_colorspacerp colorspace, png_const_bytep profile, uLong adler)
2327 {
2328    /* Is this profile one of the known ICC sRGB profiles?  If it is, just set
2329     * the sRGB information.
2330     */
2331 #if PNG_sRGB_PROFILE_CHECKS >= 0
2332    if (png_compare_ICC_profile_with_sRGB(png_ptr, profile, adler))
2333 #endif
2334       (void)png_colorspace_set_sRGB(png_ptr, colorspace,
2335          (int)/*already checked*/png_get_uint_32(profile+64));
2336 }
2337 #endif /* PNG_READ_sRGB_SUPPORTED */
2338
2339 int /* PRIVATE */
2340 png_colorspace_set_ICC(png_const_structrp png_ptr, png_colorspacerp colorspace,
2341    png_const_charp name, png_uint_32 profile_length, png_const_bytep profile,
2342    int color_type)
2343 {
2344    if (colorspace->flags & PNG_COLORSPACE_INVALID)
2345       return 0;
2346
2347    if (png_icc_check_length(png_ptr, colorspace, name, profile_length) &&
2348       png_icc_check_header(png_ptr, colorspace, name, profile_length, profile,
2349          color_type) &&
2350       png_icc_check_tag_table(png_ptr, colorspace, name, profile_length,
2351          profile))
2352    {
2353 #     ifdef PNG_sRGB_SUPPORTED
2354          /* If no sRGB support, don't try storing sRGB information */
2355          png_icc_set_sRGB(png_ptr, colorspace, profile, 0);
2356 #     endif
2357       return 1;
2358    }
2359
2360    /* Failure case */
2361    return 0;
2362 }
2363 #endif /* iCCP */
2364
2365 #ifdef PNG_READ_RGB_TO_GRAY_SUPPORTED
2366 void /* PRIVATE */
2367 png_colorspace_set_rgb_coefficients(png_structrp png_ptr)
2368 {
2369    /* Set the rgb_to_gray coefficients from the colorspace. */
2370    if (!png_ptr->rgb_to_gray_coefficients_set &&
2371       (png_ptr->colorspace.flags & PNG_COLORSPACE_HAVE_ENDPOINTS) != 0)
2372    {
2373       /* png_set_background has not been called, get the coefficients from the Y
2374        * values of the colorspace colorants.
2375        */
2376       png_fixed_point r = png_ptr->colorspace.end_points_XYZ.red_Y;
2377       png_fixed_point g = png_ptr->colorspace.end_points_XYZ.green_Y;
2378       png_fixed_point b = png_ptr->colorspace.end_points_XYZ.blue_Y;
2379       png_fixed_point total = r+g+b;
2380
2381       if (total > 0 &&
2382          r >= 0 && png_muldiv(&r, r, 32768, total) && r >= 0 && r <= 32768 &&
2383          g >= 0 && png_muldiv(&g, g, 32768, total) && g >= 0 && g <= 32768 &&
2384          b >= 0 && png_muldiv(&b, b, 32768, total) && b >= 0 && b <= 32768 &&
2385          r+g+b <= 32769)
2386       {
2387          /* We allow 0 coefficients here.  r+g+b may be 32769 if two or
2388           * all of the coefficients were rounded up.  Handle this by
2389           * reducing the *largest* coefficient by 1; this matches the
2390           * approach used for the default coefficients in pngrtran.c
2391           */
2392          int add = 0;
2393
2394          if (r+g+b > 32768)
2395             add = -1;
2396          else if (r+g+b < 32768)
2397             add = 1;
2398
2399          if (add != 0)
2400          {
2401             if (g >= r && g >= b)
2402                g += add;
2403             else if (r >= g && r >= b)
2404                r += add;
2405             else
2406                b += add;
2407          }
2408
2409          /* Check for an internal error. */
2410          if (r+g+b != 32768)
2411             png_error(png_ptr,
2412                "internal error handling cHRM coefficients");
2413
2414          else
2415          {
2416             png_ptr->rgb_to_gray_red_coeff   = (png_uint_16)r;
2417             png_ptr->rgb_to_gray_green_coeff = (png_uint_16)g;
2418          }
2419       }
2420
2421       /* This is a png_error at present even though it could be ignored -
2422        * it should never happen, but it is important that if it does, the
2423        * bug is fixed.
2424        */
2425       else
2426          png_error(png_ptr, "internal error handling cHRM->XYZ");
2427    }
2428 }
2429 #endif
2430
2431 #endif /* COLORSPACE */
2432
2433 void /* PRIVATE */
2434 png_check_IHDR(png_const_structrp png_ptr,
2435    png_uint_32 width, png_uint_32 height, int bit_depth,
2436    int color_type, int interlace_type, int compression_type,
2437    int filter_type)
2438 {
2439    int error = 0;
2440
2441    /* Check for width and height valid values */
2442    if (width == 0)
2443    {
2444       png_warning(png_ptr, "Image width is zero in IHDR");
2445       error = 1;
2446    }
2447    else if (width > PNG_UINT_31_MAX)
2448    {
2449       png_warning(png_ptr, "Invalid image width in IHDR");
2450       error = 1;
2451    }
2452    else
2453    {
2454 #     ifdef PNG_SET_USER_LIMITS_SUPPORTED
2455       if (width > png_ptr->user_width_max)
2456 #     else
2457       if (width > PNG_USER_WIDTH_MAX)
2458 #     endif
2459       {
2460          png_warning(png_ptr, "Image width exceeds user limit in IHDR");
2461          error = 1;
2462       }
2463    }
2464
2465    if (height == 0)
2466    {
2467       png_warning(png_ptr, "Image height is zero in IHDR");
2468       error = 1;
2469    }
2470    else if (height > PNG_UINT_31_MAX)
2471    {
2472       png_warning(png_ptr, "Invalid image height in IHDR");
2473       error = 1;
2474    }
2475    else
2476    {
2477 #     ifdef PNG_SET_USER_LIMITS_SUPPORTED
2478       if (height > png_ptr->user_height_max)
2479 #     else
2480       if (height > PNG_USER_HEIGHT_MAX)
2481 #     endif
2482       {
2483          png_warning(png_ptr, "Image height exceeds user limit in IHDR");
2484          error = 1;
2485       }
2486    }
2487
2488    /* Check other values */
2489    if (bit_depth != 1 && bit_depth != 2 && bit_depth != 4 &&
2490        bit_depth != 8 && bit_depth != 16)
2491    {
2492       png_warning(png_ptr, "Invalid bit depth in IHDR");
2493       error = 1;
2494    }
2495
2496    if (color_type < 0 || color_type == 1 ||
2497        color_type == 5 || color_type > 6)
2498    {
2499       png_warning(png_ptr, "Invalid color type in IHDR");
2500       error = 1;
2501    }
2502
2503    if (((color_type == PNG_COLOR_TYPE_PALETTE) && bit_depth > 8) ||
2504        ((color_type == PNG_COLOR_TYPE_RGB ||
2505          color_type == PNG_COLOR_TYPE_GRAY_ALPHA ||
2506          color_type == PNG_COLOR_TYPE_RGB_ALPHA) && bit_depth < 8))
2507    {
2508       png_warning(png_ptr, "Invalid color type/bit depth combination in IHDR");
2509       error = 1;
2510    }
2511
2512    if (interlace_type >= PNG_INTERLACE_LAST)
2513    {
2514       png_warning(png_ptr, "Unknown interlace method in IHDR");
2515       error = 1;
2516    }
2517
2518    if (compression_type != PNG_COMPRESSION_TYPE_BASE)
2519    {
2520       png_warning(png_ptr, "Unknown compression method in IHDR");
2521       error = 1;
2522    }
2523
2524 #  ifdef PNG_MNG_FEATURES_SUPPORTED
2525    /* Accept filter_method 64 (intrapixel differencing) only if
2526     * 1. Libpng was compiled with PNG_MNG_FEATURES_SUPPORTED and
2527     * 2. Libpng did not read a PNG signature (this filter_method is only
2528     *    used in PNG datastreams that are embedded in MNG datastreams) and
2529     * 3. The application called png_permit_mng_features with a mask that
2530     *    included PNG_FLAG_MNG_FILTER_64 and
2531     * 4. The filter_method is 64 and
2532     * 5. The color_type is RGB or RGBA
2533     */
2534    if ((png_ptr->mode & PNG_HAVE_PNG_SIGNATURE) &&
2535        png_ptr->mng_features_permitted)
2536       png_warning(png_ptr, "MNG features are not allowed in a PNG datastream");
2537
2538    if (filter_type != PNG_FILTER_TYPE_BASE)
2539    {
2540       if (!((png_ptr->mng_features_permitted & PNG_FLAG_MNG_FILTER_64) &&
2541           (filter_type == PNG_INTRAPIXEL_DIFFERENCING) &&
2542           ((png_ptr->mode & PNG_HAVE_PNG_SIGNATURE) == 0) &&
2543           (color_type == PNG_COLOR_TYPE_RGB ||
2544           color_type == PNG_COLOR_TYPE_RGB_ALPHA)))
2545       {
2546          png_warning(png_ptr, "Unknown filter method in IHDR");
2547          error = 1;
2548       }
2549
2550       if (png_ptr->mode & PNG_HAVE_PNG_SIGNATURE)
2551       {
2552          png_warning(png_ptr, "Invalid filter method in IHDR");
2553          error = 1;
2554       }
2555    }
2556
2557 #  else
2558    if (filter_type != PNG_FILTER_TYPE_BASE)
2559    {
2560       png_warning(png_ptr, "Unknown filter method in IHDR");
2561       error = 1;
2562    }
2563 #  endif
2564
2565    if (error == 1)
2566       png_error(png_ptr, "Invalid IHDR data");
2567 }
2568
2569 #if defined(PNG_sCAL_SUPPORTED) || defined(PNG_pCAL_SUPPORTED)
2570 /* ASCII to fp functions */
2571 /* Check an ASCII formated floating point value, see the more detailed
2572  * comments in pngpriv.h
2573  */
2574 /* The following is used internally to preserve the sticky flags */
2575 #define png_fp_add(state, flags) ((state) |= (flags))
2576 #define png_fp_set(state, value) ((state) = (value) | ((state) & PNG_FP_STICKY))
2577
2578 int /* PRIVATE */
2579 png_check_fp_number(png_const_charp string, png_size_t size, int *statep,
2580    png_size_tp whereami)
2581 {
2582    int state = *statep;
2583    png_size_t i = *whereami;
2584
2585    while (i < size)
2586    {
2587       int type;
2588       /* First find the type of the next character */
2589       switch (string[i])
2590       {
2591       case 43:  type = PNG_FP_SAW_SIGN;                   break;
2592       case 45:  type = PNG_FP_SAW_SIGN + PNG_FP_NEGATIVE; break;
2593       case 46:  type = PNG_FP_SAW_DOT;                    break;
2594       case 48:  type = PNG_FP_SAW_DIGIT;                  break;
2595       case 49: case 50: case 51: case 52:
2596       case 53: case 54: case 55: case 56:
2597       case 57:  type = PNG_FP_SAW_DIGIT + PNG_FP_NONZERO; break;
2598       case 69:
2599       case 101: type = PNG_FP_SAW_E;                      break;
2600       default:  goto PNG_FP_End;
2601       }
2602
2603       /* Now deal with this type according to the current
2604        * state, the type is arranged to not overlap the
2605        * bits of the PNG_FP_STATE.
2606        */
2607       switch ((state & PNG_FP_STATE) + (type & PNG_FP_SAW_ANY))
2608       {
2609       case PNG_FP_INTEGER + PNG_FP_SAW_SIGN:
2610          if (state & PNG_FP_SAW_ANY)
2611             goto PNG_FP_End; /* not a part of the number */
2612
2613          png_fp_add(state, type);
2614          break;
2615
2616       case PNG_FP_INTEGER + PNG_FP_SAW_DOT:
2617          /* Ok as trailer, ok as lead of fraction. */
2618          if (state & PNG_FP_SAW_DOT) /* two dots */
2619             goto PNG_FP_End;
2620
2621          else if (state & PNG_FP_SAW_DIGIT) /* trailing dot? */
2622             png_fp_add(state, type);
2623
2624          else
2625             png_fp_set(state, PNG_FP_FRACTION | type);
2626
2627          break;
2628
2629       case PNG_FP_INTEGER + PNG_FP_SAW_DIGIT:
2630          if (state & PNG_FP_SAW_DOT) /* delayed fraction */
2631             png_fp_set(state, PNG_FP_FRACTION | PNG_FP_SAW_DOT);
2632
2633          png_fp_add(state, type | PNG_FP_WAS_VALID);
2634
2635          break;
2636
2637       case PNG_FP_INTEGER + PNG_FP_SAW_E:
2638          if ((state & PNG_FP_SAW_DIGIT) == 0)
2639             goto PNG_FP_End;
2640
2641          png_fp_set(state, PNG_FP_EXPONENT);
2642
2643          break;
2644
2645    /* case PNG_FP_FRACTION + PNG_FP_SAW_SIGN:
2646          goto PNG_FP_End; ** no sign in fraction */
2647
2648    /* case PNG_FP_FRACTION + PNG_FP_SAW_DOT:
2649          goto PNG_FP_End; ** Because SAW_DOT is always set */
2650
2651       case PNG_FP_FRACTION + PNG_FP_SAW_DIGIT:
2652          png_fp_add(state, type | PNG_FP_WAS_VALID);
2653          break;
2654
2655       case PNG_FP_FRACTION + PNG_FP_SAW_E:
2656          /* This is correct because the trailing '.' on an
2657           * integer is handled above - so we can only get here
2658           * with the sequence ".E" (with no preceding digits).
2659           */
2660          if ((state & PNG_FP_SAW_DIGIT) == 0)
2661             goto PNG_FP_End;
2662
2663          png_fp_set(state, PNG_FP_EXPONENT);
2664
2665          break;
2666
2667       case PNG_FP_EXPONENT + PNG_FP_SAW_SIGN:
2668          if (state & PNG_FP_SAW_ANY)
2669             goto PNG_FP_End; /* not a part of the number */
2670
2671          png_fp_add(state, PNG_FP_SAW_SIGN);
2672
2673          break;
2674
2675    /* case PNG_FP_EXPONENT + PNG_FP_SAW_DOT:
2676          goto PNG_FP_End; */
2677
2678       case PNG_FP_EXPONENT + PNG_FP_SAW_DIGIT:
2679          png_fp_add(state, PNG_FP_SAW_DIGIT | PNG_FP_WAS_VALID);
2680
2681          break;
2682
2683    /* case PNG_FP_EXPONEXT + PNG_FP_SAW_E:
2684          goto PNG_FP_End; */
2685
2686       default: goto PNG_FP_End; /* I.e. break 2 */
2687       }
2688
2689       /* The character seems ok, continue. */
2690       ++i;
2691    }
2692
2693 PNG_FP_End:
2694    /* Here at the end, update the state and return the correct
2695     * return code.
2696     */
2697    *statep = state;
2698    *whereami = i;
2699
2700    return (state & PNG_FP_SAW_DIGIT) != 0;
2701 }
2702
2703
2704 /* The same but for a complete string. */
2705 int
2706 png_check_fp_string(png_const_charp string, png_size_t size)
2707 {
2708    int        state=0;
2709    png_size_t char_index=0;
2710
2711    if (png_check_fp_number(string, size, &state, &char_index) &&
2712       (char_index == size || string[char_index] == 0))
2713       return state /* must be non-zero - see above */;
2714
2715    return 0; /* i.e. fail */
2716 }
2717 #endif /* pCAL or sCAL */
2718
2719 #ifdef PNG_sCAL_SUPPORTED
2720 #  ifdef PNG_FLOATING_POINT_SUPPORTED
2721 /* Utility used below - a simple accurate power of ten from an integral
2722  * exponent.
2723  */
2724 static double
2725 png_pow10(int power)
2726 {
2727    int recip = 0;
2728    double d = 1;
2729
2730    /* Handle negative exponent with a reciprocal at the end because
2731     * 10 is exact whereas .1 is inexact in base 2
2732     */
2733    if (power < 0)
2734    {
2735       if (power < DBL_MIN_10_EXP) return 0;
2736       recip = 1, power = -power;
2737    }
2738
2739    if (power > 0)
2740    {
2741       /* Decompose power bitwise. */
2742       double mult = 10;
2743       do
2744       {
2745          if (power & 1) d *= mult;
2746          mult *= mult;
2747          power >>= 1;
2748       }
2749       while (power > 0);
2750
2751       if (recip != 0) d = 1/d;
2752    }
2753    /* else power is 0 and d is 1 */
2754
2755    return d;
2756 }
2757
2758 /* Function to format a floating point value in ASCII with a given
2759  * precision.
2760  */
2761 void /* PRIVATE */
2762 png_ascii_from_fp(png_const_structrp png_ptr, png_charp ascii, png_size_t size,
2763     double fp, unsigned int precision)
2764 {
2765    /* We use standard functions from math.h, but not printf because
2766     * that would require stdio.  The caller must supply a buffer of
2767     * sufficient size or we will png_error.  The tests on size and
2768     * the space in ascii[] consumed are indicated below.
2769     */
2770    if (precision < 1)
2771       precision = DBL_DIG;
2772
2773    /* Enforce the limit of the implementation precision too. */
2774    if (precision > DBL_DIG+1)
2775       precision = DBL_DIG+1;
2776
2777    /* Basic sanity checks */
2778    if (size >= precision+5) /* See the requirements below. */
2779    {
2780       if (fp < 0)
2781       {
2782          fp = -fp;
2783          *ascii++ = 45; /* '-'  PLUS 1 TOTAL 1 */
2784          --size;
2785       }
2786
2787       if (fp >= DBL_MIN && fp <= DBL_MAX)
2788       {
2789          int exp_b10;       /* A base 10 exponent */
2790          double base;   /* 10^exp_b10 */
2791
2792          /* First extract a base 10 exponent of the number,
2793           * the calculation below rounds down when converting
2794           * from base 2 to base 10 (multiply by log10(2) -
2795           * 0.3010, but 77/256 is 0.3008, so exp_b10 needs to
2796           * be increased.  Note that the arithmetic shift
2797           * performs a floor() unlike C arithmetic - using a
2798           * C multiply would break the following for negative
2799           * exponents.
2800           */
2801          (void)frexp(fp, &exp_b10); /* exponent to base 2 */
2802
2803          exp_b10 = (exp_b10 * 77) >> 8; /* <= exponent to base 10 */
2804
2805          /* Avoid underflow here. */
2806          base = png_pow10(exp_b10); /* May underflow */
2807
2808          while (base < DBL_MIN || base < fp)
2809          {
2810             /* And this may overflow. */
2811             double test = png_pow10(exp_b10+1);
2812
2813             if (test <= DBL_MAX)
2814                ++exp_b10, base = test;
2815
2816             else
2817                break;
2818          }
2819
2820          /* Normalize fp and correct exp_b10, after this fp is in the
2821           * range [.1,1) and exp_b10 is both the exponent and the digit
2822           * *before* which the decimal point should be inserted
2823           * (starting with 0 for the first digit).  Note that this
2824           * works even if 10^exp_b10 is out of range because of the
2825           * test on DBL_MAX above.
2826           */
2827          fp /= base;
2828          while (fp >= 1) fp /= 10, ++exp_b10;
2829
2830          /* Because of the code above fp may, at this point, be
2831           * less than .1, this is ok because the code below can
2832           * handle the leading zeros this generates, so no attempt
2833           * is made to correct that here.
2834           */
2835
2836          {
2837             int czero, clead, cdigits;
2838             char exponent[10];
2839
2840             /* Allow up to two leading zeros - this will not lengthen
2841              * the number compared to using E-n.
2842              */
2843             if (exp_b10 < 0 && exp_b10 > -3) /* PLUS 3 TOTAL 4 */
2844             {
2845                czero = -exp_b10; /* PLUS 2 digits: TOTAL 3 */
2846                exp_b10 = 0;      /* Dot added below before first output. */
2847             }
2848             else
2849                czero = 0;    /* No zeros to add */
2850
2851             /* Generate the digit list, stripping trailing zeros and
2852              * inserting a '.' before a digit if the exponent is 0.
2853              */
2854             clead = czero; /* Count of leading zeros */
2855             cdigits = 0;   /* Count of digits in list. */
2856
2857             do
2858             {
2859                double d;
2860
2861                fp *= 10;
2862                /* Use modf here, not floor and subtract, so that
2863                 * the separation is done in one step.  At the end
2864                 * of the loop don't break the number into parts so
2865                 * that the final digit is rounded.
2866                 */
2867                if (cdigits+czero-clead+1 < (int)precision)
2868                   fp = modf(fp, &d);
2869
2870                else
2871                {
2872                   d = floor(fp + .5);
2873
2874                   if (d > 9)
2875                   {
2876                      /* Rounding up to 10, handle that here. */
2877                      if (czero > 0)
2878                      {
2879                         --czero, d = 1;
2880                         if (cdigits == 0) --clead;
2881                      }
2882                      else
2883                      {
2884                         while (cdigits > 0 && d > 9)
2885                         {
2886                            int ch = *--ascii;
2887
2888                            if (exp_b10 != (-1))
2889                               ++exp_b10;
2890
2891                            else if (ch == 46)
2892                            {
2893                               ch = *--ascii, ++size;
2894                               /* Advance exp_b10 to '1', so that the
2895                                * decimal point happens after the
2896                                * previous digit.
2897                                */
2898                               exp_b10 = 1;
2899                            }
2900
2901                            --cdigits;
2902                            d = ch - 47;  /* I.e. 1+(ch-48) */
2903                         }
2904
2905                         /* Did we reach the beginning? If so adjust the
2906                          * exponent but take into account the leading
2907                          * decimal point.
2908                          */
2909                         if (d > 9)  /* cdigits == 0 */
2910                         {
2911                            if (exp_b10 == (-1))
2912                            {
2913                               /* Leading decimal point (plus zeros?), if
2914                                * we lose the decimal point here it must
2915                                * be reentered below.
2916                                */
2917                               int ch = *--ascii;
2918
2919                               if (ch == 46)
2920                                  ++size, exp_b10 = 1;
2921
2922                               /* Else lost a leading zero, so 'exp_b10' is
2923                                * still ok at (-1)
2924                                */
2925                            }
2926                            else
2927                               ++exp_b10;
2928
2929                            /* In all cases we output a '1' */
2930                            d = 1;
2931                         }
2932                      }
2933                   }
2934                   fp = 0; /* Guarantees termination below. */
2935                }
2936
2937                if (d == 0)
2938                {
2939                   ++czero;
2940                   if (cdigits == 0) ++clead;
2941                }
2942                else
2943                {
2944                   /* Included embedded zeros in the digit count. */
2945                   cdigits += czero - clead;
2946                   clead = 0;
2947
2948                   while (czero > 0)
2949                   {
2950                      /* exp_b10 == (-1) means we just output the decimal
2951                       * place - after the DP don't adjust 'exp_b10' any
2952                       * more!
2953                       */
2954                      if (exp_b10 != (-1))
2955                      {
2956                         if (exp_b10 == 0) *ascii++ = 46, --size;
2957                         /* PLUS 1: TOTAL 4 */
2958                         --exp_b10;
2959                      }
2960                      *ascii++ = 48, --czero;
2961                   }
2962
2963                   if (exp_b10 != (-1))
2964                   {
2965                      if (exp_b10 == 0) *ascii++ = 46, --size; /* counted
2966                                                                  above */
2967                      --exp_b10;
2968                   }
2969                   *ascii++ = (char)(48 + (int)d), ++cdigits;
2970                }
2971             }
2972             while (cdigits+czero-clead < (int)precision && fp > DBL_MIN);
2973
2974             /* The total output count (max) is now 4+precision */
2975
2976             /* Check for an exponent, if we don't need one we are
2977              * done and just need to terminate the string.  At
2978              * this point exp_b10==(-1) is effectively if flag - it got
2979              * to '-1' because of the decrement after outputing
2980              * the decimal point above (the exponent required is
2981              * *not* -1!)
2982              */
2983             if (exp_b10 >= (-1) && exp_b10 <= 2)
2984             {
2985                /* The following only happens if we didn't output the
2986                 * leading zeros above for negative exponent, so this
2987                 * doest add to the digit requirement.  Note that the
2988                 * two zeros here can only be output if the two leading
2989                 * zeros were *not* output, so this doesn't increase
2990                 * the output count.
2991                 */
2992                while (--exp_b10 >= 0) *ascii++ = 48;
2993
2994                *ascii = 0;
2995
2996                /* Total buffer requirement (including the '\0') is
2997                 * 5+precision - see check at the start.
2998                 */
2999                return;
3000             }
3001
3002             /* Here if an exponent is required, adjust size for
3003              * the digits we output but did not count.  The total
3004              * digit output here so far is at most 1+precision - no
3005              * decimal point and no leading or trailing zeros have
3006              * been output.
3007              */
3008             size -= cdigits;
3009
3010             *ascii++ = 69, --size;    /* 'E': PLUS 1 TOTAL 2+precision */
3011
3012             /* The following use of an unsigned temporary avoids ambiguities in
3013              * the signed arithmetic on exp_b10 and permits GCC at least to do
3014              * better optimization.
3015              */
3016             {
3017                unsigned int uexp_b10;
3018
3019                if (exp_b10 < 0)
3020                {
3021                   *ascii++ = 45, --size; /* '-': PLUS 1 TOTAL 3+precision */
3022                   uexp_b10 = -exp_b10;
3023                }
3024
3025                else
3026                   uexp_b10 = exp_b10;
3027
3028                cdigits = 0;
3029
3030                while (uexp_b10 > 0)
3031                {
3032                   exponent[cdigits++] = (char)(48 + uexp_b10 % 10);
3033                   uexp_b10 /= 10;
3034                }
3035             }
3036
3037             /* Need another size check here for the exponent digits, so
3038              * this need not be considered above.
3039              */
3040             if ((int)size > cdigits)
3041             {
3042                while (cdigits > 0) *ascii++ = exponent[--cdigits];
3043
3044                *ascii = 0;
3045
3046                return;
3047             }
3048          }
3049       }
3050       else if (!(fp >= DBL_MIN))
3051       {
3052          *ascii++ = 48; /* '0' */
3053          *ascii = 0;
3054          return;
3055       }
3056       else
3057       {
3058          *ascii++ = 105; /* 'i' */
3059          *ascii++ = 110; /* 'n' */
3060          *ascii++ = 102; /* 'f' */
3061          *ascii = 0;
3062          return;
3063       }
3064    }
3065
3066    /* Here on buffer too small. */
3067    png_error(png_ptr, "ASCII conversion buffer too small");
3068 }
3069
3070 #  endif /* FLOATING_POINT */
3071
3072 #  ifdef PNG_FIXED_POINT_SUPPORTED
3073 /* Function to format a fixed point value in ASCII.
3074  */
3075 void /* PRIVATE */
3076 png_ascii_from_fixed(png_const_structrp png_ptr, png_charp ascii,
3077     png_size_t size, png_fixed_point fp)
3078 {
3079    /* Require space for 10 decimal digits, a decimal point, a minus sign and a
3080     * trailing \0, 13 characters:
3081     */
3082    if (size > 12)
3083    {
3084       png_uint_32 num;
3085
3086       /* Avoid overflow here on the minimum integer. */
3087       if (fp < 0)
3088          *ascii++ = 45, --size, num = -fp;
3089       else
3090          num = fp;
3091
3092       if (num <= 0x80000000) /* else overflowed */
3093       {
3094          unsigned int ndigits = 0, first = 16 /* flag value */;
3095          char digits[10];
3096
3097          while (num)
3098          {
3099             /* Split the low digit off num: */
3100             unsigned int tmp = num/10;
3101             num -= tmp*10;
3102             digits[ndigits++] = (char)(48 + num);
3103             /* Record the first non-zero digit, note that this is a number
3104              * starting at 1, it's not actually the array index.
3105              */
3106             if (first == 16 && num > 0)
3107                first = ndigits;
3108             num = tmp;
3109          }
3110
3111          if (ndigits > 0)
3112          {
3113             while (ndigits > 5) *ascii++ = digits[--ndigits];
3114             /* The remaining digits are fractional digits, ndigits is '5' or
3115              * smaller at this point.  It is certainly not zero.  Check for a
3116              * non-zero fractional digit:
3117              */
3118             if (first <= 5)
3119             {
3120                unsigned int i;
3121                *ascii++ = 46; /* decimal point */
3122                /* ndigits may be <5 for small numbers, output leading zeros
3123                 * then ndigits digits to first:
3124                 */
3125                i = 5;
3126                while (ndigits < i) *ascii++ = 48, --i;
3127                while (ndigits >= first) *ascii++ = digits[--ndigits];
3128                /* Don't output the trailing zeros! */
3129             }
3130          }
3131          else
3132             *ascii++ = 48;
3133
3134          /* And null terminate the string: */
3135          *ascii = 0;
3136          return;
3137       }
3138    }
3139
3140    /* Here on buffer too small. */
3141    png_error(png_ptr, "ASCII conversion buffer too small");
3142 }
3143 #   endif /* FIXED_POINT */
3144 #endif /* READ_SCAL */
3145
3146 #if defined(PNG_FLOATING_POINT_SUPPORTED) && \
3147    !defined(PNG_FIXED_POINT_MACRO_SUPPORTED) && \
3148    (defined(PNG_gAMA_SUPPORTED) || defined(PNG_cHRM_SUPPORTED) || \
3149    defined(PNG_sCAL_SUPPORTED) || defined(PNG_READ_BACKGROUND_SUPPORTED) || \
3150    defined(PNG_READ_RGB_TO_GRAY_SUPPORTED)) || \
3151    (defined(PNG_sCAL_SUPPORTED) && \
3152    defined(PNG_FLOATING_ARITHMETIC_SUPPORTED))
3153 png_fixed_point
3154 png_fixed(png_const_structrp png_ptr, double fp, png_const_charp text)
3155 {
3156    double r = floor(100000 * fp + .5);
3157
3158    if (r > 2147483647. || r < -2147483648.)
3159       png_fixed_error(png_ptr, text);
3160
3161 #  ifndef PNG_ERROR_TEXT_SUPPORTED
3162       PNG_UNUSED(text)
3163 #  endif
3164
3165    return (png_fixed_point)r;
3166 }
3167 #endif
3168
3169 #if defined(PNG_GAMMA_SUPPORTED) || defined(PNG_COLORSPACE_SUPPORTED) ||\
3170     defined(PNG_INCH_CONVERSIONS_SUPPORTED) || defined(PNG_READ_pHYs_SUPPORTED)
3171 /* muldiv functions */
3172 /* This API takes signed arguments and rounds the result to the nearest
3173  * integer (or, for a fixed point number - the standard argument - to
3174  * the nearest .00001).  Overflow and divide by zero are signalled in
3175  * the result, a boolean - true on success, false on overflow.
3176  */
3177 int
3178 png_muldiv(png_fixed_point_p res, png_fixed_point a, png_int_32 times,
3179     png_int_32 divisor)
3180 {
3181    /* Return a * times / divisor, rounded. */
3182    if (divisor != 0)
3183    {
3184       if (a == 0 || times == 0)
3185       {
3186          *res = 0;
3187          return 1;
3188       }
3189       else
3190       {
3191 #ifdef PNG_FLOATING_ARITHMETIC_SUPPORTED
3192          double r = a;
3193          r *= times;
3194          r /= divisor;
3195          r = floor(r+.5);
3196
3197          /* A png_fixed_point is a 32-bit integer. */
3198          if (r <= 2147483647. && r >= -2147483648.)
3199          {
3200             *res = (png_fixed_point)r;
3201             return 1;
3202          }
3203 #else
3204          int negative = 0;
3205          png_uint_32 A, T, D;
3206          png_uint_32 s16, s32, s00;
3207
3208          if (a < 0)
3209             negative = 1, A = -a;
3210          else
3211             A = a;
3212
3213          if (times < 0)
3214             negative = !negative, T = -times;
3215          else
3216             T = times;
3217
3218          if (divisor < 0)
3219             negative = !negative, D = -divisor;
3220          else
3221             D = divisor;
3222
3223          /* Following can't overflow because the arguments only
3224           * have 31 bits each, however the result may be 32 bits.
3225           */
3226          s16 = (A >> 16) * (T & 0xffff) +
3227                            (A & 0xffff) * (T >> 16);
3228          /* Can't overflow because the a*times bit is only 30
3229           * bits at most.
3230           */
3231          s32 = (A >> 16) * (T >> 16) + (s16 >> 16);
3232          s00 = (A & 0xffff) * (T & 0xffff);
3233
3234          s16 = (s16 & 0xffff) << 16;
3235          s00 += s16;
3236
3237          if (s00 < s16)
3238             ++s32; /* carry */
3239
3240          if (s32 < D) /* else overflow */
3241          {
3242             /* s32.s00 is now the 64-bit product, do a standard
3243              * division, we know that s32 < D, so the maximum
3244              * required shift is 31.
3245              */
3246             int bitshift = 32;
3247             png_fixed_point result = 0; /* NOTE: signed */
3248
3249             while (--bitshift >= 0)
3250             {
3251                png_uint_32 d32, d00;
3252
3253                if (bitshift > 0)
3254                   d32 = D >> (32-bitshift), d00 = D << bitshift;
3255
3256                else
3257                   d32 = 0, d00 = D;
3258
3259                if (s32 > d32)
3260                {
3261                   if (s00 < d00) --s32; /* carry */
3262                   s32 -= d32, s00 -= d00, result += 1<<bitshift;
3263                }
3264
3265                else
3266                   if (s32 == d32 && s00 >= d00)
3267                      s32 = 0, s00 -= d00, result += 1<<bitshift;
3268             }
3269
3270             /* Handle the rounding. */
3271             if (s00 >= (D >> 1))
3272                ++result;
3273
3274             if (negative != 0)
3275                result = -result;
3276
3277             /* Check for overflow. */
3278             if ((negative && result <= 0) || (!negative && result >= 0))
3279             {
3280                *res = result;
3281                return 1;
3282             }
3283          }
3284 #endif
3285       }
3286    }
3287
3288    return 0;
3289 }
3290 #endif /* READ_GAMMA || INCH_CONVERSIONS */
3291
3292 #if defined(PNG_READ_GAMMA_SUPPORTED) || defined(PNG_INCH_CONVERSIONS_SUPPORTED)
3293 /* The following is for when the caller doesn't much care about the
3294  * result.
3295  */
3296 png_fixed_point
3297 png_muldiv_warn(png_const_structrp png_ptr, png_fixed_point a, png_int_32 times,
3298     png_int_32 divisor)
3299 {
3300    png_fixed_point result;
3301
3302    if (png_muldiv(&result, a, times, divisor))
3303       return result;
3304
3305    png_warning(png_ptr, "fixed point overflow ignored");
3306    return 0;
3307 }
3308 #endif
3309
3310 #ifdef PNG_GAMMA_SUPPORTED /* more fixed point functions for gamma */
3311 /* Calculate a reciprocal, return 0 on div-by-zero or overflow. */
3312 png_fixed_point
3313 png_reciprocal(png_fixed_point a)
3314 {
3315 #ifdef PNG_FLOATING_ARITHMETIC_SUPPORTED
3316    double r = floor(1E10/a+.5);
3317
3318    if (r <= 2147483647. && r >= -2147483648.)
3319       return (png_fixed_point)r;
3320 #else
3321    png_fixed_point res;
3322
3323    if (png_muldiv(&res, 100000, 100000, a))
3324       return res;
3325 #endif
3326
3327    return 0; /* error/overflow */
3328 }
3329
3330 /* This is the shared test on whether a gamma value is 'significant' - whether
3331  * it is worth doing gamma correction.
3332  */
3333 int /* PRIVATE */
3334 png_gamma_significant(png_fixed_point gamma_val)
3335 {
3336    return gamma_val < PNG_FP_1 - PNG_GAMMA_THRESHOLD_FIXED ||
3337        gamma_val > PNG_FP_1 + PNG_GAMMA_THRESHOLD_FIXED;
3338 }
3339 #endif
3340
3341 #ifdef PNG_READ_GAMMA_SUPPORTED
3342 #  ifdef PNG_16BIT_SUPPORTED
3343 /* A local convenience routine. */
3344 static png_fixed_point
3345 png_product2(png_fixed_point a, png_fixed_point b)
3346 {
3347    /* The required result is 1/a * 1/b; the following preserves accuracy. */
3348 #    ifdef PNG_FLOATING_ARITHMETIC_SUPPORTED
3349    double r = a * 1E-5;
3350    r *= b;
3351    r = floor(r+.5);
3352
3353    if (r <= 2147483647. && r >= -2147483648.)
3354       return (png_fixed_point)r;
3355 #    else
3356    png_fixed_point res;
3357
3358    if (png_muldiv(&res, a, b, 100000))
3359       return res;
3360 #    endif
3361
3362    return 0; /* overflow */
3363 }
3364 #  endif /* 16BIT */
3365
3366 /* The inverse of the above. */
3367 png_fixed_point
3368 png_reciprocal2(png_fixed_point a, png_fixed_point b)
3369 {
3370    /* The required result is 1/a * 1/b; the following preserves accuracy. */
3371 #ifdef PNG_FLOATING_ARITHMETIC_SUPPORTED
3372    double r = 1E15/a;
3373    r /= b;
3374    r = floor(r+.5);
3375
3376    if (r <= 2147483647. && r >= -2147483648.)
3377       return (png_fixed_point)r;
3378 #else
3379    /* This may overflow because the range of png_fixed_point isn't symmetric,
3380     * but this API is only used for the product of file and screen gamma so it
3381     * doesn't matter that the smallest number it can produce is 1/21474, not
3382     * 1/100000
3383     */
3384    png_fixed_point res = png_product2(a, b);
3385
3386    if (res != 0)
3387       return png_reciprocal(res);
3388 #endif
3389
3390    return 0; /* overflow */
3391 }
3392 #endif /* READ_GAMMA */
3393
3394 #ifdef PNG_READ_GAMMA_SUPPORTED /* gamma table code */
3395 #ifndef PNG_FLOATING_ARITHMETIC_SUPPORTED
3396 /* Fixed point gamma.
3397  *
3398  * The code to calculate the tables used below can be found in the shell script
3399  * contrib/tools/intgamma.sh
3400  *
3401  * To calculate gamma this code implements fast log() and exp() calls using only
3402  * fixed point arithmetic.  This code has sufficient precision for either 8-bit
3403  * or 16-bit sample values.
3404  *
3405  * The tables used here were calculated using simple 'bc' programs, but C double
3406  * precision floating point arithmetic would work fine.
3407  *
3408  * 8-bit log table
3409  *   This is a table of -log(value/255)/log(2) for 'value' in the range 128 to
3410  *   255, so it's the base 2 logarithm of a normalized 8-bit floating point
3411  *   mantissa.  The numbers are 32-bit fractions.
3412  */
3413 static const png_uint_32
3414 png_8bit_l2[128] =
3415 {
3416    4270715492U, 4222494797U, 4174646467U, 4127164793U, 4080044201U, 4033279239U,
3417    3986864580U, 3940795015U, 3895065449U, 3849670902U, 3804606499U, 3759867474U,
3418    3715449162U, 3671346997U, 3627556511U, 3584073329U, 3540893168U, 3498011834U,
3419    3455425220U, 3413129301U, 3371120137U, 3329393864U, 3287946700U, 3246774933U,
3420    3205874930U, 3165243125U, 3124876025U, 3084770202U, 3044922296U, 3005329011U,
3421    2965987113U, 2926893432U, 2888044853U, 2849438323U, 2811070844U, 2772939474U,
3422    2735041326U, 2697373562U, 2659933400U, 2622718104U, 2585724991U, 2548951424U,
3423    2512394810U, 2476052606U, 2439922311U, 2404001468U, 2368287663U, 2332778523U,
3424    2297471715U, 2262364947U, 2227455964U, 2192742551U, 2158222529U, 2123893754U,
3425    2089754119U, 2055801552U, 2022034013U, 1988449497U, 1955046031U, 1921821672U,
3426    1888774511U, 1855902668U, 1823204291U, 1790677560U, 1758320682U, 1726131893U,
3427    1694109454U, 1662251657U, 1630556815U, 1599023271U, 1567649391U, 1536433567U,
3428    1505374214U, 1474469770U, 1443718700U, 1413119487U, 1382670639U, 1352370686U,
3429    1322218179U, 1292211689U, 1262349810U, 1232631153U, 1203054352U, 1173618059U,
3430    1144320946U, 1115161701U, 1086139034U, 1057251672U, 1028498358U, 999877854U,
3431    971388940U, 943030410U, 914801076U, 886699767U, 858725327U, 830876614U,
3432    803152505U, 775551890U, 748073672U, 720716771U, 693480120U, 666362667U,
3433    639363374U, 612481215U, 585715177U, 559064263U, 532527486U, 506103872U,
3434    479792461U, 453592303U, 427502463U, 401522014U, 375650043U, 349885648U,
3435    324227938U, 298676034U, 273229066U, 247886176U, 222646516U, 197509248U,
3436    172473545U, 147538590U, 122703574U, 97967701U, 73330182U, 48790236U,
3437    24347096U, 0U
3438
3439 #if 0
3440    /* The following are the values for 16-bit tables - these work fine for the
3441     * 8-bit conversions but produce very slightly larger errors in the 16-bit
3442     * log (about 1.2 as opposed to 0.7 absolute error in the final value).  To
3443     * use these all the shifts below must be adjusted appropriately.
3444     */
3445    65166, 64430, 63700, 62976, 62257, 61543, 60835, 60132, 59434, 58741, 58054,
3446    57371, 56693, 56020, 55352, 54689, 54030, 53375, 52726, 52080, 51439, 50803,
3447    50170, 49542, 48918, 48298, 47682, 47070, 46462, 45858, 45257, 44661, 44068,
3448    43479, 42894, 42312, 41733, 41159, 40587, 40020, 39455, 38894, 38336, 37782,
3449    37230, 36682, 36137, 35595, 35057, 34521, 33988, 33459, 32932, 32408, 31887,
3450    31369, 30854, 30341, 29832, 29325, 28820, 28319, 27820, 27324, 26830, 26339,
3451    25850, 25364, 24880, 24399, 23920, 23444, 22970, 22499, 22029, 21562, 21098,
3452    20636, 20175, 19718, 19262, 18808, 18357, 17908, 17461, 17016, 16573, 16132,
3453    15694, 15257, 14822, 14390, 13959, 13530, 13103, 12678, 12255, 11834, 11415,
3454    10997, 10582, 10168, 9756, 9346, 8937, 8531, 8126, 7723, 7321, 6921, 6523,
3455    6127, 5732, 5339, 4947, 4557, 4169, 3782, 3397, 3014, 2632, 2251, 1872, 1495,
3456    1119, 744, 372
3457 #endif
3458 };
3459
3460 static png_int_32
3461 png_log8bit(unsigned int x)
3462 {
3463    unsigned int lg2 = 0;
3464    /* Each time 'x' is multiplied by 2, 1 must be subtracted off the final log,
3465     * because the log is actually negate that means adding 1.  The final
3466     * returned value thus has the range 0 (for 255 input) to 7.994 (for 1
3467     * input), return -1 for the overflow (log 0) case, - so the result is
3468     * always at most 19 bits.
3469     */
3470    if ((x &= 0xff) == 0)
3471       return -1;
3472
3473    if ((x & 0xf0) == 0)
3474       lg2  = 4, x <<= 4;
3475
3476    if ((x & 0xc0) == 0)
3477       lg2 += 2, x <<= 2;
3478
3479    if ((x & 0x80) == 0)
3480       lg2 += 1, x <<= 1;
3481
3482    /* result is at most 19 bits, so this cast is safe: */
3483    return (png_int_32)((lg2 << 16) + ((png_8bit_l2[x-128]+32768)>>16));
3484 }
3485
3486 /* The above gives exact (to 16 binary places) log2 values for 8-bit images,
3487  * for 16-bit images we use the most significant 8 bits of the 16-bit value to
3488  * get an approximation then multiply the approximation by a correction factor
3489  * determined by the remaining up to 8 bits.  This requires an additional step
3490  * in the 16-bit case.
3491  *
3492  * We want log2(value/65535), we have log2(v'/255), where:
3493  *
3494  *    value = v' * 256 + v''
3495  *          = v' * f
3496  *
3497  * So f is value/v', which is equal to (256+v''/v') since v' is in the range 128
3498  * to 255 and v'' is in the range 0 to 255 f will be in the range 256 to less
3499  * than 258.  The final factor also needs to correct for the fact that our 8-bit
3500  * value is scaled by 255, whereas the 16-bit values must be scaled by 65535.
3501  *
3502  * This gives a final formula using a calculated value 'x' which is value/v' and
3503  * scaling by 65536 to match the above table:
3504  *
3505  *   log2(x/257) * 65536
3506  *
3507  * Since these numbers are so close to '1' we can use simple linear
3508  * interpolation between the two end values 256/257 (result -368.61) and 258/257
3509  * (result 367.179).  The values used below are scaled by a further 64 to give
3510  * 16-bit precision in the interpolation:
3511  *
3512  * Start (256): -23591
3513  * Zero  (257):      0
3514  * End   (258):  23499
3515  */
3516 static png_int_32
3517 png_log16bit(png_uint_32 x)
3518 {
3519    unsigned int lg2 = 0;
3520
3521    /* As above, but now the input has 16 bits. */
3522    if ((x &= 0xffff) == 0)
3523       return -1;
3524
3525    if ((x & 0xff00) == 0)
3526       lg2  = 8, x <<= 8;
3527
3528    if ((x & 0xf000) == 0)
3529       lg2 += 4, x <<= 4;
3530
3531    if ((x & 0xc000) == 0)
3532       lg2 += 2, x <<= 2;
3533
3534    if ((x & 0x8000) == 0)
3535       lg2 += 1, x <<= 1;
3536
3537    /* Calculate the base logarithm from the top 8 bits as a 28-bit fractional
3538     * value.
3539     */
3540    lg2 <<= 28;
3541    lg2 += (png_8bit_l2[(x>>8)-128]+8) >> 4;
3542
3543    /* Now we need to interpolate the factor, this requires a division by the top
3544     * 8 bits.  Do this with maximum precision.
3545     */
3546    x = ((x << 16) + (x >> 9)) / (x >> 8);
3547
3548    /* Since we divided by the top 8 bits of 'x' there will be a '1' at 1<<24,
3549     * the value at 1<<16 (ignoring this) will be 0 or 1; this gives us exactly
3550     * 16 bits to interpolate to get the low bits of the result.  Round the
3551     * answer.  Note that the end point values are scaled by 64 to retain overall
3552     * precision and that 'lg2' is current scaled by an extra 12 bits, so adjust
3553     * the overall scaling by 6-12.  Round at every step.
3554     */
3555    x -= 1U << 24;
3556
3557    if (x <= 65536U) /* <= '257' */
3558       lg2 += ((23591U * (65536U-x)) + (1U << (16+6-12-1))) >> (16+6-12);
3559
3560    else
3561       lg2 -= ((23499U * (x-65536U)) + (1U << (16+6-12-1))) >> (16+6-12);
3562
3563    /* Safe, because the result can't have more than 20 bits: */
3564    return (png_int_32)((lg2 + 2048) >> 12);
3565 }
3566
3567 /* The 'exp()' case must invert the above, taking a 20-bit fixed point
3568  * logarithmic value and returning a 16 or 8-bit number as appropriate.  In
3569  * each case only the low 16 bits are relevant - the fraction - since the
3570  * integer bits (the top 4) simply determine a shift.
3571  *
3572  * The worst case is the 16-bit distinction between 65535 and 65534, this
3573  * requires perhaps spurious accuracty in the decoding of the logarithm to
3574  * distinguish log2(65535/65534.5) - 10^-5 or 17 bits.  There is little chance
3575  * of getting this accuracy in practice.
3576  *
3577  * To deal with this the following exp() function works out the exponent of the
3578  * frational part of the logarithm by using an accurate 32-bit value from the
3579  * top four fractional bits then multiplying in the remaining bits.
3580  */
3581 static const png_uint_32
3582 png_32bit_exp[16] =
3583 {
3584    /* NOTE: the first entry is deliberately set to the maximum 32-bit value. */
3585    4294967295U, 4112874773U, 3938502376U, 3771522796U, 3611622603U, 3458501653U,
3586    3311872529U, 3171459999U, 3037000500U, 2908241642U, 2784941738U, 2666869345U,
3587    2553802834U, 2445529972U, 2341847524U, 2242560872U
3588 };
3589
3590 /* Adjustment table; provided to explain the numbers in the code below. */
3591 #if 0
3592 for (i=11;i>=0;--i){ print i, " ", (1 - e(-(2^i)/65536*l(2))) * 2^(32-i), "\n"}
3593    11 44937.64284865548751208448
3594    10 45180.98734845585101160448
3595     9 45303.31936980687359311872
3596     8 45364.65110595323018870784
3597     7 45395.35850361789624614912
3598     6 45410.72259715102037508096
3599     5 45418.40724413220722311168
3600     4 45422.25021786898173001728
3601     3 45424.17186732298419044352
3602     2 45425.13273269940811464704
3603     1 45425.61317555035558641664
3604     0 45425.85339951654943850496
3605 #endif
3606
3607 static png_uint_32
3608 png_exp(png_fixed_point x)
3609 {
3610    if (x > 0 && x <= 0xfffff) /* Else overflow or zero (underflow) */
3611    {
3612       /* Obtain a 4-bit approximation */
3613       png_uint_32 e = png_32bit_exp[(x >> 12) & 0xf];
3614
3615       /* Incorporate the low 12 bits - these decrease the returned value by
3616        * multiplying by a number less than 1 if the bit is set.  The multiplier
3617        * is determined by the above table and the shift. Notice that the values
3618        * converge on 45426 and this is used to allow linear interpolation of the
3619        * low bits.
3620        */
3621       if (x & 0x800)
3622          e -= (((e >> 16) * 44938U) +  16U) >> 5;
3623
3624       if (x & 0x400)
3625          e -= (((e >> 16) * 45181U) +  32U) >> 6;
3626
3627       if (x & 0x200)
3628          e -= (((e >> 16) * 45303U) +  64U) >> 7;
3629
3630       if (x & 0x100)
3631          e -= (((e >> 16) * 45365U) + 128U) >> 8;
3632
3633       if (x & 0x080)
3634          e -= (((e >> 16) * 45395U) + 256U) >> 9;
3635
3636       if (x & 0x040)
3637          e -= (((e >> 16) * 45410U) + 512U) >> 10;
3638
3639       /* And handle the low 6 bits in a single block. */
3640       e -= (((e >> 16) * 355U * (x & 0x3fU)) + 256U) >> 9;
3641
3642       /* Handle the upper bits of x. */
3643       e >>= x >> 16;
3644       return e;
3645    }
3646
3647    /* Check for overflow */
3648    if (x <= 0)
3649       return png_32bit_exp[0];
3650
3651    /* Else underflow */
3652    return 0;
3653 }
3654
3655 static png_byte
3656 png_exp8bit(png_fixed_point lg2)
3657 {
3658    /* Get a 32-bit value: */
3659    png_uint_32 x = png_exp(lg2);
3660
3661    /* Convert the 32-bit value to 0..255 by multiplying by 256-1, note that the
3662     * second, rounding, step can't overflow because of the first, subtraction,
3663     * step.
3664     */
3665    x -= x >> 8;
3666    return (png_byte)((x + 0x7fffffU) >> 24);
3667 }
3668
3669 #ifdef PNG_16BIT_SUPPORTED
3670 static png_uint_16
3671 png_exp16bit(png_fixed_point lg2)
3672 {
3673    /* Get a 32-bit value: */
3674    png_uint_32 x = png_exp(lg2);
3675
3676    /* Convert the 32-bit value to 0..65535 by multiplying by 65536-1: */
3677    x -= x >> 16;
3678    return (png_uint_16)((x + 32767U) >> 16);
3679 }
3680 #endif /* 16BIT */
3681 #endif /* FLOATING_ARITHMETIC */
3682
3683 png_byte
3684 png_gamma_8bit_correct(unsigned int value, png_fixed_point gamma_val)
3685 {
3686    if (value > 0 && value < 255)
3687    {
3688 #     ifdef PNG_FLOATING_ARITHMETIC_SUPPORTED
3689          double r = floor(255*pow(value/255.,gamma_val*.00001)+.5);
3690          return (png_byte)r;
3691 #     else
3692          png_int_32 lg2 = png_log8bit(value);
3693          png_fixed_point res;
3694
3695          if (png_muldiv(&res, gamma_val, lg2, PNG_FP_1))
3696             return png_exp8bit(res);
3697
3698          /* Overflow. */
3699          value = 0;
3700 #     endif
3701    }
3702
3703    return (png_byte)value;
3704 }
3705
3706 #ifdef PNG_16BIT_SUPPORTED
3707 png_uint_16
3708 png_gamma_16bit_correct(unsigned int value, png_fixed_point gamma_val)
3709 {
3710    if (value > 0 && value < 65535)
3711    {
3712 #     ifdef PNG_FLOATING_ARITHMETIC_SUPPORTED
3713          double r = floor(65535*pow(value/65535.,gamma_val*.00001)+.5);
3714          return (png_uint_16)r;
3715 #     else
3716          png_int_32 lg2 = png_log16bit(value);
3717          png_fixed_point res;
3718
3719          if (png_muldiv(&res, gamma_val, lg2, PNG_FP_1))
3720             return png_exp16bit(res);
3721
3722          /* Overflow. */
3723          value = 0;
3724 #     endif
3725    }
3726
3727    return (png_uint_16)value;
3728 }
3729 #endif /* 16BIT */
3730
3731 /* This does the right thing based on the bit_depth field of the
3732  * png_struct, interpreting values as 8-bit or 16-bit.  While the result
3733  * is nominally a 16-bit value if bit depth is 8 then the result is
3734  * 8-bit (as are the arguments.)
3735  */
3736 png_uint_16 /* PRIVATE */
3737 png_gamma_correct(png_structrp png_ptr, unsigned int value,
3738     png_fixed_point gamma_val)
3739 {
3740    if (png_ptr->bit_depth == 8)
3741       return png_gamma_8bit_correct(value, gamma_val);
3742
3743 #ifdef PNG_16BIT_SUPPORTED
3744    else
3745       return png_gamma_16bit_correct(value, gamma_val);
3746 #else
3747       /* should not reach this */
3748       return 0;
3749 #endif /* 16BIT */
3750 }
3751
3752 #ifdef PNG_16BIT_SUPPORTED
3753 /* Internal function to build a single 16-bit table - the table consists of
3754  * 'num' 256 entry subtables, where 'num' is determined by 'shift' - the amount
3755  * to shift the input values right (or 16-number_of_signifiant_bits).
3756  *
3757  * The caller is responsible for ensuring that the table gets cleaned up on
3758  * png_error (i.e. if one of the mallocs below fails) - i.e. the *table argument
3759  * should be somewhere that will be cleaned.
3760  */
3761 static void
3762 png_build_16bit_table(png_structrp png_ptr, png_uint_16pp *ptable,
3763    PNG_CONST unsigned int shift, PNG_CONST png_fixed_point gamma_val)
3764 {
3765    /* Various values derived from 'shift': */
3766    PNG_CONST unsigned int num = 1U << (8U - shift);
3767    PNG_CONST unsigned int max = (1U << (16U - shift))-1U;
3768    PNG_CONST unsigned int max_by_2 = 1U << (15U-shift);
3769    unsigned int i;
3770
3771    png_uint_16pp table = *ptable =
3772        (png_uint_16pp)png_calloc(png_ptr, num * (sizeof (png_uint_16p)));
3773
3774    for (i = 0; i < num; i++)
3775    {
3776       png_uint_16p sub_table = table[i] =
3777           (png_uint_16p)png_malloc(png_ptr, 256 * (sizeof (png_uint_16)));
3778
3779       /* The 'threshold' test is repeated here because it can arise for one of
3780        * the 16-bit tables even if the others don't hit it.
3781        */
3782       if (png_gamma_significant(gamma_val))
3783       {
3784          /* The old code would overflow at the end and this would cause the
3785           * 'pow' function to return a result >1, resulting in an
3786           * arithmetic error.  This code follows the spec exactly; ig is
3787           * the recovered input sample, it always has 8-16 bits.
3788           *
3789           * We want input * 65535/max, rounded, the arithmetic fits in 32
3790           * bits (unsigned) so long as max <= 32767.
3791           */
3792          unsigned int j;
3793          for (j = 0; j < 256; j++)
3794          {
3795             png_uint_32 ig = (j << (8-shift)) + i;
3796 #           ifdef PNG_FLOATING_ARITHMETIC_SUPPORTED
3797                /* Inline the 'max' scaling operation: */
3798                double d = floor(65535*pow(ig/(double)max, gamma_val*.00001)+.5);
3799                sub_table[j] = (png_uint_16)d;
3800 #           else
3801                if (shift != 0)
3802                   ig = (ig * 65535U + max_by_2)/max;
3803
3804                sub_table[j] = png_gamma_16bit_correct(ig, gamma_val);
3805 #           endif
3806          }
3807       }
3808       else
3809       {
3810          /* We must still build a table, but do it the fast way. */
3811          unsigned int j;
3812
3813          for (j = 0; j < 256; j++)
3814          {
3815             png_uint_32 ig = (j << (8-shift)) + i;
3816
3817             if (shift != 0)
3818                ig = (ig * 65535U + max_by_2)/max;
3819
3820             sub_table[j] = (png_uint_16)ig;
3821          }
3822       }
3823    }
3824 }
3825
3826 /* NOTE: this function expects the *inverse* of the overall gamma transformation
3827  * required.
3828  */
3829 static void
3830 png_build_16to8_table(png_structrp png_ptr, png_uint_16pp *ptable,
3831    PNG_CONST unsigned int shift, PNG_CONST png_fixed_point gamma_val)
3832 {
3833    PNG_CONST unsigned int num = 1U << (8U - shift);
3834    PNG_CONST unsigned int max = (1U << (16U - shift))-1U;
3835    unsigned int i;
3836    png_uint_32 last;
3837
3838    png_uint_16pp table = *ptable =
3839        (png_uint_16pp)png_calloc(png_ptr, num * (sizeof (png_uint_16p)));
3840
3841    /* 'num' is the number of tables and also the number of low bits of low
3842     * bits of the input 16-bit value used to select a table.  Each table is
3843     * itself index by the high 8 bits of the value.
3844     */
3845    for (i = 0; i < num; i++)
3846       table[i] = (png_uint_16p)png_malloc(png_ptr,
3847           256 * (sizeof (png_uint_16)));
3848
3849    /* 'gamma_val' is set to the reciprocal of the value calculated above, so
3850     * pow(out,g) is an *input* value.  'last' is the last input value set.
3851     *
3852     * In the loop 'i' is used to find output values.  Since the output is
3853     * 8-bit there are only 256 possible values.  The tables are set up to
3854     * select the closest possible output value for each input by finding
3855     * the input value at the boundary between each pair of output values
3856     * and filling the table up to that boundary with the lower output
3857     * value.
3858     *
3859     * The boundary values are 0.5,1.5..253.5,254.5.  Since these are 9-bit
3860     * values the code below uses a 16-bit value in i; the values start at
3861     * 128.5 (for 0.5) and step by 257, for a total of 254 values (the last
3862     * entries are filled with 255).  Start i at 128 and fill all 'last'
3863     * table entries <= 'max'
3864     */
3865    last = 0;
3866    for (i = 0; i < 255; ++i) /* 8-bit output value */
3867    {
3868       /* Find the corresponding maximum input value */
3869       png_uint_16 out = (png_uint_16)(i * 257U); /* 16-bit output value */
3870
3871       /* Find the boundary value in 16 bits: */
3872       png_uint_32 bound = png_gamma_16bit_correct(out+128U, gamma_val);
3873
3874       /* Adjust (round) to (16-shift) bits: */
3875       bound = (bound * max + 32768U)/65535U + 1U;
3876
3877       while (last < bound)
3878       {
3879          table[last & (0xffU >> shift)][last >> (8U - shift)] = out;
3880          last++;
3881       }
3882    }
3883
3884    /* And fill in the final entries. */
3885    while (last < (num << 8))
3886    {
3887       table[last & (0xff >> shift)][last >> (8U - shift)] = 65535U;
3888       last++;
3889    }
3890 }
3891 #endif /* 16BIT */
3892
3893 /* Build a single 8-bit table: same as the 16-bit case but much simpler (and
3894  * typically much faster).  Note that libpng currently does no sBIT processing
3895  * (apparently contrary to the spec) so a 256 entry table is always generated.
3896  */
3897 static void
3898 png_build_8bit_table(png_structrp png_ptr, png_bytepp ptable,
3899    PNG_CONST png_fixed_point gamma_val)
3900 {
3901    unsigned int i;
3902    png_bytep table = *ptable = (png_bytep)png_malloc(png_ptr, 256);
3903
3904    if (png_gamma_significant(gamma_val)) for (i=0; i<256; i++)
3905       table[i] = png_gamma_8bit_correct(i, gamma_val);
3906
3907    else for (i=0; i<256; ++i)
3908       table[i] = (png_byte)i;
3909 }
3910
3911 /* Used from png_read_destroy and below to release the memory used by the gamma
3912  * tables.
3913  */
3914 void /* PRIVATE */
3915 png_destroy_gamma_table(png_structrp png_ptr)
3916 {
3917    png_free(png_ptr, png_ptr->gamma_table);
3918    png_ptr->gamma_table = NULL;
3919
3920 #ifdef PNG_16BIT_SUPPORTED
3921    if (png_ptr->gamma_16_table != NULL)
3922    {
3923       int i;
3924       int istop = (1 << (8 - png_ptr->gamma_shift));
3925       for (i = 0; i < istop; i++)
3926       {
3927          png_free(png_ptr, png_ptr->gamma_16_table[i]);
3928       }
3929    png_free(png_ptr, png_ptr->gamma_16_table);
3930    png_ptr->gamma_16_table = NULL;
3931    }
3932 #endif /* 16BIT */
3933
3934 #if defined(PNG_READ_BACKGROUND_SUPPORTED) || \
3935    defined(PNG_READ_ALPHA_MODE_SUPPORTED) || \
3936    defined(PNG_READ_RGB_TO_GRAY_SUPPORTED)
3937    png_free(png_ptr, png_ptr->gamma_from_1);
3938    png_ptr->gamma_from_1 = NULL;
3939    png_free(png_ptr, png_ptr->gamma_to_1);
3940    png_ptr->gamma_to_1 = NULL;
3941
3942 #ifdef PNG_16BIT_SUPPORTED
3943    if (png_ptr->gamma_16_from_1 != NULL)
3944    {
3945       int i;
3946       int istop = (1 << (8 - png_ptr->gamma_shift));
3947       for (i = 0; i < istop; i++)
3948       {
3949          png_free(png_ptr, png_ptr->gamma_16_from_1[i]);
3950       }
3951    png_free(png_ptr, png_ptr->gamma_16_from_1);
3952    png_ptr->gamma_16_from_1 = NULL;
3953    }
3954    if (png_ptr->gamma_16_to_1 != NULL)
3955    {
3956       int i;
3957       int istop = (1 << (8 - png_ptr->gamma_shift));
3958       for (i = 0; i < istop; i++)
3959       {
3960          png_free(png_ptr, png_ptr->gamma_16_to_1[i]);
3961       }
3962    png_free(png_ptr, png_ptr->gamma_16_to_1);
3963    png_ptr->gamma_16_to_1 = NULL;
3964    }
3965 #endif /* 16BIT */
3966 #endif /* READ_BACKGROUND || READ_ALPHA_MODE || RGB_TO_GRAY */
3967 }
3968
3969 /* We build the 8- or 16-bit gamma tables here.  Note that for 16-bit
3970  * tables, we don't make a full table if we are reducing to 8-bit in
3971  * the future.  Note also how the gamma_16 tables are segmented so that
3972  * we don't need to allocate > 64K chunks for a full 16-bit table.
3973  */
3974 void /* PRIVATE */
3975 png_build_gamma_table(png_structrp png_ptr, int bit_depth)
3976 {
3977   png_debug(1, "in png_build_gamma_table");
3978
3979   /* Remove any existing table; this copes with multiple calls to
3980    * png_read_update_info.  The warning is because building the gamma tables
3981    * multiple times is a performance hit - it's harmless but the ability to call
3982    * png_read_update_info() multiple times is new in 1.5.6 so it seems sensible
3983    * to warn if the app introduces such a hit.
3984    */
3985   if (png_ptr->gamma_table != NULL || png_ptr->gamma_16_table != NULL)
3986   {
3987     png_warning(png_ptr, "gamma table being rebuilt");
3988     png_destroy_gamma_table(png_ptr);
3989   }
3990
3991   if (bit_depth <= 8)
3992   {
3993      png_build_8bit_table(png_ptr, &png_ptr->gamma_table,
3994          png_ptr->screen_gamma > 0 ?  png_reciprocal2(png_ptr->colorspace.gamma,
3995          png_ptr->screen_gamma) : PNG_FP_1);
3996
3997 #if defined(PNG_READ_BACKGROUND_SUPPORTED) || \
3998    defined(PNG_READ_ALPHA_MODE_SUPPORTED) || \
3999    defined(PNG_READ_RGB_TO_GRAY_SUPPORTED)
4000      if (png_ptr->transformations & (PNG_COMPOSE | PNG_RGB_TO_GRAY))
4001      {
4002         png_build_8bit_table(png_ptr, &png_ptr->gamma_to_1,
4003             png_reciprocal(png_ptr->colorspace.gamma));
4004
4005         png_build_8bit_table(png_ptr, &png_ptr->gamma_from_1,
4006             png_ptr->screen_gamma > 0 ?  png_reciprocal(png_ptr->screen_gamma) :
4007             png_ptr->colorspace.gamma/* Probably doing rgb_to_gray */);
4008      }
4009 #endif /* READ_BACKGROUND || READ_ALPHA_MODE || RGB_TO_GRAY */
4010   }
4011 #ifdef PNG_16BIT_SUPPORTED
4012   else
4013   {
4014      png_byte shift, sig_bit;
4015
4016      if (png_ptr->color_type & PNG_COLOR_MASK_COLOR)
4017      {
4018         sig_bit = png_ptr->sig_bit.red;
4019
4020         if (png_ptr->sig_bit.green > sig_bit)
4021            sig_bit = png_ptr->sig_bit.green;
4022
4023         if (png_ptr->sig_bit.blue > sig_bit)
4024            sig_bit = png_ptr->sig_bit.blue;
4025      }
4026      else
4027         sig_bit = png_ptr->sig_bit.gray;
4028
4029      /* 16-bit gamma code uses this equation:
4030       *
4031       *   ov = table[(iv & 0xff) >> gamma_shift][iv >> 8]
4032       *
4033       * Where 'iv' is the input color value and 'ov' is the output value -
4034       * pow(iv, gamma).
4035       *
4036       * Thus the gamma table consists of up to 256 256 entry tables.  The table
4037       * is selected by the (8-gamma_shift) most significant of the low 8 bits of
4038       * the color value then indexed by the upper 8 bits:
4039       *
4040       *   table[low bits][high 8 bits]
4041       *
4042       * So the table 'n' corresponds to all those 'iv' of:
4043       *
4044       *   <all high 8-bit values><n << gamma_shift>..<(n+1 << gamma_shift)-1>
4045       *
4046       */
4047      if (sig_bit > 0 && sig_bit < 16U)
4048         shift = (png_byte)(16U - sig_bit); /* shift == insignificant bits */
4049
4050      else
4051         shift = 0; /* keep all 16 bits */
4052
4053      if (png_ptr->transformations & (PNG_16_TO_8 | PNG_SCALE_16_TO_8))
4054      {
4055         /* PNG_MAX_GAMMA_8 is the number of bits to keep - effectively
4056          * the significant bits in the *input* when the output will
4057          * eventually be 8 bits.  By default it is 11.
4058          */
4059         if (shift < (16U - PNG_MAX_GAMMA_8))
4060            shift = (16U - PNG_MAX_GAMMA_8);
4061      }
4062
4063      if (shift > 8U)
4064         shift = 8U; /* Guarantees at least one table! */
4065
4066      png_ptr->gamma_shift = shift;
4067
4068      /* NOTE: prior to 1.5.4 this test used to include PNG_BACKGROUND (now
4069       * PNG_COMPOSE).  This effectively smashed the background calculation for
4070       * 16-bit output because the 8-bit table assumes the result will be reduced
4071       * to 8 bits.
4072       */
4073      if (png_ptr->transformations & (PNG_16_TO_8 | PNG_SCALE_16_TO_8))
4074          png_build_16to8_table(png_ptr, &png_ptr->gamma_16_table, shift,
4075          png_ptr->screen_gamma > 0 ? png_product2(png_ptr->colorspace.gamma,
4076          png_ptr->screen_gamma) : PNG_FP_1);
4077
4078      else
4079          png_build_16bit_table(png_ptr, &png_ptr->gamma_16_table, shift,
4080          png_ptr->screen_gamma > 0 ? png_reciprocal2(png_ptr->colorspace.gamma,
4081          png_ptr->screen_gamma) : PNG_FP_1);
4082
4083 #if defined(PNG_READ_BACKGROUND_SUPPORTED) || \
4084    defined(PNG_READ_ALPHA_MODE_SUPPORTED) || \
4085    defined(PNG_READ_RGB_TO_GRAY_SUPPORTED)
4086      if (png_ptr->transformations & (PNG_COMPOSE | PNG_RGB_TO_GRAY))
4087      {
4088         png_build_16bit_table(png_ptr, &png_ptr->gamma_16_to_1, shift,
4089             png_reciprocal(png_ptr->colorspace.gamma));
4090
4091         /* Notice that the '16 from 1' table should be full precision, however
4092          * the lookup on this table still uses gamma_shift, so it can't be.
4093          * TODO: fix this.
4094          */
4095         png_build_16bit_table(png_ptr, &png_ptr->gamma_16_from_1, shift,
4096             png_ptr->screen_gamma > 0 ? png_reciprocal(png_ptr->screen_gamma) :
4097             png_ptr->colorspace.gamma/* Probably doing rgb_to_gray */);
4098      }
4099 #endif /* READ_BACKGROUND || READ_ALPHA_MODE || RGB_TO_GRAY */
4100   }
4101 #endif /* 16BIT */
4102 }
4103 #endif /* READ_GAMMA */
4104
4105 /* HARDWARE OR SOFTWARE OPTION SUPPORT */
4106 #ifdef PNG_SET_OPTION_SUPPORTED
4107 int PNGAPI
4108 png_set_option(png_structrp png_ptr, int option, int onoff)
4109 {
4110    if (png_ptr != NULL && option >= 0 && option < PNG_OPTION_NEXT &&
4111       (option & 1) == 0)
4112    {
4113       int mask = 3 << option;
4114       int setting = (2 + (onoff != 0)) << option;
4115       int current = png_ptr->options;
4116
4117       png_ptr->options = (png_byte)((current & ~mask) | setting);
4118
4119       return (current & mask) >> option;
4120    }
4121
4122    return PNG_OPTION_INVALID;
4123 }
4124 #endif
4125
4126 /* sRGB support */
4127 #if defined(PNG_SIMPLIFIED_READ_SUPPORTED) ||\
4128    defined(PNG_SIMPLIFIED_WRITE_SUPPORTED)
4129 /* sRGB conversion tables; these are machine generated with the code in
4130  * contrib/tools/makesRGB.c.  The actual sRGB transfer curve defined in the
4131  * specification (see the article at http://en.wikipedia.org/wiki/SRGB)
4132  * is used, not the gamma=1/2.2 approximation use elsewhere in libpng.
4133  * The sRGB to linear table is exact (to the nearest 16 bit linear fraction).
4134  * The inverse (linear to sRGB) table has accuracies as follows:
4135  *
4136  * For all possible (255*65535+1) input values:
4137  *
4138  *    error: -0.515566 - 0.625971, 79441 (0.475369%) of readings inexact
4139  *
4140  * For the input values corresponding to the 65536 16-bit values:
4141  *
4142  *    error: -0.513727 - 0.607759, 308 (0.469978%) of readings inexact
4143  *
4144  * In all cases the inexact readings are off by one.
4145  */
4146
4147 #ifdef PNG_SIMPLIFIED_READ_SUPPORTED
4148 /* The convert-to-sRGB table is only currently required for read. */
4149 const png_uint_16 png_sRGB_table[256] =
4150 {
4151    0,20,40,60,80,99,119,139,
4152    159,179,199,219,241,264,288,313,
4153    340,367,396,427,458,491,526,562,
4154    599,637,677,718,761,805,851,898,
4155    947,997,1048,1101,1156,1212,1270,1330,
4156    1391,1453,1517,1583,1651,1720,1790,1863,
4157    1937,2013,2090,2170,2250,2333,2418,2504,
4158    2592,2681,2773,2866,2961,3058,3157,3258,
4159    3360,3464,3570,3678,3788,3900,4014,4129,
4160    4247,4366,4488,4611,4736,4864,4993,5124,
4161    5257,5392,5530,5669,5810,5953,6099,6246,
4162    6395,6547,6700,6856,7014,7174,7335,7500,
4163    7666,7834,8004,8177,8352,8528,8708,8889,
4164    9072,9258,9445,9635,9828,10022,10219,10417,
4165    10619,10822,11028,11235,11446,11658,11873,12090,
4166    12309,12530,12754,12980,13209,13440,13673,13909,
4167    14146,14387,14629,14874,15122,15371,15623,15878,
4168    16135,16394,16656,16920,17187,17456,17727,18001,
4169    18277,18556,18837,19121,19407,19696,19987,20281,
4170    20577,20876,21177,21481,21787,22096,22407,22721,
4171    23038,23357,23678,24002,24329,24658,24990,25325,
4172    25662,26001,26344,26688,27036,27386,27739,28094,
4173    28452,28813,29176,29542,29911,30282,30656,31033,
4174    31412,31794,32179,32567,32957,33350,33745,34143,
4175    34544,34948,35355,35764,36176,36591,37008,37429,
4176    37852,38278,38706,39138,39572,40009,40449,40891,
4177    41337,41785,42236,42690,43147,43606,44069,44534,
4178    45002,45473,45947,46423,46903,47385,47871,48359,
4179    48850,49344,49841,50341,50844,51349,51858,52369,
4180    52884,53401,53921,54445,54971,55500,56032,56567,
4181    57105,57646,58190,58737,59287,59840,60396,60955,
4182    61517,62082,62650,63221,63795,64372,64952,65535
4183 };
4184
4185 #endif /* simplified read only */
4186
4187 /* The base/delta tables are required for both read and write (but currently
4188  * only the simplified versions.)
4189  */
4190 const png_uint_16 png_sRGB_base[512] =
4191 {
4192    128,1782,3383,4644,5675,6564,7357,8074,
4193    8732,9346,9921,10463,10977,11466,11935,12384,
4194    12816,13233,13634,14024,14402,14769,15125,15473,
4195    15812,16142,16466,16781,17090,17393,17690,17981,
4196    18266,18546,18822,19093,19359,19621,19879,20133,
4197    20383,20630,20873,21113,21349,21583,21813,22041,
4198    22265,22487,22707,22923,23138,23350,23559,23767,
4199    23972,24175,24376,24575,24772,24967,25160,25352,
4200    25542,25730,25916,26101,26284,26465,26645,26823,
4201    27000,27176,27350,27523,27695,27865,28034,28201,
4202    28368,28533,28697,28860,29021,29182,29341,29500,
4203    29657,29813,29969,30123,30276,30429,30580,30730,
4204    30880,31028,31176,31323,31469,31614,31758,31902,
4205    32045,32186,32327,32468,32607,32746,32884,33021,
4206    33158,33294,33429,33564,33697,33831,33963,34095,
4207    34226,34357,34486,34616,34744,34873,35000,35127,
4208    35253,35379,35504,35629,35753,35876,35999,36122,
4209    36244,36365,36486,36606,36726,36845,36964,37083,
4210    37201,37318,37435,37551,37668,37783,37898,38013,
4211    38127,38241,38354,38467,38580,38692,38803,38915,
4212    39026,39136,39246,39356,39465,39574,39682,39790,
4213    39898,40005,40112,40219,40325,40431,40537,40642,
4214    40747,40851,40955,41059,41163,41266,41369,41471,
4215    41573,41675,41777,41878,41979,42079,42179,42279,
4216    42379,42478,42577,42676,42775,42873,42971,43068,
4217    43165,43262,43359,43456,43552,43648,43743,43839,
4218    43934,44028,44123,44217,44311,44405,44499,44592,
4219    44685,44778,44870,44962,45054,45146,45238,45329,
4220    45420,45511,45601,45692,45782,45872,45961,46051,
4221    46140,46229,46318,46406,46494,46583,46670,46758,
4222    46846,46933,47020,47107,47193,47280,47366,47452,
4223    47538,47623,47709,47794,47879,47964,48048,48133,
4224    48217,48301,48385,48468,48552,48635,48718,48801,
4225    48884,48966,49048,49131,49213,49294,49376,49458,
4226    49539,49620,49701,49782,49862,49943,50023,50103,
4227    50183,50263,50342,50422,50501,50580,50659,50738,
4228    50816,50895,50973,51051,51129,51207,51285,51362,
4229    51439,51517,51594,51671,51747,51824,51900,51977,
4230    52053,52129,52205,52280,52356,52432,52507,52582,
4231    52657,52732,52807,52881,52956,53030,53104,53178,
4232    53252,53326,53400,53473,53546,53620,53693,53766,
4233    53839,53911,53984,54056,54129,54201,54273,54345,
4234    54417,54489,54560,54632,54703,54774,54845,54916,
4235    54987,55058,55129,55199,55269,55340,55410,55480,
4236    55550,55620,55689,55759,55828,55898,55967,56036,
4237    56105,56174,56243,56311,56380,56448,56517,56585,
4238    56653,56721,56789,56857,56924,56992,57059,57127,
4239    57194,57261,57328,57395,57462,57529,57595,57662,
4240    57728,57795,57861,57927,57993,58059,58125,58191,
4241    58256,58322,58387,58453,58518,58583,58648,58713,
4242    58778,58843,58908,58972,59037,59101,59165,59230,
4243    59294,59358,59422,59486,59549,59613,59677,59740,
4244    59804,59867,59930,59993,60056,60119,60182,60245,
4245    60308,60370,60433,60495,60558,60620,60682,60744,
4246    60806,60868,60930,60992,61054,61115,61177,61238,
4247    61300,61361,61422,61483,61544,61605,61666,61727,
4248    61788,61848,61909,61969,62030,62090,62150,62211,
4249    62271,62331,62391,62450,62510,62570,62630,62689,
4250    62749,62808,62867,62927,62986,63045,63104,63163,
4251    63222,63281,63340,63398,63457,63515,63574,63632,
4252    63691,63749,63807,63865,63923,63981,64039,64097,
4253    64155,64212,64270,64328,64385,64443,64500,64557,
4254    64614,64672,64729,64786,64843,64900,64956,65013,
4255    65070,65126,65183,65239,65296,65352,65409,65465
4256 };
4257
4258 const png_byte png_sRGB_delta[512] =
4259 {
4260    207,201,158,129,113,100,90,82,77,72,68,64,61,59,56,54,
4261    52,50,49,47,46,45,43,42,41,40,39,39,38,37,36,36,
4262    35,34,34,33,33,32,32,31,31,30,30,30,29,29,28,28,
4263    28,27,27,27,27,26,26,26,25,25,25,25,24,24,24,24,
4264    23,23,23,23,23,22,22,22,22,22,22,21,21,21,21,21,
4265    21,20,20,20,20,20,20,20,20,19,19,19,19,19,19,19,
4266    19,18,18,18,18,18,18,18,18,18,18,17,17,17,17,17,
4267    17,17,17,17,17,17,16,16,16,16,16,16,16,16,16,16,
4268    16,16,16,16,15,15,15,15,15,15,15,15,15,15,15,15,
4269    15,15,15,15,14,14,14,14,14,14,14,14,14,14,14,14,
4270    14,14,14,14,14,14,14,13,13,13,13,13,13,13,13,13,
4271    13,13,13,13,13,13,13,13,13,13,13,13,13,13,12,12,
4272    12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,12,
4273    12,12,12,12,12,12,12,12,12,12,12,12,11,11,11,11,
4274    11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,
4275    11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,11,
4276    11,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,
4277    10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,
4278    10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,
4279    10,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,
4280    9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,
4281    9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,
4282    9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,
4283    9,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,
4284    8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,
4285    8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,
4286    8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,
4287    8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,
4288    8,8,8,8,8,8,8,8,8,7,7,7,7,7,7,7,
4289    7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,
4290    7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,
4291    7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7
4292 };
4293 #endif /* SIMPLIFIED READ/WRITE sRGB support */
4294
4295 /* SIMPLIFIED READ/WRITE SUPPORT */
4296 #if defined(PNG_SIMPLIFIED_READ_SUPPORTED) ||\
4297    defined(PNG_SIMPLIFIED_WRITE_SUPPORTED)
4298 static int
4299 png_image_free_function(png_voidp argument)
4300 {
4301    png_imagep image = png_voidcast(png_imagep, argument);
4302    png_controlp cp = image->opaque;
4303    png_control c;
4304
4305    /* Double check that we have a png_ptr - it should be impossible to get here
4306     * without one.
4307     */
4308    if (cp->png_ptr == NULL)
4309       return 0;
4310
4311    /* First free any data held in the control structure. */
4312 #  ifdef PNG_STDIO_SUPPORTED
4313       if (cp->owned_file)
4314       {
4315          FILE *fp = png_voidcast(FILE*, cp->png_ptr->io_ptr);
4316          cp->owned_file = 0;
4317
4318          /* Ignore errors here. */
4319          if (fp != NULL)
4320          {
4321             cp->png_ptr->io_ptr = NULL;
4322             (void)fclose(fp);
4323          }
4324       }
4325 #  endif
4326
4327    /* Copy the control structure so that the original, allocated, version can be
4328     * safely freed.  Notice that a png_error here stops the remainder of the
4329     * cleanup, but this is probably fine because that would indicate bad memory
4330     * problems anyway.
4331     */
4332    c = *cp;
4333    image->opaque = &c;
4334    png_free(c.png_ptr, cp);
4335
4336    /* Then the structures, calling the correct API. */
4337    if (c.for_write)
4338    {
4339 #     ifdef PNG_SIMPLIFIED_WRITE_SUPPORTED
4340          png_destroy_write_struct(&c.png_ptr, &c.info_ptr);
4341 #     else
4342          png_error(c.png_ptr, "simplified write not supported");
4343 #     endif
4344    }
4345    else
4346    {
4347 #     ifdef PNG_SIMPLIFIED_READ_SUPPORTED
4348          png_destroy_read_struct(&c.png_ptr, &c.info_ptr, NULL);
4349 #     else
4350          png_error(c.png_ptr, "simplified read not supported");
4351 #     endif
4352    }
4353
4354    /* Success. */
4355    return 1;
4356 }
4357
4358 void PNGAPI
4359 png_image_free(png_imagep image)
4360 {
4361    /* Safely call the real function, but only if doing so is safe at this point
4362     * (if not inside an error handling context).  Otherwise assume
4363     * png_safe_execute will call this API after the return.
4364     */
4365    if (image != NULL && image->opaque != NULL &&
4366       image->opaque->error_buf == NULL)
4367    {
4368       /* Ignore errors here: */
4369       (void)png_safe_execute(image, png_image_free_function, image);
4370       image->opaque = NULL;
4371    }
4372 }
4373
4374 int /* PRIVATE */
4375 png_image_error(png_imagep image, png_const_charp error_message)
4376 {
4377    /* Utility to log an error. */
4378    png_safecat(image->message, (sizeof image->message), 0, error_message);
4379    image->warning_or_error |= PNG_IMAGE_ERROR;
4380    png_image_free(image);
4381    return 0;
4382 }
4383
4384 #endif /* SIMPLIFIED READ/WRITE */
4385 #endif /* defined(PNG_READ_SUPPORTED) || defined(PNG_WRITE_SUPPORTED) */