NoQ added a comment. In some cases `BugReport.isInteresting(InnerPointerVal.getAsSymbol())` would yield us exactly what we want. But if there's no symbol we have no choice but to interact with the `trackExpressionValue` facility and this may turn out to be pretty challenging.
We could, for instance, teach it to mark //exploded nodes// as interesting when it changes tracking mode. That'd be a completely new form of interestingness for us to track. Or maybe pairs (exploded node, expression) so that to be more specific. Then we could query it from our note tag. 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
