https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115863
Bug ID: 115863
Summary: [15 Regression] zlib-1.3.1 miscompilation since
r15-1936-g80e446e829d818
Product: gcc
Version: 15.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: middle-end
Assignee: unassigned at gcc dot gnu.org
Reporter: slyfox at gcc dot gnu.org
Target Milestone: ---
Noticed as a zlib-1.3.1 test failure on today's gcc r15-1936-g80e446e829d818.
The symptom is a test crash on zlib-1.3.1 testsuite on x86_64-linux:
$ make && make check
make: Nothing to be done for 'all'.
hello world
zlib version 1.3.1 = 0x1310, compile flags = 0xa9
*** zlib test FAILED ***
make: *** [Makefile:85: teststatic] Error 1
Bisect landed on r15-1936-g80e446e829d818 "Match: Support form 2 for the
.SAT_TRUNC"
I have not extracted the self-contained example but I'm pretty sure it's
compress2() from compress.c around the saturation handler:
https://github.com/madler/zlib/blob/v1.3.1/compress.c#L22
Will try toextract the example tomorrow until somebody beats me to it.
