[LLVMbugs] [Bug 4029] New: CallGraph not always deleted before running gvn/simplifycfg

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: CallGraph not always deleted before running
                    gvn/simplifycfg
           Product: new-bugs
           Version: unspecified
          Platform: Other
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: baldrick at free.fr
                CC: dpatel at apple.com, llvmbugs at cs.uiuc.edu


Created an attachment (id=2851)
 --> (http://llvm.org/bugs/attachment.cgi?id=2851)
Debugging patch that fires an assertion if the callgraph contains deleted
instructions

The test Analysis/GlobalsModRef/purecse.ll runs opt -globalsmodref-aa -gvn
-instcombine.  The callgraph constructed for globalsmodref-aa is not destroyed
before gvn is run.  Similarly, the test
Transforms/CondProp/2007-08-01-InvalidRead.ll runs opt -inline -tailduplicate
-condprop -simplifycfg, and
the callgraph constructed for -inline is not destroyed before simplifycfg is
run.  This is in spite of the fact that gvn/simplifycfg neither require nor
preserve the callgraph.

Spotted using the attached debugging patch (which would be good to commit
one day).  My guess is that this is essentially the same problem as PR3601.


-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.