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

[George Karpenkov via llvm-commits]

Hey, sorry, I’ll take a look

Sent from my iPhone

> On Sep 15, 2018, at 09:43, Mikhail Ramalho via Phabricator <reviews at reviews.llvm.org> wrote:
> 
> 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
> 
> 
>