[Bug c/84873] [6/7 Regression] ICE: verify_ssa failed (error: definition in block 3 does not dominate use in block 4)

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |8.0
            Summary|[6/7/8 Regression] ICE:     |[6/7 Regression] ICE:
                   |verify_ssa failed (error:   |verify_ssa failed (error:
                   |definition in block 3 does  |definition in block 3 does
                   |not dominate use in block   |not dominate use in block
                   |4)                          |4)
      Known to fail|                            |7.3.0

--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed on trunk sofar.