From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id AB37B395445B; Thu, 17 Nov 2022 08:36:38 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org AB37B395445B DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1668674198; bh=vSpE5hbygbGTqvtmEQ8BqFJ5LLp9AS5GG8YsMwDEPgo=; h=From:To:Subject:Date:From; b=lHdOdv1zOY4I4Lx/p5TEiT3Xdq+cqe5R/5gaHwedRtp32MFKZRuB/Numl7aP9F0Ts lzS3h7dNw4LhWAqf+NhlIiqNJiAiOzz6icTK7seMrMDyCFhgik2Yn18R7/504SKHdI BRANecmZrjIZVnT2gQ+Xp4puCyniCnnZE+or9tFQ= From: "gcc-bugzilla at al42and dot me" To: gcc-bugs@gcc.gnu.org Subject: [Bug c++/107732] New: ICE in lower_bound, at value-range.h:350 Date: Thu, 17 Nov 2022 08:36:37 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c++ X-Bugzilla-Version: 13.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: gcc-bugzilla at al42and dot me 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 attachments.created 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=3D107732 Bug ID: 107732 Summary: ICE in lower_bound, at value-range.h:350 Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: gcc-bugzilla at al42and dot me Target Milestone: --- Created attachment 53916 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=3D53916&action=3Dedit Preprocessed source (-freport-bug) The following code (reduced example) triggers an ICE with a recent `master` (96e4244ef3ccf4867ca4e37fbc6800e64ef30af6). $ cat test.ii=20 extern "C" double sqrt(double); double a, b, c; void d() { for (;;) { c =3D __builtin_fabs(a); sqrt(c); if (a) a =3D b; } } $ /home/aland/gcc-trunk/bin/g++ -O2 -c test.ii during GIMPLE pass: thread test.ii: In function =E2=80=98void d()=E2=80=99: test.ii:3:6: internal compiler error: in lower_bound, at value-range.h:350 3 | void d() { | ^ 0x9a92fc frange::lower_bound() const ../.././gcc/value-range.h:350 0x9a947d frange::lower_bound() const ../.././gcc/value-range.h:1127 0x9a947d foperator_abs::op1_range(frange&, tree_node*, frange const&, frange const&, relation_trio) const ../.././gcc/range-op-float.cc:1413 0x211bc78 foperator_abs::op1_range(frange&, tree_node*, frange const&, fran= ge const&, relation_trio) const ../.././gcc/range-op-float.cc:1390 0x2002c25 gori_compute::compute_operand1_range(vrange&, gimple_range_op_handler&, vrange const&, tree_node*, fur_source&, value_relation*) ../.././gcc/gimple-range-gori.cc:1095 0x2001913 gori_compute::compute_operand_range(vrange&, gimple*, vrange cons= t&, tree_node*, fur_source&, value_relation*) ../.././gcc/gimple-range-gori.cc:692 0x2002c9f gori_compute::compute_operand1_range(vrange&, gimple_range_op_handler&, vrange const&, tree_node*, fur_source&, value_relation*) ../.././gcc/gimple-range-gori.cc:1150 0x2001913 gori_compute::compute_operand_range(vrange&, gimple*, vrange cons= t&, tree_node*, fur_source&, value_relation*) ../.././gcc/gimple-range-gori.cc:692 0x2005742 gori_compute::outgoing_edge_range_p(vrange&, edge_def*, tree_node= *, range_query&) ../.././gcc/gimple-range-gori.cc:1373 0x13d21fd path_range_query::compute_ranges_in_block(basic_block_def*) ../.././gcc/gimple-range-path.cc:454 0x13d28a2 path_range_query::compute_ranges(bitmap_head const*) ../.././gcc/gimple-range-path.cc:622 0x14569e9 back_threader::find_taken_edge_cond(vec const&, gcond*) ../.././gcc/tree-ssa-threadbackward.cc:324 0x1456b9e back_threader::maybe_register_path(back_threader_profitability&) ../.././gcc/tree-ssa-threadbackward.cc:248 0x1456ec8 back_threader::find_paths_to_names(basic_block_def*, bitmap_head*, unsigned int, back_threader_profitability&) ../.././gcc/tree-ssa-threadbackward.cc:371 0x145737c back_threader::find_paths_to_names(basic_block_def*, bitmap_head*, unsigned int, back_threader_profitability&) ../.././gcc/tree-ssa-threadbackward.cc:479 0x145737c back_threader::find_paths_to_names(basic_block_def*, bitmap_head*, unsigned int, back_threader_profitability&) ../.././gcc/tree-ssa-threadbackward.cc:479 0x1457dbf back_threader::maybe_thread_block(basic_block_def*) ../.././gcc/tree-ssa-threadbackward.cc:551 0x1457e71 back_threader::thread_blocks() ../.././gcc/tree-ssa-threadbackward.cc:979 0x1457ed0 execute ../.././gcc/tree-ssa-threadbackward.cc:1081 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.=