[PATCH] D51667: [analyzer] Dump stable identifiers for exploded nodes

[Mikhail Ramalho via Phabricator via llvm-commits]

mikhail.ramalho added a comment.

Hey guys, the assertion is being triggered for me (I'm using clang r342322):

  $ cat ~/main.c
  void foo(unsigned width)
  {
    int base;
    int i = 0;
  
    if (i % width == 0)
      base = 1;
  
    assert(base == 1);
  }
  
  $ clang -cc1 -analyze -analyzer-checker=core ~/main.c -analyzer-viz-egraph-graphviz -trim-egraph
  /home/mramalho/main.c:9:3: warning: implicit declaration of function 'assert' is invalid in C99
    assert(base == 1);
    ^
  Writing '/tmp/TrimmedExprEngine-5b12da.dot'... clang: ../tools/clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp:288: int64_t clang::ento::ExplodedNode::getID(clang::ento::ExplodedGraph*) const: Assertion `Out && "Wrong allocator used"' failed.
  Aborted (core dumped)


Repository:
  rL LLVM

https://reviews.llvm.org/D51667