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: [email protected]
ReportedBy: [email protected]
CC: [email protected]
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.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
