[LLVMbugs] [Bug 1394] NEW: Let Verifier check function/parameters attributes more accurate

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: Let Verifier check function/parameters attributes more
                    accurate
           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: asl at math.spbu.ru


Currently, Verifier misses some important checks on function/argument attributs.

This includes:

<Reid> like "noreturn" on a parameter (instead of on the function)
<Reid> or inreg on the function instead of a parameter
<Reid> or sret anywhere other than the first argument

and so on.



------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.