From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 6FC08385AC3E; Tue, 25 Oct 2022 15:30:41 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 6FC08385AC3E DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1666711841; bh=DGQZbiHA6FrPjhlWgfXYjTi0l5Iw4yE9sm5khCKzeVE=; h=From:To:Subject:Date:From; b=ppk/FA1Svc4lL+bwnwKgAd3rFomfBONrTi50h6WE0mWClPMIPH20vb1FaTNg/UopR LuKQaq6NnvyGnzWYWHpa//9ixCZNeFQp+tS4aiv3TQy/LxLuzDSijKUmJ3m3FkNDzd 97cYVtDl1H8Ge90d+zmgU/L1hgs1pI6sadmOCLw8= From: "asolokha at gmx dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/107394] New: [13 Regression] ICE in verify_range, at value-range.cc:716 Date: Tue, 25 Oct 2022 15:30:40 +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=3D107394 Bug ID: 107394 Summary: [13 Regression] ICE in verify_range, at value-range.cc:716 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 20221023 snapshot (g:0e37fd4dc74c1db99cdc7d71ef378e1221253c6f) I= CEs when compiling the following testcase w/ -O2: static double quux (double x) { return __builtin_fabs (x); } __attribute__ ((flatten, optimize ("-ffinite-math-only"))) static int bar (int *p) { *p =3D quux (0.0); return 0; } void foo (int *p) { (void) bar (p); } % gcc-13 -O2 -c owzufzxh.c during IPA pass: inline owzufzxh.c: In function 'bar.isra': owzufzxh.c:10:8: internal compiler error: in verify_range, at value-range.cc:716 10 | *p =3D quux (0.0); | ^~~~~~~~~~ 0x7bca0d frange::verify_range() =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/va= lue-range.cc:716 0x1160ad8 range_info_get_range(tree_node*, vrange&) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tr= ee-ssanames.cc:121 0x1160ad8 duplicate_ssa_name_range_info(tree_node*, tree_node*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tr= ee-ssanames.cc:750 0xf85de3 remap_ssa_name =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tr= ee-inline.cc:256 0xf8bf37 remap_gimple_op_r =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tr= ee-inline.cc:1028 0x12179c3 walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*), void*, hash_set >*, tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*), void*, hash_set >*)) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tr= ee.cc:11270 0xbf1a92 walk_gimple_op(gimple*, tree_node* (*)(tree_node**, int*, void*), walk_stmt_info*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/gi= mple-walk.cc:221 0xf886bf remap_gimple_stmt =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tr= ee-inline.cc:1986 0xf8cb87 copy_bb =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tr= ee-inline.cc:2056 0xf8e87c copy_cfg_body =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tr= ee-inline.cc:3090 0xf8e87c copy_body =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tr= ee-inline.cc:3343 0xf93452 expand_call_inline =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tr= ee-inline.cc:5128 0xf95411 gimple_expand_calls_inline =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tr= ee-inline.cc:5323 0xf95411 optimize_inline_calls(tree_node*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/tr= ee-inline.cc:5495 0xc9653b inline_transform(cgraph_node*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/ip= a-inline-transform.cc:790 0xe0d116 execute_one_ipa_transform_pass =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/pa= sses.cc:2336 0xe0d116 execute_all_ipa_transforms(bool) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/pa= sses.cc:2399 0xa463dd cgraph_node::expand() =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/cg= raphunit.cc:1827 0xa463dd cgraph_node::expand() =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/cg= raphunit.cc:1787 0xa47a1e expand_all_functions =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-13.0.0_p20221023/work/gcc-13-20221023/gcc/cg= raphunit.cc:2008=