[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 <dcb314 at hotmail dot com> ---
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() {
      |      ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~