From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-82820-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 23840 invoked by alias); 20 Jan 2004 11:11:54 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Received: (qmail 23800 invoked by uid 48); 20 Jan 2004 11:11:51 -0000
Date: Tue, 20 Jan 2004 11:11:00 -0000
Message-ID: <20040120111151.23799.qmail@sources.redhat.com>
From: "steven at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
In-Reply-To: <20040120105417.13767.steven@gcc.gnu.org>
References: <20040120105417.13767.steven@gcc.gnu.org>
Reply-To: gcc-bugzilla@gcc.gnu.org
Subject: [Bug middle-end/13767] [tree-ssa] ICE in verify_flow_info
X-Bugzilla-Reason: CC
X-SW-Source: 2004-01/txt/msg02369.txt.bz2
List-Id: <gcc-bugs.sourceware.org>


------- Additional Comments From steven at gcc dot gnu dot org  2004-01-20 11:11 -------
Another example of why GOTO's in the CFG suck ;-) 
The GOTO to L1 is redundant but it's not killed because it 
jumps to a nonlocal label. 
 
(gdb) p debug_tree_cfg (0) 
main () 
{ 
  static  t; 
  void L1 = <<< error >>>; 
  int c.1; 
 
  # BLOCK 0 
  # PRED: ENTRY (fallthru) 
  c.1 = c; 
  if (c.1 == 0) goto <L0>; else goto <L1>; 
  # SUCC: 2 (false) 1 (true) 
 
  # BLOCK 1 
  # PRED: 0 (true) 
<L0>:; 
  goto L1; 
  # SUCC: 2 (fallthru) 
 
  # BLOCK 2 
  # PRED: 1 (fallthru) 0 (false) 
<L1>:; 
  t (); 
  # SUCC: 3 (fallthru) 4 (ab) 
 
  # BLOCK 3 
  # PRED: 2 (fallthru) 
  abort (); 
  # SUCC: 4 (ab) 
 
  # BLOCK 4 
  # PRED: ENTRY (ab) 3 (ab) 2 (ab) 
L1:; 
  return 0; 
  # SUCC: EXIT 
} 
 

-- 


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