<html><body bgcolor="#FFFFFF"><div>Thanks Cristian!<br></div><div><br>On Jan 7, 2009, at 10:35 PM, Cristian Draghici <<a href="mailto:cristian.draghici@gmail.com">cristian.draghici@gmail.com</a>> wrote:<br><br></div><div></div><blockquote type="cite"><div>It's under bugzillla #3297.<div><br></div><div>I've added a note on the bug entry - it looks like it's the ordering in which the designated initializers appear which matters when triggering the bug (i.e. the void * member needs to be the first).</div>
<div><br></div><div><br><br><div class="gmail_quote">On Wed, Jan 7, 2009 at 8:54 PM, steve naroff <span dir="ltr"><<a href="mailto:snaroff@apple.com"><a href="mailto:snaroff@apple.com">snaroff@apple.com</a></a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div style="word-wrap:break-word">Sure...I missed the -checker-cfref flag on the command line (should have looked more closely).<div><br></div><div>Sorry for the confusion,</div><div><br></div><div>snaroff</div><div><div>
</div><div class="Wj3C7c"><div><br><div><div>On Jan 7, 2009, at 1:50 PM, Ted Kremenek wrote:</div><br><blockquote type="cite"><div bgcolor="#FFFFFF"><div>The assertion failure is in the static analyzer, which is why I asked Cristian to file a new Bugzilla report. If Clang doesn't reject code with designated initializers then the static analyzer should gracefully fail when it encounters them instead of crash.<br>
</div><div><br>On Jan 7, 2009, at 9:34 AM, steve naroff <<a href="mailto:snaroff@apple.com" target="_blank"><a href="mailto:snaroff@apple.com">snaroff@apple.com</a></a>> wrote:<br><br></div><div></div><blockquote type="cite"><div>Known issue...clang doesn't support initializer lists that use designators (.ref notation below).<div>
<br></div><div>The code generator is suppose to issue a diagnostic I believe. Daniel?</div><div><br></div><div>snaroff</div><div><br><div><div>On Jan 7, 2009, at 12:27 PM, Cristian Draghici wrote:</div><br><blockquote type="cite">
<div>Is this a known issue?</div><div><div><div><br></div><div><div><span style="font-family:'courier new', monospace">cristi:tmp diciu$ cat test.c</span></div><div><span style="font-family:'courier new', monospace"><br>
</span></div><div><span style="font-family:'courier new', monospace">struct v</span></div><div><span style="font-family:'courier new', monospace">{</span></div> <div><span style="white-space:pre"><span style="font-family:'courier new', monospace"> </span></span><span style="font-family:'courier new', monospace">unsigned int m;</span></div>
<div><span style="white-space:pre"><span style="font-family:'courier new', monospace"> </span></span><span style="font-family:'courier new', monospace">void * ref;</span><span style="white-space:pre"><span style="font-family:'courier new', monospace"> </span></span></div>
<div><span style="white-space:pre"><span style="font-family:'courier new', monospace"> </span></span><span style="font-family:'courier new', monospace">int z;</span></div> <div><span style="font-family:'courier new', monospace">};</span></div>
<div><span style="font-family:'courier new', monospace"><br></span></div><div><span style="font-family:'courier new', monospace">int main()</span></div> <div><span style="font-family:'courier new', monospace">{</span></div>
<div><span style="white-space:pre"><span style="font-family:'courier new', monospace"> </span></span><span style="font-family:'courier new', monospace">short buf[1];</span></div> <div><span style="white-space:pre"><span style="font-family:'courier new', monospace"> </span></span></div>
<div><span style="white-space:pre"><span style="font-family:'courier new', monospace"> </span></span><span style="font-family:'courier new', monospace">buf[0] = 66;</span></div> <div><span style="font-family:'courier new', monospace"><br>
</span></div><div><span style="white-space:pre"><span style="font-family:'courier new', monospace"> </span></span><span style="font-family:'courier new', monospace">struct v st2 = { </span></div> <div><span style="white-space:pre"><span style="font-family:'courier new', monospace"> </span></span><span style="font-family:'courier new', monospace">.ref = buf</span></div>
<div><span style="white-space:pre"><span style="font-family:'courier new', monospace"> </span></span><span style="font-family:'courier new', monospace">};</span></div> <div><span style="font-family:'courier new', monospace"><br>
</span></div><div><span style="white-space:pre"><span style="font-family:'courier new', monospace"> </span></span><span style="font-family:'courier new', monospace">st2.m = 10;</span></div> <div><span style="font-family:'courier new', monospace"><br>
</span></div><div><span style="white-space:pre"><span style="font-family:'courier new', monospace"> </span></span><span style="font-family:'courier new', monospace">short * u = (short *)st2.ref;</span></div>
<div><span style="white-space:pre"><span style="font-family:'courier new', monospace"> </span></span><span style="font-family:'courier new', monospace">printf("%d\n", *u);</span></div> <div><span style="font-family:'courier new', monospace"><br>
</span></div><div><span style="white-space:pre"><span style="font-family:'courier new', monospace"> </span></span><span style="font-family:'courier new', monospace">return 0;</span></div> <div><span style="font-family:'courier new', monospace">}</span></div>
<div><span style="font-family:'courier new', monospace"><br></span></div><div><br> </div></div><div> <div><br></div><div><div><span style="font-family:'courier new', monospace">cristi:tmp diciu$ ~/Downloads/checker-137/clang -x c test.c -checker-cfref</span></div>
<div><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 style="font-family:'courier new', monospace"> .ref = buf</span></div>
<div><span style="font-family:'courier new', monospace"> ^~~</span></div> <div><span style="font-family:'courier new', monospace">ANALYZE: test.c main</span></div><div><span style="font-family:'courier new', monospace">Assertion failed: (T->isPointerType()), function VisitCast, file GRExprEngine.cpp, line 1738.</span></div>
<div><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 style="font-family:'courier new', monospace">1 libSystem.B.dylib 0x96edd2bb _sigtramp + 43</span></div><div><span style="font-family:'courier new', monospace">2 libSystem.B.dylib 0xffffffff _sigtramp + 1762798959</span></div>
<div><span style="font-family:'courier new', monospace">3 libSystem.B.dylib 0x96f5123a raise + 26</span></div><div><span style="font-family:'courier new', monospace">4 libSystem.B.dylib 0x96f5d679 abort + 73</span></div>
<div><span style="font-family:'courier new', monospace">5 libSystem.B.dylib 0x96f523db __assert_rtn + 101</span></div><div><span style="font-family:'courier new', monospace">6 clang 0x00311d21 clang::CFGBlock::operator[](unsigned long) const + 77345</span></div>
<div><span style="font-family:'courier new', monospace">7 clang 0x00309458 clang::CFGBlock::operator[](unsigned long) const + 42328</span></div><div><span style="font-family:'courier new', monospace">8 clang 0x0030a5a4 clang::CFGBlock::operator[](unsigned long) const + 46756</span></div>
<div><span style="font-family:'courier new', monospace">9 clang 0x00308f6a clang::CFGBlock::operator[](unsigned long) const + 41066</span></div><div><span style="font-family:'courier new', monospace">10 clang 0x00314140 clang::CFGBlock::operator[](unsigned long) const + 86592</span></div>
<div><span style="font-family:'courier new', monospace">11 clang 0x0031a741 clang::GRCoreEngine<clang::GRExprEngine>::ProcessStmt(clang::Stmt*, clang::GRStmtNodeBuilderImpl&) + 97</span></div>
<div><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 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 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 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 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 style="font-family:'courier new', monospace">17 clang 0x00356d3b clang::OverloadedFunctionDecl::getDeclContext() + 587</span></div><div><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 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 style="font-family:'courier new', monospace">20 clang 0x00001936 _mh_execute_header + 2358</span></div>
<div><span style="font-family:'courier new', monospace">Abort trap</span></div> <div><span style="font-family:'courier new', monospace"><br></span></div><div><span style="font-family:'courier new', monospace"><br>
</span></div><div> <br></div><div><div><br></div></div></div></div></div></div> _______________________________________________<br>cfe-dev mailing list<br><a href="mailto:cfe-dev@cs.uiuc.edu" target="_blank"></a><a href="mailto:cfe-dev@cs.uiuc.edu" target="_blank"><a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a></a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank"><a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a></a><br></blockquote></div><br></div></div></blockquote><blockquote type="cite"><div><span>_______________________________________________</span><br>
<span>cfe-dev mailing list</span><br><span><a href="mailto:cfe-dev@cs.uiuc.edu" target="_blank"><a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a></a></span><br><span><a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank"><a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a></a></span><br>
</div></blockquote></div></blockquote></div><br></div></div></div></div></blockquote></div><br><br clear="all"><br>
</div>
</div></blockquote></body></html>