From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 8C2323858D32; Tue, 26 Jul 2022 07:49:06 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 8C2323858D32 From: "rguenth at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/106444] New: vrange_printer::visit ICEs Date: Tue, 26 Jul 2022 07:49:06 +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: rguenth at gcc dot gnu.org 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 X-BeenThere: gcc-bugs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-bugs mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 26 Jul 2022 07:49:06 -0000 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D106444 Bug ID: 106444 Summary: vrange_printer::visit ICEs Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: rguenth at gcc dot gnu.org Target Milestone: --- For the testcase in PR105651 I see with -fdump-tree-all: t.C: In function =E2=80=98std::string f()=E2=80=99: t.C:3:13: internal compiler error: tree check: expected integer_cst, have addr_expr in to_wide, at tree.h:6205 3 | bool test(std::array& a, std::array& b) | ^ 0x1cd3d8d tree_check_failed(tree_node const*, char const*, int, char const*, ...) /space/rguenther/src/gcc/gcc/tree.cc:8817 0xbb7be1 tree_check(tree_node const*, char const*, int, char const*, tree_c= ode) /space/rguenther/src/gcc/gcc/tree.h:3764 0xc5235a wi::to_wide(tree_node const*) /space/rguenther/src/gcc/gcc/tree.h:6205 0x1d0ab22 irange::legacy_upper_bound(unsigned int) const /space/rguenther/src/gcc/gcc/value-range.cc:875 0x112a26d irange::upper_bound(unsigned int) const /space/rguenther/src/gcc/gcc/value-range.h:935 0x1d1bd9d vrange_printer::visit(irange const&) const /space/rguenther/src/gcc/gcc/value-range-pretty-print.cc:69 0x1d08349 irange::accept(vrange_visitor const&) const /space/rguenther/src/gcc/gcc/value-range.cc:37 0x1d088d0 vrange::dump(_IO_FILE*) const /space/rguenther/src/gcc/gcc/value-range.cc:227 0x1d1b730 value_range_equiv::dump(_IO_FILE*) const /space/rguenther/src/gcc/gcc/value-range-equiv.cc:287 0x1d1b8b1 dump_value_range(_IO_FILE*, value_range_equiv const*) /space/rguenther/src/gcc/gcc/value-range-equiv.cc:317 0x1d7ec2a vr_values::dump(_IO_FILE*) /space/rguenther/src/gcc/gcc/vr-values.cc:1861 0x1cafed6 vrp_prop::finalize() /space/rguenther/src/gcc/gcc/tree-vrp.cc:4005 0x1cb0618 execute_vrp /space/rguenther/src/gcc/gcc/tree-vrp.cc:4218 0x1cb0aef execute /space/rguenther/src/gcc/gcc/tree-vrp.cc:4433 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. that's because vrange_printer::visit doesn't handle symbolic ranges.=