png.c 154 KB

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