[LLVMbugs] [Bug 2113] New: verifyModule accepts "alloca void ()"

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Fri Feb 29 16:40:47 PST 2008


           Summary: verifyModule accepts "alloca void ()"
           Product: new-bugs
           Version: unspecified
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: ofv at wanadoo.es
                CC: llvmbugs at cs.uiuc.edu, ofv at wanadoo.es

verifyModule does not detect this mistake:

        alloca void ()          ; <void ()*>:1 [#uses=1]

(Note that the type alloca'ted is a function type, not a function pointer type)

It bombs later with an assert:

Assertion failed: Ty->isSized() && "Cannot getTypeInfo() on a type that is
ed!", file d:/dev/lib/llvm-2.1/lib/Target/TargetData.cpp, line 401

This was tested on 2.1 (from where the assert message was taken) and HEAD.

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.

More information about the llvm-bugs mailing list