Merge branch 'PHP-8.4'

* PHP-8.4:
  Fix GH-16559: UBSan abort in ext/gd/libgd/gd_interpolation.c:1007
This commit is contained in:
Niels Dossche 2024-10-23 20:10:10 +02:00
commit 551a9ef5e6
No known key found for this signature in database
GPG key ID: B8A8AD166DF0E2E5
2 changed files with 33 additions and 6 deletions

View file

@ -919,21 +919,29 @@ static inline LineContribType *_gdContributionsCalc(unsigned int line_size, unsi
return res; return res;
} }
/* Convert a double to an unsigned char, rounding to the nearest
* integer and clamping the result between 0 and max. The absolute
* value of clr must be less than the maximum value of an unsigned
* short. */
static inline unsigned char static inline unsigned char
uchar_clamp(double clr) { uchar_clamp(double clr, unsigned char max) {
unsigned short result; unsigned short result;
assert(fabs(clr) <= SHRT_MAX);
//assert(fabs(clr) <= SHRT_MAX);
/* Casting a negative float to an unsigned short is undefined. /* Casting a negative float to an unsigned short is undefined.
* However, casting a float to a signed truncates toward zero and * However, casting a float to a signed truncates toward zero and
* casting a negative signed value to an unsigned of the same size * casting a negative signed value to an unsigned of the same size
* results in a bit-identical value (assuming twos-complement * results in a bit-identical value (assuming twos-complement
* arithmetic). This is what we want: all legal negative values * arithmetic). This is what we want: all legal negative values
* for clr will be greater than 255. */ * for clr will be greater than 255. */
/* Convert and clamp. */ /* Convert and clamp. */
result = (unsigned short)(short)(clr + 0.5); result = (unsigned short)(short)(clr + 0.5);
if (result > 255) { if (result > max) {
result = (clr < 0) ? 0 : 255; result = (clr < 0) ? 0 : max;
}/* if */ }/* if */
return result; return result;
}/* uchar_clamp*/ }/* uchar_clamp*/
@ -957,7 +965,9 @@ static inline void _gdScaleRow(gdImagePtr pSrc, unsigned int src_width, gdImage
b += contrib->ContribRow[x].Weights[left_channel] * (double)(gdTrueColorGetBlue(p_src_row[i])); b += contrib->ContribRow[x].Weights[left_channel] * (double)(gdTrueColorGetBlue(p_src_row[i]));
a += contrib->ContribRow[x].Weights[left_channel] * (double)(gdTrueColorGetAlpha(p_src_row[i])); a += contrib->ContribRow[x].Weights[left_channel] * (double)(gdTrueColorGetAlpha(p_src_row[i]));
} }
p_dst_row[x] = gdTrueColorAlpha(uchar_clamp(r), uchar_clamp(g), uchar_clamp(b), uchar_clamp(a)); p_dst_row[x] = gdTrueColorAlpha(uchar_clamp(r, 0xFF), uchar_clamp(g, 0xFF),
uchar_clamp(b, 0xFF),
uchar_clamp(a, 0x7F)); /* alpha is 0..127 */
} }
} }
@ -1004,7 +1014,9 @@ static inline void _gdScaleCol (gdImagePtr pSrc, unsigned int src_width, gdImag
b += contrib->ContribRow[y].Weights[i_iLeft] * (double)(gdTrueColorGetBlue(pCurSrc)); b += contrib->ContribRow[y].Weights[i_iLeft] * (double)(gdTrueColorGetBlue(pCurSrc));
a += contrib->ContribRow[y].Weights[i_iLeft] * (double)(gdTrueColorGetAlpha(pCurSrc)); a += contrib->ContribRow[y].Weights[i_iLeft] * (double)(gdTrueColorGetAlpha(pCurSrc));
} }
pRes->tpixels[y][uCol] = gdTrueColorAlpha(uchar_clamp(r), uchar_clamp(g), uchar_clamp(b), uchar_clamp(a)); pRes->tpixels[y][uCol] = gdTrueColorAlpha(uchar_clamp(r, 0xFF), uchar_clamp(g, 0xFF),
uchar_clamp(b, 0xFF),
uchar_clamp(a, 0x7F)); /* alpha is 0..127 */
} }
} }

15
ext/gd/tests/gh16559.phpt Normal file
View file

@ -0,0 +1,15 @@
--TEST--
GH-16559 (UBSan abort in ext/gd/libgd/gd_interpolation.c:1007)
--EXTENSIONS--
gd
--FILE--
<?php
$input = imagecreatefrompng(__DIR__ . '/gh10614.png');
for ($angle = 0; $angle <= 270; $angle += 90) {
$output = imagerotate($input, $angle, 0);
}
var_dump(imagescale($output, -1, 64, IMG_BICUBIC));
?>
--EXPECT--
object(GdImage)#2 (0) {
}