[Bug c/113555] Yet another failure in verify_ssa

[dcb314 at hotmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113555

--- Comment #2 from David Binderman  ---
For the first source code, the bug seems to exist sometime between 20231119
and 20231227.

Git hashes are g:eaeaad3fcac4d7a3 and g:f19ceb2d49afdfa5

Please ignore the second source code - it is a separate bug.

[Bug c/113555] Yet another failure in verify_ssa

[dcb314 at hotmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113555

--- Comment #1 from David Binderman  ---
Second test case:

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 $ ~/gcc/results/bin/gcc -c -w -O3 bug1000B.c
cvise $ ~/gcc/results/bin/gcc -c -w -O3 -march=znver3 bug1000B.c
bug1000B.c: In function ‘LZ4_decompress_generic_endOnInput’:
bug1000B.c:2:6: error: definition in block 7 does not dominate use in block 5
2 | void LZ4_decompress_generic_endOnInput() {
  |  ^