[LLVMbugs] [Bug 22501] New: AA metadata is not properly updated during call slot optimization

[bugzilla-daemon at llvm.org]

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

            Bug ID: 22501
           Summary: AA metadata is not properly updated during call slot
                    optimization
           Product: new-bugs
           Version: 3.6
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: bsteinbr at gmail.com
                CC: llvmbugs at cs.uiuc.edu
            Blocks: 22374
    Classification: Unclassified

Call slot optimization might update a call in a way that the set of things it
aliases with changes, but it doesn't update the AA metadata. This can lead to
various misoptimizations later on because of invalid NoAlias results.

We've hit such issues when we updated the LLVM version in the rust compiler to
3.6.

I submitted a patch for this at http://reviews.llvm.org/D7482

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20150207/efd82535/attachment.html>