[LLVMbugs] [Bug 7704] New: asserts after parsing

[bugzilla-daemon at llvm.org]

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

           Summary: asserts after parsing
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: LLVM assembly language parser
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: nicholas at mxc.ca
                CC: llvmbugs at cs.uiuc.edu


The assembly parser doesn't reject the following small program:

  define void @_rust_main([0 x i1]*, {}*) {
    ret void
  }
  define void @test() {
    call void ([0 x i1]*, {}*) asm "", "=r,0"( void ([0 x i1]*, {}*)*
@_rust_main )
  }

and instead I get this assertion:

$ llvm-commit/Debug+Asserts/bin/llvm-as < x.ll
llvm-as: Value.cpp:49: llvm::Value::Value(const llvm::Type*, unsigned int):
Assertion `(VTy->isFirstClassType() || VTy->isVoidTy() || ty->isOpaqueTy() ||
VTy->isStructTy()) && "invalid CallInst  type!"' failed.
0  llvm-as 0x0819fcda
1  llvm-as 0x081a09a4
2          0xffffe400 __kernel_sigreturn + 0
Stack dump:
0.      Program arguments: llvm-commit/Debug+Asserts/bin/llvm-as 
Aborted

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