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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
