[llvm-commits] [llvm] r166159 - /llvm/trunk/lib/VMCore/Verifier.cpp

[Duncan Sands]

Hi Bill,

> Revert r166157 because some tests fail...

> --- llvm/trunk/lib/VMCore/Verifier.cpp (original)
> +++ llvm/trunk/lib/VMCore/Verifier.cpp Wed Oct 17 18:56:05 2012
> @@ -1371,11 +1371,9 @@
>     Type *TargetTy = GEP.getPointerOperandType()->getScalarType();
>
>     Assert1(isa<PointerType>(TargetTy),
> -          "GEP base pointer is not a vector or a vector of pointers", &GEP);
> +    "GEP base pointer is not a vector or a vector of pointers", &GEP);
>     Assert1(cast<PointerType>(TargetTy)->getElementType()->isSized(),
>             "GEP into unsized type!", &GEP);
> -  Assert1(GEP.getPointerOperand() != &GEP,
> -          "GEP is using the result as the pointer operand!", &GEP);

^ This is possible in unreachable basic blocks.

Ciao, Duncan.

>
>     SmallVector<Value*, 16> Idxs(GEP.idx_begin(), GEP.idx_end());
>     Type *ElTy =
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
>