[RFC] analyzer: Add exit, and _exit replacement, to sm-signal.

Mark Wielaard mark@klomp.org
Mon May 18 13:31:40 GMT 2020

Hi David,

On Sun, 2020-05-17 at 18:53 -0400, David Malcolm wrote:
> BTW, it looks like it's using the wrong location for event (2).  It
> ought to be showing a call to "signal", not an assignment.  Please can
> you file a bug about this, and attach the source in question so I can
> take a look at some point.

As briefly discussed on irc, this is an independent issue, it can be
shown with pristine gcc 10.1 and bzip2 1.0.8 source code:

A workaround is to use -fanalyzer-fine-grained.



More information about the Gcc-patches mailing list