[LLVMbugs] [Bug 11626] New: linker munges types, produces invalid IR from valid

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=11626

             Bug #: 11626
           Summary: linker munges types, produces invalid IR from valid
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Core LLVM classes
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: nicholas at mxc.ca
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Created attachment 7778
  --> http://llvm.org/bugs/attachment.cgi?id=7778
testcase (7.bc)

The attached .bc file is valid:

  $ opt -disable-output -verify 7.bc
  $

but linking it against nothing causes it to break:

  $ touch empty.ll
  $ llvm-link empty.ll 7.bc -o x.bc
  Load result type does not match pointer operand type!
    %t294 = load %0** undef, align 8
   %"type 0x86c4b0"*Broken module found, compilation aborted!
  0  llvm-link       0x0000000000649fba
  1  llvm-link       0x0000000000649db6
  2  libpthread.so.0 0x00007fc244b1b020
  3  libc.so.6       0x00007fc243e1a405 gsignal + 53
  4  libc.so.6       0x00007fc243e1d680 abort + 384
  5  llvm-link       0x00000000005f28c9
  6  llvm-link       0x00000000005f25b3
  7  llvm-link       0x00000000005d111f
  8  llvm-link       0x00000000005d1363
  9  llvm-link       0x00000000005d16a3
  10 llvm-link       0x00000000005d1ba8
  11 llvm-link       0x00000000005d1f9b
  12 llvm-link       0x0000000000603a0c
  13 llvm-link       0x0000000000407848
  14 libc.so.6       0x00007fc243e06ead __libc_start_main + 253
  15 llvm-link       0x0000000000406fe9
  Stack dump:
  0.    Program arguments: llvm-commit/Debug+Asserts/bin/llvm-link empty.ll
7.bc 
  1.    Running pass 'Function Pass Manager' on module 'empty.ll'.
  2.    Running pass 'Module Verifier' on function '@_Z7yyparsev_zzz'

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.