[cfe-dev] report of assertion failure in clang

[Ted Kremenek]

Thanks Cristian!

On Jan 7, 2009, at 10:35 PM, Cristian Draghici <cristian.draghici at gmail.com 
 > wrote:

> It's under bugzillla #3297.
>
> 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).
>
>
>
> On Wed, Jan 7, 2009 at 8:54 PM, steve naroff <snaroff at apple.com>  
> wrote:
> Sure...I missed the -checker-cfref flag on the command line (should  
> have looked more closely).
>
> Sorry for the confusion,
>
> snaroff
>
> On Jan 7, 2009, at 1:50 PM, Ted Kremenek wrote:
>
>> 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.
>>
>> On Jan 7, 2009, at 9:34 AM, steve naroff <snaroff at apple.com> wrote:
>>
>>> Known issue...clang doesn't support initializer lists that use  
>>> designators (.ref notation below).
>>>
>>> The code generator is suppose to issue a diagnostic I believe.  
>>> Daniel?
>>>
>>> snaroff
>>>
>>> On Jan 7, 2009, at 12:27 PM, Cristian Draghici wrote:
>>>
>>>> Is this a known issue?
>>>>
>>>> cristi:tmp diciu$ cat test.c
>>>>
>>>> struct v
>>>> {
>>>> 	unsigned int m;
>>>> 	void * ref;	
>>>> 	int z;
>>>> };
>>>>
>>>> int main()
>>>> {
>>>> 	short buf[1];
>>>> 	
>>>> 	buf[0] = 66;
>>>>
>>>> 	struct v st2 = {
>>>> 		.ref = buf
>>>> 		};
>>>>
>>>> 	st2.m = 10;
>>>>
>>>> 	short * u = (short *)st2.ref;
>>>> 	printf("%d\n", *u);
>>>>
>>>> 	return 0;
>>>> }
>>>>
>>>>
>>>>
>>>> cristi:tmp diciu$ ~/Downloads/checker-137/clang -x c test.c   - 
>>>> checker-cfref
>>>> test.c:16:10: warning: incompatible pointer to integer conversion  
>>>> initializing 'short [1]', expected 'unsigned int'
>>>>                 .ref = buf
>>>>                        ^~~
>>>> ANALYZE: test.c main
>>>> Assertion failed: (T->isPointerType()), function VisitCast, file  
>>>> GRExprEngine.cpp, line 1738.
>>>> 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
>>>> 1   libSystem.B.dylib 0x96edd2bb _sigtramp + 43
>>>> 2   libSystem.B.dylib 0xffffffff _sigtramp + 1762798959
>>>> 3   libSystem.B.dylib 0x96f5123a raise + 26
>>>> 4   libSystem.B.dylib 0x96f5d679 abort + 73
>>>> 5   libSystem.B.dylib 0x96f523db __assert_rtn + 101
>>>> 6   clang             0x00311d21 clang::CFGBlock::operator[] 
>>>> (unsigned long) const + 77345
>>>> 7   clang             0x00309458 clang::CFGBlock::operator[] 
>>>> (unsigned long) const + 42328
>>>> 8   clang             0x0030a5a4 clang::CFGBlock::operator[] 
>>>> (unsigned long) const + 46756
>>>> 9   clang             0x00308f6a clang::CFGBlock::operator[] 
>>>> (unsigned long) const + 41066
>>>> 10  clang             0x00314140 clang::CFGBlock::operator[] 
>>>> (unsigned long) const + 86592
>>>> 11  clang             0x0031a741  
>>>> clang: 
>>>> :GRCoreEngine<clang::GRExprEngine>::ProcessStmt(clang::Stmt*,  
>>>> clang::GRStmtNodeBuilderImpl&) + 97
>>>> 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
>>>> 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
>>>> 14  clang             0x00008d7c  
>>>> llvm::cast_retty<clang::CXXRecordType, clang::Type*>::ret_type  
>>>> llvm::cast<clang::CXXRecordType, clang::Type*>(clang::Type*  
>>>> const&) + 9836
>>>> 15  clang             0x00008638  
>>>> llvm::cast_retty<clang::CXXRecordType, clang::Type*>::ret_type  
>>>> llvm::cast<clang::CXXRecordType, clang::Type*>(clang::Type*  
>>>> const&) + 7976
>>>> 16  clang             0x00008be9  
>>>> llvm::cast_retty<clang::CXXRecordType, clang::Type*>::ret_type  
>>>> llvm::cast<clang::CXXRecordType, clang::Type*>(clang::Type*  
>>>> const&) + 9433
>>>> 17  clang             0x00356d3b  
>>>> clang::OverloadedFunctionDecl::getDeclContext() + 587
>>>> 18  clang             0x000479f2  
>>>> clang: 
>>>> :TokenRewriter: 
>>>> :AddTokenAfter(std::_List_const_iterator<clang::Token>, char  
>>>> const*) + 5586
>>>> 19  clang             0x0004ab34  
>>>> clang: 
>>>> :TokenRewriter: 
>>>> :AddTokenAfter(std::_List_const_iterator<clang::Token>, char  
>>>> const*) + 18196
>>>> 20  clang             0x00001936 _mh_execute_header + 2358
>>>> Abort trap
>>>>
>>>>
>>>>
>>>>
>>>> _______________________________________________
>>>> cfe-dev mailing list
>>>> cfe-dev at cs.uiuc.edu
>>>> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>>>
>>> _______________________________________________
>>> cfe-dev mailing list
>>> cfe-dev at cs.uiuc.edu
>>> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20090108/e964edd4/attachment.html>