[llvm-bugs] [Bug 28622] New: [PM] the new PM needs to learn about inter-analysis dependencies

[via llvm-bugs]

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

            Bug ID: 28622
           Summary: [PM] the new PM needs to learn about inter-analysis
                    dependencies
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Core LLVM classes
          Assignee: unassignedbugs at nondot.org
          Reporter: chisophugis at gmail.com
                CC: llvm-bugs at lists.llvm.org
            Blocks: 28315
    Classification: Unclassified

The issue is discussed in the thread '[PM] I think that the new PM needs to
learn about inter-analysis dependencies...'.

The basic gist is that if an analysis result FooResult holds a pointer to an
analysis result BarResult, then if a pass says it preserves FooAnalysis (but
not BarAnalysis) we need to nonetheless invalidate FooResult.

In the current new PM, if you say that you preserve FooAnalysis (but not
BarAnalysis) it will invalidate BarResult but not FooResult. Thus FooResult
will be stuck holding a dangling pointer and chaos will ensue.

-- 
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/20160720/a4321592/attachment.html>