[LLVMbugs] [Bug 22507] New: Merging alias.scope metadata should create a union, not an intersection

[bugzilla-daemon at llvm.org]

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

            Bug ID: 22507
           Summary: Merging alias.scope metadata should create a union,
                    not an intersection
           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

The alias.scope metadata represents sets of things an instruction might alias
with, when combining the metadata from two instructions the resulting metadata
must be the union of the original sets, because the new instruction might alias
with anything any of the original instructions aliased with.

Since the scoped alias metadata is new in 3.6 and things like function inlining
automatically generate such metadata, I consider this a regression.

Fix at http://reviews.llvm.org/D7490

-- 
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/20150208/5166741d/attachment.html>