4 * This file was part of the Independent JPEG Group's software:
5 * Copyright (C) 1991-1998, Thomas G. Lane.
6 * libjpeg-turbo Modifications:
7 * Copyright (C) 2012, 2015, 2022, D. R. Commander.
8 * For conditions of distribution and use, see the accompanying README.ijg
11 * This file contains routines to decode JPEG datastream markers.
12 * Most of the complexity arises from our desire to support input
13 * suspension: if not all of the data for a marker is available,
14 * we must exit back to the application. On resumption, we reprocess
18 #define JPEG_INTERNALS
23 typedef enum { /* JPEG marker codes */
94 struct jpeg_marker_reader pub
; /* public fields */
96 /* Application-overridable marker processing methods */
97 jpeg_marker_parser_method process_COM
;
98 jpeg_marker_parser_method process_APPn
[16];
100 /* Limit on marker data length to save for each marker type */
101 unsigned int length_limit_COM
;
102 unsigned int length_limit_APPn
[16];
104 /* Status of COM/APPn marker saving */
105 jpeg_saved_marker_ptr cur_marker
; /* NULL if not processing a marker */
106 unsigned int bytes_read
; /* data bytes read so far in marker */
107 /* Note: cur_marker is not linked into marker_list until it's all read. */
110 typedef my_marker_reader
*my_marker_ptr
;
114 * Macros for fetching data from the data source module.
116 * At all times, cinfo->src->next_input_byte and ->bytes_in_buffer reflect
117 * the current restart point; we update them only when we have reached a
118 * suitable place to restart if a suspension occurs.
121 /* Declare and initialize local copies of input pointer/count */
122 #define INPUT_VARS(cinfo) \
123 struct jpeg_source_mgr *datasrc = (cinfo)->src; \
124 const JOCTET *next_input_byte = datasrc->next_input_byte; \
125 size_t bytes_in_buffer = datasrc->bytes_in_buffer
127 /* Unload the local copies --- do this only at a restart boundary */
128 #define INPUT_SYNC(cinfo) \
129 ( datasrc->next_input_byte = next_input_byte, \
130 datasrc->bytes_in_buffer = bytes_in_buffer )
132 /* Reload the local copies --- used only in MAKE_BYTE_AVAIL */
133 #define INPUT_RELOAD(cinfo) \
134 ( next_input_byte = datasrc->next_input_byte, \
135 bytes_in_buffer = datasrc->bytes_in_buffer )
137 /* Internal macro for INPUT_BYTE and INPUT_2BYTES: make a byte available.
138 * Note we do *not* do INPUT_SYNC before calling fill_input_buffer,
139 * but we must reload the local copies after a successful fill.
141 #define MAKE_BYTE_AVAIL(cinfo, action) \
142 if (bytes_in_buffer == 0) { \
143 if (!(*datasrc->fill_input_buffer) (cinfo)) \
145 INPUT_RELOAD(cinfo); \
148 /* Read a byte into variable V.
149 * If must suspend, take the specified action (typically "return FALSE").
151 #define INPUT_BYTE(cinfo, V, action) \
152 MAKESTMT( MAKE_BYTE_AVAIL(cinfo, action); \
154 V = *next_input_byte++; )
156 /* As above, but read two bytes interpreted as an unsigned 16-bit integer.
157 * V should be declared unsigned int or perhaps JLONG.
159 #define INPUT_2BYTES(cinfo, V, action) \
160 MAKESTMT( MAKE_BYTE_AVAIL(cinfo, action); \
162 V = ((unsigned int)(*next_input_byte++)) << 8; \
163 MAKE_BYTE_AVAIL(cinfo, action); \
165 V += *next_input_byte++; )
169 * Routines to process JPEG markers.
171 * Entry condition: JPEG marker itself has been read and its code saved
172 * in cinfo->unread_marker; input restart point is just after the marker.
174 * Exit: if return TRUE, have read and processed any parameters, and have
175 * updated the restart point to point after the parameters.
176 * If return FALSE, was forced to suspend before reaching end of
177 * marker parameters; restart point has not been moved. Same routine
178 * will be called again after application supplies more input data.
180 * This approach to suspension assumes that all of a marker's parameters
181 * can fit into a single input bufferload. This should hold for "normal"
182 * markers. Some COM/APPn markers might have large parameter segments
183 * that might not fit. If we are simply dropping such a marker, we use
184 * skip_input_data to get past it, and thereby put the problem on the
185 * source manager's shoulders. If we are saving the marker's contents
186 * into memory, we use a slightly different convention: when forced to
187 * suspend, the marker processor updates the restart point to the end of
188 * what it's consumed (ie, the end of the buffer) before returning FALSE.
189 * On resumption, cinfo->unread_marker still contains the marker code,
190 * but the data source will point to the next chunk of marker data.
191 * The marker processor must retain internal state to deal with this.
193 * Note that we don't bother to avoid duplicate trace messages if a
194 * suspension occurs within marker parameters. Other side effects
200 get_soi(j_decompress_ptr cinfo
)
201 /* Process an SOI marker */
205 TRACEMS(cinfo
, 1, JTRC_SOI
);
207 if (cinfo
->marker
->saw_SOI
)
208 ERREXIT(cinfo
, JERR_SOI_DUPLICATE
);
210 /* Reset all parameters that are defined to be reset by SOI */
212 for (i
= 0; i
< NUM_ARITH_TBLS
; i
++) {
213 cinfo
->arith_dc_L
[i
] = 0;
214 cinfo
->arith_dc_U
[i
] = 1;
215 cinfo
->arith_ac_K
[i
] = 5;
217 cinfo
->restart_interval
= 0;
219 /* Set initial assumptions for colorspace etc */
221 cinfo
->jpeg_color_space
= JCS_UNKNOWN
;
222 cinfo
->CCIR601_sampling
= FALSE
; /* Assume non-CCIR sampling??? */
224 cinfo
->saw_JFIF_marker
= FALSE
;
225 cinfo
->JFIF_major_version
= 1; /* set default JFIF APP0 values */
226 cinfo
->JFIF_minor_version
= 1;
227 cinfo
->density_unit
= 0;
228 cinfo
->X_density
= 1;
229 cinfo
->Y_density
= 1;
230 cinfo
->saw_Adobe_marker
= FALSE
;
231 cinfo
->Adobe_transform
= 0;
233 cinfo
->marker
->saw_SOI
= TRUE
;
240 get_sof(j_decompress_ptr cinfo
, boolean is_prog
, boolean is_arith
)
241 /* Process a SOFn marker */
245 jpeg_component_info
*compptr
;
248 cinfo
->progressive_mode
= is_prog
;
249 cinfo
->arith_code
= is_arith
;
251 INPUT_2BYTES(cinfo
, length
, return FALSE
);
253 INPUT_BYTE(cinfo
, cinfo
->data_precision
, return FALSE
);
254 INPUT_2BYTES(cinfo
, cinfo
->image_height
, return FALSE
);
255 INPUT_2BYTES(cinfo
, cinfo
->image_width
, return FALSE
);
256 INPUT_BYTE(cinfo
, cinfo
->num_components
, return FALSE
);
260 TRACEMS4(cinfo
, 1, JTRC_SOF
, cinfo
->unread_marker
,
261 (int)cinfo
->image_width
, (int)cinfo
->image_height
,
262 cinfo
->num_components
);
264 if (cinfo
->marker
->saw_SOF
)
265 ERREXIT(cinfo
, JERR_SOF_DUPLICATE
);
267 /* We don't support files in which the image height is initially specified */
268 /* as 0 and is later redefined by DNL. As long as we have to check that, */
269 /* might as well have a general sanity check. */
270 if (cinfo
->image_height
<= 0 || cinfo
->image_width
<= 0 ||
271 cinfo
->num_components
<= 0)
272 ERREXIT(cinfo
, JERR_EMPTY_IMAGE
);
274 if (length
!= (cinfo
->num_components
* 3))
275 ERREXIT(cinfo
, JERR_BAD_LENGTH
);
277 if (cinfo
->comp_info
== NULL
) /* do only once, even if suspend */
278 cinfo
->comp_info
= (jpeg_component_info
*)(*cinfo
->mem
->alloc_small
)
279 ((j_common_ptr
)cinfo
, JPOOL_IMAGE
,
280 cinfo
->num_components
* sizeof(jpeg_component_info
));
282 for (ci
= 0, compptr
= cinfo
->comp_info
; ci
< cinfo
->num_components
;
284 compptr
->component_index
= ci
;
285 INPUT_BYTE(cinfo
, compptr
->component_id
, return FALSE
);
286 INPUT_BYTE(cinfo
, c
, return FALSE
);
287 compptr
->h_samp_factor
= (c
>> 4) & 15;
288 compptr
->v_samp_factor
= (c
) & 15;
289 INPUT_BYTE(cinfo
, compptr
->quant_tbl_no
, return FALSE
);
291 TRACEMS4(cinfo
, 1, JTRC_SOF_COMPONENT
,
292 compptr
->component_id
, compptr
->h_samp_factor
,
293 compptr
->v_samp_factor
, compptr
->quant_tbl_no
);
296 cinfo
->marker
->saw_SOF
= TRUE
;
304 get_sos(j_decompress_ptr cinfo
)
305 /* Process a SOS marker */
308 int i
, ci
, n
, c
, cc
, pi
;
309 jpeg_component_info
*compptr
;
312 if (!cinfo
->marker
->saw_SOF
)
313 ERREXIT(cinfo
, JERR_SOS_NO_SOF
);
315 INPUT_2BYTES(cinfo
, length
, return FALSE
);
317 INPUT_BYTE(cinfo
, n
, return FALSE
); /* Number of components */
319 TRACEMS1(cinfo
, 1, JTRC_SOS
, n
);
321 if (length
!= (n
* 2 + 6) || n
< 1 || n
> MAX_COMPS_IN_SCAN
)
322 ERREXIT(cinfo
, JERR_BAD_LENGTH
);
324 cinfo
->comps_in_scan
= n
;
326 /* Collect the component-spec parameters */
328 for (i
= 0; i
< MAX_COMPS_IN_SCAN
; i
++)
329 cinfo
->cur_comp_info
[i
] = NULL
;
331 for (i
= 0; i
< n
; i
++) {
332 INPUT_BYTE(cinfo
, cc
, return FALSE
);
333 INPUT_BYTE(cinfo
, c
, return FALSE
);
335 for (ci
= 0, compptr
= cinfo
->comp_info
;
336 ci
< cinfo
->num_components
&& ci
< MAX_COMPS_IN_SCAN
;
338 if (cc
== compptr
->component_id
&& !cinfo
->cur_comp_info
[ci
])
342 ERREXIT1(cinfo
, JERR_BAD_COMPONENT_ID
, cc
);
346 cinfo
->cur_comp_info
[i
] = compptr
;
347 compptr
->dc_tbl_no
= (c
>> 4) & 15;
348 compptr
->ac_tbl_no
= (c
) & 15;
350 TRACEMS3(cinfo
, 1, JTRC_SOS_COMPONENT
, cc
,
351 compptr
->dc_tbl_no
, compptr
->ac_tbl_no
);
353 /* This CSi (cc) should differ from the previous CSi */
354 for (pi
= 0; pi
< i
; pi
++) {
355 if (cinfo
->cur_comp_info
[pi
] == compptr
) {
356 ERREXIT1(cinfo
, JERR_BAD_COMPONENT_ID
, cc
);
361 /* Collect the additional scan parameters Ss, Se, Ah/Al. */
362 INPUT_BYTE(cinfo
, c
, return FALSE
);
364 INPUT_BYTE(cinfo
, c
, return FALSE
);
366 INPUT_BYTE(cinfo
, c
, return FALSE
);
367 cinfo
->Ah
= (c
>> 4) & 15;
368 cinfo
->Al
= (c
) & 15;
370 TRACEMS4(cinfo
, 1, JTRC_SOS_PARAMS
, cinfo
->Ss
, cinfo
->Se
,
371 cinfo
->Ah
, cinfo
->Al
);
373 /* Prepare to scan data & restart markers */
374 cinfo
->marker
->next_restart_num
= 0;
376 /* Count another SOS marker */
377 cinfo
->input_scan_number
++;
384 #ifdef D_ARITH_CODING_SUPPORTED
387 get_dac(j_decompress_ptr cinfo
)
388 /* Process a DAC marker */
394 INPUT_2BYTES(cinfo
, length
, return FALSE
);
398 INPUT_BYTE(cinfo
, index
, return FALSE
);
399 INPUT_BYTE(cinfo
, val
, return FALSE
);
403 TRACEMS2(cinfo
, 1, JTRC_DAC
, index
, val
);
405 if (index
< 0 || index
>= (2 * NUM_ARITH_TBLS
))
406 ERREXIT1(cinfo
, JERR_DAC_INDEX
, index
);
408 if (index
>= NUM_ARITH_TBLS
) { /* define AC table */
409 cinfo
->arith_ac_K
[index
- NUM_ARITH_TBLS
] = (UINT8
)val
;
410 } else { /* define DC table */
411 cinfo
->arith_dc_L
[index
] = (UINT8
)(val
& 0x0F);
412 cinfo
->arith_dc_U
[index
] = (UINT8
)(val
>> 4);
413 if (cinfo
->arith_dc_L
[index
] > cinfo
->arith_dc_U
[index
])
414 ERREXIT1(cinfo
, JERR_DAC_VALUE
, val
);
419 ERREXIT(cinfo
, JERR_BAD_LENGTH
);
425 #else /* !D_ARITH_CODING_SUPPORTED */
427 #define get_dac(cinfo) skip_variable(cinfo)
429 #endif /* D_ARITH_CODING_SUPPORTED */
433 get_dht(j_decompress_ptr cinfo
)
434 /* Process a DHT marker */
443 INPUT_2BYTES(cinfo
, length
, return FALSE
);
446 while (length
> 16) {
447 INPUT_BYTE(cinfo
, index
, return FALSE
);
449 TRACEMS1(cinfo
, 1, JTRC_DHT
, index
);
453 for (i
= 1; i
<= 16; i
++) {
454 INPUT_BYTE(cinfo
, bits
[i
], return FALSE
);
460 TRACEMS8(cinfo
, 2, JTRC_HUFFBITS
,
461 bits
[1], bits
[2], bits
[3], bits
[4],
462 bits
[5], bits
[6], bits
[7], bits
[8]);
463 TRACEMS8(cinfo
, 2, JTRC_HUFFBITS
,
464 bits
[9], bits
[10], bits
[11], bits
[12],
465 bits
[13], bits
[14], bits
[15], bits
[16]);
467 /* Here we just do minimal validation of the counts to avoid walking
468 * off the end of our table space. jdhuff.c will check more carefully.
470 if (count
> 256 || ((JLONG
)count
) > length
)
471 ERREXIT(cinfo
, JERR_BAD_HUFF_TABLE
);
473 for (i
= 0; i
< count
; i
++)
474 INPUT_BYTE(cinfo
, huffval
[i
], return FALSE
);
476 memset(&huffval
[count
], 0, (256 - count
) * sizeof(UINT8
));
480 if (index
& 0x10) { /* AC table definition */
482 if (index
< 0 || index
>= NUM_HUFF_TBLS
)
483 ERREXIT1(cinfo
, JERR_DHT_INDEX
, index
);
484 htblptr
= &cinfo
->ac_huff_tbl_ptrs
[index
];
485 } else { /* DC table definition */
486 if (index
< 0 || index
>= NUM_HUFF_TBLS
)
487 ERREXIT1(cinfo
, JERR_DHT_INDEX
, index
);
488 htblptr
= &cinfo
->dc_huff_tbl_ptrs
[index
];
491 if (*htblptr
== NULL
)
492 *htblptr
= jpeg_alloc_huff_table((j_common_ptr
)cinfo
);
494 memcpy((*htblptr
)->bits
, bits
, sizeof((*htblptr
)->bits
));
495 memcpy((*htblptr
)->huffval
, huffval
, sizeof((*htblptr
)->huffval
));
499 ERREXIT(cinfo
, JERR_BAD_LENGTH
);
507 get_dqt(j_decompress_ptr cinfo
)
508 /* Process a DQT marker */
513 JQUANT_TBL
*quant_ptr
;
516 INPUT_2BYTES(cinfo
, length
, return FALSE
);
520 INPUT_BYTE(cinfo
, n
, return FALSE
);
524 TRACEMS2(cinfo
, 1, JTRC_DQT
, n
, prec
);
526 if (n
>= NUM_QUANT_TBLS
)
527 ERREXIT1(cinfo
, JERR_DQT_INDEX
, n
);
529 if (cinfo
->quant_tbl_ptrs
[n
] == NULL
)
530 cinfo
->quant_tbl_ptrs
[n
] = jpeg_alloc_quant_table((j_common_ptr
)cinfo
);
531 quant_ptr
= cinfo
->quant_tbl_ptrs
[n
];
533 for (i
= 0; i
< DCTSIZE2
; i
++) {
535 INPUT_2BYTES(cinfo
, tmp
, return FALSE
);
537 INPUT_BYTE(cinfo
, tmp
, return FALSE
);
538 /* We convert the zigzag-order table to natural array order. */
539 quant_ptr
->quantval
[jpeg_natural_order
[i
]] = (UINT16
)tmp
;
542 if (cinfo
->err
->trace_level
>= 2) {
543 for (i
= 0; i
< DCTSIZE2
; i
+= 8) {
544 TRACEMS8(cinfo
, 2, JTRC_QUANTVALS
,
545 quant_ptr
->quantval
[i
], quant_ptr
->quantval
[i
+ 1],
546 quant_ptr
->quantval
[i
+ 2], quant_ptr
->quantval
[i
+ 3],
547 quant_ptr
->quantval
[i
+ 4], quant_ptr
->quantval
[i
+ 5],
548 quant_ptr
->quantval
[i
+ 6], quant_ptr
->quantval
[i
+ 7]);
552 length
-= DCTSIZE2
+ 1;
553 if (prec
) length
-= DCTSIZE2
;
557 ERREXIT(cinfo
, JERR_BAD_LENGTH
);
565 get_dri(j_decompress_ptr cinfo
)
566 /* Process a DRI marker */
572 INPUT_2BYTES(cinfo
, length
, return FALSE
);
575 ERREXIT(cinfo
, JERR_BAD_LENGTH
);
577 INPUT_2BYTES(cinfo
, tmp
, return FALSE
);
579 TRACEMS1(cinfo
, 1, JTRC_DRI
, tmp
);
581 cinfo
->restart_interval
= tmp
;
589 * Routines for processing APPn and COM markers.
590 * These are either saved in memory or discarded, per application request.
591 * APP0 and APP14 are specially checked to see if they are
592 * JFIF and Adobe markers, respectively.
595 #define APP0_DATA_LEN 14 /* Length of interesting data in APP0 */
596 #define APP14_DATA_LEN 12 /* Length of interesting data in APP14 */
597 #define APPN_DATA_LEN 14 /* Must be the largest of the above!! */
601 examine_app0(j_decompress_ptr cinfo
, JOCTET
*data
, unsigned int datalen
,
603 /* Examine first few bytes from an APP0.
604 * Take appropriate action if it is a JFIF marker.
605 * datalen is # of bytes at data[], remaining is length of rest of marker data.
608 JLONG totallen
= (JLONG
)datalen
+ remaining
;
610 if (datalen
>= APP0_DATA_LEN
&&
616 /* Found JFIF APP0 marker: save info */
617 cinfo
->saw_JFIF_marker
= TRUE
;
618 cinfo
->JFIF_major_version
= data
[5];
619 cinfo
->JFIF_minor_version
= data
[6];
620 cinfo
->density_unit
= data
[7];
621 cinfo
->X_density
= (data
[8] << 8) + data
[9];
622 cinfo
->Y_density
= (data
[10] << 8) + data
[11];
624 * Major version must be 1, anything else signals an incompatible change.
625 * (We used to treat this as an error, but now it's a nonfatal warning,
626 * because some bozo at Hijaak couldn't read the spec.)
627 * Minor version should be 0..2, but process anyway if newer.
629 if (cinfo
->JFIF_major_version
!= 1)
630 WARNMS2(cinfo
, JWRN_JFIF_MAJOR
,
631 cinfo
->JFIF_major_version
, cinfo
->JFIF_minor_version
);
632 /* Generate trace messages */
633 TRACEMS5(cinfo
, 1, JTRC_JFIF
,
634 cinfo
->JFIF_major_version
, cinfo
->JFIF_minor_version
,
635 cinfo
->X_density
, cinfo
->Y_density
, cinfo
->density_unit
);
636 /* Validate thumbnail dimensions and issue appropriate messages */
637 if (data
[12] | data
[13])
638 TRACEMS2(cinfo
, 1, JTRC_JFIF_THUMBNAIL
, data
[12], data
[13]);
639 totallen
-= APP0_DATA_LEN
;
640 if (totallen
!= ((JLONG
)data
[12] * (JLONG
)data
[13] * (JLONG
)3))
641 TRACEMS1(cinfo
, 1, JTRC_JFIF_BADTHUMBNAILSIZE
, (int)totallen
);
642 } else if (datalen
>= 6 &&
648 /* Found JFIF "JFXX" extension APP0 marker */
649 /* The library doesn't actually do anything with these,
650 * but we try to produce a helpful trace message.
654 TRACEMS1(cinfo
, 1, JTRC_THUMB_JPEG
, (int)totallen
);
657 TRACEMS1(cinfo
, 1, JTRC_THUMB_PALETTE
, (int)totallen
);
660 TRACEMS1(cinfo
, 1, JTRC_THUMB_RGB
, (int)totallen
);
663 TRACEMS2(cinfo
, 1, JTRC_JFIF_EXTENSION
, data
[5], (int)totallen
);
667 /* Start of APP0 does not match "JFIF" or "JFXX", or too short */
668 TRACEMS1(cinfo
, 1, JTRC_APP0
, (int)totallen
);
674 examine_app14(j_decompress_ptr cinfo
, JOCTET
*data
, unsigned int datalen
,
676 /* Examine first few bytes from an APP14.
677 * Take appropriate action if it is an Adobe marker.
678 * datalen is # of bytes at data[], remaining is length of rest of marker data.
681 unsigned int version
, flags0
, flags1
, transform
;
683 if (datalen
>= APP14_DATA_LEN
&&
689 /* Found Adobe APP14 marker */
690 version
= (data
[5] << 8) + data
[6];
691 flags0
= (data
[7] << 8) + data
[8];
692 flags1
= (data
[9] << 8) + data
[10];
693 transform
= data
[11];
694 TRACEMS4(cinfo
, 1, JTRC_ADOBE
, version
, flags0
, flags1
, transform
);
695 cinfo
->saw_Adobe_marker
= TRUE
;
696 cinfo
->Adobe_transform
= (UINT8
)transform
;
698 /* Start of APP14 does not match "Adobe", or too short */
699 TRACEMS1(cinfo
, 1, JTRC_APP14
, (int)(datalen
+ remaining
));
705 get_interesting_appn(j_decompress_ptr cinfo
)
706 /* Process an APP0 or APP14 marker without saving it */
709 JOCTET b
[APPN_DATA_LEN
];
710 unsigned int i
, numtoread
;
713 INPUT_2BYTES(cinfo
, length
, return FALSE
);
716 /* get the interesting part of the marker data */
717 if (length
>= APPN_DATA_LEN
)
718 numtoread
= APPN_DATA_LEN
;
720 numtoread
= (unsigned int)length
;
723 for (i
= 0; i
< numtoread
; i
++)
724 INPUT_BYTE(cinfo
, b
[i
], return FALSE
);
728 switch (cinfo
->unread_marker
) {
730 examine_app0(cinfo
, (JOCTET
*)b
, numtoread
, length
);
733 examine_app14(cinfo
, (JOCTET
*)b
, numtoread
, length
);
736 /* can't get here unless jpeg_save_markers chooses wrong processor */
737 ERREXIT1(cinfo
, JERR_UNKNOWN_MARKER
, cinfo
->unread_marker
);
741 /* skip any remaining data -- could be lots */
744 (*cinfo
->src
->skip_input_data
) (cinfo
, (long)length
);
750 #ifdef SAVE_MARKERS_SUPPORTED
753 save_marker(j_decompress_ptr cinfo
)
754 /* Save an APPn or COM marker into the marker list */
756 my_marker_ptr marker
= (my_marker_ptr
)cinfo
->marker
;
757 jpeg_saved_marker_ptr cur_marker
= marker
->cur_marker
;
758 unsigned int bytes_read
, data_length
;
763 if (cur_marker
== NULL
) {
764 /* begin reading a marker */
765 INPUT_2BYTES(cinfo
, length
, return FALSE
);
767 if (length
>= 0) { /* watch out for bogus length word */
768 /* figure out how much we want to save */
770 if (cinfo
->unread_marker
== (int)M_COM
)
771 limit
= marker
->length_limit_COM
;
773 limit
= marker
->length_limit_APPn
[cinfo
->unread_marker
- (int)M_APP0
];
774 if ((unsigned int)length
< limit
)
775 limit
= (unsigned int)length
;
776 /* allocate and initialize the marker item */
777 cur_marker
= (jpeg_saved_marker_ptr
)
778 (*cinfo
->mem
->alloc_large
) ((j_common_ptr
)cinfo
, JPOOL_IMAGE
,
779 sizeof(struct jpeg_marker_struct
) + limit
);
780 cur_marker
->next
= NULL
;
781 cur_marker
->marker
= (UINT8
)cinfo
->unread_marker
;
782 cur_marker
->original_length
= (unsigned int)length
;
783 cur_marker
->data_length
= limit
;
784 /* data area is just beyond the jpeg_marker_struct */
785 data
= cur_marker
->data
= (JOCTET
*)(cur_marker
+ 1);
786 marker
->cur_marker
= cur_marker
;
787 marker
->bytes_read
= 0;
791 /* deal with bogus length word */
792 bytes_read
= data_length
= 0;
796 /* resume reading a marker */
797 bytes_read
= marker
->bytes_read
;
798 data_length
= cur_marker
->data_length
;
799 data
= cur_marker
->data
+ bytes_read
;
802 while (bytes_read
< data_length
) {
803 INPUT_SYNC(cinfo
); /* move the restart point to here */
804 marker
->bytes_read
= bytes_read
;
805 /* If there's not at least one byte in buffer, suspend */
806 MAKE_BYTE_AVAIL(cinfo
, return FALSE
);
807 /* Copy bytes with reasonable rapidity */
808 while (bytes_read
< data_length
&& bytes_in_buffer
> 0) {
809 *data
++ = *next_input_byte
++;
815 /* Done reading what we want to read */
816 if (cur_marker
!= NULL
) { /* will be NULL if bogus length word */
817 /* Add new marker to end of list */
818 if (cinfo
->marker_list
== NULL
) {
819 cinfo
->marker_list
= cur_marker
;
821 jpeg_saved_marker_ptr prev
= cinfo
->marker_list
;
822 while (prev
->next
!= NULL
)
824 prev
->next
= cur_marker
;
826 /* Reset pointer & calc remaining data length */
827 data
= cur_marker
->data
;
828 length
= cur_marker
->original_length
- data_length
;
830 /* Reset to initial state for next marker */
831 marker
->cur_marker
= NULL
;
833 /* Process the marker if interesting; else just make a generic trace msg */
834 switch (cinfo
->unread_marker
) {
836 examine_app0(cinfo
, data
, data_length
, length
);
839 examine_app14(cinfo
, data
, data_length
, length
);
842 TRACEMS2(cinfo
, 1, JTRC_MISC_MARKER
, cinfo
->unread_marker
,
843 (int)(data_length
+ length
));
847 /* skip any remaining data -- could be lots */
848 INPUT_SYNC(cinfo
); /* do before skip_input_data */
850 (*cinfo
->src
->skip_input_data
) (cinfo
, (long)length
);
855 #endif /* SAVE_MARKERS_SUPPORTED */
859 skip_variable(j_decompress_ptr cinfo
)
860 /* Skip over an unknown or uninteresting variable-length marker */
865 INPUT_2BYTES(cinfo
, length
, return FALSE
);
868 TRACEMS2(cinfo
, 1, JTRC_MISC_MARKER
, cinfo
->unread_marker
, (int)length
);
870 INPUT_SYNC(cinfo
); /* do before skip_input_data */
872 (*cinfo
->src
->skip_input_data
) (cinfo
, (long)length
);
879 * Find the next JPEG marker, save it in cinfo->unread_marker.
880 * Returns FALSE if had to suspend before reaching a marker;
881 * in that case cinfo->unread_marker is unchanged.
883 * Note that the result might not be a valid marker code,
884 * but it will never be 0 or FF.
888 next_marker(j_decompress_ptr cinfo
)
894 INPUT_BYTE(cinfo
, c
, return FALSE
);
895 /* Skip any non-FF bytes.
896 * This may look a bit inefficient, but it will not occur in a valid file.
897 * We sync after each discarded byte so that a suspending data source
898 * can discard the byte from its buffer.
901 cinfo
->marker
->discarded_bytes
++;
903 INPUT_BYTE(cinfo
, c
, return FALSE
);
905 /* This loop swallows any duplicate FF bytes. Extra FFs are legal as
906 * pad bytes, so don't count them in discarded_bytes. We assume there
907 * will not be so many consecutive FF bytes as to overflow a suspending
908 * data source's input buffer.
911 INPUT_BYTE(cinfo
, c
, return FALSE
);
914 break; /* found a valid marker, exit loop */
915 /* Reach here if we found a stuffed-zero data sequence (FF/00).
916 * Discard it and loop back to try again.
918 cinfo
->marker
->discarded_bytes
+= 2;
922 if (cinfo
->marker
->discarded_bytes
!= 0) {
923 WARNMS2(cinfo
, JWRN_EXTRANEOUS_DATA
, cinfo
->marker
->discarded_bytes
, c
);
924 cinfo
->marker
->discarded_bytes
= 0;
927 cinfo
->unread_marker
= c
;
935 first_marker(j_decompress_ptr cinfo
)
936 /* Like next_marker, but used to obtain the initial SOI marker. */
937 /* For this marker, we do not allow preceding garbage or fill; otherwise,
938 * we might well scan an entire input file before realizing it ain't JPEG.
939 * If an application wants to process non-JFIF files, it must seek to the
940 * SOI before calling the JPEG library.
946 INPUT_BYTE(cinfo
, c
, return FALSE
);
947 INPUT_BYTE(cinfo
, c2
, return FALSE
);
948 if (c
!= 0xFF || c2
!= (int)M_SOI
)
949 ERREXIT2(cinfo
, JERR_NO_SOI
, c
, c2
);
951 cinfo
->unread_marker
= c2
;
959 * Read markers until SOS or EOI.
961 * Returns same codes as are defined for jpeg_consume_input:
962 * JPEG_SUSPENDED, JPEG_REACHED_SOS, or JPEG_REACHED_EOI.
966 read_markers(j_decompress_ptr cinfo
)
968 /* Outer loop repeats once for each marker. */
970 /* Collect the marker proper, unless we already did. */
971 /* NB: first_marker() enforces the requirement that SOI appear first. */
972 if (cinfo
->unread_marker
== 0) {
973 if (!cinfo
->marker
->saw_SOI
) {
974 if (!first_marker(cinfo
))
975 return JPEG_SUSPENDED
;
977 if (!next_marker(cinfo
))
978 return JPEG_SUSPENDED
;
981 /* At this point cinfo->unread_marker contains the marker code and the
982 * input point is just past the marker proper, but before any parameters.
983 * A suspension will cause us to return with this state still true.
985 switch (cinfo
->unread_marker
) {
988 return JPEG_SUSPENDED
;
991 case M_SOF0
: /* Baseline */
992 case M_SOF1
: /* Extended sequential, Huffman */
993 if (!get_sof(cinfo
, FALSE
, FALSE
))
994 return JPEG_SUSPENDED
;
997 case M_SOF2
: /* Progressive, Huffman */
998 if (!get_sof(cinfo
, TRUE
, FALSE
))
999 return JPEG_SUSPENDED
;
1002 case M_SOF9
: /* Extended sequential, arithmetic */
1003 if (!get_sof(cinfo
, FALSE
, TRUE
))
1004 return JPEG_SUSPENDED
;
1007 case M_SOF10
: /* Progressive, arithmetic */
1008 if (!get_sof(cinfo
, TRUE
, TRUE
))
1009 return JPEG_SUSPENDED
;
1012 /* Currently unsupported SOFn types */
1013 case M_SOF3
: /* Lossless, Huffman */
1014 case M_SOF5
: /* Differential sequential, Huffman */
1015 case M_SOF6
: /* Differential progressive, Huffman */
1016 case M_SOF7
: /* Differential lossless, Huffman */
1017 case M_JPG
: /* Reserved for JPEG extensions */
1018 case M_SOF11
: /* Lossless, arithmetic */
1019 case M_SOF13
: /* Differential sequential, arithmetic */
1020 case M_SOF14
: /* Differential progressive, arithmetic */
1021 case M_SOF15
: /* Differential lossless, arithmetic */
1022 ERREXIT1(cinfo
, JERR_SOF_UNSUPPORTED
, cinfo
->unread_marker
);
1026 if (!get_sos(cinfo
))
1027 return JPEG_SUSPENDED
;
1028 cinfo
->unread_marker
= 0; /* processed the marker */
1029 return JPEG_REACHED_SOS
;
1032 TRACEMS(cinfo
, 1, JTRC_EOI
);
1033 cinfo
->unread_marker
= 0; /* processed the marker */
1034 return JPEG_REACHED_EOI
;
1037 if (!get_dac(cinfo
))
1038 return JPEG_SUSPENDED
;
1042 if (!get_dht(cinfo
))
1043 return JPEG_SUSPENDED
;
1047 if (!get_dqt(cinfo
))
1048 return JPEG_SUSPENDED
;
1052 if (!get_dri(cinfo
))
1053 return JPEG_SUSPENDED
;
1072 if (!(*((my_marker_ptr
)cinfo
->marker
)->process_APPn
[
1073 cinfo
->unread_marker
- (int)M_APP0
]) (cinfo
))
1074 return JPEG_SUSPENDED
;
1078 if (!(*((my_marker_ptr
)cinfo
->marker
)->process_COM
) (cinfo
))
1079 return JPEG_SUSPENDED
;
1082 case M_RST0
: /* these are all parameterless */
1091 TRACEMS1(cinfo
, 1, JTRC_PARMLESS_MARKER
, cinfo
->unread_marker
);
1094 case M_DNL
: /* Ignore DNL ... perhaps the wrong thing */
1095 if (!skip_variable(cinfo
))
1096 return JPEG_SUSPENDED
;
1099 default: /* must be DHP, EXP, JPGn, or RESn */
1100 /* For now, we treat the reserved markers as fatal errors since they are
1101 * likely to be used to signal incompatible JPEG Part 3 extensions.
1102 * Once the JPEG 3 version-number marker is well defined, this code
1105 ERREXIT1(cinfo
, JERR_UNKNOWN_MARKER
, cinfo
->unread_marker
);
1108 /* Successfully processed marker, so reset state variable */
1109 cinfo
->unread_marker
= 0;
1115 * Read a restart marker, which is expected to appear next in the datastream;
1116 * if the marker is not there, take appropriate recovery action.
1117 * Returns FALSE if suspension is required.
1119 * This is called by the entropy decoder after it has read an appropriate
1120 * number of MCUs. cinfo->unread_marker may be nonzero if the entropy decoder
1121 * has already read a marker from the data source. Under normal conditions
1122 * cinfo->unread_marker will be reset to 0 before returning; if not reset,
1123 * it holds a marker which the decoder will be unable to read past.
1127 read_restart_marker(j_decompress_ptr cinfo
)
1129 /* Obtain a marker unless we already did. */
1130 /* Note that next_marker will complain if it skips any data. */
1131 if (cinfo
->unread_marker
== 0) {
1132 if (!next_marker(cinfo
))
1136 if (cinfo
->unread_marker
==
1137 ((int)M_RST0
+ cinfo
->marker
->next_restart_num
)) {
1138 /* Normal case --- swallow the marker and let entropy decoder continue */
1139 TRACEMS1(cinfo
, 3, JTRC_RST
, cinfo
->marker
->next_restart_num
);
1140 cinfo
->unread_marker
= 0;
1142 /* Uh-oh, the restart markers have been messed up. */
1143 /* Let the data source manager determine how to resync. */
1144 if (!(*cinfo
->src
->resync_to_restart
) (cinfo
,
1145 cinfo
->marker
->next_restart_num
))
1149 /* Update next-restart state */
1150 cinfo
->marker
->next_restart_num
= (cinfo
->marker
->next_restart_num
+ 1) & 7;
1157 * This is the default resync_to_restart method for data source managers
1158 * to use if they don't have any better approach. Some data source managers
1159 * may be able to back up, or may have additional knowledge about the data
1160 * which permits a more intelligent recovery strategy; such managers would
1161 * presumably supply their own resync method.
1163 * read_restart_marker calls resync_to_restart if it finds a marker other than
1164 * the restart marker it was expecting. (This code is *not* used unless
1165 * a nonzero restart interval has been declared.) cinfo->unread_marker is
1166 * the marker code actually found (might be anything, except 0 or FF).
1167 * The desired restart marker number (0..7) is passed as a parameter.
1168 * This routine is supposed to apply whatever error recovery strategy seems
1169 * appropriate in order to position the input stream to the next data segment.
1170 * Note that cinfo->unread_marker is treated as a marker appearing before
1171 * the current data-source input point; usually it should be reset to zero
1173 * Returns FALSE if suspension is required.
1175 * This implementation is substantially constrained by wanting to treat the
1176 * input as a data stream; this means we can't back up. Therefore, we have
1177 * only the following actions to work with:
1178 * 1. Simply discard the marker and let the entropy decoder resume at next
1180 * 2. Read forward until we find another marker, discarding intervening
1181 * data. (In theory we could look ahead within the current bufferload,
1182 * without having to discard data if we don't find the desired marker.
1183 * This idea is not implemented here, in part because it makes behavior
1184 * dependent on buffer size and chance buffer-boundary positions.)
1185 * 3. Leave the marker unread (by failing to zero cinfo->unread_marker).
1186 * This will cause the entropy decoder to process an empty data segment,
1187 * inserting dummy zeroes, and then we will reprocess the marker.
1189 * #2 is appropriate if we think the desired marker lies ahead, while #3 is
1190 * appropriate if the found marker is a future restart marker (indicating
1191 * that we have missed the desired restart marker, probably because it got
1193 * We apply #2 or #3 if the found marker is a restart marker no more than
1194 * two counts behind or ahead of the expected one. We also apply #2 if the
1195 * found marker is not a legal JPEG marker code (it's certainly bogus data).
1196 * If the found marker is a restart marker more than 2 counts away, we do #1
1197 * (too much risk that the marker is erroneous; with luck we will be able to
1198 * resync at some future point).
1199 * For any valid non-restart JPEG marker, we apply #3. This keeps us from
1200 * overrunning the end of a scan. An implementation limited to single-scan
1201 * files might find it better to apply #2 for markers other than EOI, since
1202 * any other marker would have to be bogus data in that case.
1206 jpeg_resync_to_restart(j_decompress_ptr cinfo
, int desired
)
1208 int marker
= cinfo
->unread_marker
;
1211 /* Always put up a warning. */
1212 WARNMS2(cinfo
, JWRN_MUST_RESYNC
, marker
, desired
);
1214 /* Outer loop handles repeated decision after scanning forward. */
1216 if (marker
< (int)M_SOF0
)
1217 action
= 2; /* invalid marker */
1218 else if (marker
< (int)M_RST0
|| marker
> (int)M_RST7
)
1219 action
= 3; /* valid non-restart marker */
1221 if (marker
== ((int)M_RST0
+ ((desired
+ 1) & 7)) ||
1222 marker
== ((int)M_RST0
+ ((desired
+ 2) & 7)))
1223 action
= 3; /* one of the next two expected restarts */
1224 else if (marker
== ((int)M_RST0
+ ((desired
- 1) & 7)) ||
1225 marker
== ((int)M_RST0
+ ((desired
- 2) & 7)))
1226 action
= 2; /* a prior restart, so advance */
1228 action
= 1; /* desired restart or too far away */
1230 TRACEMS2(cinfo
, 4, JTRC_RECOVERY_ACTION
, marker
, action
);
1233 /* Discard marker and let entropy decoder resume processing. */
1234 cinfo
->unread_marker
= 0;
1237 /* Scan to the next marker, and repeat the decision loop. */
1238 if (!next_marker(cinfo
))
1240 marker
= cinfo
->unread_marker
;
1243 /* Return without advancing past this marker. */
1244 /* Entropy decoder will be forced to process an empty segment. */
1252 * Reset marker processing state to begin a fresh datastream.
1256 reset_marker_reader(j_decompress_ptr cinfo
)
1258 my_marker_ptr marker
= (my_marker_ptr
)cinfo
->marker
;
1260 cinfo
->comp_info
= NULL
; /* until allocated by get_sof */
1261 cinfo
->input_scan_number
= 0; /* no SOS seen yet */
1262 cinfo
->unread_marker
= 0; /* no pending marker */
1263 marker
->pub
.saw_SOI
= FALSE
; /* set internal state too */
1264 marker
->pub
.saw_SOF
= FALSE
;
1265 marker
->pub
.discarded_bytes
= 0;
1266 marker
->cur_marker
= NULL
;
1271 * Initialize the marker reader module.
1272 * This is called only once, when the decompression object is created.
1276 jinit_marker_reader(j_decompress_ptr cinfo
)
1278 my_marker_ptr marker
;
1281 /* Create subobject in permanent pool */
1282 marker
= (my_marker_ptr
)
1283 (*cinfo
->mem
->alloc_small
) ((j_common_ptr
)cinfo
, JPOOL_PERMANENT
,
1284 sizeof(my_marker_reader
));
1285 cinfo
->marker
= (struct jpeg_marker_reader
*)marker
;
1286 /* Initialize public method pointers */
1287 marker
->pub
.reset_marker_reader
= reset_marker_reader
;
1288 marker
->pub
.read_markers
= read_markers
;
1289 marker
->pub
.read_restart_marker
= read_restart_marker
;
1290 /* Initialize COM/APPn processing.
1291 * By default, we examine and then discard APP0 and APP14,
1292 * but simply discard COM and all other APPn.
1294 marker
->process_COM
= skip_variable
;
1295 marker
->length_limit_COM
= 0;
1296 for (i
= 0; i
< 16; i
++) {
1297 marker
->process_APPn
[i
] = skip_variable
;
1298 marker
->length_limit_APPn
[i
] = 0;
1300 marker
->process_APPn
[0] = get_interesting_appn
;
1301 marker
->process_APPn
[14] = get_interesting_appn
;
1302 /* Reset marker processing state */
1303 reset_marker_reader(cinfo
);
1308 * Control saving of COM and APPn markers into marker_list.
1311 #ifdef SAVE_MARKERS_SUPPORTED
1314 jpeg_save_markers(j_decompress_ptr cinfo
, int marker_code
,
1315 unsigned int length_limit
)
1317 my_marker_ptr marker
= (my_marker_ptr
)cinfo
->marker
;
1319 jpeg_marker_parser_method processor
;
1321 /* Length limit mustn't be larger than what we can allocate
1322 * (should only be a concern in a 16-bit environment).
1324 maxlength
= cinfo
->mem
->max_alloc_chunk
- sizeof(struct jpeg_marker_struct
);
1325 if (((long)length_limit
) > maxlength
)
1326 length_limit
= (unsigned int)maxlength
;
1328 /* Choose processor routine to use.
1329 * APP0/APP14 have special requirements.
1332 processor
= save_marker
;
1333 /* If saving APP0/APP14, save at least enough for our internal use. */
1334 if (marker_code
== (int)M_APP0
&& length_limit
< APP0_DATA_LEN
)
1335 length_limit
= APP0_DATA_LEN
;
1336 else if (marker_code
== (int)M_APP14
&& length_limit
< APP14_DATA_LEN
)
1337 length_limit
= APP14_DATA_LEN
;
1339 processor
= skip_variable
;
1340 /* If discarding APP0/APP14, use our regular on-the-fly processor. */
1341 if (marker_code
== (int)M_APP0
|| marker_code
== (int)M_APP14
)
1342 processor
= get_interesting_appn
;
1345 if (marker_code
== (int)M_COM
) {
1346 marker
->process_COM
= processor
;
1347 marker
->length_limit_COM
= length_limit
;
1348 } else if (marker_code
>= (int)M_APP0
&& marker_code
<= (int)M_APP15
) {
1349 marker
->process_APPn
[marker_code
- (int)M_APP0
] = processor
;
1350 marker
->length_limit_APPn
[marker_code
- (int)M_APP0
] = length_limit
;
1352 ERREXIT1(cinfo
, JERR_UNKNOWN_MARKER
, marker_code
);
1355 #endif /* SAVE_MARKERS_SUPPORTED */
1359 * Install a special processing method for COM or APPn markers.
1363 jpeg_set_marker_processor(j_decompress_ptr cinfo
, int marker_code
,
1364 jpeg_marker_parser_method routine
)
1366 my_marker_ptr marker
= (my_marker_ptr
)cinfo
->marker
;
1368 if (marker_code
== (int)M_COM
)
1369 marker
->process_COM
= routine
;
1370 else if (marker_code
>= (int)M_APP0
&& marker_code
<= (int)M_APP15
)
1371 marker
->process_APPn
[marker_code
- (int)M_APP0
] = routine
;
1373 ERREXIT1(cinfo
, JERR_UNKNOWN_MARKER
, marker_code
);