[LLVMbugs] [Bug 7765] New: UNREACHABLE executed during ArgPromotion pass

[bugzilla-daemon at llvm.org]

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

           Summary: UNREACHABLE executed during ArgPromotion pass
           Product: new-bugs
           Version: trunk
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: collinwinter at google.com
                CC: llvmbugs at cs.uiuc.edu, nlewycky at google.com


Created an attachment (id=5299)
 --> (http://llvm.org/bugs/attachment.cgi?id=5299)
Reduced test case

Running `opt argpromotion-crash.ll -globalsmodref-aa -loopsimplify
-argpromotion -o /dev/null` results in the following crash. I've tested this
against r109883. Bugpoint was used to reduce the test case.

An asserting value handle still pointed to this value!
UNREACHABLE executed at
/Users/collinwinter/src/llvm/trunk/lib/VMCore/Value.cpp:531!
0  opt               0x0054e748 llvm::SearchForAddressOfSpecialSymbol(char
const*) + 1048
1  opt               0x0054f4a6 llvm::sys::RemoveFileOnSignal(llvm::sys::Path
const&, std::string*) + 1334
2  libSystem.B.dylib 0x954a92bb _sigtramp + 43
3  libSystem.B.dylib 0xffffffff _sigtramp + 1790274927
4  libSystem.B.dylib 0x9551d23a raise + 26
5  libSystem.B.dylib 0x95529679 abort + 73
6  opt               0x0052d119 llvm::llvm_unreachable_internal(char const*,
char const*, unsigned int) + 393
7  opt               0x004d574f
llvm::ValueHandleBase::ValueIsDeleted(llvm::Value*) + 2223
8  opt               0x004d6438 llvm::Value::~Value() + 808
9  opt               0x0045ce61 llvm::Function::~Function() + 657
10 opt               0x0001603c (anonymous
namespace)::ArgPromotion::DoPromotion(llvm::Function*,
llvm::SmallPtrSet<llvm::Argument*, 8u>&, llvm::SmallPtrSet<llvm::Argument*,
8u>&) + 10780
11 opt               0x0001890f (anonymous
namespace)::ArgPromotion::PromoteArguments(llvm::CallGraphNode*) + 1215
12 opt               0x00018d51 (anonymous
namespace)::ArgPromotion::runOnSCC(llvm::CallGraphSCC&) + 65
13 opt               0x0023f7f7 (anonymous
namespace)::CGPassManager::RunPassOnSCC(llvm::Pass*, llvm::CallGraphSCC&,
llvm::CallGraph&, bool&, bool&) + 359
14 opt               0x0023fbd5 (anonymous
namespace)::CGPassManager::RunAllPassesOnSCC(llvm::CallGraphSCC&,
llvm::CallGraph&, bool&) + 549
15 opt               0x00240a9d (anonymous
namespace)::CGPassManager::runOnModule(llvm::Module&) + 317
16 opt               0x004b5df6 llvm::MPPassManager::runOnModule(llvm::Module&)
+ 566
17 opt               0x004b61c4 llvm::PassManagerImpl::run(llvm::Module&) + 164
18 opt               0x004b62bb llvm::PassManager::run(llvm::Module&) + 27
19 opt               0x0000c6d4 main + 3156
20 opt               0x000020a6 start + 54
Stack dump:
0.    Program arguments:
/Users/collinwinter/src/llvm/obj/Release+Debug+Asserts/bin/opt
/Users/collinwinter/argpromotion-crash.ll -globalsmodref-aa -loopsimplify
-argpromotion -o /dev/null 
1.    Running pass 'CallGraph Pass Manager' on module
'/Users/collinwinter/argpromotion-crash.ll'.
Abort trap

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