[Bug bootstrap/59279] New: [4.9 Regression] r205337 breaks bootstrap with java

[Bug bootstrap/59279] New: [4.9 Regression] r205337 breaks bootstrap with java

[hjl.tools at gmail dot com]

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

            Bug ID: 59279
           Summary: [4.9 Regression] r205337 breaks bootstrap with java
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: bootstrap
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hjl.tools at gmail dot com
                CC: stevenb.gcc at gmail dot com

On Linux/x86, r205337 failed to bootstrap with java:

export/gnu/import/git/gcc-test-intel64/src-trunk/libjava/classpath/gnu/xml/aelfred2/XmlParser.java:
In class 'gnu.xml.aelfred2.XmlParser':
/export/gnu/import/git/gcc-test-intel64/src-trunk/libjava/classpath/gnu/xml/aelfred2/XmlParser.java:
In method 'gnu.xml.aelfred2.XmlParser.parseXMLDecl(boolean)':
In file included from
/export/gnu/import/git/gcc-test-intel64/src-trunk/libjava/classpath/gnu/xml/aelfred2/XmlParser.java:5804:0,
                 from
/export/gnu/import/git/gcc-test-intel64/src-trunk/libjava/classpath/gnu/xml/aelfred2/SAXDriver.java:1509,
                 from
/export/gnu/import/git/gcc-test-intel64/src-trunk/libjava/classpath/gnu/xml/aelfred2/XmlParser.java:5793,
                 from
/export/gnu/import/git/gcc-test-intel64/src-trunk/libjava/classpath/gnu/xml/aelfred2/SAXDriver.java:1605,
                 from
/export/gnu/import/git/gcc-test-intel64/src-trunk/libjava/classpath/gnu/xml/aelfred2/XmlParser.java:5813,
                 from <built-in>:14:
/export/gnu/import/git/gcc-test-intel64/src-trunk/libjava/classpath/gnu/xml/aelfred2/XmlParser.java:844:0:
internal compiler error: in remove_insn, at emit-rtl.c:3981
     return encodingName;
 ^
0x66b1f3 remove_insn(rtx_def*)
    ../../src-trunk/gcc/emit-rtl.c:3981
0x5cf31b delete_insn(rtx_def*)
    ../../src-trunk/gcc/cfgrtl.c:170
0xd5d7ae delete_dead_jump_tables_between
    ../../src-trunk/gcc/cfgcleanup.c:2971
0xd60511 delete_dead_jumptables()
    ../../src-trunk/gcc/cfgcleanup.c:2997
0xd617a2 cleanup_cfg(int)
    ../../src-trunk/gcc/cfgcleanup.c:3084
0xdbd15a rest_of_handle_if_conversion
    ../../src-trunk/gcc/ifcvt.c:4482
0xdbd15a execute
    ../../src-trunk/gcc/ifcvt.c:4516
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.
make[8]: *** [gnu-xml-aelfred2.lo] Error 1

[Bug bootstrap/59279] [4.9 Regression] r205337 breaks bootstrap with java

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.9.0

[Bug bootstrap/59279] [4.9 Regression] r205337 breaks bootstrap with java

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-11-24
     Ever confirmed|0                           |1

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> ---
When profiledbootstrap configured with

--with-build-config=bootstrap-lto --disable-werror

I got

../../src-trunk/libiberty/cp-demangle.c: In function âd_demangle_callbackâ:
../../src-trunk/libiberty/cp-demangle.c:5694:1: error: missing barrier after
block 28
 }
 ^
../../src-trunk/libiberty/cp-demangle.c:5694:1: error: missing barrier after
block 21
../../src-trunk/libiberty/cp-demangle.c:5694:1: error: missing barrier after
block 18
../../src-trunk/libiberty/cp-demangle.c:5694:1: error: missing barrier after
block 17
../../src-trunk/libiberty/cp-demangle.c:5694:1: error: missing barrier after
block 12
../../src-trunk/libiberty/cp-demangle.c:5694:1: error: verify_flow_info:
Incorrect blocks for fallthru 11->29
../../src-trunk/libiberty/cp-demangle.c:5694:1: error: missing barrier after
block 10
../../src-trunk/libiberty/cp-demangle.c:5694:1: error: verify_flow_info:
Incorrect blocks for fallthru 4->11
../../src-trunk/libiberty/cp-demangle.c:5694:1: error: verify_flow_info:
Incorrect blocks for fallthru 3->13
../../src-trunk/libiberty/cp-demangle.c:5694:1: error: verify_flow_info:
Incorrect blocks for fallthru 2->4
../../src-trunk/libiberty/cp-demangle.c:5694:1: internal compiler error:
verify_flow_info failed
0x77a8d0 verify_flow_info()
    ../../src-trunk/gcc/cfghooks.c:260
0x79f439 cfg_layout_finalize()
    ../../src-trunk/gcc/cfgrtl.c:4310
0x79fecf outof_cfg_layout_mode
    ../../src-trunk/gcc/cfgrtl.c:3483
0x79fecf execute
    ../../src-trunk/gcc/cfgrtl.c:3550
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.
make[6]: *** [cp-demangle.o] Error 1
make[6]: Leaving directory
`/export/gnu/import/git/gcc-test-profiled/bld/libiberty'
make[5]: *** [all-stagefeedback-libiberty] Error 2
make[4]: *** [stagefeedback-bubble] Error 2
make[4]: Leaving directory `/export/gnu/import/git/gcc-test-profiled/bld'
make[3]: *** [profiledbootstrap] Error 2
>From gcc-bugs-return-435718-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Nov 24 21:13:51 2013
Return-Path: <gcc-bugs-return-435718-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 1863 invoked by alias); 24 Nov 2013 21:13:50 -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 1839 invoked by uid 48); 24 Nov 2013 21:13:46 -0000
From: "reichelt at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/59115] [4.7/4.8/4.9 Regression] ICE with invalid template parameter
Date: Sun, 24 Nov 2013 21:13: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: error-recovery, ice-on-invalid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: reichelt 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: cf_known_to_work short_desc cf_known_to_fail
Message-ID: <bug-59115-4-J2jsC3HBXJ@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59115-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59115-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-11/txt/msg02495.txt.bz2
Content-length: 1326

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

Volker Reichelt <reichelt at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.6.0
            Summary|[c++1y] ICE with auto as    |[4.7/4.8/4.9 Regression]
                   |template parameter          |ICE with invalid template
                   |                            |parameter
      Known to fail|                            |4.7.0, 4.8.0

--- Comment #2 from Volker Reichelt <reichelt at gcc dot gnu.org> ---
Thanks for pointing that out, Adam!

So here are two updated testcases. The first one contains multiple programming
errors:

================================================================template<typename T, float, int, typename U> void foo(T, U) {}

void bar()
{
  foo(0, 0);
}
================================================================
The second one only contains a single error. but requires "-std=c++11":

================================================================template<typename T, float = 0, int = 0, typename U = int> void foo(T, U) {}

void bar()
{
  foo(0, 0);
}
================================================================
Both crash since GCC 4.7.0.

[Bug bootstrap/59279] [4.9 Regression] r205337 breaks bootstrap with java

[steven at gcc dot gnu.org]

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

--- Comment #2 from Steven Bosscher <steven at gcc dot gnu.org> ---
Author: steven
Date: Sun Nov 24 21:59:49 2013
New Revision: 205338

URL: http://gcc.gnu.org/viewcvs?rev=205338&root=gcc&view=rev
Log:
    PR bootstrap/59279
    Revert previous commit.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cfgcleanup.c
    trunk/gcc/cfgrtl.c
    trunk/gcc/ira.c
    trunk/gcc/jump.c
    trunk/gcc/loop-init.c
    trunk/gcc/modulo-sched.c

[Bug bootstrap/59279] [4.9 Regression] r205337 breaks bootstrap with java

[steven at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |steven at gcc dot gnu.org
         Resolution|---                         |FIXED

--- Comment #3 from Steven Bosscher <steven at gcc dot gnu.org> ---
will have to figure this one out, it's very unexpected.

[Bug bootstrap/59279] [4.9 Regression] r205337 breaks bootstrap with java

[steven at gcc dot gnu.org]

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

--- Comment #4 from Steven Bosscher <steven at gcc dot gnu.org> ---
(In reply to H.J. Lu from comment #1)
> When profiledbootstrap configured with
> 
> --with-build-config=bootstrap-lto --disable-werror
> 
> I got
> 
> ../../src-trunk/libiberty/cp-demangle.c: In function âd_demangle_callbackâ:
> ../../src-trunk/libiberty/cp-demangle.c:5694:1: error: missing barrier after
> block 28

Can you please add the preprocessed source and complete command line for this
error?
>From gcc-bugs-return-435722-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Nov 24 22:48:23 2013
Return-Path: <gcc-bugs-return-435722-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 8990 invoked by alias); 24 Nov 2013 22: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 8959 invoked by uid 48); 24 Nov 2013 22:48:19 -0000
From: "reichelt at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug ipa/59226] [4.9 Regression] ICE: in record_target_from_binfo, at ipa-devirt.c:661
Date: Sun, 24 Nov 2013 22:48:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: ipa
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: reichelt at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.9.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: keywords bug_status cf_reconfirmed_on cc cf_known_to_work everconfirmed cf_known_to_fail
Message-ID: <bug-59226-4-arWKQDk30X@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59226-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59226-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-11/txt/msg02499.txt.bz2
Content-length: 1076

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

Volker Reichelt <reichelt at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-11-24
                 CC|                            |reichelt at gcc dot gnu.org
      Known to work|                            |4.8.0, 4.8.2
     Ever confirmed|0                           |1
      Known to fail|                            |4.9.0

--- Comment #1 from Volker Reichelt <reichelt at gcc dot gnu.org> ---
Here's a slightly simpler testcase:

================================struct A
{
  virtual void foo() {}
};

struct B
{
  virtual void foo() {}
};

struct C : virtual A {};

struct D : virtual A, B
{
  virtual void foo() {}
};

struct E : C, D
{
  virtual void foo() {}
};

void bar(A* p)
{
  p->foo();
}
================================

[Bug bootstrap/59279] [4.9 Regression] r205337 breaks bootstrap with java

[steven at gcc dot gnu.org]

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

--- Comment #5 from Steven Bosscher <steven at gcc dot gnu.org> ---
OK, thinko on my part: Can't remove the label before a JUMP_TABLE_DATA
if we're in cfglayout mode, because:

1. PREV_INSN (label) may be NULL
2. remove_insn doesn't update BB_FOOTER/BB_HEADER

I'll re-test the patch with a change to retain the label.