Coverage Report

Created: 2026-06-15 06:33

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/giflib-code/quantize.c
Line
Count
Source
1
/*****************************************************************************
2
3
 quantize.c - quantize a high resolution image into lower one
4
5
 Based on: "Color Image Quantization for frame buffer Display", by
6
 Paul Heckbert SIGGRAPH 1982 page 297-307.
7
8
 This doesn't really belong in the core library, was undocumented,
9
 and was removed in 4.2.  Then it turned out some client apps were
10
 actually using it, so it was restored in 5.0.
11
12
******************************************************************************/
13
// SPDX-License-Identifier: MIT
14
// SPDX-FileCopyrightText: Copyright (C) Eric S. Raymond <esr@thyrsus.com>
15
16
#include <stdio.h>
17
#include <stdlib.h>
18
19
#include "gif_lib.h"
20
#include "gif_lib_private.h"
21
22
23.0M
#define ABS(x) ((x) > 0 ? (x) : (-(x)))
23
24
24.5M
#define COLOR_ARRAY_SIZE 32768
25
101M
#define BITS_PER_PRIM_COLOR 5
26
24.5M
#define MAX_PRIM_COLOR 0x1f
27
28
static int SortRGBAxis;
29
30
typedef struct QuantizedColorType {
31
  GifByteType RGB[3];
32
  GifByteType NewColorIndex;
33
  long Count;
34
  struct QuantizedColorType *Pnext;
35
} QuantizedColorType;
36
37
typedef struct NewColorMapType {
38
  GifByteType RGBMin[3], RGBWidth[3];
39
  unsigned int
40
      NumEntries;      /* # of QuantizedColorType in linked list below */
41
  unsigned long Count; /* Total number of pixels in all the entries */
42
  QuantizedColorType *QuantizedColors;
43
} NewColorMapType;
44
45
static int SubdivColorMap(NewColorMapType *NewColorSubdiv,
46
                          unsigned int ColorMapSize,
47
                          unsigned int *NewColorMapSize);
48
static int SortCmpRtn(const void *Entry1, const void *Entry2);
49
50
/******************************************************************************
51
 Quantize high resolution image into lower one. Input image consists of a
52
 2D array for each of the RGB colors with size Width by Height. There is no
53
 Color map for the input. Output is a quantized image with 2D array of
54
 indexes into the output color map.
55
   Note input image can be 24 bits at the most (8 for red/green/blue) and
56
 the output has 256 colors at the most (256 entries in the color map.).
57
 ColorMapSize specifies size of color map up to 256 and will be updated to
58
 real size before returning.
59
   Also non of the parameter are allocated by this routine.
60
   This function returns GIF_OK if successful, GIF_ERROR otherwise.
61
******************************************************************************/
62
int GifQuantizeBuffer(unsigned int Width, unsigned int Height,
63
                      int *ColorMapSize, const GifByteType *RedInput,
64
                      const GifByteType *GreenInput,
65
                      const GifByteType *BlueInput, GifByteType *OutputBuffer,
66
375
                      GifColorType *OutputColorMap) {
67
68
375
  unsigned int Index, NumOfEntries;
69
375
  int i, j, MaxRGBError[3];
70
375
  unsigned int NewColorMapSize;
71
375
  long Red, Green, Blue;
72
375
  NewColorMapType NewColorSubdiv[256];
73
375
  QuantizedColorType *ColorArrayEntries, *QuantizedColor;
74
375
  size_t k, PixelCount;
75
76
375
  ColorArrayEntries = (QuantizedColorType *)malloc(
77
375
      sizeof(QuantizedColorType) * COLOR_ARRAY_SIZE);
78
375
  if (ColorArrayEntries == NULL) {
79
0
    return GIF_ERROR;
80
0
  }
81
82
375
  PixelCount = (size_t)Width * Height;
83
375
  if (Width != 0 && PixelCount / Width != Height) {
84
0
    free((char *)ColorArrayEntries);
85
0
    return GIF_ERROR;
86
0
  }
87
88
12.2M
  for (i = 0; i < COLOR_ARRAY_SIZE; i++) {
89
12.2M
    ColorArrayEntries[i].RGB[0] = i >> (2 * BITS_PER_PRIM_COLOR);
90
12.2M
    ColorArrayEntries[i].RGB[1] =
91
12.2M
        (i >> BITS_PER_PRIM_COLOR) & MAX_PRIM_COLOR;
92
12.2M
    ColorArrayEntries[i].RGB[2] = i & MAX_PRIM_COLOR;
93
12.2M
    ColorArrayEntries[i].Count = 0;
94
12.2M
  }
95
96
  /* Sample the colors and their distribution: */
97
7.67M
  for (k = 0; k < PixelCount; k++) {
98
7.67M
    Index = ((RedInput[k] >> (8 - BITS_PER_PRIM_COLOR))
99
7.67M
             << (2 * BITS_PER_PRIM_COLOR)) +
100
7.67M
            ((GreenInput[k] >> (8 - BITS_PER_PRIM_COLOR))
101
7.67M
             << BITS_PER_PRIM_COLOR) +
102
7.67M
            (BlueInput[k] >> (8 - BITS_PER_PRIM_COLOR));
103
7.67M
    ColorArrayEntries[Index].Count++;
104
7.67M
  }
105
106
  /* Put all the colors in the first entry of the color map, and call the
107
   * recursive subdivision process.  */
108
96.3k
  for (i = 0; i < 256; i++) {
109
96.0k
    NewColorSubdiv[i].QuantizedColors = NULL;
110
96.0k
    NewColorSubdiv[i].Count = NewColorSubdiv[i].NumEntries = 0;
111
384k
    for (j = 0; j < 3; j++) {
112
288k
      NewColorSubdiv[i].RGBMin[j] = 0;
113
288k
      NewColorSubdiv[i].RGBWidth[j] = 255;
114
288k
    }
115
96.0k
  }
116
117
  /* Find the non empty entries in the color table and chain them: */
118
1.09M
  for (i = 0; i < COLOR_ARRAY_SIZE; i++) {
119
1.09M
    if (ColorArrayEntries[i].Count > 0) {
120
375
      break;
121
375
    }
122
1.09M
  }
123
375
  QuantizedColor = NewColorSubdiv[0].QuantizedColors =
124
375
      &ColorArrayEntries[i];
125
375
  NumOfEntries = 1;
126
11.1M
  while (++i < COLOR_ARRAY_SIZE) {
127
11.1M
    if (ColorArrayEntries[i].Count > 0) {
128
1.60M
      QuantizedColor->Pnext = &ColorArrayEntries[i];
129
1.60M
      QuantizedColor = &ColorArrayEntries[i];
130
1.60M
      NumOfEntries++;
131
1.60M
    }
132
11.1M
  }
133
375
  QuantizedColor->Pnext = NULL;
134
135
375
  NewColorSubdiv[0].NumEntries =
136
375
      NumOfEntries; /* Different sampled colors */
137
375
  NewColorSubdiv[0].Count = (unsigned long)PixelCount; /* Pixels */
138
375
  NewColorMapSize = 1;
139
375
  if (SubdivColorMap(NewColorSubdiv, *ColorMapSize, &NewColorMapSize) !=
140
375
      GIF_OK) {
141
0
    free((char *)ColorArrayEntries);
142
0
    return GIF_ERROR;
143
0
  }
144
375
  if (NewColorMapSize < *ColorMapSize) {
145
    /* And clear rest of color map: */
146
34.8k
    for (i = NewColorMapSize; i < *ColorMapSize; i++) {
147
34.6k
      OutputColorMap[i].Red = OutputColorMap[i].Green =
148
34.6k
          OutputColorMap[i].Blue = 0;
149
34.6k
    }
150
185
  }
151
152
  /* Average the colors in each entry to be the color to be used in the
153
   * output color map, and plug it into the output color map itself. */
154
61.6k
  for (i = 0; i < NewColorMapSize; i++) {
155
61.3k
    if ((j = NewColorSubdiv[i].NumEntries) > 0) {
156
61.3k
      QuantizedColor = NewColorSubdiv[i].QuantizedColors;
157
61.3k
      Red = Green = Blue = 0;
158
1.67M
      while (QuantizedColor) {
159
1.60M
        QuantizedColor->NewColorIndex = i;
160
1.60M
        Red += QuantizedColor->RGB[0];
161
1.60M
        Green += QuantizedColor->RGB[1];
162
1.60M
        Blue += QuantizedColor->RGB[2];
163
1.60M
        QuantizedColor = QuantizedColor->Pnext;
164
1.60M
      }
165
61.3k
      OutputColorMap[i].Red =
166
61.3k
          (Red << (8 - BITS_PER_PRIM_COLOR)) / j;
167
61.3k
      OutputColorMap[i].Green =
168
61.3k
          (Green << (8 - BITS_PER_PRIM_COLOR)) / j;
169
61.3k
      OutputColorMap[i].Blue =
170
61.3k
          (Blue << (8 - BITS_PER_PRIM_COLOR)) / j;
171
61.3k
    }
172
61.3k
  }
173
174
  /* Finally scan the input buffer again and put the mapped index in the
175
   * output buffer.  */
176
375
  MaxRGBError[0] = MaxRGBError[1] = MaxRGBError[2] = 0;
177
7.67M
  for (k = 0; k < PixelCount; k++) {
178
7.67M
    Index = ((RedInput[k] >> (8 - BITS_PER_PRIM_COLOR))
179
7.67M
             << (2 * BITS_PER_PRIM_COLOR)) +
180
7.67M
            ((GreenInput[k] >> (8 - BITS_PER_PRIM_COLOR))
181
7.67M
             << BITS_PER_PRIM_COLOR) +
182
7.67M
            (BlueInput[k] >> (8 - BITS_PER_PRIM_COLOR));
183
7.67M
    Index = ColorArrayEntries[Index].NewColorIndex;
184
7.67M
    OutputBuffer[k] = Index;
185
7.67M
    if (MaxRGBError[0] <
186
7.67M
        ABS(OutputColorMap[Index].Red - RedInput[k])) {
187
1.71k
      MaxRGBError[0] =
188
1.71k
          ABS(OutputColorMap[Index].Red - RedInput[k]);
189
1.71k
    }
190
7.67M
    if (MaxRGBError[1] <
191
7.67M
        ABS(OutputColorMap[Index].Green - GreenInput[k])) {
192
1.80k
      MaxRGBError[1] =
193
1.80k
          ABS(OutputColorMap[Index].Green - GreenInput[k]);
194
1.80k
    }
195
7.67M
    if (MaxRGBError[2] <
196
7.67M
        ABS(OutputColorMap[Index].Blue - BlueInput[k])) {
197
1.82k
      MaxRGBError[2] =
198
1.82k
          ABS(OutputColorMap[Index].Blue - BlueInput[k]);
199
1.82k
    }
200
7.67M
  }
201
202
#ifdef DEBUG
203
  fprintf(stderr,
204
          "Quantization L(0) errors: Red = %d, Green = %d, Blue = %d.\n",
205
          MaxRGBError[0], MaxRGBError[1], MaxRGBError[2]);
206
#endif /* DEBUG */
207
208
375
  free((char *)ColorArrayEntries);
209
210
375
  *ColorMapSize = NewColorMapSize;
211
212
375
  return GIF_OK;
213
375
}
214
215
/******************************************************************************
216
 Routine to subdivide the RGB space recursively using median cut in each
217
 axes alternatingly until ColorMapSize different cubes exists.
218
 The biggest cube in one dimension is subdivide unless it has only one entry.
219
 Returns GIF_ERROR if failed, otherwise GIF_OK.
220
*******************************************************************************/
221
static int SubdivColorMap(NewColorMapType *NewColorSubdiv,
222
                          unsigned int ColorMapSize,
223
375
                          unsigned int *NewColorMapSize) {
224
225
375
  unsigned int i, j, Index = 0;
226
375
  QuantizedColorType *QuantizedColor, **SortArray;
227
228
61.3k
  while (ColorMapSize > *NewColorMapSize) {
229
    /* Find candidate for subdivision: */
230
61.1k
    long Sum, Count;
231
61.1k
    int MaxSize = -1;
232
61.1k
    unsigned int NumEntries, MinColor, MaxColor;
233
7.06M
    for (i = 0; i < *NewColorMapSize; i++) {
234
28.0M
      for (j = 0; j < 3; j++) {
235
21.0M
        if ((((int)NewColorSubdiv[i].RGBWidth[j]) >
236
21.0M
             MaxSize) &&
237
1.77M
            (NewColorSubdiv[i].NumEntries > 1)) {
238
224k
          MaxSize = NewColorSubdiv[i].RGBWidth[j];
239
224k
          Index = i;
240
224k
          SortRGBAxis = j;
241
224k
        }
242
21.0M
      }
243
7.00M
    }
244
245
61.1k
    if (MaxSize == -1) {
246
185
      return GIF_OK;
247
185
    }
248
249
    /* Split the entry Index into two along the axis SortRGBAxis: */
250
251
    /* Sort all elements in that entry along the given axis and
252
     * split at the median.  */
253
60.9k
    SortArray = (QuantizedColorType **)malloc(
254
60.9k
        sizeof(QuantizedColorType *) *
255
60.9k
        NewColorSubdiv[Index].NumEntries);
256
60.9k
    if (SortArray == NULL) {
257
0
      return GIF_ERROR;
258
0
    }
259
60.9k
    for (j = 0,
260
60.9k
        QuantizedColor = NewColorSubdiv[Index].QuantizedColors;
261
26.8M
         j < NewColorSubdiv[Index].NumEntries &&
262
26.7M
         QuantizedColor != NULL;
263
26.7M
         j++, QuantizedColor = QuantizedColor->Pnext) {
264
26.7M
      SortArray[j] = QuantizedColor;
265
26.7M
    }
266
267
    /*
268
     * Because qsort isn't stable, this can produce differing
269
     * results for the order of tuples depending on platform
270
     * details of how qsort() is implemented.
271
     *
272
     * We mitigate this problem by sorting on all three axes rather
273
     * than only the one specied by SortRGBAxis; that way the
274
     * instability can only become an issue if there are multiple
275
     * color indices referring to identical RGB tuples.  Older
276
     * versions of this sorted on only the one axis.
277
     */
278
60.9k
    qsort(SortArray, NewColorSubdiv[Index].NumEntries,
279
60.9k
          sizeof(QuantizedColorType *), SortCmpRtn);
280
281
    /* Relink the sorted list into one: */
282
26.7M
    for (j = 0; j < NewColorSubdiv[Index].NumEntries - 1; j++) {
283
26.7M
      SortArray[j]->Pnext = SortArray[j + 1];
284
26.7M
    }
285
60.9k
    SortArray[NewColorSubdiv[Index].NumEntries - 1]->Pnext = NULL;
286
60.9k
    NewColorSubdiv[Index].QuantizedColors = QuantizedColor =
287
60.9k
        SortArray[0];
288
60.9k
    free((char *)SortArray);
289
290
    /* Now simply add the Counts until we have half of the Count: */
291
60.9k
    Sum = NewColorSubdiv[Index].Count / 2 - QuantizedColor->Count;
292
60.9k
    NumEntries = 1;
293
60.9k
    Count = QuantizedColor->Count;
294
5.90M
    while (QuantizedColor->Pnext != NULL &&
295
5.90M
           (Sum -= QuantizedColor->Pnext->Count) >= 0 &&
296
5.85M
           QuantizedColor->Pnext->Pnext != NULL) {
297
5.84M
      QuantizedColor = QuantizedColor->Pnext;
298
5.84M
      NumEntries++;
299
5.84M
      Count += QuantizedColor->Count;
300
5.84M
    }
301
    /* Save the values of the last color of the first half, and
302
     * first of the second half so we can update the Bounding Boxes
303
     * later. Also as the colors are quantized and the BBoxes are
304
     * full 0..255, they need to be rescaled.
305
     */
306
60.9k
    MaxColor =
307
60.9k
        QuantizedColor->RGB[SortRGBAxis]; /* Max. of first half */
308
    /* coverity[var_deref_op] */
309
60.9k
    MinColor =
310
        // cppcheck-suppress nullPointerRedundantCheck
311
60.9k
        QuantizedColor->Pnext->RGB[SortRGBAxis]; /* of second */
312
60.9k
    MaxColor <<= (8 - BITS_PER_PRIM_COLOR);
313
60.9k
    MinColor <<= (8 - BITS_PER_PRIM_COLOR);
314
315
    /* Partition right here: */
316
60.9k
    NewColorSubdiv[*NewColorMapSize].QuantizedColors =
317
60.9k
        QuantizedColor->Pnext;
318
60.9k
    QuantizedColor->Pnext = NULL;
319
60.9k
    NewColorSubdiv[*NewColorMapSize].Count = Count;
320
60.9k
    NewColorSubdiv[Index].Count -= Count;
321
60.9k
    NewColorSubdiv[*NewColorMapSize].NumEntries =
322
60.9k
        NewColorSubdiv[Index].NumEntries - NumEntries;
323
60.9k
    NewColorSubdiv[Index].NumEntries = NumEntries;
324
243k
    for (j = 0; j < 3; j++) {
325
182k
      NewColorSubdiv[*NewColorMapSize].RGBMin[j] =
326
182k
          NewColorSubdiv[Index].RGBMin[j];
327
182k
      NewColorSubdiv[*NewColorMapSize].RGBWidth[j] =
328
182k
          NewColorSubdiv[Index].RGBWidth[j];
329
182k
    }
330
60.9k
    NewColorSubdiv[*NewColorMapSize].RGBWidth[SortRGBAxis] =
331
60.9k
        NewColorSubdiv[*NewColorMapSize].RGBMin[SortRGBAxis] +
332
60.9k
        NewColorSubdiv[*NewColorMapSize].RGBWidth[SortRGBAxis] -
333
60.9k
        MinColor;
334
60.9k
    NewColorSubdiv[*NewColorMapSize].RGBMin[SortRGBAxis] = MinColor;
335
336
60.9k
    NewColorSubdiv[Index].RGBWidth[SortRGBAxis] =
337
60.9k
        MaxColor - NewColorSubdiv[Index].RGBMin[SortRGBAxis];
338
339
60.9k
    (*NewColorMapSize)++;
340
60.9k
  }
341
342
190
  return GIF_OK;
343
375
}
344
345
/****************************************************************************
346
 Routine called by qsort to compare two entries.
347
 *****************************************************************************/
348
349
182M
static int SortCmpRtn(const void *Entry1, const void *Entry2) {
350
182M
  QuantizedColorType *entry1 = (*((QuantizedColorType **)Entry1));
351
182M
  QuantizedColorType *entry2 = (*((QuantizedColorType **)Entry2));
352
353
  /* sort on all axes of the color space! */
354
182M
  int hash1 = entry1->RGB[SortRGBAxis] * 256 * 256 +
355
182M
              entry1->RGB[(SortRGBAxis + 1) % 3] * 256 +
356
182M
              entry1->RGB[(SortRGBAxis + 2) % 3];
357
182M
  int hash2 = entry2->RGB[SortRGBAxis] * 256 * 256 +
358
182M
              entry2->RGB[(SortRGBAxis + 1) % 3] * 256 +
359
182M
              entry2->RGB[(SortRGBAxis + 2) % 3];
360
361
182M
  return hash1 - hash2;
362
182M
}
363
364
/* end */