[Bug tree-optimization/100329] ICE: verify_ssa failed (error: definition in block 3 does not dominate use in block 4)

[rguenth at gcc dot gnu.org via Gcc-bugs]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|aarch64-linux-gnu           |

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Also ICEs on x86_64 with -O -fwrapv --param tree-reassoc-width=2.  For
dg-torture and not needing -fwrapv:

/* { dg-do compile } */
/* { dg-additional-options "--param tree-reassoc-width=2" } */

unsigned int a0;

unsigned int
foo (unsigned int a1, unsigned int a2)
{
  unsigned int x;

  asm goto ("" : "=r" (x) : : : lab);
  a0 = x;

 lab:
  return x + a1 + a2 + 1;
}