public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "asolokha at gmx dot com" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug analyzer/96650] New: [11 Regression] ICE in on_fact, at analyzer/constraint-manager.cc:1785 Date: Mon, 17 Aug 2020 10:38:48 +0000 [thread overview] Message-ID: <bug-96650-4@http.gcc.gnu.org/bugzilla/> (raw) https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96650 Bug ID: 96650 Summary: [11 Regression] ICE in on_fact, at analyzer/constraint-manager.cc:1785 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:c99116aeeb9644ebddec653ee8b19de4d38b65bd) ICEs when compiling the following testcase w/ -O2 -fanalyzer: int *wf; void yd (void); int cy (void); int * ee (int hp) { if (hp != 0) yd (); return 0; } void z0 (int co) { int l4 = sizeof (int); aq: wf = ee (l4); if (l4 < co) l4 = cy () + sizeof (int); goto aq; } % gcc-11.0.0 -O2 -fanalyzer -c apa68zkr.c during IPA pass: analyzer apa68zkr.c: In function 'z0': apa68zkr.c:12:6: internal compiler error: in on_fact, at analyzer/constraint-manager.cc:1785 12 | if (hp != 0) | ^ 0x7a3d5f ana::merger_fact_visitor::on_fact(ana::svalue const*, tree_code, ana::svalue const*) /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gcc/tree.h:3409 0x7a3d5f ana::constraint_manager::for_each_fact(ana::fact_visitor*) const /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gcc/analyzer/constraint-manager.cc:1833 0x1849ed2 ana::constraint_manager::merge(ana::constraint_manager const&, ana::constraint_manager const&, ana::constraint_manager*, ana::model_merger const&) /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gcc/analyzer/constraint-manager.cc:1812 0x110d5fb ana::region_model::can_merge_with_p(ana::region_model const&, ana::program_point const&, ana::region_model*) const /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gcc/analyzer/region-model.cc:2501 0x110382f ana::program_state::can_merge_with_p(ana::program_state const&, ana::program_point const&, ana::program_state*) const /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gcc/analyzer/program-state.cc:916 0x10f2788 ana::exploded_graph::get_or_create_node(ana::program_point const&, ana::program_state const&, ana::exploded_node const*) /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gcc/analyzer/engine.cc:1949 0x10f4157 ana::exploded_graph::process_node(ana::exploded_node*) /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gcc/analyzer/engine.cc:2650 0x10f4d5a ana::exploded_graph::process_worklist() /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gcc/analyzer/engine.cc:2341 0x10f6e8f ana::impl_run_checkers(ana::logger*) /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gcc/analyzer/engine.cc:4107 0x10f7aac ana::run_checkers() /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gcc/analyzer/engine.cc:4175 0x10ec468 execute /var/tmp/portage/sys-devel/gcc-11.0.0_alpha20200816/work/gcc-11-20200816/gcc/analyzer/analyzer-pass.cc:84
next reply other threads:[~2020-08-17 10:38 UTC|newest] Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top 2020-08-17 10:38 asolokha at gmx dot com [this message] 2020-08-25 10:31 ` [Bug analyzer/96650] " rguenth at gcc dot gnu.org 2020-09-14 21:56 ` dmalcolm at gcc dot gnu.org 2020-09-15 21:47 ` cvs-commit at gcc dot gnu.org 2020-09-15 21:50 ` dmalcolm at gcc dot gnu.org
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=bug-96650-4@http.gcc.gnu.org/bugzilla/ \ --to=gcc-bugzilla@gcc.gnu.org \ --cc=gcc-bugs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).