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