diff options
| author | Devang Patel <dpatel@apple.com> | 2010-03-19 21:06:24 +0000 |
|---|---|---|
| committer | Devang Patel <dpatel@apple.com> | 2010-03-19 21:06:24 +0000 |
| commit | 5002454d2a0d4c7677be24361169226a416218cf (patch) | |
| tree | 81110d781ae96bf60edb24de2753786272180091 /llvm/lib | |
| parent | 1734a2a5508b19601969f2ceb9d3005b16b3f1f4 (diff) | |
| download | bcm5719-llvm-5002454d2a0d4c7677be24361169226a416218cf.tar.gz bcm5719-llvm-5002454d2a0d4c7677be24361169226a416218cf.zip | |
call void @llvm.dbg.declare(metadata !{i32* null}, metadata !1)
is valid, but not useful, when variable identified by !1 is optimized away by the optimizer.
llvm-svn: 98986
Diffstat (limited to 'llvm/lib')
| -rw-r--r-- | llvm/lib/VMCore/Verifier.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/llvm/lib/VMCore/Verifier.cpp b/llvm/lib/VMCore/Verifier.cpp index 721e96a0f55..f1413825697 100644 --- a/llvm/lib/VMCore/Verifier.cpp +++ b/llvm/lib/VMCore/Verifier.cpp @@ -1623,10 +1623,6 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) { MDNode *MD = cast<MDNode>(CI.getOperand(1)); Assert1(MD->getNumOperands() == 1, "invalid llvm.dbg.declare intrinsic call 2", &CI); - if (MD->getOperand(0)) - if (Constant *C = dyn_cast<Constant>(MD->getOperand(0))) - Assert1(C && !isa<ConstantPointerNull>(C), - "invalid llvm.dbg.declare intrinsic call 3", &CI); } break; case Intrinsic::memcpy: case Intrinsic::memmove: |
