From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id E771F3858D32; Tue, 20 Sep 2022 02:38:10 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E771F3858D32 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1663641490; bh=3DrJRATGiFpiGFK6engi81JPlfEGagGDx11nltBzE8Y=; h=From:To:Subject:Date:From; b=JinNu8rhLOZDbCTaagnzzRaKdvl8KqDLbeoG0vOrV0oyO26/P8c+AWpFKk/x79hdg AZycaFGaRTPDlg/W4XIydv2+9kWiHbruUmdyCaFbcJrxohovs9lxEJU3SDSb9MLdh8 LbZMMZc/LjZwSIHy7jLYoxmbXuKvpObU/2SxV+c0= From: "asolokha at gmx dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/106970] New: [13 Regression] ICE in verify_range, at value-range.cc:702 Date: Tue, 20 Sep 2022 02:38:10 +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: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: asolokha at gmx 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 keywords 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=3D106970 Bug ID: 106970 Summary: [13 Regression] ICE in verify_range, at value-range.cc:702 Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- gcc 13.0.0 20220918 snapshot (g:313879d8768d08dea035efd7fd62b753dc91c364) I= CEs when compiling the following testcase w/ -O1 -fno-signed-zeros: void foo (double x, double y) { if (!x =3D=3D !y * -1.0) __builtin_trap (); } % gcc-13.0.0 -O1 -fno-signed-zeros -c kis6ezgv.c during GIMPLE pass: ethread kis6ezgv.c: In function 'foo': kis6ezgv.c:6:1: internal compiler error: in verify_range, at value-range.cc= :702 6 | } | ^ 0x7b68a9 frange::verify_range() =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220918/work/gcc-13-20220918/gcc/va= lue-range.cc:702 0x12106b7 frange::intersect(vrange const&) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220918/work/gcc-13-20220918/gcc/va= lue-range.cc:549 0x1e62c88 foperator_equal::fold_range(irange&, tree_node*, frange const&, frange const&, relation_kind_t) const =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220918/work/gcc-13-20220918/gcc/ra= nge-op-float.cc:382 0x1e62e50 foperator_equal::fold_range(irange&, tree_node*, frange const&, frange const&, relation_kind_t) const =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220918/work/gcc-13-20220918/gcc/ra= nge-op.h:219 0x1d407b7 fold_using_range::range_of_range_op(vrange&, gimple*, fur_source&) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220918/work/gcc-13-20220918/gcc/gi= mple-range-fold.cc:634 0x1d438d0 fold_using_range::fold_stmt(vrange&, gimple*, fur_source&, tree_node*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220918/work/gcc-13-20220918/gcc/gi= mple-range-fold.cc:555 0x1d43c9c fold_range(vrange&, gimple*, range_query*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220918/work/gcc-13-20220918/gcc/gi= mple-range-fold.cc:316 0x10a647d path_range_query::range_of_stmt(vrange&, gimple*, tree_node*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220918/work/gcc-13-20220918/gcc/gi= mple-range-path.cc:725 0x1130994 back_threader::find_taken_edge_cond(vec const&, gcond*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220918/work/gcc-13-20220918/gcc/tr= ee-ssa-threadbackward.cc:334 0x1130b82 back_threader::maybe_register_path(back_threader_profitability&) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220918/work/gcc-13-20220918/gcc/tr= ee-ssa-threadbackward.cc:248 0x1131098 back_threader::find_paths_to_names(basic_block_def*, bitmap_head*, unsigned int, back_threader_profitability&) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220918/work/gcc-13-20220918/gcc/tr= ee-ssa-threadbackward.cc:380 0x1131614 back_threader::find_paths_to_names(basic_block_def*, bitmap_head*, unsigned int, back_threader_profitability&) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220918/work/gcc-13-20220918/gcc/tr= ee-ssa-threadbackward.cc:502 0x1131614 back_threader::find_paths_to_names(basic_block_def*, bitmap_head*, unsigned int, back_threader_profitability&) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220918/work/gcc-13-20220918/gcc/tr= ee-ssa-threadbackward.cc:502 0x11320af back_threader::maybe_thread_block(basic_block_def*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220918/work/gcc-13-20220918/gcc/tr= ee-ssa-threadbackward.cc:574 0x1132161 back_threader::thread_blocks() =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220918/work/gcc-13-20220918/gcc/tr= ee-ssa-threadbackward.cc:1002 0x11322b0 execute =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20220918/work/gcc-13-20220918/gcc/tr= ee-ssa-threadbackward.cc:1076=