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

[George Karpenkov via llvm-commits]

Should be fixed by https://reviews.llvm.org/D52183 <https://reviews.llvm.org/D52183>

> On Sep 15, 2018, at 9:53 AM, George Karpenkov <ekarpenkov at apple.com> wrote:
> 
> 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
>> 
>> 
>> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180917/f13643f6/attachment.html>