public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug analyzer/100011] New: internal compiler error in analyzer during IPA pass
@ 2021-04-10 2:35 raj.khem at gmail dot com
2021-04-10 2:38 ` [Bug analyzer/100011] " raj.khem at gmail dot com
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: raj.khem at gmail dot com @ 2021-04-10 2:35 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100011
Bug ID: 100011
Summary: internal compiler error in analyzer during IPA pass
Product: gcc
Version: 11.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: raj.khem at gmail dot com
Target Milestone: ---
I am seeing a ICE in gcc when compiling attached reduced testcase from gnutls
project. This is caused by 3a66c289a3f395e50de79424e1e6f401a4dc1ab7
done for #99042, #99774
a.i
=========================================
void terminate(int sig)
{
char buf[64] = { 0 };
exit(1);
}
int main(int argc, char **argv)
{
signal(0, terminate);
return 0;
}
=========================================
$ /tmp/gcc/gcc/cc1 a.i -fanalyzer
Analyzing compilation unit
Performing interprocedural optimizations
<*free_lang_data> {heap 884k} <visibility> {heap 884k} <build_ssa_passes>
{heap 884k} <opt_local_passes> {heap 884k} <remove_symbols> {heap 1076k}
<targetclone> {heap 1076k} <free-fnsummary> {heap 1076k}Streaming LTO
<analyzer>during IPA pass: analyzer
a.i: At top level:
a.i:10:9: internal compiler error: Segmentation fault
10 | return 0;
| ^
0xdf96cf crash_signal
/home/kraj/work/gcc/gcc/toplev.c:327
0x11b4e06 ana::region_model::on_assignment(gassign const*,
ana::region_model_context*)
/home/kraj/work/gcc/gcc/analyzer/region-model.cc:729
0x195128a ana::diagnostic_manager::add_events_for_eedge(ana::path_builder
const&, ana::exploded_edge const&, ana::checker_path*) const
/home/kraj/work/gcc/gcc/analyzer/diagnostic-manager.cc:1554
0x1951c04 ana::diagnostic_manager::build_emission_path(ana::path_builder
const&, ana::exploded_path const&, ana::checker_path*) const
/home/kraj/work/gcc/gcc/analyzer/diagnostic-manager.cc:1183
0x1951dcb ana::diagnostic_manager::emit_saved_diagnostic(ana::exploded_graph
const&, ana::saved_diagnostic const&)
/home/kraj/work/gcc/gcc/analyzer/diagnostic-manager.cc:1128
0x195527f ana::dedupe_winners::emit_best(ana::diagnostic_manager*,
ana::exploded_graph const&)
/home/kraj/work/gcc/gcc/analyzer/diagnostic-manager.cc:1051
0x1952250 ana::diagnostic_manager::emit_saved_diagnostics(ana::exploded_graph
const&)
/home/kraj/work/gcc/gcc/analyzer/diagnostic-manager.cc:1100
0x119650c ana::impl_run_checkers(ana::logger*)
/home/kraj/work/gcc/gcc/analyzer/engine.cc:4887
0x11972dc ana::run_checkers()
/home/kraj/work/gcc/gcc/analyzer/engine.cc:4944
0x1189af8 execute
/home/kraj/work/gcc/gcc/analyzer/analyzer-pass.cc:87
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug analyzer/100011] internal compiler error in analyzer during IPA pass
2021-04-10 2:35 [Bug analyzer/100011] New: internal compiler error in analyzer during IPA pass raj.khem at gmail dot com
@ 2021-04-10 2:38 ` raj.khem at gmail dot com
2021-04-10 15:46 ` [Bug analyzer/100011] [11 Regression] ICE in analyzer when generating path for -Wanalyzer-unsafe-call-within-signal-handler dmalcolm at gcc dot gnu.org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: raj.khem at gmail dot com @ 2021-04-10 2:38 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100011
--- Comment #1 from Khem Raj <raj.khem at gmail dot com> ---
this one seems to be the cause
https://gcc.gnu.org/git/?p=gcc.git;a=commit;h=3a66c289a3f395e50de79424e1e6f401a4dc1ab7
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug analyzer/100011] [11 Regression] ICE in analyzer when generating path for -Wanalyzer-unsafe-call-within-signal-handler
2021-04-10 2:35 [Bug analyzer/100011] New: internal compiler error in analyzer during IPA pass raj.khem at gmail dot com
2021-04-10 2:38 ` [Bug analyzer/100011] " raj.khem at gmail dot com
@ 2021-04-10 15:46 ` dmalcolm at gcc dot gnu.org
2021-04-10 20:24 ` cvs-commit at gcc dot gnu.org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: dmalcolm at gcc dot gnu.org @ 2021-04-10 15:46 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100011
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2021-04-10
Status|UNCONFIRMED |ASSIGNED
Ever confirmed|0 |1
Summary|internal compiler error in |[11 Regression] ICE in
|analyzer during IPA pass |analyzer when generating
| |path for
| |-Wanalyzer-unsafe-call-with
| |in-signal-handler
--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for filing this bug; sorry about the breakage. I'm working on a fix.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug analyzer/100011] [11 Regression] ICE in analyzer when generating path for -Wanalyzer-unsafe-call-within-signal-handler
2021-04-10 2:35 [Bug analyzer/100011] New: internal compiler error in analyzer during IPA pass raj.khem at gmail dot com
2021-04-10 2:38 ` [Bug analyzer/100011] " raj.khem at gmail dot com
2021-04-10 15:46 ` [Bug analyzer/100011] [11 Regression] ICE in analyzer when generating path for -Wanalyzer-unsafe-call-within-signal-handler dmalcolm at gcc dot gnu.org
@ 2021-04-10 20:24 ` cvs-commit at gcc dot gnu.org
2021-04-10 20:24 ` dmalcolm at gcc dot gnu.org
2021-04-12 10:03 ` acoplan at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2021-04-10 20:24 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100011
--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalcolm@gcc.gnu.org>:
https://gcc.gnu.org/g:ec633d3777bd71f7bde5e671b61ec18e5b7b43ea
commit r11-8117-gec633d3777bd71f7bde5e671b61ec18e5b7b43ea
Author: David Malcolm <dmalcolm@redhat.com>
Date: Sat Apr 10 16:23:23 2021 -0400
analyzer: fix ICE on assignment from STRING_CST when building path
[PR100011]
gcc/analyzer/ChangeLog:
PR analyzer/100011
* region-model.cc (region_model::on_assignment): Avoid NULL
dereference if ctxt is NULL when assigning from a STRING_CST.
gcc/testsuite/ChangeLog:
PR analyzer/100011
* gcc.dg/analyzer/pr100011.c: New test.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug analyzer/100011] [11 Regression] ICE in analyzer when generating path for -Wanalyzer-unsafe-call-within-signal-handler
2021-04-10 2:35 [Bug analyzer/100011] New: internal compiler error in analyzer during IPA pass raj.khem at gmail dot com
` (2 preceding siblings ...)
2021-04-10 20:24 ` cvs-commit at gcc dot gnu.org
@ 2021-04-10 20:24 ` dmalcolm at gcc dot gnu.org
2021-04-12 10:03 ` acoplan at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: dmalcolm at gcc dot gnu.org @ 2021-04-10 20:24 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100011
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
--- Comment #4 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Should be fixed by the above commit.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug analyzer/100011] [11 Regression] ICE in analyzer when generating path for -Wanalyzer-unsafe-call-within-signal-handler
2021-04-10 2:35 [Bug analyzer/100011] New: internal compiler error in analyzer during IPA pass raj.khem at gmail dot com
` (3 preceding siblings ...)
2021-04-10 20:24 ` dmalcolm at gcc dot gnu.org
@ 2021-04-12 10:03 ` acoplan at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: acoplan at gcc dot gnu.org @ 2021-04-12 10:03 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100011
Alex Coplan <acoplan at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |acoplan at gcc dot gnu.org
--- Comment #5 from Alex Coplan <acoplan at gcc dot gnu.org> ---
*** Bug 100043 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2021-04-12 10:03 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-04-10 2:35 [Bug analyzer/100011] New: internal compiler error in analyzer during IPA pass raj.khem at gmail dot com
2021-04-10 2:38 ` [Bug analyzer/100011] " raj.khem at gmail dot com
2021-04-10 15:46 ` [Bug analyzer/100011] [11 Regression] ICE in analyzer when generating path for -Wanalyzer-unsafe-call-within-signal-handler dmalcolm at gcc dot gnu.org
2021-04-10 20:24 ` cvs-commit at gcc dot gnu.org
2021-04-10 20:24 ` dmalcolm at gcc dot gnu.org
2021-04-12 10:03 ` acoplan at gcc dot gnu.org
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).