RedDocMD added a comment. @NoQ, looking through the source code of `trackExpressionValue` I can see that it adds many visitors to the `BugReport` passed to it. That I believe is the recursive attachment of visitors you described above. So, as far as I understood, I have to make changes in this function to mark an `ExplodedNode` as interesting when it changes tracking mode. This change is marked by when recursively a new visitor is attached (or at least in some of those places, the exact places will have to be figured out). Then this can be queried from the checker to obtain the information that is needed. Am I thinking on the right track?
Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D97183/new/ https://reviews.llvm.org/D97183 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits