From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 10B123858022; Thu, 6 Oct 2022 15:59:13 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 10B123858022 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1665071953; bh=CYv80WWz8A7m34yuah+znel4i1t0uVFvAqNkgdOuUh8=; h=From:To:Subject:Date:From; b=GBSLtLfXfUX8DzmQe+kzIAvi7U75YuzAijxK7XoMomsZyo5fagzt8x9aZSlMoJi/Y PRbmZ2nOyiBfjMZqW+CSdor13aG448FqemV+S0Lz7+2EJJ3x+fX7hzuvsHvD2wk4yS cORDoLlYw/IBG9XlvfxDCMQD3uj/H6orW5dMTXRk= From: "k.even-mendoza at imperial dot ac.uk" To: gcc-bugs@gcc.gnu.org Subject: [Bug c/107170] New: ICE on valid code: in as_a, at value-range.h:381 Date: Thu, 06 Oct 2022 15:59:12 +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: k.even-mendoza at imperial dot ac.uk 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=3D107170 Bug ID: 107170 Summary: ICE on valid code: in as_a, at value-range.h:381 Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: k.even-mendoza at imperial dot ac.uk Target Milestone: --- The following code crashed GCC-13 when compiling with -O2, -O3 or -Os in Ub= untu 18, x-86_64; GCC-12, from April, seems to work fine. =3D=3D=3D #include int main() { double a; if (__builtin_signbit(a)) abort(); } =3D=3D=3D The trace: during GIMPLE pass: vrp fuzzer-file-12773.c: In function 'main': fuzzer-file-12773.c:2:5: internal compiler error: in as_a, at value-range.h= :381 2 | int main() { | ^~~~ 0x80bc97 irange& as_a(vrange&) .././../gcc-source/gcc/value-range.h:381 0x80bc97 irange& as_a(vrange&) .././../gcc-source/gcc/value-range.h:379 0x80bc97 vrange::operator=3D(vrange const&) .././../gcc-source/gcc/value-range.cc:202 0x80bc97 vrange::operator=3D(vrange const&) .././../gcc-source/gcc/value-range.cc:199 0x12c61f2 vr_values::range_of_expr(vrange&, tree_node*, gimple*) .././../gcc-source/gcc/vr-values.cc:188 0x1cf1f17 fold_using_range::range_of_range_op(vrange&, gimple_range_op_handler&, fur_source&) .././../gcc-source/gcc/gimple-range-fold.cc:550 0x1cf3c10 fold_using_range::fold_stmt(vrange&, gimple*, fur_source&, tree_node*) .././../gcc-source/gcc/gimple-range-fold.cc:489 0x1cf402b fold_range(vrange&, gimple*, range_query*) .././../gcc-source/gcc/gimple-range-fold.cc:316 0x12c9e9f vr_values::extract_range_basic(value_range_equiv*, gimple*) .././../gcc-source/gcc/vr-values.cc:1245 0x12269fd vrp_prop::visit_stmt(gimple*, edge_def**, tree_node**) .././../gcc-source/gcc/tree-vrp.cc:3865 0x111c5a6 ssa_propagation_engine::simulate_stmt(gimple*) .././../gcc-source/gcc/tree-ssa-propagate.cc:230 0x111c892 ssa_propagation_engine::simulate_block(basic_block_def*) .././../gcc-source/gcc/tree-ssa-propagate.cc:337 0x111ccc3 ssa_propagation_engine::ssa_propagate() .././../gcc-source/gcc/tree-ssa-propagate.cc:504 0x12331f5 execute_vrp .././../gcc-source/gcc/tree-vrp.cc:4215=