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: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95188 A workaround is to use -fanalyzer-fine-grained. Cheers, Mark
