opt -gvn: Assertion `isa<X>(Val) && "cast<Ty>() argument of incompatible type! #11861
Description
| Bugzilla Link | 11489 |
| Resolution | INVALID |
| Resolved on | Dec 07, 2011 02:24 |
| Version | trunk |
| OS | All |
Extended Description
opt -gvn 1.ll -o 1.bc
opt: clang_src/include/llvm/Support/Casting.h:194: typename llvm::cast_retty<To, From>::ret_type llvm::cast(const Y&) [with X = llvm::Instruction, Y = llvm::User*]: Assertion `isa(Val) && "cast() argument of incompatible type!"' failed.
0 opt 0x0000000000900e0f
1 opt 0x0000000000903082
2 libpthread.so.0 0x00007f4143b068f0
3 libc.so.6 0x00007f4142df5a75 gsignal + 53
4 libc.so.6 0x00007f4142df95c0 abort + 384
5 libc.so.6 0x00007f4142dee941 __assert_fail + 241
6 opt 0x00000000007044dd llvm::MemoryDependenceAnalysis::getModRefInfo(llvm::Instruction const*, llvm::AliasAnalysis::Location const&) + 2605
7 opt 0x0000000000704686 llvm::MemoryDependenceAnalysis::getPointerDependencyFrom(llvm::AliasAnalysis::Location const&, bool, llvm::ilist_iteratorllvm::Instruction, llvm::BasicBlock*) + 230
8 opt 0x0000000000704c17 llvm::MemoryDependenceAnalysis::GetNonLocalInfoForBlock(llvm::AliasAnalysis::Location const&, bool, llvm::BasicBlock*, std::vector<llvm::NonLocalDepEntry, std::allocatorllvm::NonLocalDepEntry >, unsigned int) + 231
9 opt 0x00000000007063c0 llvm::MemoryDependenceAnalysis::getNonLocalPointerDepFromBB(llvm::PHITransAddr const&, llvm::AliasAnalysis::Location const&, bool, llvm::BasicBlock, llvm::SmallVectorImplllvm::NonLocalDepResult&, llvm::DenseMap<llvm::BasicBlock*, llvm::Value*, llvm::DenseMapInfollvm::BasicBlock*, llvm::DenseMapInfollvm::Value* >&, bool) + 3520
10 opt 0x0000000000707996 llvm::MemoryDependenceAnalysis::getNonLocalPointerDependency(llvm::AliasAnalysis::Location const&, bool, llvm::BasicBlock*, llvm::SmallVectorImplllvm::NonLocalDepResult&) + 246
11 opt 0x00000000005215d0
12 opt 0x0000000000523639
13 opt 0x00000000005243d8
14 opt 0x0000000000524d8b
15 opt 0x00000000008a471b llvm::FPPassManager::runOnFunction(llvm::Function&) + 587
16 opt 0x00000000008a4803 llvm::FPPassManager::runOnModule(llvm::Module&) + 51
17 opt 0x00000000008a41e7 llvm::MPPassManager::runOnModule(llvm::Module&) + 503
18 opt 0x00000000008a437b llvm::PassManagerImpl::run(llvm::Module&) + 187
19 opt 0x00000000004c5d8d main + 4797
20 libc.so.6 0x00007f4142de0c4d __libc_start_main + 253
21 opt 0x00000000004b9c59
Stack dump:
0. Program arguments: ./opt -gvn 1.ll -o 1.bc
- Running pass 'Function Pass Manager' on module '1.ll'.
- Running pass 'Global Value Numbering' on function '@g'
Aborted
cat 1.ll
; ModuleID = '1.c'
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
define void @g() nounwind uwtable {
entry:
%code = alloca i8*, align 8
store i8* bitcast (void (...)* @f to i8*), i8** %code, align 8
%0 = load i8** %code, align 8
%arrayidx = getelementptr inbounds i8* %0, i64 0
%1 = load i8* %arrayidx
%tobool = icmp ne i8 %1, 0
br i1 %tobool, label %if.then, label %if.end
if.then: ; preds = %entry
call void (...)* @gg()
br label %if.end
if.end: ; preds = %if.then, %entry
%2 = load i8** %code, align 8
%3 = load i8* %2
call void @hh(i8 zeroext %3)
ret void
}
declare void @f(...)
declare void @gg(...)
declare void @hh(i8 zeroext)
This can also be reproduced with clang -c -O2 1.c
cat 1.c
void gg();
void hh(unsigned char);
void f();
void g() {
unsigned char code = (unsigned char)f;
if (code[0]) {
gg();
}
hh(*code);
}