[LLVMbugs] [Bug 5166] New: verifier misses incorrect declaration of intrinsics ( sometimes)

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: verifier misses incorrect declaration of intrinsics
                    (sometimes)
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Core LLVM classes
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: nicholas at mxc.ca
                CC: llvmbugs at cs.uiuc.edu


This file passes the verifier:

  define void @foo() {
    call i8* @llvm.returnaddress(i32 0)
    ret void
  }
  declare void @llvm.returnaddress()

but if you flip it around to put the declaration of @llvm.returnaddress first
then it will notice that.


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