[Bug tree-optimization/63817] New: ICE in verify_gimple_in_cfg tree-cfg.c:5039 (arm)

[Bug tree-optimization/63817] New: ICE in verify_gimple_in_cfg tree-cfg.c:5039 (arm)

[joel at gcc dot gnu.org]

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

            Bug ID: 63817
           Summary: ICE in verify_gimple_in_cfg tree-cfg.c:5039 (arm)
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: joel at gcc dot gnu.org

Created attachment 33934
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33934&action=edit
Preprocessed newlib ecvtbuf.c which produces the ICE

gcc, binutils-gdb, newlib head. gcc git hash
662274eebc1318f5a70fdb362da74f7913fbf1ba

Fails on both arm-eabi and arm-rtems at -O1 and -O2. Compiles at -O0 w/-mthumb
and at -O2 w/o -mthumb

Configure (from top config.log) is based on RTEMS standard build configuration

../gcc/configure --prefix=/users/joel/test-gcc/install-head
--bindir=/users/joel/test-gcc/install-head/bin
--exec_prefix=/users/joel/test-gcc/install-head
--includedir=/users/joel/test-gcc/install-head/include
--libdir=/users/joel/test-gcc/install-head/lib
--libexecdir=/users/joel/test-gcc/install-head/libexec
--mandir=/users/joel/test-gcc/install-head/share/man
--infodir=/users/joel/test-gcc/install-head/share/info
--datadir=/users/joel/test-gcc/install-head/share --target=arm-eabi
--disable-libstdcxx-pch --with-gnu-as --with-gnu-ld --verbose --with-newlib
--with-system-zlib --disable-nls --without-included-gettext
--disable-win32-registry --enable-version-specific-runtime-libs
--enable-newlib-iconv
--enable-newlib-iconv-encodings=big5,cp775,cp850,cp852,cp855,cp866,euc_jp,euc_kr,euc_tw,iso_8859_1,iso_8859_10,iso_8859_11,iso_8859_13,iso_8859_14,iso_8859_15,iso_8859_2,iso_8859_3,iso_8859_4,iso_8859_5,iso_8859_6,iso_8859_7,iso_8859_8,iso_8859_9,iso_ir_111,koi8_r,koi8_ru,koi8_u,koi8_uni,ucs_2,ucs_2_internal,ucs_2be,ucs_2le,ucs_4,ucs_4_internal,ucs_4be,ucs_4le,us_ascii,utf_16,utf_16be,utf_16le,utf_8,win_1250,win_1251,win_1252,win_1253,win_1254,win_1255,win_1256,win_1257,win_1258
--disable-lto --enable-newlib-io-c99-formats --enable-threads --disable-plugin
target_alias=arm-eabi --enable-languages=c,c++ --no-create --no-recursion

Shortened command and failure with attached preprocessed evctbuf.c from newlib:

/users/joel/test-gcc/b-arm-eabi-gcc/./gcc/xgcc
-B/users/joel/test-gcc/b-arm-eabi-gcc/./gcc/ -g -O2  -mthumb -c ecvtbuf.c 
In file included from ../../../../../../gcc/newlib/libc/stdlib/ecvtbuf.c:71:0:
/users/joel/test-gcc/gcc/newlib/libc/include/stdlib.h: In function 'fcvtbuf':
/users/joel/test-gcc/gcc/newlib/libc/include/stdlib.h:175:8: error: non-trivial
conversion at assignment
 char * _EXFUN(fcvtbuf,(double, int, int*, int*, char *));
        ^
sizetype
int
_64 = _37;
/users/joel/test-gcc/gcc/newlib/libc/include/stdlib.h:175:8: internal compiler
error: verify_gimple failed
0x9602d1 verify_gimple_in_cfg(function*, bool)
    ../../gcc/gcc/tree-cfg.c:5039
0x86fd06 execute_function_todo
    ../../gcc/gcc/passes.c:1868
0x870733 execute_todo
    ../../gcc/gcc/passes.c:1925
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.

[Bug tree-optimization/63817] ICE in verify_gimple_in_cfg tree-cfg.c:5039 (arm)

[jiwang at gcc dot gnu.org]

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

Jiong Wang <jiwang at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jiwang at gcc dot gnu.org

--- Comment #1 from Jiong Wang <jiwang at gcc dot gnu.org> ---
I am bootstrapping aarch64, and run into similar issue, looks like the same
root cause.

./gcc/gcc/../libcpp/include  -I../../gcc/gcc/../libdecnumber
-I../../gcc/gcc/../libdecnumber/dpd -I../libdecnumber
-I../../gcc/gcc/../libbacktrace    -o data-streamer-in.o -MT data-streamer-in.o
-MMD -MP -MF ./.deps/data-streamer-in.TPo ../../gcc/gcc/data-streamer-in.c
../../gcc/gcc/cse.c: In function ‘rtx_def* fold_rtx(rtx, rtx_insn*)’:
../../gcc/gcc/cse.c:7667:1: error: non-trivial conversion at assignment
 }
 ^
long unsigned int
long int
_929 = _704;
../../gcc/gcc/cse.c:7667:1: error: type mismatch in binary expression
long unsigned int

long int

long unsigned int

_930 = _704 & _706;
../../gcc/gcc/cse.c:7667:1: error: non-trivial conversion at assignment
long unsigned int
long int
_934 = _709;
../../gcc/gcc/cse.c:7667:1: error: type mismatch in binary expression
long unsigned int

long int

long unsigned int

_935 = _709 & _711;
../../gcc/gcc/cse.c:7667:1: internal compiler error: verify_gimple failed
0xf73cf3 verify_gimple_in_cfg(function*, bool)
    ../../gcc/gcc/tree-cfg.c:5039
0xe211ff execute_function_todo
    ../../gcc/gcc/passes.c:1868
0xe201b3 do_per_function
    ../../gcc/gcc/passes.c:1595
0xe21453 execute_todo
    ../../gcc/gcc/passes.c:1925
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[3]: *** [cse.o] Error 1
make[3]: *** Waiting for unfinished jobs....
>From gcc-bugs-return-466379-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Nov 11 15:58:52 2014
Return-Path: <gcc-bugs-return-466379-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 4459 invoked by alias); 11 Nov 2014 15:58:51 -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 4418 invoked by uid 48); 11 Nov 2014 15:58:48 -0000
From: "hjl.tools at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug bootstrap/63787] [5 Regression] profiledbootstrap failure with bootstrap-lto
Date: Tue, 11 Nov 2014 15:58:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: bootstrap
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: hjl.tools at gmail dot com
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-63787-4-4EX9BnlT8s@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-63787-4@http.gcc.gnu.org/bugzilla/>
References: <bug-63787-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-11/txt/msg00851.txt.bz2
Content-length: 430

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

--- Comment #4 from H.J. Lu <hjl.tools at gmail dot com> ---
(In reply to Markus Trippelsdorf from comment #3)
> (In reply to H.J. Lu from comment #2)
> > r217288 failed and it is fixed as of r217295.
>
> r217295? Are you sure?
>
> I got the same ICE today.

It is a different issue.  Now I got

https://gcc.gnu.org/ml/gcc-regression/2014-11/msg00219.html

which is PR63784.

[Bug tree-optimization/63817] ICE in verify_gimple_in_cfg tree-cfg.c:5039 (arm)

[amker at gcc dot gnu.org]

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

amker at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-11-12
                 CC|                            |amker at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #2 from amker at gcc dot gnu.org ---
Confirm the ICE when building newlib for arm-none-eabi.

[Bug tree-optimization/63817] ICE in verify_gimple_in_cfg tree-cfg.c:5039 (arm)

[amker at gcc dot gnu.org]

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

amker at gcc dot gnu.org changed:

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

--- Comment #3 from amker at gcc dot gnu.org ---
Mark as duplicated since the other PR gave the guilty revision.

*** This bug has been marked as a duplicate of bug 63821 ***

[Bug tree-optimization/63817] ICE in verify_gimple_in_cfg tree-cfg.c:5039 (arm)

[jbglaw@lug-owl.de]

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

--- Comment #4 from Jan-Benedict Glaw <jbglaw@lug-owl.de> ---
You can see this bug live in action for about every target when building a
native toolchain on gcc112, which is done in preparation for a cross-build with
config_list.mk by the build robot:
http://toolchain.lug-owl.de/buildbot/timeline.php

[Bug tree-optimization/63817] ICE in verify_gimple_in_cfg tree-cfg.c:5039 (arm)

[jbglaw@lug-owl.de]

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

--- Comment #5 from Jan-Benedict Glaw <jbglaw@lug-owl.de> ---
Bug seems to be gone.