From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 915A93856DC3; Wed, 12 Oct 2022 06:33:12 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 915A93856DC3 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1665556392; bh=6aWmepJkWOZcMlSkiXddXD/4MKHARGiQRQ12LnhMw/4=; h=From:To:Subject:Date:From; b=SkNS7f8oPGAxAZQ3SV1sLFy3DOMajPS+kxQHcQidR3OWbFK9wTHlp+cQeMs4rrnGC 0KXWnDe/Iyba9EgSWSp2CWzFtZRH2tDh7lU9eeCe167UFE7TjOBfSkj0/8zU8qR9AI WsDyOxxtn56w+S69Z+SNx01xeLGAQDqQTokuV43I= From: "vsevolod.livinskiy at gmail dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/107228] New: [13 Regression] ICE: in verify_range, at value-range.cc:1147 -O2 Date: Wed, 12 Oct 2022 06:33:11 +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=3D107228 Bug ID: 107228 Summary: [13 Regression] ICE: in verify_range, at value-range.cc:1147 -O2 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/fsGf47Wfv Reproducer: bool a; char b; void fn1(int d, short x[], bool y[]) { for (short i =3D 0; i < d; i =3D 0) { if ((x[i] + x[i]) ^ !y[i]) a =3D 0; b =3D y[i]; } } Error: >$ g++ -c -O2 func.cpp=20 during GIMPLE pass: dom func.cpp: In function 'void fn1(int, short int*, bool*)': func.cpp:3:6: internal compiler error: in verify_range, at value-range.cc:1= 147 3 | void fn1(int d, short x[], bool y[]) { | ^~~ 0x90038d irange::verify_range() /testing/gcc/gcc_src_master/gcc/value-range.cc:1147 0x1588a87 irange::operator=3D(irange const&) /testing/gcc/gcc_src_master/gcc/value-range.cc:818 0x158bd67 irange::invert() /testing/gcc/gcc_src_master/gcc/value-range.cc:2799 0x2178487 operator_logical_not::fold_range(irange&, tree_node*, irange cons= t&, irange const&, relation_kind_t) const /testing/gcc/gcc_src_master/gcc/range-op.cc:3614 0x2074635 gori_compute::compute_operand1_range(vrange&, gimple_range_op_handler&, vrange const&, tree_node*, fur_source&, value_relation*) /testing/gcc/gcc_src_master/gcc/gimple-range-gori.cc:1086 0x2073c8d gori_compute::compute_operand_range(vrange&, gimple*, vrange cons= t&, tree_node*, fur_source&, value_relation*) /testing/gcc/gcc_src_master/gcc/gimple-range-gori.cc:692 0x20746af gori_compute::compute_operand1_range(vrange&, gimple_range_op_handler&, vrange const&, tree_node*, fur_source&, value_relation*) /testing/gcc/gcc_src_master/gcc/gimple-range-gori.cc:1140 0x2073c8d gori_compute::compute_operand_range(vrange&, gimple*, vrange cons= t&, tree_node*, fur_source&, value_relation*) /testing/gcc/gcc_src_master/gcc/gimple-range-gori.cc:692 0x2074fc0 gori_compute::compute_operand2_range(vrange&, gimple_range_op_handler&, vrange const&, tree_node*, fur_source&, value_relation*) /testing/gcc/gcc_src_master/gcc/gimple-range-gori.cc:1228 0x20734e5 gori_compute::compute_operand_range(vrange&, gimple*, vrange cons= t&, tree_node*, fur_source&, value_relation*) /testing/gcc/gcc_src_master/gcc/gimple-range-gori.cc:694 0x2077158 gori_compute::outgoing_edge_range_p(vrange&, edge_def*, tree_node= *, range_query&) /testing/gcc/gcc_src_master/gcc/gimple-range-gori.cc:1358 0x20679ec ranger_cache::edge_range(vrange&, edge_def*, tree_node*, ranger_cache::rfd_mode) /testing/gcc/gcc_src_master/gcc/gimple-range-cache.cc:964 0x2063d4b gimple_ranger::range_on_edge(vrange&, edge_def*, tree_node*) /testing/gcc/gcc_src_master/gcc/gimple-range.cc:242 0x206d86b fold_using_range::range_of_phi(vrange&, gphi*, fur_source&) /testing/gcc/gcc_src_master/gcc/gimple-range-fold.cc:750 0x20706b8 fold_using_range::fold_stmt(vrange&, gimple*, fur_source&, tree_node*) /testing/gcc/gcc_src_master/gcc/gimple-range-fold.cc:491 0x2062de4 gimple_ranger::fold_range_internal(vrange&, gimple*, tree_node*) /testing/gcc/gcc_src_master/gcc/gimple-range.cc:258 0x2062de4 gimple_ranger::range_of_stmt(vrange&, gimple*, tree_node*) /testing/gcc/gcc_src_master/gcc/gimple-range.cc:319 0x20639c0 gimple_ranger::range_of_expr(vrange&, tree_node*, gimple*) /testing/gcc/gcc_src_master/gcc/gimple-range.cc:126 0x1398aaf cprop_operand /testing/gcc/gcc_src_master/gcc/tree-ssa-dom.cc:1968 0x139aa61 cprop_into_stmt /testing/gcc/gcc_src_master/gcc/tree-ssa-dom.cc:2045 Please submit a full bug report, with preprocessed source (by using -freport-bug). Please include the complete backtrace with any bug report. See for instructions gcc version 13.0.0 20221011 (0ecd0f1cc6f8f3ba818946a42b22c2ab61f46825)=