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

[Anna Zaks via Phabricator via cfe-commits]

zaks.anna added a comment.

Are there any negative effects from having the duplicates in edges?

When does this occur? It's a bit suspicious since we have a FromN, and a path is split at that node, resulting in successors that are the same. Is it possible that whoever split the state did not encode enough interesting info?


Repository:
  rL LLVM

https://reviews.llvm.org/D27710