[PATCH] D125362: [NFC][analyzer] Transitive interestingness in BugReporter

steakhal added a comment. In 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 t

[PATCH] D125362: [NFC][analyzer] Transitive interestingness in BugReporter

balazske added a comment. Is it problem if `markNotInteresting` is used on a symbol that was marked interesting and has subregions? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D125362/new/ https://reviews.llvm.org/D125362 ___

[PATCH] D125362: [NFC][analyzer] Transitive interestingness in BugReporter

steakhal added a comment. I think since it changes how taint spreads, this patch deserves a test. Could you please demonstrate the correctness of this patch? Comment at: clang/lib/StaticAnalyzer/Core/BugReporter.cpp:2267 + for (SymbolRef SubSym : SubSyms) { +if (SymbolData

[PATCH] D125362: [NFC][analyzer] Transitive interestingness in BugReporter

gamesh411 created this revision. gamesh411 added a reviewer: steakhal. Herald added subscribers: manas, ASDenysPetrov, martong, dkrupp, donat.nagy, Szelethus, mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware, xazax.hun. Herald added a reviewer: Szelethus. Herald added a project: All. gamesh4