From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id D4A963858C5F; Fri, 3 Feb 2023 22:46:19 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org D4A963858C5F DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1675464379; bh=zkuHrpo5HNG+wfJDMZ4rJKQUsWj2kUP7065YNkwSE1E=; h=From:To:Subject:Date:From; b=nM0gpElNSLzRjjmHThlkrIGTFPCdHXGRdNckDqX/1WbGN+rMghVDp7ujShR4TTTvc Wafzv2xcAuLZJP8NZyLQyuGBRun6XYMQXvPAfWOsTWudr2M1hbw7LlB1FZ6vezRX9Y fz3iyb+XVn8ZhNyFqYCmW3ZkTs+84nNmH5YuILE8= From: "vsevolod.livinskiy at gmail dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/108668] New: [13 Regression] ICE in decompose, at wide-int.h:984 Date: Fri, 03 Feb 2023 22:46:19 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: tree-optimization X-Bugzilla-Version: 13.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: vsevolod.livinskiy 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: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter target_milestone Message-ID: 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 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D108668 Bug ID: 108668 Summary: [13 Regression] ICE in decompose, at wide-int.h:984 Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: vsevolod.livinskiy at gmail dot com Target Milestone: --- Link to the Compiler Explorer: https://godbolt.org/z/oY1x13Kc8 There is an open (Bug 102760) and recently closed (Bug 108547) issues with = the same assert message, but differences in reproducers, versions, and stack tr= ace make me suspicious that this might be a different bug. Reproducer: bool a; const unsigned long long &foo(const unsigned long long &p1, const unsigned long long &c) { return c > p1 ? p1 : c; } char e; unsigned long long *f; long g; void h() { for (int d =3D 0; d < e; d =3D foo(8, f[0]) << foo(5, f[0])) a =3D foo(1, foo(g, 7)); } Error: >$ g++ -O3 -c func.cpp during GIMPLE pass: dom func.cpp: In function 'void h()': func.cpp:9:6: internal compiler error: in decompose, at wide-int.h:984 9 | void h() { | ^ 0x8f652a wi::int_traits= > >::decompose(long*, unsigned int, generic_wide_int > const&) /testing/gcc/gcc_src_master/gcc/wide-int.h:984 0x8f72d6 wi::int_traits >::decompose(lon= g*, unsigned int, generic_wide_int const&) /testing/gcc/gcc_src_master/gcc/value-range.h:940 0x8f72d6 wide_int_ref_storage::wide_int_ref_storage >(generic_wide_int const&, unsigned int) /testing/gcc/gcc_src_master/gcc/wide-int.h:1034 0x8f72d6 generic_wide_int >::generic_wide_int >(generic_wide_int const&, unsigned int) /testing/gcc/gcc_src_master/gcc/wide-int.h:790 0x8f72d6 bool wi::eq_p, generic_wide_int >(generic_wide_int con= st&, generic_wide_int const&) /testing/gcc/gcc_src_master/gcc/wide-int.h:1873 0x8f72d6 wi::binary_traits, generic_wide_int, wi::int_traits >::precision_type, wi::int_traits >::precision_type>::predicate_result operator=3D=3D, generic_wide_int >(generic_wide_int con= st&, generic_wide_int const&) /testing/gcc/gcc_src_master/gcc/wide-int.h:3307 0x8f72d6 irange::operator=3D=3D(irange const&) const /testing/gcc/gcc_src_master/gcc/value-range.cc:1297 0x8f72d6 irange::operator=3D=3D(irange const&) const /testing/gcc/gcc_src_master/gcc/value-range.cc:1266 0x21de1d6 range_operator::fold_range(irange&, tree_node*, irange const&, ir= ange const&, relation_trio) const /testing/gcc/gcc_src_master/gcc/range-op.cc:271 0x21de8cc operator_lshift::fold_range(irange&, tree_node*, irange const&, irange const&, relation_trio) const /testing/gcc/gcc_src_master/gcc/range-op.cc:2246 0x20c90c0 fold_using_range::range_of_range_op(vrange&, gimple_range_op_handler&, fur_source&) /testing/gcc/gcc_src_master/gcc/gimple-range-fold.cc:589 0x20caaaa fold_using_range::fold_stmt(vrange&, gimple*, fur_source&, tree_node*) /testing/gcc/gcc_src_master/gcc/gimple-range-fold.cc:489 0x20bbefc gimple_ranger::fold_range_internal(vrange&, gimple*, tree_node*) /testing/gcc/gcc_src_master/gcc/gimple-range.cc:257 0x20bbefc gimple_ranger::range_of_stmt(vrange&, gimple*, tree_node*) /testing/gcc/gcc_src_master/gcc/gimple-range.cc:318 0x20bdcd0 gimple_ranger::range_of_expr(vrange&, tree_node*, gimple*) /testing/gcc/gcc_src_master/gcc/gimple-range.cc:126 0x13914bf cprop_operand /testing/gcc/gcc_src_master/gcc/tree-ssa-dom.cc:1972 0x1393371 cprop_into_stmt /testing/gcc/gcc_src_master/gcc/tree-ssa-dom.cc:2049 0x1393371 dom_opt_dom_walker::optimize_stmt(basic_block_def*, gimple_stmt_iterator*, bool*) /testing/gcc/gcc_src_master/gcc/tree-ssa-dom.cc:2277 0x1394723 dom_opt_dom_walker::before_dom_children(basic_block_def*) /testing/gcc/gcc_src_master/gcc/tree-ssa-dom.cc:1682 0x2087717 dom_walker::walk(basic_block_def*) /testing/gcc/gcc_src_master/gcc/domwalk.cc:311 gcc version 13.0.1 20230203 (093e2e1b201c0f324e0d8bfe6487aa2d470a13e7)=