[analyzer] Fix diagnostics in callees of interesting callees.
authorArtem Dergachev <artem.dergachev@gmail.com>
Tue, 3 Apr 2018 18:52:30 +0000 (18:52 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Tue, 3 Apr 2018 18:52:30 +0000 (18:52 +0000)
commitc8b1d5f329635efcedbd5c82911574d43d64afd2
treee7adfdfc514e2e15b4664e1a3533b1074c9f4a41
parent03d7a1bc46428e6d9367e81c8280325f8077f740
[analyzer] Fix diagnostics in callees of interesting callees.

removeUnneededCalls() is responsible for removing path diagnostic pieces within
functions that don't contain "interesting" events. It makes bug reports
much tidier.

When a stack frame is known to be interesting, the function doesn't descend
into it to prune anything within it, even other callees that are totally boring.

Fix the function to prune boring callees in interesting stack frames.

Differential Revision: https://reviews.llvm.org/D45117

llvm-svn: 329102
clang/lib/StaticAnalyzer/Core/BugReporter.cpp
clang/test/Analysis/inlining/path-notes.c