[LLVMdev] Assertion: replaceAllUses of value with new value of different type! being thrown all of a sudden

[Duncan P. N. Exon Smith]

I'm not sure what's going on, but I do know this code wouldn't 
(or, shouldn't) compile on ToT for the last couple of months,
since `Value` and `MDNode` belong to different class hierarchies.

> On 2015 Jan 17, at 15:16, Christian Schafmeister <chris.schaf at verizon.net> wrote:
> 
> Hello,
> 
> I wonder if someone would know what is going on below.
> 
> 
> All of a sudden I’m getting this assertion thrown:
> 
> Assertion failed: (New->getType() == getType() && "replaceAllUses of value with new value of different type!"), function replaceAllUsesWith, file /Users/meister/Development/externals-clasp/llvm36/lib/IR/Value.cpp, line 345.
> 
> It’s happening when DIBuilder::finalize is being called at the end of a source file compilation.
> 
> Here’s the most illuminating debugging information I could pull out of a frame:
> 
> 
> (lldb) 
> frame #6: 0x0000000103a67c3e clasp_boehm_d`llvm::DIDescriptor::replaceAllUsesWith(this=0x00007fff5fb9e288, D=0x000000010985b330) + 254 at DebugInfo.cpp:399
>   396 	  MDNode *Node = const_cast<MDNode *>(DbgNode);
>   397 	  const MDNode *DN = D;
>   398 	  const Value *V = cast_or_null<Value>(DN);
> -> 399 	  Node->replaceAllUsesWith(const_cast<Value *>(V));
>   400 	  MDNode::deleteTemporary(Node);
>   401 	}
>   402 	
> (lldb) print Node
> (llvm::MDNode *) $3 = 0x00000001180b74c0
> (lldb) call Node->dump()
> !{i32 786468}
> 
> (lldb) call V->dump()
> !{}
> 
> (lldb) 
> 
> 
> 
> 
> Here’s the first part of the backtrace:
> 
> (lldb) bt
> * thread #1: tid = 0x4ec96f, 0x00007fff93137866 libsystem_kernel.dylib`__pthread_kill + 10, queue = 'com.apple.main-thread', stop reason = signal SIGABRT
>    frame #0: 0x00007fff93137866 libsystem_kernel.dylib`__pthread_kill + 10
>    frame #1: 0x00007fff8cd8035c libsystem_pthread.dylib`pthread_kill + 92
>    frame #2: 0x0000000103ca78ab clasp_boehm_d`raise(sig=6) + 27 at Signals.inc:373
>    frame #3: 0x0000000103ca7962 clasp_boehm_d`abort + 18 at Signals.inc:390
>    frame #4: 0x0000000103ca7941 clasp_boehm_d`__assert_rtn(func=0x000000010432361c, file=0x00000001043231df, line=345, expr=0x0000000104323720) + 129 at Signals.inc:386
>    frame #5: 0x0000000103bfa48d clasp_boehm_d`llvm::Value::replaceAllUsesWith(this=0x00000001180b74c0, New=0x000000010985b330) + 317 at Value.cpp:344
>    frame #6: 0x0000000103a67c3e clasp_boehm_d`llvm::DIDescriptor::replaceAllUsesWith(this=0x00007fff5fb9e288, D=0x000000010985b330) + 254 at DebugInfo.cpp:399
>  * frame #7: 0x0000000103a4e8e9 clasp_boehm_d`llvm::DIBuilder::finalize(this=0x0000000116bba4e0) + 185 at DIBuilder.cpp:40
>    frame #8: 0x00000001010cd4c8 clasp_boehm_d`core::IndirectVariadicMethoid<core::policies::policies_<>, llvmo::DIBuilder_O, void (this=0x000000010c6ea5b8, lcc_resultP=0x00007fff5fb9eb58, arg0=<unavailable>)()>::invoke(gctools::multiple_values<core::T_O>*, gctools::smart_ptr<core::T_O>) + 232 at external_wrappers_indirect_methoids.h:2704
>    frame #9: 0x00000001010cd1f1 clasp_boehm_d`core::IndirectVariadicMethoid<core::policies::policies_<>, llvmo::DIBuilder_O, void (this=0x000000010c6ea5b8, lcc_resultP=0x00007fff5fb9eb58, lcc_nargs=1, lcc_fixed_arg0=0x000000010d1dd098, lcc_fixed_arg1=0x0000000000000000, lcc_fixed_arg2=0x0000000000000000, lcc_fixed_arg3=0x0000000000000000, lcc_fixed_arg4=0x0000000000000000)()>::invoke(gctools::multiple_values<core::T_O>*, unsigned long, core::T_O*, core::T_O*, core::T_O*, core::T_O*, core::T_O*) + 577 at external_wrappers_indirect_methoids.h:2698
>    frame #10: 0x00000001009a2426 clasp_boehm_d`core::SingleDispatchGenericFunctionClosure::invoke(this=0x000000010c6ea558, lcc_resultP=0x00007fff5fb9eb58, lcc_nargs=1, lcc_fixed_arg0=0x000000010d1dd098, lcc_fixed_arg1=0x0000000000000000, lcc_fixed_arg2=0x0000000000000000, lcc_fixed_arg3=0x0000000000000000, lcc_fixed_arg4=0x0000000000000000) + 2022 at singleDispatchGenericFunction.cc:183
>    frame #11: 0x00000001010f5d5f clasp_boehm_d`sp_FUNCALL(resultP=0x00007fff5fb9f168, closure=0x000000010c6ea558, lcc_nargs=1, lcc_fixed_arg0=0x000000010d1dd098, lcc_fixed_arg1=0x0000000000000000, lcc_fixed_arg2=0x0000000000000000, lcc_fixed_arg3=0x0000000000000000, lcc_fixed_arg4=0x0000000000000000) + 815 at intrinsics.cc:272
> 
> 
> 
> 
>