[Bug tree-optimization/87259] New: [9 Regression] ICE: error: definition in block 3 does not dominate use in block 2

[marxin at gcc dot gnu.org]

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

            Bug ID: 87259
           Summary: [9 Regression] ICE:  error: definition in block 3 does
                    not dominate use in block 2
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: ktkachov at gcc dot gnu.org, rguenth at gcc dot gnu.org
  Target Milestone: ---
              Host: x86_64-linux-gnu

Starting from r264126 I see:

$ cat solver.i
int a, b, c;
int *e;
float f;
void h() {
  for (int g;;) {
    float d = b, i = 0 / f, j = a / (f * f), k, l = 0 / d;
    c = i + j;
    g = l;
    e[g] = c / d * k / d;
  }
}

$ gcc solver.i -Ofast -c
solver.i: In function ‘h’:
solver.i:4:6: error: definition in block 3 does not dominate use in block 2
4 | void h() {
  |      ^
for SSA_NAME: d_19 in statement:
reciptmp.10_54 = 1.0e+0 / d_19;
during GIMPLE pass: recip
solver.i:4:6: internal compiler error: verify_ssa failed
0xf5b516 verify_ssa(bool, bool)
        /home/marxin/Programming/gcc/gcc/tree-ssa.c:1188
0xc697d0 execute_function_todo
        /home/marxin/Programming/gcc/gcc/passes.c:1950
0xc69fea execute_todo
        /home/marxin/Programming/gcc/gcc/passes.c:1997
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.