[PATCH] D27710: [analyzer] Prohibit ExplodedGraph's edges duplicating

Anna Zaks via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Dec 21 10:36:14 PST 2016


zaks.anna added a comment.

To deal with non-determinism, you can sort the results by non-pointer values, such as identifiers, before producing the warnings.

It is not clear if you want to print all warnings or only the first one. Is it an option to list all dead symbols in one warning message? Do we support attaching multiple bug reports to the same node?


Repository:
  rL LLVM

https://reviews.llvm.org/D27710





More information about the cfe-commits mailing list