diff options
| author | Gordon Henriksen <gordonhenriksen@mac.com> | 2008-10-25 16:28:35 +0000 |
|---|---|---|
| committer | Gordon Henriksen <gordonhenriksen@mac.com> | 2008-10-25 16:28:35 +0000 |
| commit | bf40eee91a4e1ee4866a94aedad563f01e253a9e (patch) | |
| tree | f97f4ec3a41757598d15549b7cf0db419a7ca65a /llvm/lib/VMCore | |
| parent | 5457ce9ac34381f3cd66676dfe63d3aeb2620f42 (diff) | |
| download | bcm5719-llvm-bf40eee91a4e1ee4866a94aedad563f01e253a9e.tar.gz bcm5719-llvm-bf40eee91a4e1ee4866a94aedad563f01e253a9e.zip | |
Related to PR2911, reject as invalid non-pointer GC roots.
llvm-svn: 58143
Diffstat (limited to 'llvm/lib/VMCore')
| -rw-r--r-- | llvm/lib/VMCore/Verifier.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/llvm/lib/VMCore/Verifier.cpp b/llvm/lib/VMCore/Verifier.cpp index 3ca9d8c8210..f8dd24c3af6 100644 --- a/llvm/lib/VMCore/Verifier.cpp +++ b/llvm/lib/VMCore/Verifier.cpp @@ -1347,8 +1347,10 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) { case Intrinsic::gcwrite: case Intrinsic::gcread: if (ID == Intrinsic::gcroot) { - Assert1(isa<AllocaInst>(CI.getOperand(1)->stripPointerCasts()), - "llvm.gcroot parameter #1 must be an alloca.", &CI); + AllocaInst *AI = + dyn_cast<AllocaInst>(CI.getOperand(1)->stripPointerCasts()); + Assert1(AI && isa<PointerType>(AI->getType()->getElementType()), + "llvm.gcroot parameter #1 must be a pointer alloca.", &CI); Assert1(isa<Constant>(CI.getOperand(2)), "llvm.gcroot parameter #2 must be a constant.", &CI); } |
