[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 my head this patch should ideally be reduced to a single if-statement: "This value is a `SymbolDerived` //therefore// it was produced by invalidation".

It's harder than that, of course, because some derived symbols are legitimate (i.e., values returned through out-parameters). But this is a separate problem: instead of producing anonymous conjured symbols, invalidation should produce richer symbols that explain what kind of invalidation has happened and which specific effect of this invalidation is represented by this symbol. Or we could instead make better symbols for representing out-parameters.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D75698