[LLVMbugs] [Bug 4762] New: double free in Kaleidoscope example

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: double free in Kaleidoscope example
           Product: new-bugs
           Version: unspecified
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: gohman at apple.com
                CC: llvmbugs at cs.uiuc.edu


examples/Kaleidoscope/toy.cpp creates a Module and does

  TheExecutionEngine = EngineBuilder(TheModule).create();

and also

    ExistingModuleProvider OurModuleProvider(TheModule);
    FunctionPassManager OurFPM(&OurModuleProvider);

Both of these APIs claim in their comments to take ownership of
the Module, so it appears both are attempting to delete the
same Module when the program is finished.

In an asserts build, this is diagnosed by AssertingVH with
this message:

While deleting: double (double, double)* %binary:
An asserting value handle still pointed to this value!
UNREACHABLE executed at Value.cpp:492!
Aborted


-- 
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.