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

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

I think `MallocChecker` should be (or should have been) affected by the problem you describe, so we can use it as an example.

In https://reviews.llvm.org/D27710#628939, @zaks.anna wrote:

> Do we support attaching multiple bug reports to the same node?


That's what `MallocChecker` does, and it works:

  void foo() {
    void *x = malloc(1);
    void *y = malloc(1);
    (void)(y - x);  // expected-warning{{'x'}} expected-warning{{'y'}}
  }


Repository:
  rL LLVM

https://reviews.llvm.org/D27710