[LLVMbugs] [Bug 8968] New: assertion failure: "DecomposeGEPExpression and GetUnderlyingObject disagree!"

[bugzilla-daemon at llvm.org]

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

           Summary: assertion failure: "DecomposeGEPExpression and
                    GetUnderlyingObject disagree!"
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: Global Analyses
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: bob.wilson at apple.com
                CC: llvmbugs at cs.uiuc.edu


I noticed this assertion failure while running the llvm testsuite.  Bugpoint
was able to reduce it partially, but the "simplified" version exposed a
different failure, so I'm attached only the "blocks" version.  To reproduce,
run:

opt bugpoint-reduced-blocks.bc -basicaa -internalize -inline -globalsmodref-aa
-gvn -verify


Assertion failed: (TD == 0 && "DecomposeGEPExpression and GetUnderlyingObject
disagree!"), function aliasGEP, file
/Volumes/LocalHD/bwilson/llvm/llvm/lib/Analysis/BasicAliasAnalysis.cpp, line
821.
0  opt               0x000000010065d785 PrintStackTrace(void*) + 53
1  opt               0x000000010065dd4b SignalHandler(int) + 379
2  libSystem.B.dylib 0x00007fff8900867a _sigtramp + 26
3  libSystem.B.dylib 0x000000010198fd08 _sigtramp + 2023257768
4  opt               0x00000001000910db raise + 27
5  opt               0x000000010009119a abort + 26
6  opt               0x0000000100091174 __assert_rtn + 132
7  opt               0x0000000100319712 (anonymous
namespace)::BasicAliasAnalysis::aliasGEP(llvm::GEPOperator const*, unsigned
long long, llvm::Value const*, unsigned long long, llvm::MDNode const*,
llvm::Value const*, llvm::Value const*) + 562
8  opt               0x0000000100318df9 (anonymous
namespace)::BasicAliasAnalysis::aliasCheck(llvm::Value const*, unsigned long
long, llvm::MDNode const*, llvm::Value const*, unsigned long long, llvm::MDNode
const*) + 1385
9  opt               0x00000001003141ef (anonymous
namespace)::BasicAliasAnalysis::alias(llvm::AliasAnalysis::Location const&,
llvm::AliasAnalysis::Location const&) + 287
10 opt               0x00000001003186da non-virtual thunk to (anonymous
namespace)::BasicAliasAnalysis::alias(llvm::AliasAnalysis::Location const&,
llvm::AliasAnalysis::Location const&) + 58
11 opt               0x00000001003061dc
llvm::AliasAnalysis::alias(llvm::AliasAnalysis::Location const&,
llvm::AliasAnalysis::Location const&) + 140
12 opt               0x00000001002f9d41 (anonymous
namespace)::GlobalsModRef::alias(llvm::AliasAnalysis::Location const&,
llvm::AliasAnalysis::Location const&) + 961
13 opt               0x00000001002fa3da non-virtual thunk to (anonymous
namespace)::GlobalsModRef::alias(llvm::AliasAnalysis::Location const&,
llvm::AliasAnalysis::Location const&) + 58
14 opt               0x0000000100384849
llvm::MemoryDependenceAnalysis::getPointerDependencyFrom(llvm::AliasAnalysis::Location
const&, bool, llvm::ilist_iterator<llvm::Instruction>, llvm::BasicBlock*) + 889
15 opt               0x0000000100387f83
llvm::MemoryDependenceAnalysis::GetNonLocalInfoForBlock(llvm::AliasAnalysis::Location
const&, bool, llvm::BasicBlock*, std::vector<llvm::NonLocalDepEntry,
std::allocator<llvm::NonLocalDepEntry> >*, unsigned int) + 1251
16 opt               0x0000000100386f4d
llvm::MemoryDependenceAnalysis::getNonLocalPointerDepFromBB(llvm::PHITransAddr
const&, llvm::AliasAnalysis::Location const&, bool, llvm::BasicBlock*,
llvm::SmallVectorImpl<llvm::NonLocalDepResult>&,
llvm::DenseMap<llvm::BasicBlock*, llvm::Value*,
llvm::DenseMapInfo<llvm::BasicBlock*>, llvm::DenseMapInfo<llvm::Value*> >&,
bool) + 3181
17 opt               0x00000001003874b1
llvm::MemoryDependenceAnalysis::getNonLocalPointerDepFromBB(llvm::PHITransAddr
const&, llvm::AliasAnalysis::Location const&, bool, llvm::BasicBlock*,
llvm::SmallVectorImpl<llvm::NonLocalDepResult>&,
llvm::DenseMap<llvm::BasicBlock*, llvm::Value*,
llvm::DenseMapInfo<llvm::BasicBlock*>, llvm::DenseMapInfo<llvm::Value*> >&,
bool) + 4561
18 opt               0x00000001003861ee
llvm::MemoryDependenceAnalysis::getNonLocalPointerDependency(llvm::AliasAnalysis::Location
const&, bool, llvm::BasicBlock*,
llvm::SmallVectorImpl<llvm::NonLocalDepResult>&) + 334
19 opt               0x000000010014696d (anonymous
namespace)::GVN::processNonLocalLoad(llvm::LoadInst*,
llvm::SmallVectorImpl<llvm::Instruction*>&) + 205
20 opt               0x00000001001439de (anonymous
namespace)::GVN::processLoad(llvm::LoadInst*,
llvm::SmallVectorImpl<llvm::Instruction*>&) + 1422
21 opt               0x0000000100142fcb (anonymous
namespace)::GVN::processInstruction(llvm::Instruction*,
llvm::SmallVectorImpl<llvm::Instruction*>&) + 331
22 opt               0x0000000100142b18 (anonymous
namespace)::GVN::processBlock(llvm::BasicBlock*) + 168
23 opt               0x000000010013ffaf (anonymous
namespace)::GVN::iterateOnFunction(llvm::Function&) + 271
24 opt               0x000000010013fcc2 (anonymous
namespace)::GVN::runOnFunction(llvm::Function&) + 578
25 opt               0x00000001005d9ef5
llvm::FPPassManager::runOnFunction(llvm::Function&) + 405
26 opt               0x00000001005da293
llvm::FPPassManager::runOnModule(llvm::Module&) + 131
27 opt               0x00000001005da502
llvm::MPPassManager::runOnModule(llvm::Module&) + 530
28 opt               0x00000001005dad16
llvm::PassManagerImpl::run(llvm::Module&) + 182
29 opt               0x00000001005db1fd llvm::PassManager::run(llvm::Module&) +
29
30 opt               0x00000001000a78c9 main + 6825
31 opt               0x00000001000976e8 start + 52

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