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

[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]

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

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

[steven at gcc dot gnu.org]

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

Steven Bosscher <steven at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2013-06-30
                 CC|                            |steven at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |steven at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #4 from Steven Bosscher <steven at gcc dot gnu.org> ---
Can you please give the revision number for the compiler that gives
you this problem? The revision number must match to make sure the
gcda file is valid.

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

[steven at gcc dot gnu.org]

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

--- Comment #7 from Steven Bosscher <steven at gcc dot gnu.org> ---
find_many_sub_basic_blocks calls make_edges. Things go bad from there.
A block ending in an indirect_jump is marked for find_many_sub_bbs (but
actually the basic block boundaries are not changed) and gets passed
to make_edges (with min==max==bb). The bb looks like this:

basic block 33, loop depth 0, count 0, freq 0, probably never executed
Invalid sum of outgoing probabilities 0.0%
Invalid sum of incoming frequencies 199, should be 0
 prev block 32, next block 1, flags: (NEW, REACHABLE, COLD_PARTITION, RTL,
MODIFIED)
 pred:       26 [25.0%]
;; bb 33 artificial_defs: { }
;; bb 33 artificial_uses: { u-1(30){ }}
;; lr  in        1 [$1] 2 [$2] 3 [$3] 5 [$5] 26 [$26] 29 [$29] 30 [$30]
;; lr  use       30 [$30]
;; lr  def       4 [$4]
;; live  in      1 [$1] 2 [$2] 3 [$3] 5 [$5] 26 [$26] 30 [$30]
;; live  gen     4 [$4]
;; live  kill

  395: L395:
  397: NOTE_INSN_BASIC_BLOCK 33
  478: $4:DI=$29:DI+high(L54)
      REG_EQUAL high(L54)
  436: $4:DI=$4:DI+low(L54)
      REG_EQUIV L54
      REG_LABEL_OPERAND code_label
  437: pc=$4:DI
      REG_CROSSING_JUMP (nil)
;; lr  out       1 [$1] 2 [$2] 3 [$3] 5 [$5] 26 [$26] 29 [$29] 30 [$30]
;; live  out     1 [$1] 2 [$2] 3 [$3] 5 [$5] 26 [$26] 30 [$30]

 succ:       11 (CROSSING)
             22 (ABNORMAL)

With this we go to make_edges, which does:

          /* If this is a computed jump, then mark it as reaching
             everything on the forced_labels list.  */
          else if (computed_jump_p (insn))
            {
              for (x = forced_labels; x; x = XEXP (x, 1))
                make_label_edge (edge_cache, bb, XEXP (x, 0), EDGE_ABNORMAL);
            }

The first forced_label in the list is the head of basic block 12.
There is no edge 33->12 so we create one.  Without the right flags...

(Why that edge is not there to begin with, I don't know, but I suspect that
the block's outgoing edges were simply carried over from GIMPLE and never
needed updating...)

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

[steven at gcc dot gnu.org]

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

--- Comment #8 from Steven Bosscher <steven at gcc dot gnu.org> ---
Created attachment 30471
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30471&action=edit
Avoid unnecessary CFG mangling

Help with testing welcome...

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

[stevenb.gcc at gmail dot com]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="UTF-8", Size: 5705 bytes --]

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

--- Comment #11 from stevenb.gcc at gmail dot com <stevenb.gcc at gmail dot com> ---
> --- Comment #9 from Uroš Bizjak <ubizjak at gmail dot com> ---
> I have tried to compile gcc.dg/comp-goto-1.c with the patched gcc, but
> compilation failed with:

Huh, worked for me. What revision, what compiler options did you use?
>From gcc-bugs-return-425875-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Jul 07 11:52:34 2013
Return-Path: <gcc-bugs-return-425875-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 28532 invoked by alias); 7 Jul 2013 11:52:34 -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 28458 invoked by uid 48); 7 Jul 2013 11:52:23 -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, 07 Jul 2013 11:52: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: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: steven at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.9.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-57763-4-2BvWSSIVZ0@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-07/txt/msg00382.txt.bz2
Content-length: 1095

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

--- Comment #12 from Uroš Bizjak <ubizjak at gmail dot com> ---
(In reply to stevenb.gcc@gmail.com from comment #11)
> > --- Comment #9 from Uroš Bizjak <ubizjak at gmail dot com> ---
> > I have tried to compile gcc.dg/comp-goto-1.c with the patched gcc, but
> > compilation failed with:
> 
> Huh, worked for me. What revision, what compiler options did you use?

I have tried to bootstrap current mainline natively on alpha, the bootstrap
failed when checking for sjlj exceptions:

--cut here--
/* confdefs.h */
#define PACKAGE_NAME "GNU C Runtime Library"
#define PACKAGE_TARNAME "libgcc"
#define PACKAGE_VERSION "1.0"
#define PACKAGE_STRING "GNU C Runtime Library 1.0"
#define PACKAGE_BUGREPORT ""
#define PACKAGE_URL "http://www.gnu.org/software/libgcc/"
#define SIZEOF_DOUBLE 8
#define SIZEOF_LONG_DOUBLE 16
#define HAVE_GETIPINFO 1
/* end confdefs.h.  */

void bar ();
void clean (int *);
void foo ()
{
  int i __attribute__ ((cleanup (clean)));
  bar();
}
--cut here--

just try to compile this source without any options.
>From gcc-bugs-return-425876-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Jul 07 13:46:17 2013
Return-Path: <gcc-bugs-return-425876-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 9792 invoked by alias); 7 Jul 2013 13:46:16 -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 9733 invoked by uid 48); 7 Jul 2013 13:46:05 -0000
From: "tomga at wp dot pl" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug libstdc++/53477] pretty printer fails with: Python Exception <type 'exceptions.IndexError'> list index out of range
Date: Sun, 07 Jul 2013 13:46:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: libstdc++
X-Bugzilla-Version: 4.7.1
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: tomga at wp dot pl
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-53477-4-WWjWzlPCca@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-53477-4@http.gcc.gnu.org/bugzilla/>
References: <bug-53477-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-07/txt/msg00383.txt.bz2
Content-length: 514

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

--- Comment #10 from Tomasz Gajewski <tomga at wp dot pl> ---
Created attachment 30473
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id0473&actioníit
Patch to pretty printers testsuite to expose some problems

This patch adds into the testsuite additional cases with typedefs and
references to variables. This exposes problem described in this bug.

My proposed earlier patch to 'printers.py' fixes some new testcases from this
patch but not all of them.

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

[ubizjak at gmail dot com]

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

--- Comment #13 from Uroš Bizjak <ubizjak at gmail dot com> ---
Steven, is there anything else you are expecting from me to solve this problem?
>From gcc-bugs-return-428442-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Aug 27 09:09:57 2013
Return-Path: <gcc-bugs-return-428442-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 24631 invoked by alias); 27 Aug 2013 09:09:56 -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 24338 invoked by uid 48); 27 Aug 2013 09:09:52 -0000
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug rtl-optimization/57877] wrong code at -Os on x86_64-linux-gnu in 32-bit mode
Date: Tue, 27 Aug 2013 09:09: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: jakub at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
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: bug_status cc component resolution
Message-ID: <bug-57877-4-Yo2XDG7NFT@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-57877-4@http.gcc.gnu.org/bugzilla/>
References: <bug-57877-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-08/txt/msg01366.txt.bz2
Content-length: 620

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
                 CC|                            |jakub at gcc dot gnu.org
          Component|tree-optimization           |rtl-optimization
         Resolution|---                         |FIXED

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
This was likely introduced with r200723 and got fixed in r200899.

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

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1

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

[steven at gcc dot gnu.org]

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

Steven Bosscher <steven at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |WAITING

--- Comment #14 from Steven Bosscher <steven at gcc dot gnu.org> ---
Lots of hot/cold partitioning fixes have been committed in the past
few weeks. Uros, so you still see this bug with a recent trunk?

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

[ubizjak at gmail dot com]

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

--- Comment #15 from Uroš Bizjak <ubizjak at gmail dot com> ---
(In reply to Steven Bosscher from comment #14)
> Lots of hot/cold partitioning fixes have been committed in the past
> few weeks. Uros, so you still see this bug with a recent trunk?

I still see the failure with trunk revision 206059 [1].

[1] http://gcc.gnu.org/ml/gcc-testresults/2013-12/msg01719.html
>From gcc-bugs-return-438489-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Dec 25 10:05:43 2013
Return-Path: <gcc-bugs-return-438489-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 5364 invoked by alias); 25 Dec 2013 10:05:43 -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 5300 invoked by uid 48); 25 Dec 2013 10:05:38 -0000
From: "vishwaradhya.j at hcl dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/59596] New: Unable to get the rpm file GCC 4.2 version for Linux X86_64 bit
Date: Wed, 25 Dec 2013 10:05:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: unknown
X-Bugzilla-Keywords:
X-Bugzilla-Severity: critical
X-Bugzilla-Who: vishwaradhya.j at hcl 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: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter
Message-ID: <bug-59596-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-12/txt/msg02144.txt.bz2
Content-length: 684

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

            Bug ID: 59596
           Summary: Unable to get the rpm file GCC 4.2 version for Linux
                    X86_64 bit
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: critical
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: vishwaradhya.j at hcl dot com

Hi Team,

                We are unable to get/download the rpm file GCC 4.2 version for
Linux X86_64 bit. This is required for our project to convert the CPP files
into mex files. Please let us know how do we proceed?

Regards
Vishwaradhya

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

[ubizjak at gmail dot com]

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

Uroš Bizjak <ubizjak at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
>From gcc-bugs-return-439599-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Jan 08 09:45:06 2014
Return-Path: <gcc-bugs-return-439599-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 11458 invoked by alias); 8 Jan 2014 09:45:05 -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 11378 invoked by uid 48); 8 Jan 2014 09:45:01 -0000
From: "schwab@linux-m68k.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug rtl-optimization/59649] [4.9 regression] BImode miscompiled
Date: Wed, 08 Jan 2014 09:45: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: build, wrong-code
X-Bugzilla-Severity: critical
X-Bugzilla-Who: schwab@linux-m68k.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.9.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: short_desc
Message-ID: <bug-59649-4-MzavFe0eQi@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59649-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59649-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: 2014-01/txt/msg00741.txt.bz2
Content-length: 504

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

Andreas Schwab <schwab@linux-m68k.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.9 regression] conftest.c |[4.9 regression] BImode
                   |miscompiled                 |miscompiled

--- Comment #9 from Andreas Schwab <schwab@linux-m68k.org> ---
Testresults: http://gcc.gnu.org/ml/gcc-testresults/2014-01/msg00489.html

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

[ubizjak at gmail dot com]

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

Uroš Bizjak <ubizjak at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #30412|0                           |1
        is obsolete|                            |

--- Comment #17 from Uroš Bizjak <ubizjak at gmail dot com> ---
Created attachment 31848
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31848&action=edit
Corresponding .gcda file for r206638

Updated .gcda file, compiled with a crosscompiler from x86_64-linux-gnu:

$ /ssd/uros/gcc-build-alpha/gcc/cc1 -O2 -freorder-blocks-and-partition
-fprofile-use -mexplicit-relocs -fpreprocessed -quiet comp-goto-1.i
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: internal compiler error: verify_flow_info failed
0x5f3343 verify_flow_info()
        /home/uros/gcc-svn/trunk/gcc/cfghooks.c:260
0x89cf46 split_all_insns()
        /home/uros/gcc-svn/trunk/gcc/recog.c:2955
0x89cfb2 rest_of_handle_split_after_reload
        /home/uros/gcc-svn/trunk/gcc/recog.c:3889
0x89cfb2 execute
        /home/uros/gcc-svn/trunk/gcc/recog.c:3918
Please submit a full bug report,
>From gcc-bugs-return-440501-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Jan 16 02:47:34 2014
Return-Path: <gcc-bugs-return-440501-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 26709 invoked by alias); 16 Jan 2014 02:47:34 -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 26674 invoked by uid 48); 16 Jan 2014 02:47:29 -0000
From: "jvdelisle at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug libfortran/59836] Wrong outputs with rounding formats for some values.
Date: Thu, 16 Jan 2014 02:47:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: libfortran
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jvdelisle at gcc dot gnu.org
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-59836-4-Zg4umfHstL@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59836-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59836-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: 2014-01/txt/msg01643.txt.bz2
Content-length: 276

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

--- Comment #1 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> ---
I will also test your patches and review and commit for you if you need. Please
let me know. I knew you were close to the solution on this one. Great job!

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

[jakub at gcc dot gnu.org]

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

--- Comment #18 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 31852
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31852&action=edit
gcc49-pr57763.patch

Untested fix.

So, from what I can understand, the really computed jumps are just fine, the
problem is that on some targets (well, most of them except for a few exceptions
that define HAS_LONG_UNCOND_BRANCH to non-zero)
fix_crossing_unconditional_branches turns the unconditional normal crossing
jumps into indirect jumps.  Those then satisfy computed_jump_p predicate, and
if current function has forced_labels, then make_edge later on wants to see
edges from those jumps to all the forced_labels.
But, while those crossing jumps are indirect jumps, they actually can't jump to
arbitrary labels, they will only jump to the single label they load a few insns
before the indirect jump into register, so there is no point in having edges
from them to all the forced_labels, the insns are indirect just because normal
uncondjumps aren't guaranteed to be able to jump to arbitrary code distances.

Attached is an attempt to fix this just by setting JUMP_LABEL on the indirect
jump, then computed_jump_p predicate will be false and the various places in
RTL optimizers will be told where it jumps to.  Not 100% how adding the
JUMP_LABEL plays with e.g. LABEL_NUSES, should it increment it or not, or do
only LABEL_REFs count for that?  In any case, the patch fixes the bug in the
cross compiler, can't test it on Alpha though, perhaps could test say on ppc64
and s390x which also don't define HAS_LONG_UNCOND_BRANCH to non-zero.  But, our
testsuite coverage for -freorder-blocks-and-partition is very limited anyway.

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

[ubizjak at gmail dot com]

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

--- Comment #19 from Uroš Bizjak <ubizjak at gmail dot com> ---
(In reply to Jakub Jelinek from comment #18)

> Attached is an attempt to fix this just by setting JUMP_LABEL on the
> indirect jump, then computed_jump_p predicate will be false and the various
> places in RTL optimizers will be told where it jumps to.  Not 100% how
> adding the JUMP_LABEL plays with e.g. LABEL_NUSES, should it increment it or
> not, or do only LABEL_REFs count for that?  In any case, the patch fixes the
> bug in the cross compiler, can't test it on Alpha though, perhaps could test
> say on ppc64 and s390x which also don't define HAS_LONG_UNCOND_BRANCH to
> non-zero.  But, our testsuite coverage for -freorder-blocks-and-partition is
> very limited anyway.

I have started bootstrap on Alpha.
>From gcc-bugs-return-440543-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Jan 16 12:30:37 2014
Return-Path: <gcc-bugs-return-440543-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 10726 invoked by alias); 16 Jan 2014 12:30:37 -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 10708 invoked by uid 48); 16 Jan 2014 12:30:33 -0000
From: "rafal at rawicki dot org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/59840] New: -Wconversion produces incorrect warning when value is shifted by 0
Date: Thu, 16 Jan 2014 12:30:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: unknown
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rafal at rawicki dot org
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: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter
Message-ID: <bug-59840-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: 2014-01/txt/msg01685.txt.bz2
Content-length: 1276

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

            Bug ID: 59840
           Summary: -Wconversion produces incorrect warning when value is
                    shifted by 0
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: rafal at rawicki dot org

Consider following code:

$ cat foo.cpp 
#include <stdint.h>

uint16_t foo(uint8_t * x)
{
    return (uint16_t)(x[0] << 0) | (uint16_t)(x[1] << 8);
}

It generates a false warning when there is a shift by 0 and no warning when
x[0] is shifted by other value:

$ g++ -c -Wconversion -Wall -Wextra foo.cpp 
foo.cpp: In function ‘uint16_t foo(uint8_t*)’:
foo.cpp:5:31: warning: conversion to ‘uint16_t {aka short unsigned int}’ from
‘int’ may alter its value [-Wconversion]
  return (uint16_t)(x[0] << 0) | (uint16_t)(x[1] << 8);

$ g++ --version 
g++ (Ubuntu/Linaro 4.8.2-8) 4.8.2
Copyright (C) 2013 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
>From gcc-bugs-return-440544-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Jan 16 12:43:33 2014
Return-Path: <gcc-bugs-return-440544-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 19029 invoked by alias); 16 Jan 2014 12:43:33 -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 19015 invoked by uid 48); 16 Jan 2014 12:43:29 -0000
From: "hjl.tools at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/59841] New: [4.9 Regression] internal compiler error: verify_ssa failed
Date: Thu, 16 Jan 2014 12:43:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: hjl.tools 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: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter
Message-ID: <bug-59841-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: 2014-01/txt/msg01686.txt.bz2
Content-length: 3675

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

            Bug ID: 59841
           Summary: [4.9 Regression] internal compiler error: verify_ssa
                    failed
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hjl.tools at gmail dot com

On Linux/x86-64, revision 206628 gave

statpt.fppized.f: In function 'sigx':
statpt.fppized.f:5269:0: error: definition in block 210 does not dominate use
in block 552
       SUBROUTINE SIGX(LNR)
 ^
for SSA_NAME: _1225 in statement:
# VUSE <.MEM_2866>
_2767 = MEM[(double[0:D.10235] *)_1087][_1225];
statpt.fppized.f:5269:0: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
make[1]: *** [/tmp/ccT1tRiz.ltrans13.ltrans.o] Error 1
lto-wrapper: make returned 2 exit status
/usr/local/bin/ld: lto-wrapper failed
collect2: error: ld returned 1 exit status
specmake: *** [gamess] Error 1

when compiling 416.gamess in SPEC CPU 2006 with:

gfortran  -O3 -funroll-loops -ffast-math -fwhole-program -flto=jobserver
-fuse-linker-plugin  -DSPEC_CPU_LP64        aldeci.fppized.o algnci.fppized.o
basecp.fppized.o basext.o bashuz.o bashz2.o basn21.fppized.o basn31.o
bassto.fppized.o blas.fppized.o ccaux.o ccsdt.fppized.o chgpen.fppized.o
cisgrd.fppized.o cosmo.fppized.o cphf.fppized.o cpmchf.o cprohf.fppized.o
ddi.fppized.o delocl.fppized.o dft.fppized.o dftaux.fppized.o dftexc.fppized.o
dftfun.o dftgrd.fppized.o dftint.fppized.o dgeev.o dmulti.fppized.o
drc.fppized.o dummygetenv.fppized.o ecp.fppized.o ecpder.fppized.o
ecplib.fppized.o ecppot.o efdrvr.fppized.o efelec.o efgrd2.fppized.o
efgrda.fppized.o efgrdb.fppized.o efgrdc.fppized.o efinp.fppized.o
efinta.fppized.o efintb.fppized.o efpaul.fppized.o efpcm.fppized.o
efpcov.fppized.o eigen.fppized.o eomcc.fppized.o ffield.fppized.o
frfmt.fppized.o fsodci.fppized.o gamess.fppized.o globop.fppized.o
gradex.fppized.o grd1.fppized.o grd2a.fppized.o grd2b.o grd2c.fppized.o
guess.fppized.o gugdga.fppized.o gugdgb.fppized.o gugdm.fppized.o
gugdm2.fppized.o gugdrt.fppized.o gugem.fppized.o gugsrt.fppized.o
gvb.fppized.o hess.fppized.o hss1a.fppized.o hss1b.fppized.o hss2a.fppized.o
hss2b.fppized.o inputa.fppized.o inputb.fppized.o inputc.fppized.o
int1.fppized.o int2a.fppized.o int2b.o iolib.fppized.o lagran.fppized.o
local.fppized.o loccd.fppized.o locpol.fppized.o mccas.fppized.o mcjac.o
mcpinp.fppized.o mcpint.fppized.o mcplib.o mcqdpt.fppized.o mcqdwt.o
mcqud.fppized.o mcscf.fppized.o mctwo.fppized.o morokm.fppized.o mp2.fppized.o
mp2ddi.fppized.o mp2grd.fppized.o mpcdat.o mpcgrd.fppized.o mpcint.fppized.o
mpcmol.fppized.o mpcmsc.fppized.o mthlib.fppized.o nameio.fppized.o
nmr.fppized.o olix.o ordint.fppized.o ormas1.fppized.o parley.fppized.o
pcm.fppized.o pcmcav.o pcmcv2.fppized.o pcmder.fppized.o pcmdis.fppized.o
pcmief.fppized.o pcmpol.fppized.o pcmvch.fppized.o prpel.fppized.o
prplib.fppized.o prppop.fppized.o qeigen.fppized.o qfmm.fppized.o
qmfm.fppized.o qmmm.fppized.o qrel.fppized.o raman.fppized.o rhfuhf.fppized.o
rxncrd.fppized.o ryspol.o scflib.fppized.o scfmi.fppized.o scrf.fppized.o
sobrt.fppized.o soffac.fppized.o solib.fppized.o sozeff.fppized.o
statpt.fppized.o surf.fppized.o symorb.fppized.o symslc.fppized.o
tdhf.fppized.o trans.fppized.o trfdm2.fppized.o trnstn.fppized.o
trudge.fppized.o umpddi.fppized.o unport.fppized.o vibanl.fppized.o
vscf.fppized.o zheev.fppized.o zmatrx.fppized.o             -lm        -o
gamess

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

[ubizjak at gmail dot com]

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

--- Comment #20 from Uroš Bizjak <ubizjak at gmail dot com> ---
(In reply to Uroš Bizjak from comment #19)
> (In reply to Jakub Jelinek from comment #18)
> 
> > Attached is an attempt to fix this just by setting JUMP_LABEL on the
> > indirect jump, then computed_jump_p predicate will be false and the various
> > places in RTL optimizers will be told where it jumps to.  Not 100% how
> > adding the JUMP_LABEL plays with e.g. LABEL_NUSES, should it increment it or
> > not, or do only LABEL_REFs count for that?  In any case, the patch fixes the
> > bug in the cross compiler, can't test it on Alpha though, perhaps could test
> > say on ppc64 and s390x which also don't define HAS_LONG_UNCOND_BRANCH to
> > non-zero.  But, our testsuite coverage for -freorder-blocks-and-partition is
> > very limited anyway.
> 
> I have started bootstrap on Alpha.

The proposed patch bootstraps OK and fixes the failure without regressions [1].

[1] http://gcc.gnu.org/ml/gcc-testresults/2014-01/msg01285.html
>From gcc-bugs-return-440665-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Jan 17 08:27:02 2014
Return-Path: <gcc-bugs-return-440665-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 11487 invoked by alias); 17 Jan 2014 08:27:02 -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 11466 invoked by uid 48); 17 Jan 2014 08:26:59 -0000
From: "josh at joshtriplett dot org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/59850] Support sparse-style pointer address spaces (type attributes)
Date: Fri, 17 Jan 2014 08:27:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c
X-Bugzilla-Version: unknown
X-Bugzilla-Keywords:
X-Bugzilla-Severity: enhancement
X-Bugzilla-Who: josh at joshtriplett dot org
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-59850-4-Ef0OCyZQb6@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59850-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59850-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: 2014-01/txt/msg01807.txt.bz2
Content-length: 1078

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

--- Comment #2 from Josh Triplett <josh at joshtriplett dot org> ---
Here's a test case from Sparse, demonstrating some tricky behavior of noderef:

# define __A    __attribute__((noderef))

struct x {
    int a;
    int b;
};

struct y {
    int a[2];
};

static void h(void)
{
    char __A *p;
    char __A * * q1;
    char * __A * q2;
    struct x __A *xp;
    struct x __A x;
    int __A *q;
    int __A *r;
    struct y __A *py;

    q1 = &p;
    q2 = &p;    /* This should complain */

    r = &*q;
    r = q;
    r = &*(q+1);    /* This should NOT complain */
    r = q+1;

    r = &xp->a;    /* This should NOT complain */
    r = &xp->b;
    r = &(*xp).a;
    r = &(*xp).b;

    r = &x.a;
    r = &x.b;

    r = py->a;
    r = py->a+1;
    r = &py->a[0];
}
/*
 * check-name: noderef attribute
 *
 * check-error-start
noderef.c:24:12: warning: incorrect type in assignment (different modifiers)
noderef.c:24:12:    expected char *[noderef] *q2
noderef.c:24:12:    got char [noderef] **<noident>
 * check-error-end
 */

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

[ebotcazou at gcc dot gnu.org]

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

--- Comment #21 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Attached is an attempt to fix this just by setting JUMP_LABEL on the
> indirect jump, then computed_jump_p predicate will be false and the various
> places in RTL optimizers will be told where it jumps to.  Not 100% how
> adding the JUMP_LABEL plays with e.g. LABEL_NUSES, should it increment it or
> not, or do only LABEL_REFs count for that?

Yes, I'd increment it there too.

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

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #31852|0                           |1
        is obsolete|                            |

--- Comment #22 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 31868
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31868&action=edit
gcc49-pr57763.patch

Uros, can you please bootstrap/regtest on alpha this updated patch too? 
Thanks.
Looking at the *.bbpart dump, it seems the increment is desirable.

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

[ubizjak at gmail dot com]

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

--- Comment #23 from Uroš Bizjak <ubizjak at gmail dot com> ---
(In reply to Jakub Jelinek from comment #22)
> Created attachment 31868 [details]
> gcc49-pr57763.patch
> 
> Uros, can you please bootstrap/regtest on alpha this updated patch too? 
> Thanks.
> Looking at the *.bbpart dump, it seems the increment is desirable.

Started, complete results will be available in ~10 hours.
>From gcc-bugs-return-440688-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Jan 17 10:48:23 2014
Return-Path: <gcc-bugs-return-440688-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 29833 invoked by alias); 17 Jan 2014 10:48:23 -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 29684 invoked by uid 48); 17 Jan 2014 10:48:15 -0000
From: "ville.voutilainen at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/59838] ICE with an enum using an incomplete type
Date: Fri, 17 Jan 2014 10:48:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ville.voutilainen at gmail dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.7.4
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-59838-4-jXfnkl38sF@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59838-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59838-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: 2014-01/txt/msg01830.txt.bz2
Content-length: 291

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

--- Comment #5 from Ville Voutilainen <ville.voutilainen at gmail dot com> ---
Ah, of course, it will end up returning error_mark_node and then other
machinery reports the error. Ok, looks quite good. Can you post it to
gcc-patches, then?

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

[ubizjak at gmail dot com]

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

--- Comment #24 from Uroš Bizjak <ubizjak at gmail dot com> ---
(In reply to Uroš Bizjak from comment #23)
> (In reply to Jakub Jelinek from comment #22)
> > Created attachment 31868 [details]
> > gcc49-pr57763.patch
> > 
> > Uros, can you please bootstrap/regtest on alpha this updated patch too? 
> > Thanks.
> > Looking at the *.bbpart dump, it seems the increment is desirable.
> 
> Started, complete results will be available in ~10 hours.

This bootstrap/regtest was also OK.
>From gcc-bugs-return-440815-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sat Jan 18 10:03:26 2014
Return-Path: <gcc-bugs-return-440815-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 7301 invoked by alias); 18 Jan 2014 10:03:26 -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 7258 invoked by uid 48); 18 Jan 2014 10:03:22 -0000
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/59871] [4.7/4.8/4.9 Regression] No unused value warning for comma expression
Date: Sat, 18 Jan 2014 10:03:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords: diagnostic
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.9.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: short_desc
Message-ID: <bug-59871-4-bTyhtYJR4L@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59871-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59871-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: 2014-01/txt/msg01957.txt.bz2
Content-length: 971

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|No unused value warning for |[4.7/4.8/4.9 Regression] No
                   |comma expression            |unused value warning for
                   |                            |comma expression

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Even 3.4.x gave:
pr59871.c:6: warning: left-hand operand of comma expression has no effect
pr59871.c:7: warning: left-hand operand of comma expression has no effect
pr59871.c:8: warning: left-hand operand of comma expression has no effect
pr59871.c:10: warning: left-hand operand of comma expression has no effect
pr59871.c:8: warning: value computed is not used
pr59871.c:10: warning: value computed is not used
so this seems to have regressed in 4.0.

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

[jakub at gcc dot gnu.org]

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

--- Comment #25 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Sun Jan 19 15:30:22 2014
New Revision: 206773

URL: http://gcc.gnu.org/viewcvs?rev=206773&root=gcc&view=rev
Log:
    PR rtl-optimization/57763
    * bb-reorder.c (fix_crossing_unconditional_branches): Set JUMP_LABEL
    on the new indirect jump_insn and increment LABEL_NUSES (label).

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/bb-reorder.c

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

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #26 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed.