[LLVMbugs] [Bug 6070] New: Verifier accetps alloca with i64 count when the asm defines it with a i32 (error when using llvm-as)

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: Verifier accetps alloca with i64 count when the asm
                    defines it with a i32 (error when using llvm-as)
           Product: libraries
           Version: 2.6
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: minor
          Priority: P2
         Component: Support Libraries
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: aelia at internux.ch
                CC: llvmbugs at cs.uiuc.edu


I just randomly found out that if I call
IRBuilder::CreateAlloca(Type::getInt32Ty(llvm::getGlobalContext()),
ConstantInt::get(llvm::Type::getInt64Ty(llvm::getGlobalContext(), 1),
"wrongalloca")

the resulting IR is invalid :
%wrongalloca = alloca i32, i64 1  ; <i32*>

of course it would be nothing if the verifier refused it... but it accepts.


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