[Bug middle-end/16585] New: current_function_has_computed_jump incorrectly changed in make_edges

["zlomek at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

make_edges() clears current_function_has_computed_jump flag in its beginning
and set it only if it finds a computed jump in a *range* of basic blocks which
is passed in its arguments.

So the result is that the flag is incorrectly cleared when a range of blocks
which does not contain the computed jump although the current function contains
the computed jump is passed to make_edges().

This behaviour occurs when compiling the testcase "ef.i" from PR/15242 with "-O2".

-- 
           Summary: current_function_has_computed_jump incorrectly changed
                    in make_edges
           Product: gcc
           Version: 3.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: zlomek at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i386-unknown-linux
  GCC host triplet: i386-unknown-linux
GCC target triplet: i386-unknown-linux
OtherBugsDependingO 15242
             nThis:


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16585