[PATCH] D75698: [analyzer][WIP] Suppress bug reports where a tracked expression's latest value change was a result of an invalidation

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

In D75698#1908370 <https://reviews.llvm.org/D75698#1908370>, @Szelethus wrote:

> In D75698#1908335 <https://reviews.llvm.org/D75698#1908335>, @NoQ wrote:
>
> > In my head this patch should ideally be reduced to a single if-statement: "This value is a `SymbolDerived` //therefore// it was produced by invalidation".
>
>
> Getting to this point already forced me to learn a lot about the inner workings of the analyzer, and I suspect I have quite a bit of work ahead of me still. Infact, I'm not even sure what `SymbolDerived` is.


It's a chunk of a bigger symbol. Like, if we already have a symbol for an unknown value of a structure written in a certain region, then the symbol for a field of this structure would be a derived symbol from that first symbol for the field region.

Now, the only reason we have symbols for structures (or sometimes even for entire memory spaces) is because of invalidation. What remains is to tweak the patch in order to account for different kinds of invalidation.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D75698/new/

https://reviews.llvm.org/D75698