From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 977E93857C47; Mon, 17 Aug 2020 05:21:04 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 977E93857C47 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1597641664; bh=gQO1zVCrLcm3kSxXzZMvkrjiflVqJ8LS+B5KvnzwGwA=; h=From:To:Subject:Date:From; b=Ny4s9bdO+YWz0bliPJH2qO2ZfLirbndqJmbh9Wj5hovkrslUplbm1K6uqTsX6fU+F OoTnZTTRqL6W4a57xAB3OAvr9nOusktmQqyZUOlycw9PZIRGqNDNt5aHidCip+jkeP 7ex4oYhs3gTkvo65c6SSxE1FvgjbrSQjM2znXAew= From: "asolokha at gmx dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug analyzer/96644] New: [11 Regression] ICE in get_region_for_unexpected_tree_code, at analyzer/region-model-manager.cc:930 Date: Mon, 17 Aug 2020 05:21:04 +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 05:21:04 -0000 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D96644 Bug ID: 96644 Summary: [11 Regression] ICE in get_region_for_unexpected_tree_code, at analyzer/region-model-manager.cc:930 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 the following testcase w/ -O1 -fanalyzer: int oh[1]; int *x3; int * cm (char *m0) { return oh; } void ek (void) { for (;;) { char *b2 =3D 0; if (*b2 !=3D 0) ++b2; x3 =3D cm (b2); } } % gcc-11.0.0 -O1 -fanalyzer -c kwnoqaib.c during IPA pass: analyzer kwnoqaib.c: In function 'cm': kwnoqaib.c:7:10: internal compiler error: in get_region_for_unexpected_tree_code, at analyzer/region-model-manager.cc:930 7 | return oh; | ^~ 0x7221bf ana::region_model_manager::get_region_for_unexpected_tree_code(ana::region_= model_context*, tree_node*, dump_location_t const&) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gc= c/analyzer/region-model-manager.cc:930 0x110e6bb ana::region_model::get_lvalue_1(ana::path_var, ana::region_model_context*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gc= c/analyzer/region-model.cc:960 0x110eaa8 ana::region_model::get_lvalue(ana::path_var, ana::region_model_context*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gc= c/analyzer/region-model.cc:1055 0x110eaa8 ana::region_model::get_lvalue(tree_node*, ana::region_model_conte= xt*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gc= c/analyzer/region-model.cc:1066 0x110eb5a ana::region_model::on_return(greturn const*, ana::region_model_context*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gc= c/analyzer/region-model.cc:831 0x10ef3de ana::exploded_path::feasible_p(ana::logger*, ana::feasibility_problem**, ana::engine*, ana::exploded_graph const*) const =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gc= c/analyzer/engine.cc:2940 0x185077c ana::dedupe_winners::add(ana::logger*, shortest_paths const&, ana::exploded_graph const*, ana::saved_diagnost= ic*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gc= c/analyzer/diagnostic-manager.cc:381 0x184e70f ana::diagnostic_manager::emit_saved_diagnostics(ana::exploded_gra= ph const&) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gc= c/analyzer/diagnostic-manager.cc:518 0x10f6eb4 ana::impl_run_checkers(ana::logger*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gc= c/analyzer/engine.cc:4121 0x10f7aac ana::run_checkers() =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gc= c/analyzer/engine.cc:4175 0x10ec468 execute =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gc= c/analyzer/analyzer-pass.cc:84=