[LLVMbugs] [Bug 6491] New: asmparser should check types on constant forward refs

[bugzilla-daemon at llvm.org]

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

           Summary: asmparser should check types on constant forward refs
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: enhancement
          Priority: P5
         Component: LLVM assembly language parser
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: nicholas at mxc.ca
                CC: llvmbugs at cs.uiuc.edu


The .ll parser does not reject this code:

  %fptr = type { i64(i64*)* }
  @x = constant %fptr { i64(i64*)* @foo }
  define void @foo() { unreachable }

and produces a module where @foo is defined 'i64 @foo(i64*) { unreachable }'.

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