[Bug c++/67790] New: verify_ssa failed: definition in block 20 follows the use

[Bug c++/67790] New: verify_ssa failed: definition in block 20 follows the use

[dcb314 at hotmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67790

            Bug ID: 67790
           Summary: verify_ssa failed: definition in block 20 follows the
                    use
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com
  Target Milestone: ---

Created attachment 36428
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36428&action=edit
C++ source code

For gcc trunk dated 20150930 on x86_64

$ ../results/bin/gcc -O3 --std=c++0x -c bug232.cc
hb-ot-layout.cc: In function ‘void hb_ot_layout_position_finish(hb_font_t*,
hb_buffer_t*)’:
hb-ot-layout.cc:795:1: error: definition in block 20 follows the use
for SSA_NAME: vect__57.4352_121 in statement:
vect__141.4353_119 = -vect__57.4352_121;
hb-ot-layout.cc:795:1: internal compiler error: verify_ssa failed
0xf95f47 verify_ssa(bool, bool)
        ../../src/trunk/gcc/tree-ssa.c:1047
0xc7d445 execute_function_todo
        ../../src/trunk/gcc/passes.c:1969
0xc7e837 do_per_function
        ../../src/trunk/gcc/passes.c:1653
0xc7e837 execute_todo
        ../../src/trunk/gcc/passes.c:2019
>From gcc-bugs-return-498434-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Sep 30 20:00:17 2015
Return-Path: <gcc-bugs-return-498434-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 73509 invoked by alias); 30 Sep 2015 20:00:17 -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 72736 invoked by uid 48); 30 Sep 2015 20:00:13 -0000
From: "trippels at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/67790] verify_ssa failed: definition in block 20 follows the use
Date: Wed, 30 Sep 2015 20:00:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 6.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: trippels at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution:
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 cf_reconfirmed_on cc component everconfirmed
Message-ID: <bug-67790-4-zMKke3I7jY@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-67790-4@http.gcc.gnu.org/bugzilla/>
References: <bug-67790-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: 2015-09/txt/msg02412.txt.bz2
Content-length: 1561

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67790

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-09-30
                 CC|                            |trippels at gcc dot gnu.org
          Component|c++                         |middle-end
     Ever confirmed|0                           |1

--- Comment #1 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
trippels@gcc2-power8 ~ % cat test.i
struct {
  int x_advance;
  int y_advance;
} * a;
int b, c, d;
void fn1() {
  for (; d; d++) {
    c -= a[d].x_advance;
    b -= a[d].y_advance;
  }
}

trippels@gcc2-power8 ~ % gcc -O3 -c test.i
test.i: In function ‘fn1’:
test.i:6:6: error: definition in block 6 follows the use
 void fn1() {
      ^
for SSA_NAME: vect__9.19_72 in statement:
vect__23.20_73 = -vect__9.19_72;
test.i:6:6: internal compiler error: verify_ssa failed
0x10a54107 verify_ssa(bool, bool)
        ../../gcc/gcc/tree-ssa.c:1047
0x106d4fcb execute_function_todo
        ../../gcc/gcc/passes.c:1978
0x106d5b93 do_per_function
        ../../gcc/gcc/passes.c:1654
0x106d5e3f execute_todo
        ../../gcc/gcc/passes.c:2028
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
>From gcc-bugs-return-498435-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Sep 30 20:44:22 2015
Return-Path: <gcc-bugs-return-498435-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 14712 invoked by alias); 30 Sep 2015 20:44:21 -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 14230 invoked by uid 48); 30 Sep 2015 20:44:17 -0000
From: "mikpelinux at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/67474] [6 regression] tree-vect-loop.c:2759:1: error: insn does not satisfy its constraints breaks ARM bootstrap
Date: Wed, 30 Sep 2015 20:44:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 6.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: mikpelinux at gmail dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 6.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-67474-4-jVU4JPiuvd@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-67474-4@http.gcc.gnu.org/bugzilla/>
References: <bug-67474-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: 2015-09/txt/msg02413.txt.bz2
Content-length: 196

https://gcc.gnu.org/bugzilla/show_bug.cgi?idg474

--- Comment #2 from Mikael Pettersson <mikpelinux at gmail dot com> ---
Still occurs with gcc-6-20150927.  Started with r227382, an LRA patch.

[Bug middle-end/67790] [6 Regression] verify_ssa failed: definition in block 20 follows the use

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67790

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mpolacek at gcc dot gnu.org
   Target Milestone|---                         |6.0
            Summary|verify_ssa failed:          |[6 Regression] verify_ssa
                   |definition in block 20      |failed: definition in block
                   |follows the use             |20 follows the use

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Started with r222354.

[Bug middle-end/67790] [6 Regression] verify_ssa failed: definition in block 20 follows the use

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67790

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Mine.