[llvm-bugs] [Bug 24456] New: [LegacyPassManager] PM does not verifies passes preserved by setPreservesAll()

[via llvm-bugs]

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

            Bug ID: 24456
           Summary: [LegacyPassManager] PM does not verifies passes
                    preserved by setPreservesAll()
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Core LLVM classes
          Assignee: unassignedbugs at nondot.org
          Reporter: pavel.g.prokofiev at intel.com
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

Created attachment 14723
  --> https://llvm.org/bugs/attachment.cgi?id=14723&action=edit
A unit test that uses setPreservesAll() and checks whether the analysis
verified.

The LegacyPassManager, PMDataManager::verifyPreservedAnalysis() iterates over
PreservedSet and calls verifyAnalysis() for each analysis.

In other hand, some passes use setPreservesAll() which setups a flag, but adds
nothing to the PreservedSet.

As a result only passes, added by addPreserved<T>(), will be verified.

A unit test reproducer is in attachment.

-- 
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/20150814/3d597c3d/attachment.html>