[Bug analyzer/97394] New: Incorrect analyzer output for setjmp
mmorrell at tachyum dot com
gcc-bugzilla@gcc.gnu.org
Tue Oct 13 02:14:42 GMT 2020
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97394
Bug ID: 97394
Summary: Incorrect analyzer output for setjmp
Product: gcc
Version: 10.2.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: mmorrell at tachyum dot com
Target Milestone: ---
Created attachment 49356
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49356&action=edit
Header file
While testing gcc 10.2 with MUSL for libc, I noticed some of analyzer setjmp
tests in the gcc validation suite were failing.
I managed to get a somewhat reduced testcase and determined that the problem
was due to this #define in setjmp.h for MUSL:
#define setjmp setjmp
In glibc, the corresponding #define is:
#define setjmp(env) _setjmp(env)
and the testcases pass when that is used.
More information about the Gcc-bugs
mailing list