balazske added a comment. Is it better to save the actual `ExplodedNode` in the note tag? Then the error node of the `BugReport` can be used to search the bug path and check if the saved node is encountered. In this way a `NoteTag` could be used and the "sequence numbers" would be unnecessary.
Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D104925/new/ https://reviews.llvm.org/D104925 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
