[LLVMbugs] [Bug 4373] New: Aggregate store tickles assert in BitcodeReaderValueList:: getValueFwdRef

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: Aggregate store tickles assert in
                    BitcodeReaderValueList::getValueFwdRef
           Product: libraries
           Version: trunk
          Platform: Macintosh
        OS/Version: MacOS X
            Status: NEW
          Severity: minor
          Priority: P2
         Component: Bitcode Reader
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: markleone at gmail.com
                CC: llvmbugs at cs.uiuc.edu


The following code tickles an assert failure in the bitcode reader.
To replicate:  llvm-as -o - test.ll | llvm-dis

@foo = weak global { i32 } zeroinitializer              
@bar = weak global i32 0                

define void @test() {
entry:
        store { i32 } zeroinitializer, { i32 }* @foo
        store i32 1, i32* @bar
        ret void
}

Assertion failed: ((Ty == 0 || Ty == V->getType()) && "Type mismatch in value
table!"), function getValueFwdRef, file BitcodeReader.cpp, line 215.

in llvm::BitcodeReaderValueList::getValueFwdRef at BitcodeReader.cpp:215
in llvm::BitcodeReader::getFnValueByID at BitcodeReader.h:160
in llvm::BitcodeReader::getValue at BitcodeReader.h:196
in llvm::BitcodeReader::ParseFunctionBody at BitcodeReader.cpp:1869


-- 
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.