public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug analyzer/101837] New: ICE with -O3 -fsanitize=undefined -fanalyzer
@ 2021-08-10 2:11 eggert at cs dot ucla.edu
2021-08-10 7:56 ` [Bug analyzer/101837] [11/12 Regression] ICE with -O3 -fsanitize=undefined -fanalyzer since r11-7941-ge4bb1bd60a9fd1be marxin at gcc dot gnu.org
` (5 more replies)
0 siblings, 6 replies; 7+ messages in thread
From: eggert at cs dot ucla.edu @ 2021-08-10 2:11 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101837
Bug ID: 101837
Summary: ICE with -O3 -fsanitize=undefined -fanalyzer
Product: gcc
Version: 11.2.1
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: eggert at cs dot ucla.edu
Target Milestone: ---
Created attachment 51283
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51283&action=edit
Compile with "-O3 -fsanitize=undefined -fanalyzer -S" to reproduce the ICE
While building the time zone code I got an internal compiler error. This is
with cc (GCC) 11.2.1 20210728 (Red Hat 11.2.1-1) on Fedora 34 x86-64. Compile
the attached program u.c with:
cc -O3 -fsanitize=undefined -fanalyzer -S u.i
I briefly attempted to simplify u.c but the simplifications made the compiler
error go away.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug analyzer/101837] [11/12 Regression] ICE with -O3 -fsanitize=undefined -fanalyzer since r11-7941-ge4bb1bd60a9fd1be
2021-08-10 2:11 [Bug analyzer/101837] New: ICE with -O3 -fsanitize=undefined -fanalyzer eggert at cs dot ucla.edu
@ 2021-08-10 7:56 ` marxin at gcc dot gnu.org
2021-08-18 22:57 ` dmalcolm at gcc dot gnu.org
` (4 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: marxin at gcc dot gnu.org @ 2021-08-10 7:56 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101837
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |marxin at gcc dot gnu.org
Summary|ICE with -O3 |[11/12 Regression] ICE with
|-fsanitize=undefined |-O3 -fsanitize=undefined
|-fanalyzer |-fanalyzer since
| |r11-7941-ge4bb1bd60a9fd1be
--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Thanks for the report. Reduced test-case:
$ cat pr101837.i
void memory_exhausted();
void memcheck(void *ptr) {
if (ptr)
memory_exhausted();
}
int emalloc(int size) { memcheck(__builtin_malloc(size)); }
int main() { int max_envvar_len = emalloc(max_envvar_len + 1); }
Started with r11-7941-ge4bb1bd60a9fd1be.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug analyzer/101837] [11/12 Regression] ICE with -O3 -fsanitize=undefined -fanalyzer since r11-7941-ge4bb1bd60a9fd1be
2021-08-10 2:11 [Bug analyzer/101837] New: ICE with -O3 -fsanitize=undefined -fanalyzer eggert at cs dot ucla.edu
2021-08-10 7:56 ` [Bug analyzer/101837] [11/12 Regression] ICE with -O3 -fsanitize=undefined -fanalyzer since r11-7941-ge4bb1bd60a9fd1be marxin at gcc dot gnu.org
@ 2021-08-18 22:57 ` dmalcolm at gcc dot gnu.org
2021-08-23 18:10 ` cvs-commit at gcc dot gnu.org
` (3 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: dmalcolm at gcc dot gnu.org @ 2021-08-18 22:57 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101837
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed| |2021-08-18
--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for filing this; I'm testing a fix.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug analyzer/101837] [11/12 Regression] ICE with -O3 -fsanitize=undefined -fanalyzer since r11-7941-ge4bb1bd60a9fd1be
2021-08-10 2:11 [Bug analyzer/101837] New: ICE with -O3 -fsanitize=undefined -fanalyzer eggert at cs dot ucla.edu
2021-08-10 7:56 ` [Bug analyzer/101837] [11/12 Regression] ICE with -O3 -fsanitize=undefined -fanalyzer since r11-7941-ge4bb1bd60a9fd1be marxin at gcc dot gnu.org
2021-08-18 22:57 ` dmalcolm at gcc dot gnu.org
@ 2021-08-23 18:10 ` cvs-commit at gcc dot gnu.org
2021-08-23 18:25 ` dmalcolm at gcc dot gnu.org
` (2 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2021-08-23 18:10 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101837
--- 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:4b821c7efbe12cfbb129a88541108b39058da526
commit r12-3095-g4b821c7efbe12cfbb129a88541108b39058da526
Author: David Malcolm <dmalcolm@redhat.com>
Date: Mon Aug 23 14:09:44 2021 -0400
analyzer: fix ICE when failing to reconstruct a fn ptr [PR101837]
gcc/analyzer/ChangeLog:
PR analyzer/101837
* analyzer.cc (maybe_reconstruct_from_def_stmt): Bail if fn is
NULL, and assert that it's non-NULL before passing it to
build_call_array_loc.
gcc/testsuite/ChangeLog:
PR analyzer/101837
* gcc.dg/analyzer/pr101837.c: New test.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug analyzer/101837] [11/12 Regression] ICE with -O3 -fsanitize=undefined -fanalyzer since r11-7941-ge4bb1bd60a9fd1be
2021-08-10 2:11 [Bug analyzer/101837] New: ICE with -O3 -fsanitize=undefined -fanalyzer eggert at cs dot ucla.edu
` (2 preceding siblings ...)
2021-08-23 18:10 ` cvs-commit at gcc dot gnu.org
@ 2021-08-23 18:25 ` dmalcolm at gcc dot gnu.org
2022-06-16 13:23 ` marxin at gcc dot gnu.org
2022-06-16 13:23 ` marxin at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: dmalcolm at gcc dot gnu.org @ 2021-08-23 18:25 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101837
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|ASSIGNED |RESOLVED
--- Comment #4 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Should be fixed by above commit.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug analyzer/101837] [11/12 Regression] ICE with -O3 -fsanitize=undefined -fanalyzer since r11-7941-ge4bb1bd60a9fd1be
2021-08-10 2:11 [Bug analyzer/101837] New: ICE with -O3 -fsanitize=undefined -fanalyzer eggert at cs dot ucla.edu
` (3 preceding siblings ...)
2021-08-23 18:25 ` dmalcolm at gcc dot gnu.org
@ 2022-06-16 13:23 ` marxin at gcc dot gnu.org
2022-06-16 13:23 ` marxin at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: marxin at gcc dot gnu.org @ 2022-06-16 13:23 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101837
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jehova at existiert dot net
--- Comment #5 from Martin Liška <marxin at gcc dot gnu.org> ---
*** Bug 105925 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug analyzer/101837] [11/12 Regression] ICE with -O3 -fsanitize=undefined -fanalyzer since r11-7941-ge4bb1bd60a9fd1be
2021-08-10 2:11 [Bug analyzer/101837] New: ICE with -O3 -fsanitize=undefined -fanalyzer eggert at cs dot ucla.edu
` (4 preceding siblings ...)
2022-06-16 13:23 ` marxin at gcc dot gnu.org
@ 2022-06-16 13:23 ` marxin at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: marxin at gcc dot gnu.org @ 2022-06-16 13:23 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101837
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |girgias at php dot net
--- Comment #6 from Martin Liška <marxin at gcc dot gnu.org> ---
*** Bug 105919 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2022-06-16 13:23 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-08-10 2:11 [Bug analyzer/101837] New: ICE with -O3 -fsanitize=undefined -fanalyzer eggert at cs dot ucla.edu
2021-08-10 7:56 ` [Bug analyzer/101837] [11/12 Regression] ICE with -O3 -fsanitize=undefined -fanalyzer since r11-7941-ge4bb1bd60a9fd1be marxin at gcc dot gnu.org
2021-08-18 22:57 ` dmalcolm at gcc dot gnu.org
2021-08-23 18:10 ` cvs-commit at gcc dot gnu.org
2021-08-23 18:25 ` dmalcolm at gcc dot gnu.org
2022-06-16 13:23 ` marxin at gcc dot gnu.org
2022-06-16 13:23 ` marxin 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).