[Bug tree-optimization/77424] Identical statements in if-else branches

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2016-09-01
                 CC|                            |law at gcc dot gnu.org
            Version|7.0                         |6.2.1
     Ever confirmed|0                           |1

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Of course conservatively correct (give up) ... the big comment before the block
doesn't match the code in any way, esp. I can't find

     As a compromise for the latter case, if the thread path ends in
     a block where the last statement is a multiway branch, then go
     ahead and thread it, else ignore it.  */

that obviously doesn't match the "thread into the loop" check.  On the gcc 5
branch we had a

           else if (bb_ends_with_multiway_branch (path->last ()->e->src))
              {
...
              }

inbetween and I suppose the refactoring of FSM vs. non-FSM theading simply
left this now dead code / comment around...

Jeff?