[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