[PATCH] D27710: [analyzer] Prohibit ExplodedGraph's edges duplicating
Anna Zaks via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Dec 21 23:04:20 PST 2016
zaks.anna added a comment.
If this is a common mistake for checker writers, we could consider adding assertions that check for this situation. We should make sure that we do not to add any release builds overhead. Maybe we could put this check behind NDEBUG or ensure that whatever code is added to support the assertion is optimized away.
As Artem points out, the checkers in tree do not create a node for every bug reported - there is no reason to do that.
Repository:
rL LLVM
https://reviews.llvm.org/D27710
More information about the cfe-commits
mailing list