public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug middle-end/114209] New: ICE: verify_gimple failed: incorrect sharing of tree nodes at -O and above
@ 2024-03-02 13:10 zsojka at seznam dot cz
2024-03-02 22:15 ` [Bug middle-end/114209] " pinskia at gcc dot gnu.org
` (2 more replies)
0 siblings, 3 replies; 4+ messages in thread
From: zsojka at seznam dot cz @ 2024-03-02 13:10 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114209
Bug ID: 114209
Summary: ICE: verify_gimple failed: incorrect sharing of tree
nodes at -O and above
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: middle-end
Assignee: unassigned at gcc dot gnu.org
Reporter: zsojka at seznam dot cz
CC: jakub at gcc dot gnu.org
Target Milestone: ---
Host: x86_64-pc-linux-gnu
Target: i686-pc-linux-gnu
Created attachment 57595
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57595&action=edit
reduced testcase
Compiler output:
$ x86_64-pc-linux-gnu-gcc -O -m32 testcase.c
testcase.c: In function 'foo':
testcase.c:7:1: error: incorrect sharing of tree nodes
7 | foo(void)
| ^~~
MEM[(_BitInt(128) *)p.0_1]
# VUSE <.MEM_5(D)>
_8 = VIEW_CONVERT_EXPR<vector(1) _Float128>(MEM[(_BitInt(128) *)p.0_1]);
during GIMPLE pass: bitintlower
testcase.c:7:1: internal compiler error: verify_gimple failed
0x155df5d verify_gimple_in_cfg(function*, bool, bool)
/repo/gcc-trunk/gcc/tree-cfg.cc:5663
0x13cccb4 execute_function_todo
/repo/gcc-trunk/gcc/passes.cc:2088
0x13cd20e execute_todo
/repo/gcc-trunk/gcc/passes.cc:2142
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
$ x86_64-pc-linux-gnu-gcc -v
Using built-in specs.
COLLECT_GCC=/repo/gcc-trunk/binary-latest-amd64/bin/x86_64-pc-linux-gnu-gcc
COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-r14-9248-20240301110451-gd3d0fcb6527-checking-yes-rtl-df-extra-nobootstrap-amd64/bin/../libexec/gcc/x86_64-pc-linux-gnu/14.0.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /repo/gcc-trunk//configure --enable-languages=c,c++
--enable-valgrind-annotations --disable-nls --enable-checking=yes,rtl,df,extra
--disable-bootstrap --with-cloog --with-ppl --with-isl
--build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu
--target=x86_64-pc-linux-gnu --with-ld=/usr/bin/x86_64-pc-linux-gnu-ld
--with-as=/usr/bin/x86_64-pc-linux-gnu-as --enable-libsanitizer
--disable-libstdcxx-pch
--prefix=/repo/gcc-trunk//binary-trunk-r14-9248-20240301110451-gd3d0fcb6527-checking-yes-rtl-df-extra-nobootstrap-amd64
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 14.0.1 20240301 (experimental) (GCC)
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug middle-end/114209] ICE: verify_gimple failed: incorrect sharing of tree nodes at -O and above
2024-03-02 13:10 [Bug middle-end/114209] New: ICE: verify_gimple failed: incorrect sharing of tree nodes at -O and above zsojka at seznam dot cz
@ 2024-03-02 22:15 ` pinskia at gcc dot gnu.org
2024-03-04 10:15 ` cvs-commit at gcc dot gnu.org
2024-03-04 12:34 ` jakub at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: pinskia at gcc dot gnu.org @ 2024-03-02 22:15 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114209
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2024-03-02
Ever confirmed|0 |1
CC| |pinskia at gcc dot gnu.org
Status|UNCONFIRMED |NEW
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug middle-end/114209] ICE: verify_gimple failed: incorrect sharing of tree nodes at -O and above
2024-03-02 13:10 [Bug middle-end/114209] New: ICE: verify_gimple failed: incorrect sharing of tree nodes at -O and above zsojka at seznam dot cz
2024-03-02 22:15 ` [Bug middle-end/114209] " pinskia at gcc dot gnu.org
@ 2024-03-04 10:15 ` cvs-commit at gcc dot gnu.org
2024-03-04 12:34 ` jakub at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2024-03-04 10:15 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114209
--- Comment #2 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:
https://gcc.gnu.org/g:c27148f2f40654a638bcf429633be1c0561529d5
commit r14-9291-gc27148f2f40654a638bcf429633be1c0561529d5
Author: Jakub Jelinek <jakub@redhat.com>
Date: Mon Mar 4 11:15:07 2024 +0100
bitint: Fix tree node sharing bug [PR114209]
We ICE on the following testcase due to invalid tree sharing.
The second hunk fixes that, the first one is from me looking around at
other spots which might need end up with invalid tree sharing too.
2024-03-04 Jakub Jelinek <jakub@redhat.com>
PR middle-end/114209
* gimple-lower-bitint.cc (bitint_large_huge::limb_access): Call
unshare_expr when creating a MEM_REF from MEM_REF.
(bitint_large_huge::lower_stmt): Call unshare_expr.
* gcc.dg/bitint-97.c: New test.
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug middle-end/114209] ICE: verify_gimple failed: incorrect sharing of tree nodes at -O and above
2024-03-02 13:10 [Bug middle-end/114209] New: ICE: verify_gimple failed: incorrect sharing of tree nodes at -O and above zsojka at seznam dot cz
2024-03-02 22:15 ` [Bug middle-end/114209] " pinskia at gcc dot gnu.org
2024-03-04 10:15 ` cvs-commit at gcc dot gnu.org
@ 2024-03-04 12:34 ` jakub at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: jakub at gcc dot gnu.org @ 2024-03-04 12:34 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114209
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|NEW |RESOLVED
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed.
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2024-03-04 12:34 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-03-02 13:10 [Bug middle-end/114209] New: ICE: verify_gimple failed: incorrect sharing of tree nodes at -O and above zsojka at seznam dot cz
2024-03-02 22:15 ` [Bug middle-end/114209] " pinskia at gcc dot gnu.org
2024-03-04 10:15 ` cvs-commit at gcc dot gnu.org
2024-03-04 12:34 ` jakub at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).