[LLVMbugs] [Bug 1747] New: verification does not detect calling functions with incorrect calling convention

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: verification does not detect calling functions with
                    incorrect calling convention
           Product: new-bugs
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Keywords: accepts-invalid
          Severity: enhancement
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: tomas.l.olsen at gmail.com
                CC: llvmbugs at cs.uiuc.edu


define fastcc void @f( ) {
        ret void
}

define i32 @main(i32, i8**, i8**) {
        call void @f( ) ; invalid - missing fastcc
        ret i32 0
}

The above snippet passes verification, seems like something that should not be
too problematic to detect statically.
I recently filed an invalid report 1742 due to this.


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