https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113561
Bug ID: 113561
Summary: yet more verify_ssa fails
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: dcb314 at hotmail dot com
Target Milestone: ---
For this C source code:
char LZ4_decompress_generic_source;
void LZ4_decompress_generic_endOnInput() {
char *ip = &LZ4_decompress_generic_source;
while (1) {
long length;
if (length) {
unsigned s;
do {
if (ip > -5)
goto _output_error;
s = *ip++;
length += s;
} while (s);
}
}
_output_error:
}
cvise $ /home/dcb38/gcc/results.20240119.asan.ubsan/bin/gcc -c -w -O3 bug1001.c
cvise $ /home/dcb38/gcc/results.20240119.asan.ubsan/bin/gcc -c -w -O3
-march=znver3 bug1001.c
bug1001.c: In function ‘LZ4_decompress_generic_endOnInput’:
bug1001.c:2:6: error: definition in block 7 does not dominate use in block 5
2 | void LZ4_decompress_generic_endOnInput() {
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The bug first seems to exist sometime between g:484f48f03cf9a382
and g:5a22bb250d8f4ad2
