[LLVMbugs] [Bug 3757] New: partial specialization doesn't preserve attributes on call

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: partial specialization doesn't preserve attributes on
                    call
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Interprocedural Optimizations
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: nicholas at mxc.ca
                CC: llvmbugs at cs.uiuc.edu


The partial specialization pass doesn't preserve attributes on the call or
invoke instruction. That means things like tail call, but also all the
readnone/readonly noalias, sret, etc. This could cause a miscompilation for
anyone using partial specialization.

There's logic to copy attributes properly inside of DeadArgumentElimination.cpp
RemoveDeadStuffFromFunction(F) but it looks non-trivial to refactor.


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