[LLVMbugs] [Bug 20788] New: bugpoint does not respect the "Alias must point to a definition" rule

[bugzilla-daemon at llvm.org]

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

            Bug ID: 20788
           Summary: bugpoint does not respect the "Alias must point to a
                    definition" rule
           Product: tools
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: bugpoint
          Assignee: unassignedbugs at nondot.org
          Reporter: hfinkel at anl.gov
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

bugpoint does not correctly handle aliases; specifically, when it removes
definitions from a module, it leaves aliases pointing to the, now external,
reference. This causes additional failures in the verifier here:
  Assert1(!GV->isDeclaration(), "Alias must point to a definition", &GA);

This seems to happen from code (I think):
$ grep -r 'setInitializer(nullptr)' tools/bugpoint
tools/bugpoint/CrashDebugger.cpp:      I->setInitializer(nullptr);
tools/bugpoint/CrashDebugger.cpp:        I->setInitializer(nullptr);
tools/bugpoint/ExtractFunction.cpp:      I->setInitializer(nullptr);  // Delete
the initializer to make it external
tools/bugpoint/ExtractFunction.cpp:      GV->setInitializer(nullptr);

I'm not sure exactly what the correct fix is.

-- 
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/20140828/2bfde629/attachment.html>