[Bug tree-optimization/19522] New: Fix GCC so that a nonlocal label won't appear after local labels.

[Bug tree-optimization/19522] New: Fix GCC so that a nonlocal label won't appear after local labels.

[kazu at cs dot umass dot edu]

Fix GCC so that a nonlocal label won't appear after local labels.

In other words, the following addition to tree_verify_flow_info should not
introduce regressions.

http://gcc.gnu.org/ml/gcc-patches/2005-01/msg01191.html

-- 
           Summary: Fix GCC so that a nonlocal label won't appear after
                    local labels.
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: kazu at cs dot umass dot edu
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug tree-optimization/19522] Fix GCC so that a nonlocal label won't appear after local labels.

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-19 06:39 -------
I think the problem is in remove_bb.
This is the only place where we move lables around really.

basically here:
          block_stmt_iterator new_bsi = bsi_start (new_bb);

we should just skip over the first label if there is one.

I will try to test this in a little bit.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Version|unknown                     |4.0.0


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

[Bug tree-optimization/19522] Fix GCC so that a nonlocal label won't appear after local labels.

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-19 06:46 -------
Actually I think the verifying patch is wrong, because we can have multiple computed lables at the 
begining of a BB because we moved it from a different BB.

-- 


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

[Bug tree-optimization/19522] Fix GCC so that a nonlocal label won't appear after local labels.

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-19 06:53 -------
Yes that is it.  Basically we have two computed GOTO's at the beginging of the BB which is okay really 
since there is no way otherwise since we just remove the other BB (unless you want to create a new BB 
which seems like a waste really).

-- 


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

[Bug tree-optimization/19522] Fix GCC so that a nonlocal label won't appear after local labels.

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-19 06:55 -------
(In reply to comment #3)
 ... like a waste.
Since we are going to keep the BB's around for longer in 4.1.


-- 


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

[Bug tree-optimization/19522] Fix GCC so that a nonlocal label won't appear after local labels.

[kazu at cs dot umass dot edu]

------- Additional Comments From kazu at cs dot umass dot edu  2005-01-31 12:55 -------
Now tree_verify_flow_info verifies that a nonlocal label does not appear
in the middle of a seuqnece of labels.

http://gcc.gnu.org/ml/gcc-patches/2005-01/msg01383.html


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


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

[Bug tree-optimization/19522] Fix GCC so that a nonlocal label won't appear after local labels.

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.0.0


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