<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Should be fixed by <a href="https://reviews.llvm.org/D52183" class="">https://reviews.llvm.org/D52183</a><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Sep 15, 2018, at 9:53 AM, George Karpenkov <<a href="mailto:ekarpenkov@apple.com" class="">ekarpenkov@apple.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">Hey, sorry, I’ll take a look<br class=""><br class="">Sent from my iPhone<br class=""><br class=""><blockquote type="cite" class="">On Sep 15, 2018, at 09:43, Mikhail Ramalho via Phabricator <<a href="mailto:reviews@reviews.llvm.org" class="">reviews@reviews.llvm.org</a>> wrote:<br class=""><br class="">mikhail.ramalho added a comment.<br class=""><br class="">Hey guys, the assertion is being triggered for me (I'm using clang r342322):<br class=""><br class=""> $ cat ~/main.c<br class=""> void foo(unsigned width)<br class=""> {<br class=""> int base;<br class=""> int i = 0;<br class=""><br class=""> if (i % width == 0)<br class=""> base = 1;<br class=""><br class=""> assert(base == 1);<br class=""> }<br class=""><br class=""> $ clang -cc1 -analyze -analyzer-checker=core ~/main.c -analyzer-viz-egraph-graphviz -trim-egraph<br class=""> /home/mramalho/main.c:9:3: warning: implicit declaration of function 'assert' is invalid in C99<br class=""> assert(base == 1);<br class=""> ^<br class=""> 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.<br class=""> Aborted (core dumped)<br class=""><br class=""><br class="">Repository:<br class=""> rL LLVM<br class=""><br class=""><a href="https://reviews.llvm.org/D51667" class="">https://reviews.llvm.org/D51667</a><br class=""><br class=""><br class=""><br class=""></blockquote></div></div></blockquote></div><br class=""></body></html>