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: [email protected]
ReportedBy: [email protected]
CC: [email protected]
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.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
