From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 622CF3858D37; Mon, 17 Aug 2020 04:16:22 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 622CF3858D37 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1597637782; bh=LGCOGFmeUxugsTRjZ0w8FFrDqo/no9gHn13xsdt9p3w=; h=From:To:Subject:Date:From; b=lAoyiUH9JgtHB9fn5LA1TCjmzIYFi+vUlR3U+jCjCeuRyx1sXgYuCK2ZS3BAozEwf SLbdE16CJA4HrqDlhFkzpepdABTjI2KqsFv5Sn1n8IFlx4fRVkAO8Ys3uU38fw/oAc lYfYlYV/Y0XcLdJa9lokKgVvfMoEFkjLavvKKLZU= From: "asolokha at gmx dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug analyzer/96641] New: [11 Regression] ICE in get_rvalue_1, at analyzer/region-model.cc:1082 Date: Mon, 17 Aug 2020 04:16:22 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: analyzer X-Bugzilla-Version: 11.0 X-Bugzilla-Keywords: 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: dmalcolm 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: Mon, 17 Aug 2020 04:16:22 -0000 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D96641 Bug ID: 96641 Summary: [11 Regression] ICE in get_rvalue_1, at analyzer/region-model.cc:1082 Product: gcc Version: 11.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- gcc-11.0.0-alpha20200816 snapshot (g:c99116aeeb9644ebddec653ee8b19de4d38b65= bd) ICEs when compiling gcc/testsuite/gfortran.dg/goacc/clause-locations.f90 w/= -O1 -fanalyzer -fopenacc -fvar-tracking-assignments: % powerpc-e300c3-linux-gnu-gfortran-11.0.0 -O1 -fanalyzer -fopenacc -fvar-tracking-assignments -w -c gcc/testsuite/gfortran.dg/goacc/clause-locations.f90 gcc/testsuite/gfortran.dg/goacc/clause-locations.f90:9:27: 9 | !$acc loop reduction(+:sum) | ^ note: location of the previous reduction for 'sum' during IPA pass: analyzer gcc/testsuite/gfortran.dg/goacc/clause-locations.f90:8:0: 8 | !$acc parallel | internal compiler error: in get_rvalue_1, at analyzer/region-model.cc:1082 0x6ffe96 ana::region_model::get_rvalue_1(ana::path_var, ana::region_model_context*) =20=20=20=20=20=20=20 /var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20200816/wo= rk/gcc-11-20200816/gcc/analyzer/region-model.cc:1082 0x11c8fc3 ana::region_model::get_rvalue(ana::path_var, ana::region_model_context*) =20=20=20=20=20=20=20 /var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20200816/wo= rk/gcc-11-20200816/gcc/analyzer/region-model.cc:1173 0x11b30b1 ana::impl_sm_context::warn_for_state(ana::supernode const*, gimple const*, tree_node*, unsigned int, ana::pending_diagnostic*) =20=20=20=20=20=20=20 /var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20200816/wo= rk/gcc-11-20200816/gcc/analyzer/engine.cc:259 0x11ea426 on_stmt =20=20=20=20=20=20=20 /var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20200816/wo= rk/gcc-11-20200816/gcc/analyzer/sm-malloc.cc:807 0x11acf7b ana::exploded_node::on_stmt(ana::exploded_graph&, ana::supernode const*, gimple const*, ana::program_state*) const =20=20=20=20=20=20=20 /var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20200816/wo= rk/gcc-11-20200816/gcc/analyzer/engine.cc:1098 0x11ae035 ana::exploded_graph::process_node(ana::exploded_node*) =20=20=20=20=20=20=20 /var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20200816/wo= rk/gcc-11-20200816/gcc/analyzer/engine.cc:2526 0x11ae892 ana::exploded_graph::process_worklist() =20=20=20=20=20=20=20 /var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20200816/wo= rk/gcc-11-20200816/gcc/analyzer/engine.cc:2341 0x11b0974 ana::impl_run_checkers(ana::logger*) =20=20=20=20=20=20=20 /var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20200816/wo= rk/gcc-11-20200816/gcc/analyzer/engine.cc:4107 0x11b1621 ana::run_checkers() =20=20=20=20=20=20=20 /var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20200816/wo= rk/gcc-11-20200816/gcc/analyzer/engine.cc:4175 0x11a61f8 execute =20=20=20=20=20=20=20 /var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20200816/wo= rk/gcc-11-20200816/gcc/analyzer/analyzer-pass.cc:84=