[llvm-bugs] [Bug 31759] New: Clearly define a category of opaque global attachments

[via llvm-bugs]

https://llvm.org/bugs/show_bug.cgi?id=31759

            Bug ID: 31759
           Summary: Clearly define a category of opaque global attachments
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Core LLVM classes
          Assignee: unassignedbugs at nondot.org
          Reporter: peter at pcc.me.uk
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

We currently have two global metadata attachment types (!type and
!absolute_symbol) which are semantically significant for correctness. We should
clearly define a category of opaque global attachments (akin to metadata
attachments on instructions) and make it possible to

1. copy information from one global to another
2. drop all the opaque attachments

in a straightforward manner without breaking semantics. If that category
includes all metadata attachments, we would need to decide on some other
representation for !type and !absolute_symbol.

See also discussion on https://reviews.llvm.org/D29110

-- 
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/20170125/dacd2cf3/attachment.html>