[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