[Bug rtl-optimization/57763] New: [4.9 Regression]: comp-goto-1.c: ICE verify_flow_info failed, error: EDGE_CROSSING missing across section boundary

["ubizjak at gmail dot com" <gcc-bugzilla@gcc.gnu.org>]

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

            Bug ID: 57763
           Summary: [4.9 Regression]: comp-goto-1.c: ICE verify_flow_info
                    failed, error: EDGE_CROSSING missing across section
                    boundary
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ubizjak at gmail dot com

Relatively new regression, can be triggered with crosscompiler from
x86_64-pc-linux-gnu to alpha-linux-gnu:

../gcc-svn/trunk/configure --target=alpha-linux-gnu --enable-checking=yes

Running:

~/gcc-build-alpha/gcc/cc1 -O2 -freorder-blocks-and-partition -fprofile-use
-mexplicit-relocs -fpreprocessed comp-goto-1.i

results in:

comp-goto-1.c: In function ‘simulator_kernel’:
comp-goto-1.c:122:1: error: EDGE_CROSSING missing across section boundary
comp-goto-1.c:122:1: error: EDGE_CROSSING missing across section boundary
comp-goto-1.c:122:1: error: EDGE_CROSSING missing across section boundary
comp-goto-1.c:122:1: error: EDGE_CROSSING missing across section boundary
comp-goto-1.c:122:1: error: EDGE_CROSSING missing across section boundary
comp-goto-1.c:122:1: error: EDGE_CROSSING missing across section boundary
comp-goto-1.c:122:1: error: EDGE_CROSSING missing across section boundary
comp-goto-1.c:122:1: error: EDGE_CROSSING missing across section boundary
comp-goto-1.c:122:1: error: EDGE_CROSSING missing across section boundary
comp-goto-1.c:122:1: error: EDGE_CROSSING missing across section boundary
comp-goto-1.c:122:1: error: EDGE_CROSSING missing across section boundary
comp-goto-1.c:122:1: error: EDGE_CROSSING missing across section boundary
comp-goto-1.c:122:1: error: EDGE_CROSSING missing across section boundary
comp-goto-1.c:122:1: error: EDGE_CROSSING missing across section boundary
comp-goto-1.c:122:1: internal compiler error: verify_flow_info failed
0x5cfd1d verify_flow_info()
        ../../gcc-svn/trunk/gcc/cfghooks.c:260
0x8392e6 split_all_insns()
        ../../gcc-svn/trunk/gcc/recog.c:2945
0x839362 rest_of_handle_split_after_reload
        ../../gcc-svn/trunk/gcc/recog.c:3814
Please submit a full bug report,
>From gcc-bugs-return-425479-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Jun 30 17:01:39 2013
Return-Path: <gcc-bugs-return-425479-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 10660 invoked by alias); 30 Jun 2013 17:01:39 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
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
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 10637 invoked by uid 48); 30 Jun 2013 17:01:37 -0000
From: "ubizjak at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug rtl-optimization/57763] [4.9 Regression]: comp-goto-1.c: ICE verify_flow_info failed, error: EDGE_CROSSING missing across section boundary
Date: Sun, 30 Jun 2013 17:01:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: rtl-optimization
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ubizjak at gmail dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: attachments.created
Message-ID: <bug-57763-4-rcxGZy9YaY@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-57763-4@http.gcc.gnu.org/bugzilla/>
References: <bug-57763-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-06/txt/msg01858.txt.bz2
Content-length: 240

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

--- Comment #1 from Uroš Bizjak <ubizjak at gmail dot com> ---
Created attachment 30411
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30411&action=edit
Preprocessed source
>From gcc-bugs-return-425480-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Jun 30 17:02:10 2013
Return-Path: <gcc-bugs-return-425480-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 11445 invoked by alias); 30 Jun 2013 17:02:10 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
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
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 11413 invoked by uid 48); 30 Jun 2013 17:02:07 -0000
From: "ubizjak at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug rtl-optimization/57763] [4.9 Regression]: comp-goto-1.c: ICE verify_flow_info failed, error: EDGE_CROSSING missing across section boundary
Date: Sun, 30 Jun 2013 17:02:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: rtl-optimization
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ubizjak at gmail dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: attachments.created
Message-ID: <bug-57763-4-RsB4r6fixo@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-57763-4@http.gcc.gnu.org/bugzilla/>
References: <bug-57763-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-06/txt/msg01859.txt.bz2
Content-length: 245

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

--- Comment #2 from Uroš Bizjak <ubizjak at gmail dot com> ---
Created attachment 30412
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30412&action=edit
Corresponding .gcda file
>From gcc-bugs-return-425481-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Jun 30 17:12:08 2013
Return-Path: <gcc-bugs-return-425481-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 16401 invoked by alias); 30 Jun 2013 17:12:08 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
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
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 16336 invoked by uid 48); 30 Jun 2013 17:12:00 -0000
From: "ubizjak at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug rtl-optimization/57763] [4.9 Regression]: comp-goto-1.c: ICE verify_flow_info failed, error: EDGE_CROSSING missing across section boundary
Date: Sun, 30 Jun 2013 17:12:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: rtl-optimization
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ubizjak at gmail dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-57763-4-6cq9Qxn1AN@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-57763-4@http.gcc.gnu.org/bugzilla/>
References: <bug-57763-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-06/txt/msg01860.txt.bz2
Content-length: 3144

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

--- Comment #3 from Uroš Bizjak <ubizjak at gmail dot com> ---
Looking at the BB 28, we have following in _.212r.gcse2:

;; basic block 28, loop depth 0, count 0, freq 0, probably never executed
;; Invalid sum of outgoing probabilities 0.0%
;;  prev block 27, next block 29, flags: (NEW, REACHABLE, HOT_PARTITION, RTL,
MODIFIED)
;;  pred:       3 [100.0%] 
;; bb 28 artificial_defs: { }
;; bb 28 artificial_uses: { u-1(30){ }}
;; lr  in       1 [$1] 2 [$2] 5 [$5] 26 [$26] 29 [$29] 30 [$30]
;; lr  use      30 [$30]
;; lr  def      3 [$3]
;; live  in       1 [$1] 2 [$2] 5 [$5] 26 [$26] 30 [$30]
;; live  gen      3 [$3]
;; live  kill    
(code_label 375 374 377 28 21 "" [1 uses])
(note 377 375 415 28 [bb 28] NOTE_INSN_BASIC_BLOCK)
(insn 415 377 416 28 (set (reg:DI 3 $3 [379])
        (high:DI (label_ref:DI 253))) 226 {*movdi}
     (expr_list:REG_EQUIV (high:DI (label_ref:DI 253))
        (insn_list:REG_LABEL_OPERAND 253 (nil))))
(insn 416 415 417 28 (set (reg:DI 3 $3 [378])
        (lo_sum:DI (reg:DI 3 $3 [379])
            (label_ref:DI 253))) 224 {*movdi_er_low_l}
     (expr_list:REG_EQUIV (label_ref:DI 253)
        (insn_list:REG_LABEL_OPERAND 253 (nil))))
(jump_insn 417 416 378 28 (set (pc)
        (reg:DI 3 $3 [378])) 214 {indirect_jump}
     (expr_list:REG_CROSSING_JUMP (nil)
        (nil)))
;;  succ:       4 (CROSSING)
;; lr  out      1 [$1] 2 [$2] 5 [$5] 26 [$26] 29 [$29] 30 [$30]
;; live  out      1 [$1] 2 [$2] 5 [$5] 26 [$26] 30 [$30]

(insn 415) is split into (insn 483), and in _.213r.split2 dump, we get:

;; basic block 28, loop depth 0, count 0, freq 0, probably never executed
;;  prev block 27, next block 29, flags: (NEW, REACHABLE, HOT_PARTITION, RTL,
MODIFIED)
;;  pred:       3 [100.0%] 
;; bb 28 artificial_defs: { }
;; bb 28 artificial_uses: { u-1(30){ }}
;; lr  in       1 [$1] 2 [$2] 5 [$5] 26 [$26] 29 [$29] 30 [$30]
;; lr  use      30 [$30]
;; lr  def      3 [$3]
;; live  in       1 [$1] 2 [$2] 5 [$5] 26 [$26] 30 [$30]
;; live  gen      3 [$3]
;; live  kill    
(code_label 375 374 377 28 21 "" [1 uses])
(note 377 375 483 28 [bb 28] NOTE_INSN_BASIC_BLOCK)
(insn 483 377 416 28 (set (reg:DI 3 $3 [379])
        (plus:DI (reg:DI 29 $29)
            (high:DI (label_ref:DI 253)))) 6 {*adddi_er_high_l}
     (expr_list:REG_EQUAL (high:DI (label_ref:DI 253))
        (nil)))
(insn 416 483 417 28 (set (reg:DI 3 $3 [378])
        (lo_sum:DI (reg:DI 3 $3 [379])
            (label_ref:DI 253))) 224 {*movdi_er_low_l}
     (expr_list:REG_EQUIV (label_ref:DI 253)
        (insn_list:REG_LABEL_OPERAND 253 (nil))))
(jump_insn 417 416 378 28 (set (pc)
        (reg:DI 3 $3 [378])) 214 {indirect_jump}
     (expr_list:REG_CROSSING_JUMP (nil)
        (nil)))
;;  succ:       4 [25.0%]  (CROSSING)
;;              22 [25.0%]  (ABNORMAL)
;;              13 [25.0%]  (ABNORMAL)
;;              11 [25.0%]  (ABNORMAL)
;; lr  out      1 [$1] 2 [$2] 5 [$5] 26 [$26] 29 [$29] 30 [$30]
;; live  out      1 [$1] 2 [$2] 5 [$5] 26 [$26] 30 [$30]

Please note, that edges 22, 13 and 11 appeared out of the blue, apparently for
no reason.
>From gcc-bugs-return-425482-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Jun 30 19:25:25 2013
Return-Path: <gcc-bugs-return-425482-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 17383 invoked by alias); 30 Jun 2013 19:25:25 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
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
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 17327 invoked by uid 48); 30 Jun 2013 19:25:15 -0000
From: "misty at brew dot sh" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug other/56811] [4.8/4.9 Regression] libbacktrace causes undefined symbol "_Unwind_GetIPInfo" on ia64-hpux
Date: Sun, 30 Jun 2013 19:25:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: other
X-Bugzilla-Version: 4.8.0
X-Bugzilla-Keywords: build
X-Bugzilla-Severity: normal
X-Bugzilla-Who: misty at brew dot sh
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.8.2
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: cc
Message-ID: <bug-56811-4-a5Yh1Bd3t1@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-56811-4@http.gcc.gnu.org/bugzilla/>
References: <bug-56811-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2013-06/txt/msg01861.txt.bz2
Content-length: 2454

http://gcc.gnu.org/bugzilla/show_bug.cgi?idV811

Misty De Meo <misty at brew dot sh> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |misty at brew dot sh

--- Comment #3 from Misty De Meo <misty at brew dot sh> ---
I have the same issue building gcc 4.8.1 on PowerPC 7400 MacOS X 10.4.11. I'm
using gcc 4.4.7 to build 4.8.1; I compiled 4.4.7 myself on the same machine
successfully. The final output from the build:

/usr/local/bin/g++-4.4   -g -DIN_GCC   -fno-exceptions -fno-rtti
-fasynchronous-unwind-tables -W -Wall -Wwrite-strings -Wcast-qual
-Wmissing-format-attribute -pedantic -Wno-long-long -Wno-variadic-macros
-Wno-overlength-strings -fno-common  -DHAVE_CONFIG_H -L/usr/local/lib
-F/usr/local/Frameworks -o cc1 c/c-lang.o c-family/stub-objc.o attribs.o
c/c-errors.o c/c-decl.o c/c-typeck.o c/c-convert.o c/c-aux-info.o
c/c-objc-common.o c/c-parser.o c-family/c-common.o c-family/c-cppbuiltin.o
c-family/c-dump.o c-family/c-format.o c-family/c-gimplify.o c-family/c-lex.o
c-family/c-omp.o c-family/c-opts.o c-family/c-pch.o c-family/c-ppoutput.o
c-family/c-pragma.o c-family/c-pretty-print.o c-family/c-semantics.o
c-family/c-ada-spec.o tree-mudflap.o darwin-c.o rs6000-c.o \
  cc1-checksum.o libbackend.a main.o tree-browser.o libcommon-target.a
libcommon.a ../libcpp/libcpp.a ../libdecnumber/libdecnumber.a libcommon.a
../libcpp/libcpp.a  -liconv ../libbacktrace/.libs/libbacktrace.a
../libiberty/libiberty.a ../libdecnumber/libdecnumber.a
-L/usr/local/opt/cloog/lib -lcloog-isl -L/usr/local/opt/isl/lib -lisl
-L/usr/local/opt/gmp/lib -L/usr/local/opt/mpfr/lib -L/usr/local/opt/libmpc/lib
-lmpc -lmpfr -lgmp   -lz
/usr/local/bin/ld: Undefined symbols:
__Unwind_GetIPInfo

It was configured with the following arguments:

--build=powerpc-apple-darwin8.11.0 \
--prefix=/usr/local/Cellar/gcc48/4.8.1/gcc \
--with-dataroot=/usr/local/Cellar/gcc48/4.8.1/share \
--bindir=/usr/local/Cellar/gcc48/4.8.1/bin \
--enable-languages=c++ \
--program-suffix=-4.8 \
--with-gmp=/usr/local/opt/gmp \
--with-mpfr=/usr/local/opt/mpfr \
--with-mpc=/usr/local/opt/libmpc \
--with-cloog=/usr/local/opt/cloog \
--with-isl=/usr/local/opt/isl \
--with-system-zlib \
--enable-libstdcxx-time=yes \
--enable-stage1-checking \
--enable-checking=release \
--enable-lto \
--disable-werror \
--disable-nls \
--disable-multilib