steakhal added a comment. In D125362#3506545 <https://reviews.llvm.org/D125362#3506545>, @balazske wrote:
> Is it problem if `markNotInteresting` is used on a symbol that was marked > interesting and has subregions? In that case, the sub-symbols will remain still interesting. We might need to think about this and also make `markNotInteresting()` transitive. I'm not immediately sure about the implications, but a test demonstrating the transitivity should demonstrate this as well in a slightly modified example. The test file for this should be `clang/unittests/StaticAnalyzer/BugReportInterestingnessTest.cpp` though. There are only two checkers using this API: stream checker and the smart ptr checker. We should craft a real-worl-looking example pointing out the difference between the *transitive* and *direct* `markNotInteresting()` implementation. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D125362/new/ https://reviews.llvm.org/D125362 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
