From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 85657388A02B; Mon, 6 Apr 2020 16:21:00 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 85657388A02B DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1586190060; bh=T+9VhaANVFq4eX0fpn1qU1SCb+2F+AoK5MeJ0LaqEnY=; h=From:To:Subject:Date:From; b=Dm7dYzKGPsEURtw+5qrnXZ104kNVXvd89bNJpBuTWD+dnPr6sVlXHZ9Nxc/bYRsW8 MUDJaVBOraL7CDkBZkSAyDNEB3spuZ+J/lqJF9d1SGvqSHPfJV3Ifo01zMPDKHbH+b ZBpFWPgdvnmc2oiWWLlzoIJCxjRwp69m9jIarnXk= From: "asolokha at gmx dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug analyzer/94503] New: ICE in saved_diagnostic, at analyzer/diagnostic-manager.cc:84 Date: Mon, 06 Apr 2020 16:21:00 +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: 10.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, 06 Apr 2020 16:21:00 -0000 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D94503 Bug ID: 94503 Summary: ICE in saved_diagnostic, at analyzer/diagnostic-manager.cc:84 Product: gcc Version: 10.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- g++-10.0.1-alpha20200405 snapshot (g:2a1a0c8c0db0aae50a2cebce59bd64334cd6ba= 2a) ICEs when compiling the following testcase, reduced from libstdc++-v3/testsuite/19_diagnostics/system_error/what-big.cc, w/ -fanalyz= er: template class allocator { public: allocator(const allocator &); allocator(); }; template struct allocator_traits; template struct allocator_traits> { static allocator<_Tp> select_on_container_copy_construction() { return allocator<_Tp>(); } static allocator<_Tp> _S_select_on_copy() { return select_on_container_copy_construction(); } }; class basic_string { struct _Alloc_hider { _Alloc_hider(allocator); } _M_dataplus; public: basic_string(basic_string &) : _M_dataplus(allocator_traits>::_S_select_on_copy()) {} } xxx(xxx); % g++-10.0.1 -fanalyzer -c lnxen8r7.cc during IPA pass: analyzer lnxen8r7.cc: In static member function 'static allocator<_Tp> allocator_traits >::select_on_container_copy_construction() [with _Tp =3D char]': lnxen8r7.cc:10:27: internal compiler error: in saved_diagnostic, at analyzer/diagnostic-manager.cc:84 10 | return allocator<_Tp>(); | ^ 0x854771 ana::saved_diagnostic::saved_diagnostic(ana::state_machine const*, ana::exploded_node const*, ana::supernode const*, gimple const*, ana::stmt_finder*, tree_node*, unsigned int, ana::pending_diagnostic*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200405/work/gcc-10-20200405/gc= c/analyzer/diagnostic-manager.cc:84 0x1a1626d ana::diagnostic_manager::add_diagnostic(ana::state_machine const*, ana::exploded_node const*, ana::supernode const*, gimple const*, ana::stmt_finder*, tree_node*, unsigned int, ana::pending_diagnostic*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200405/work/gcc-10-20200405/gc= c/analyzer/diagnostic-manager.cc:175 0x1a16489 ana::diagnostic_manager::add_diagnostic(ana::exploded_node const*, ana::supernode const*, gimple const*, ana::stmt_finder*, ana::pending_diagnostic*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200405/work/gcc-10-20200405/gc= c/analyzer/diagnostic-manager.cc:192 0x133e164 ana::impl_region_model_context::warn(ana::pending_diagnostic*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200405/work/gcc-10-20200405/gc= c/analyzer/engine.cc:114 0x1363fa4 ana::region_model::deref_rvalue(ana::svalue_id, ana::region_model_context*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200405/work/gcc-10-20200405/gc= c/analyzer/region-model.cc:5458 0x136637e ana::region_model::get_or_create_mem_ref(tree_node*, ana::svalue_= id, ana::svalue_id, ana::region_model_context*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200405/work/gcc-10-20200405/gc= c/analyzer/region-model.cc:6971 0x1366d13 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-10.0.1_alpha20200405/work/gcc-10-20200405/gc= c/analyzer/region-model.cc:5068 0x136f637 ana::region_model::update_for_return_superedge(ana::return_supere= dge const&, ana::region_model_context*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200405/work/gcc-10-20200405/gc= c/analyzer/region-model.cc:6171 0x136f757 ana::region_model::maybe_update_for_edge(ana::superedge const&, gimple const*, ana::region_model_context*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200405/work/gcc-10-20200405/gc= c/analyzer/region-model.cc:6092 0x13538f0 ana::program_state::on_edge(ana::exploded_graph&, ana::exploded_n= ode const&, ana::superedge const*, ana::state_change*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200405/work/gcc-10-20200405/gc= c/analyzer/program-state.cc:829 0x133ecc9 ana::exploded_node::on_edge(ana::exploded_graph&, ana::superedge const*, ana::program_point*, ana::program_state*, ana::state_change*) const =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200405/work/gcc-10-20200405/gc= c/analyzer/engine.cc:1153 0x13466dc ana::exploded_graph::process_node(ana::exploded_node*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200405/work/gcc-10-20200405/gc= c/analyzer/engine.cc:2597 0x1346d0a ana::exploded_graph::process_worklist() =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200405/work/gcc-10-20200405/gc= c/analyzer/engine.cc:2348 0x134743b ana::impl_run_checkers(ana::logger*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200405/work/gcc-10-20200405/gc= c/analyzer/engine.cc:4029 0x134800c ana::run_checkers() =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200405/work/gcc-10-20200405/gc= c/analyzer/engine.cc:4097 0x133cbb8 execute =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200405/work/gcc-10-20200405/gc= c/analyzer/analyzer-pass.cc:84=