[Bug middle-end/81596] backwards threader misses simple copy within the same BB

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

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

Aldy Hernandez <aldyh at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |WONTFIX
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #3 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
By design the backwards jump threader works on paths greater than one block, so
this is not even a candidate to eliminate with the threader.

  <bb 2> :
  x_2 = 25;
  xcopy_3 = x_2;
  if (xcopy_3 == 25)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

Closing.