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

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Sun Oct 11 14:28:42 PDT 2009


           Summary: verifier misses incorrect declaration of intrinsics
           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.

More information about the llvm-bugs mailing list