<div>Is this a known issue?</div><div><div><div><br></div><div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">cristi:tmp diciu$ cat test.c</span></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;"><br>
</span></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">struct v</span></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">{</span></div>
<div><span class="Apple-tab-span" style="white-space: pre; "><span class="Apple-style-span" style="font-family: 'courier new', monospace;"> </span></span><span class="Apple-style-span" style="font-family: 'courier new', monospace;">unsigned int m;</span></div>
<div><span class="Apple-tab-span" style="white-space: pre; "><span class="Apple-style-span" style="font-family: 'courier new', monospace;"> </span></span><span class="Apple-style-span" style="font-family: 'courier new', monospace;">void * ref;</span><span class="Apple-tab-span" style="white-space: pre; "><span class="Apple-style-span" style="font-family: 'courier new', monospace;"> </span></span></div>
<div><span class="Apple-tab-span" style="white-space: pre; "><span class="Apple-style-span" style="font-family: 'courier new', monospace;"> </span></span><span class="Apple-style-span" style="font-family: 'courier new', monospace;">int z;</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">};</span></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;"><br></span></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">int main()</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">{</span></div><div><span class="Apple-tab-span" style="white-space: pre; "><span class="Apple-style-span" style="font-family: 'courier new', monospace;"> </span></span><span class="Apple-style-span" style="font-family: 'courier new', monospace;">short buf[1];</span></div>
<div><span class="Apple-tab-span" style="white-space: pre; "><span class="Apple-style-span" style="font-family: 'courier new', monospace;"> </span></span></div><div><span class="Apple-tab-span" style="white-space: pre; "><span class="Apple-style-span" style="font-family: 'courier new', monospace;"> </span></span><span class="Apple-style-span" style="font-family: 'courier new', monospace;">buf[0] = 66;</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;"><br></span></div><div><span class="Apple-tab-span" style="white-space: pre; "><span class="Apple-style-span" style="font-family: 'courier new', monospace;"> </span></span><span class="Apple-style-span" style="font-family: 'courier new', monospace;">struct v st2 = { </span></div>
<div><span class="Apple-tab-span" style="white-space: pre; "><span class="Apple-style-span" style="font-family: 'courier new', monospace;"> </span></span><span class="Apple-style-span" style="font-family: 'courier new', monospace;">.ref = buf</span></div>
<div><span class="Apple-tab-span" style="white-space: pre; "><span class="Apple-style-span" style="font-family: 'courier new', monospace;"> </span></span><span class="Apple-style-span" style="font-family: 'courier new', monospace;">};</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;"><br></span></div><div><span class="Apple-tab-span" style="white-space: pre; "><span class="Apple-style-span" style="font-family: 'courier new', monospace;"> </span></span><span class="Apple-style-span" style="font-family: 'courier new', monospace;">st2.m = 10;</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;"><br></span></div><div><span class="Apple-tab-span" style="white-space: pre; "><span class="Apple-style-span" style="font-family: 'courier new', monospace;"> </span></span><span class="Apple-style-span" style="font-family: 'courier new', monospace;">short * u = (short *)st2.ref;</span></div>
<div><span class="Apple-tab-span" style="white-space: pre; "><span class="Apple-style-span" style="font-family: 'courier new', monospace;"> </span></span><span class="Apple-style-span" style="font-family: 'courier new', monospace;">printf("%d\n", *u);</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;"><br></span></div><div><span class="Apple-tab-span" style="white-space: pre; "><span class="Apple-style-span" style="font-family: 'courier new', monospace;"> </span></span><span class="Apple-style-span" style="font-family: 'courier new', monospace;">return 0;</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">}</span></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;"><br></span></div><div><br>
</div></div><div>
<div><br></div><div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">cristi:tmp diciu$ ~/Downloads/checker-137/clang -x c test.c -checker-cfref</span></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">test.c:16:10: warning: incompatible pointer to integer conversion initializing 'short [1]', expected 'unsigned int'</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;"> .ref = buf</span></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;"> ^~~</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">ANALYZE: test.c main</span></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">Assertion failed: (T->isPointerType()), function VisitCast, file GRExprEngine.cpp, line 1738.</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">0 clang 0x00a84582 std::vector<llvm::sys::Path, std::allocator<llvm::sys::Path> >::_M_insert_aux(__gnu_cxx::__normal_iterator<llvm::sys::Path*, std::vector<llvm::sys::Path, std::allocator<llvm::sys::Path> > >, llvm::sys::Path const&) + 7746</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">1 libSystem.B.dylib 0x96edd2bb _sigtramp + 43</span></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">2 libSystem.B.dylib 0xffffffff _sigtramp + 1762798959</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">3 libSystem.B.dylib 0x96f5123a raise + 26</span></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">4 libSystem.B.dylib 0x96f5d679 abort + 73</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">5 libSystem.B.dylib 0x96f523db __assert_rtn + 101</span></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">6 clang 0x00311d21 clang::CFGBlock::operator[](unsigned long) const + 77345</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">7 clang 0x00309458 clang::CFGBlock::operator[](unsigned long) const + 42328</span></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">8 clang 0x0030a5a4 clang::CFGBlock::operator[](unsigned long) const + 46756</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">9 clang 0x00308f6a clang::CFGBlock::operator[](unsigned long) const + 41066</span></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">10 clang 0x00314140 clang::CFGBlock::operator[](unsigned long) const + 86592</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">11 clang 0x0031a741 clang::GRCoreEngine<clang::GRExprEngine>::ProcessStmt(clang::Stmt*, clang::GRStmtNodeBuilderImpl&) + 97</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">12 clang 0x002fe386 llvm::ImutAVLFactory<llvm::ImutKeyValueInfo<unsigned int, unsigned int> >::Add_internal(std::pair<unsigned int, unsigned int> const&, llvm::ImutAVLTree<llvm::ImutKeyValueInfo<unsigned int, unsigned int> >*) + 9398</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">13 clang 0x002fe598 llvm::ImutAVLFactory<llvm::ImutKeyValueInfo<unsigned int, unsigned int> >::Add_internal(std::pair<unsigned int, unsigned int> const&, llvm::ImutAVLTree<llvm::ImutKeyValueInfo<unsigned int, unsigned int> >*) + 9928</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">14 clang 0x00008d7c llvm::cast_retty<clang::CXXRecordType, clang::Type*>::ret_type llvm::cast<clang::CXXRecordType, clang::Type*>(clang::Type* const&) + 9836</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">15 clang 0x00008638 llvm::cast_retty<clang::CXXRecordType, clang::Type*>::ret_type llvm::cast<clang::CXXRecordType, clang::Type*>(clang::Type* const&) + 7976</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">16 clang 0x00008be9 llvm::cast_retty<clang::CXXRecordType, clang::Type*>::ret_type llvm::cast<clang::CXXRecordType, clang::Type*>(clang::Type* const&) + 9433</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">17 clang 0x00356d3b clang::OverloadedFunctionDecl::getDeclContext() + 587</span></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">18 clang 0x000479f2 clang::TokenRewriter::AddTokenAfter(std::_List_const_iterator<clang::Token>, char const*) + 5586</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">19 clang 0x0004ab34 clang::TokenRewriter::AddTokenAfter(std::_List_const_iterator<clang::Token>, char const*) + 18196</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">20 clang 0x00001936 _mh_execute_header + 2358</span></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;">Abort trap</span></div>
<div><span class="Apple-style-span" style="font-family: 'courier new', monospace;"><br></span></div><div><span class="Apple-style-span" style="font-family: 'courier new', monospace;"><br></span></div><div>
<br></div><div><div><br></div></div></div></div></div></div>