[cfe-dev] Clang static analyzer: ignore library headers?

[Jordan Rose]

On Sep 16, 2013, at 22:34 , Ben Pope <benpope81 at gmail.com> wrote:

> On 17/09/13 01:16, Anna Zaks wrote:
>> We don't have a list of known third-party headers anywhere, but having this seems generally useful.
> 
> Determining them based on -I vs -isystem would seem to be a sensible
> distinction.
> 
> At least, that's what I use to include third party libraries when I want
> to ignore warnings they produce.  It's entirely possible I'm abusing
> that feature.

It's a bit of an abuse but likely not a harmful one. Huh, we don't actually have that mode now. Regular mode runs path-sensitive checks on the main source file and non-path-sensitive checks on the main source file + non-system headers. -analyzer-opt-analyze-headers mode runs path-sensitive checks everywhere. Patches welcome?

As for an explicit blacklist, we've gotten that request before, but only for main source files: PR2706 and <rdar://problem/9063762>. A header file filter would be slightly different.

Jordan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20130917/eb27731f/attachment.html>