| //===- ValueHandleTest.cpp - ValueHandle tests ----------------------------===// |
| // |
| // The LLVM Compiler Infrastructure |
| // |
| // This file is distributed under the University of Illinois Open Source |
| // License. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #include "llvm/IR/ValueHandle.h" |
| #include "llvm/IR/Constants.h" |
| #include "llvm/IR/Instructions.h" |
| #include "llvm/IR/LLVMContext.h" |
| #include "gtest/gtest.h" |
| #include <memory> |
| |
| using namespace llvm; |
| |
| namespace { |
| |
| class ValueHandle : public testing::Test { |
| protected: |
| LLVMContext Context; |
| Constant *ConstantV; |
| std::unique_ptr<BitCastInst> BitcastV; |
| |
| ValueHandle() |
| : ConstantV(ConstantInt::get(Type::getInt32Ty(Context), 0)), |
| BitcastV(new BitCastInst(ConstantV, Type::getInt32Ty(Context))) {} |
| }; |
| |
| class ConcreteCallbackVH final : public CallbackVH { |
| public: |
| ConcreteCallbackVH(Value *V) : CallbackVH(V) {} |
| }; |
| |
| TEST_F(ValueHandle, WeakVH_BasicOperation) { |
| WeakVH WVH(BitcastV.get()); |
| EXPECT_EQ(BitcastV.get(), WVH); |
| WVH = ConstantV; |
| EXPECT_EQ(ConstantV, WVH); |
| |
| // Make sure I can call a method on the underlying Value. It |
| // doesn't matter which method. |
| EXPECT_EQ(Type::getInt32Ty(Context), WVH->getType()); |
| EXPECT_EQ(Type::getInt32Ty(Context), (*WVH).getType()); |
| |
| WVH = BitcastV.get(); |
| BitcastV->replaceAllUsesWith(ConstantV); |
| EXPECT_EQ(WVH, BitcastV.get()); |
| BitcastV.reset(); |
| EXPECT_EQ(WVH, nullptr); |
| } |
| |
| TEST_F(ValueHandle, WeakTrackingVH_BasicOperation) { |
| WeakTrackingVH WVH(BitcastV.get()); |
| EXPECT_EQ(BitcastV.get(), WVH); |
| WVH = ConstantV; |
| EXPECT_EQ(ConstantV, WVH); |
| |
| // Make sure I can call a method on the underlying Value. It |
| // doesn't matter which method. |
| EXPECT_EQ(Type::getInt32Ty(Context), WVH->getType()); |
| EXPECT_EQ(Type::getInt32Ty(Context), (*WVH).getType()); |
| } |
| |
| TEST_F(ValueHandle, WeakTrackingVH_Comparisons) { |
| WeakTrackingVH BitcastWVH(BitcastV.get()); |
| WeakTrackingVH ConstantWVH(ConstantV); |
| |
| EXPECT_TRUE(BitcastWVH == BitcastWVH); |
| EXPECT_TRUE(BitcastV.get() == BitcastWVH); |
| EXPECT_TRUE(BitcastWVH == BitcastV.get()); |
| EXPECT_FALSE(BitcastWVH == ConstantWVH); |
| |
| EXPECT_TRUE(BitcastWVH != ConstantWVH); |
| EXPECT_TRUE(BitcastV.get() != ConstantWVH); |
| EXPECT_TRUE(BitcastWVH != ConstantV); |
| EXPECT_FALSE(BitcastWVH != BitcastWVH); |
| |
| // Cast to Value* so comparisons work. |
| Value *BV = BitcastV.get(); |
| Value *CV = ConstantV; |
| EXPECT_EQ(BV < CV, BitcastWVH < ConstantWVH); |
| EXPECT_EQ(BV <= CV, BitcastWVH <= ConstantWVH); |
| EXPECT_EQ(BV > CV, BitcastWVH > ConstantWVH); |
| EXPECT_EQ(BV >= CV, BitcastWVH >= ConstantWVH); |
| |
| EXPECT_EQ(BV < CV, BitcastV.get() < ConstantWVH); |
| EXPECT_EQ(BV <= CV, BitcastV.get() <= ConstantWVH); |
| EXPECT_EQ(BV > CV, BitcastV.get() > ConstantWVH); |
| EXPECT_EQ(BV >= CV, BitcastV.get() >= ConstantWVH); |
| |
| EXPECT_EQ(BV < CV, BitcastWVH < ConstantV); |
| EXPECT_EQ(BV <= CV, BitcastWVH <= ConstantV); |
| EXPECT_EQ(BV > CV, BitcastWVH > ConstantV); |
| EXPECT_EQ(BV >= CV, BitcastWVH >= ConstantV); |
| } |
| |
| TEST_F(ValueHandle, WeakTrackingVH_FollowsRAUW) { |
| WeakTrackingVH WVH(BitcastV.get()); |
| WeakTrackingVH WVH_Copy(WVH); |
| WeakTrackingVH WVH_Recreated(BitcastV.get()); |
| BitcastV->replaceAllUsesWith(ConstantV); |
| EXPECT_EQ(ConstantV, WVH); |
| EXPECT_EQ(ConstantV, WVH_Copy); |
| EXPECT_EQ(ConstantV, WVH_Recreated); |
| } |
| |
| TEST_F(ValueHandle, WeakTrackingVH_NullOnDeletion) { |
| WeakTrackingVH WVH(BitcastV.get()); |
| WeakTrackingVH WVH_Copy(WVH); |
| WeakTrackingVH WVH_Recreated(BitcastV.get()); |
| BitcastV.reset(); |
| Value *null_value = nullptr; |
| EXPECT_EQ(null_value, WVH); |
| EXPECT_EQ(null_value, WVH_Copy); |
| EXPECT_EQ(null_value, WVH_Recreated); |
| } |
| |
| |
| TEST_F(ValueHandle, AssertingVH_BasicOperation) { |
| AssertingVH<CastInst> AVH(BitcastV.get()); |
| CastInst *implicit_to_exact_type = AVH; |
| (void)implicit_to_exact_type; // Avoid warning. |
| |
| AssertingVH<Value> GenericAVH(BitcastV.get()); |
| EXPECT_EQ(BitcastV.get(), GenericAVH); |
| GenericAVH = ConstantV; |
| EXPECT_EQ(ConstantV, GenericAVH); |
| |
| // Make sure I can call a method on the underlying CastInst. It |
| // doesn't matter which method. |
| EXPECT_FALSE(AVH->mayWriteToMemory()); |
| EXPECT_FALSE((*AVH).mayWriteToMemory()); |
| } |
| |
| TEST_F(ValueHandle, AssertingVH_Const) { |
| const CastInst *ConstBitcast = BitcastV.get(); |
| AssertingVH<const CastInst> AVH(ConstBitcast); |
| const CastInst *implicit_to_exact_type = AVH; |
| (void)implicit_to_exact_type; // Avoid warning. |
| } |
| |
| TEST_F(ValueHandle, AssertingVH_Comparisons) { |
| AssertingVH<Value> BitcastAVH(BitcastV.get()); |
| AssertingVH<Value> ConstantAVH(ConstantV); |
| |
| EXPECT_TRUE(BitcastAVH == BitcastAVH); |
| EXPECT_TRUE(BitcastV.get() == BitcastAVH); |
| EXPECT_TRUE(BitcastAVH == BitcastV.get()); |
| EXPECT_FALSE(BitcastAVH == ConstantAVH); |
| |
| EXPECT_TRUE(BitcastAVH != ConstantAVH); |
| EXPECT_TRUE(BitcastV.get() != ConstantAVH); |
| EXPECT_TRUE(BitcastAVH != ConstantV); |
| EXPECT_FALSE(BitcastAVH != BitcastAVH); |
| |
| // Cast to Value* so comparisons work. |
| Value *BV = BitcastV.get(); |
| Value *CV = ConstantV; |
| EXPECT_EQ(BV < CV, BitcastAVH < ConstantAVH); |
| EXPECT_EQ(BV <= CV, BitcastAVH <= ConstantAVH); |
| EXPECT_EQ(BV > CV, BitcastAVH > ConstantAVH); |
| EXPECT_EQ(BV >= CV, BitcastAVH >= ConstantAVH); |
| |
| EXPECT_EQ(BV < CV, BitcastV.get() < ConstantAVH); |
| EXPECT_EQ(BV <= CV, BitcastV.get() <= ConstantAVH); |
| EXPECT_EQ(BV > CV, BitcastV.get() > ConstantAVH); |
| EXPECT_EQ(BV >= CV, BitcastV.get() >= ConstantAVH); |
| |
| EXPECT_EQ(BV < CV, BitcastAVH < ConstantV); |
| EXPECT_EQ(BV <= CV, BitcastAVH <= ConstantV); |
| EXPECT_EQ(BV > CV, BitcastAVH > ConstantV); |
| EXPECT_EQ(BV >= CV, BitcastAVH >= ConstantV); |
| } |
| |
| TEST_F(ValueHandle, AssertingVH_DoesNotFollowRAUW) { |
| AssertingVH<Value> AVH(BitcastV.get()); |
| BitcastV->replaceAllUsesWith(ConstantV); |
| EXPECT_EQ(BitcastV.get(), AVH); |
| } |
| |
| #ifdef NDEBUG |
| |
| TEST_F(ValueHandle, AssertingVH_ReducesToPointer) { |
| EXPECT_EQ(sizeof(CastInst *), sizeof(AssertingVH<CastInst>)); |
| } |
| |
| #else // !NDEBUG |
| |
| #ifdef GTEST_HAS_DEATH_TEST |
| |
| TEST_F(ValueHandle, AssertingVH_Asserts) { |
| AssertingVH<Value> AVH(BitcastV.get()); |
| EXPECT_DEATH({BitcastV.reset();}, |
| "An asserting value handle still pointed to this value!"); |
| AssertingVH<Value> Copy(AVH); |
| AVH = nullptr; |
| EXPECT_DEATH({BitcastV.reset();}, |
| "An asserting value handle still pointed to this value!"); |
| Copy = nullptr; |
| BitcastV.reset(); |
| } |
| |
| #endif // GTEST_HAS_DEATH_TEST |
| |
| #endif // NDEBUG |
| |
| TEST_F(ValueHandle, CallbackVH_BasicOperation) { |
| ConcreteCallbackVH CVH(BitcastV.get()); |
| EXPECT_EQ(BitcastV.get(), CVH); |
| CVH = ConstantV; |
| EXPECT_EQ(ConstantV, CVH); |
| |
| // Make sure I can call a method on the underlying Value. It |
| // doesn't matter which method. |
| EXPECT_EQ(Type::getInt32Ty(Context), CVH->getType()); |
| EXPECT_EQ(Type::getInt32Ty(Context), (*CVH).getType()); |
| } |
| |
| TEST_F(ValueHandle, CallbackVH_Comparisons) { |
| ConcreteCallbackVH BitcastCVH(BitcastV.get()); |
| ConcreteCallbackVH ConstantCVH(ConstantV); |
| |
| EXPECT_TRUE(BitcastCVH == BitcastCVH); |
| EXPECT_TRUE(BitcastV.get() == BitcastCVH); |
| EXPECT_TRUE(BitcastCVH == BitcastV.get()); |
| EXPECT_FALSE(BitcastCVH == ConstantCVH); |
| |
| EXPECT_TRUE(BitcastCVH != ConstantCVH); |
| EXPECT_TRUE(BitcastV.get() != ConstantCVH); |
| EXPECT_TRUE(BitcastCVH != ConstantV); |
| EXPECT_FALSE(BitcastCVH != BitcastCVH); |
| |
| // Cast to Value* so comparisons work. |
| Value *BV = BitcastV.get(); |
| Value *CV = ConstantV; |
| EXPECT_EQ(BV < CV, BitcastCVH < ConstantCVH); |
| EXPECT_EQ(BV <= CV, BitcastCVH <= ConstantCVH); |
| EXPECT_EQ(BV > CV, BitcastCVH > ConstantCVH); |
| EXPECT_EQ(BV >= CV, BitcastCVH >= ConstantCVH); |
| |
| EXPECT_EQ(BV < CV, BitcastV.get() < ConstantCVH); |
| EXPECT_EQ(BV <= CV, BitcastV.get() <= ConstantCVH); |
| EXPECT_EQ(BV > CV, BitcastV.get() > ConstantCVH); |
| EXPECT_EQ(BV >= CV, BitcastV.get() >= ConstantCVH); |
| |
| EXPECT_EQ(BV < CV, BitcastCVH < ConstantV); |
| EXPECT_EQ(BV <= CV, BitcastCVH <= ConstantV); |
| EXPECT_EQ(BV > CV, BitcastCVH > ConstantV); |
| EXPECT_EQ(BV >= CV, BitcastCVH >= ConstantV); |
| } |
| |
| TEST_F(ValueHandle, CallbackVH_CallbackOnDeletion) { |
| class RecordingVH final : public CallbackVH { |
| public: |
| int DeletedCalls; |
| int AURWCalls; |
| |
| RecordingVH() : DeletedCalls(0), AURWCalls(0) {} |
| RecordingVH(Value *V) : CallbackVH(V), DeletedCalls(0), AURWCalls(0) {} |
| |
| private: |
| void deleted() override { |
| DeletedCalls++; |
| CallbackVH::deleted(); |
| } |
| void allUsesReplacedWith(Value *) override { AURWCalls++; } |
| }; |
| |
| RecordingVH RVH; |
| RVH = BitcastV.get(); |
| EXPECT_EQ(0, RVH.DeletedCalls); |
| EXPECT_EQ(0, RVH.AURWCalls); |
| BitcastV.reset(); |
| EXPECT_EQ(1, RVH.DeletedCalls); |
| EXPECT_EQ(0, RVH.AURWCalls); |
| } |
| |
| TEST_F(ValueHandle, CallbackVH_CallbackOnRAUW) { |
| class RecordingVH final : public CallbackVH { |
| public: |
| int DeletedCalls; |
| Value *AURWArgument; |
| |
| RecordingVH() : DeletedCalls(0), AURWArgument(nullptr) {} |
| RecordingVH(Value *V) |
| : CallbackVH(V), DeletedCalls(0), AURWArgument(nullptr) {} |
| |
| private: |
| void deleted() override { |
| DeletedCalls++; |
| CallbackVH::deleted(); |
| } |
| void allUsesReplacedWith(Value *new_value) override { |
| EXPECT_EQ(nullptr, AURWArgument); |
| AURWArgument = new_value; |
| } |
| }; |
| |
| RecordingVH RVH; |
| RVH = BitcastV.get(); |
| EXPECT_EQ(0, RVH.DeletedCalls); |
| EXPECT_EQ(nullptr, RVH.AURWArgument); |
| BitcastV->replaceAllUsesWith(ConstantV); |
| EXPECT_EQ(0, RVH.DeletedCalls); |
| EXPECT_EQ(ConstantV, RVH.AURWArgument); |
| } |
| |
| TEST_F(ValueHandle, CallbackVH_DeletionCanRAUW) { |
| class RecoveringVH final : public CallbackVH { |
| public: |
| int DeletedCalls; |
| Value *AURWArgument; |
| LLVMContext *Context; |
| |
| RecoveringVH(LLVMContext &TheContext) |
| : DeletedCalls(0), AURWArgument(nullptr), Context(&TheContext) {} |
| |
| RecoveringVH(LLVMContext &TheContext, Value *V) |
| : CallbackVH(V), DeletedCalls(0), AURWArgument(nullptr), |
| Context(&TheContext) {} |
| |
| private: |
| void deleted() override { |
| getValPtr()->replaceAllUsesWith( |
| Constant::getNullValue(Type::getInt32Ty(*Context))); |
| setValPtr(nullptr); |
| } |
| void allUsesReplacedWith(Value *new_value) override { |
| ASSERT_TRUE(nullptr != getValPtr()); |
| EXPECT_EQ(1U, getValPtr()->getNumUses()); |
| EXPECT_EQ(nullptr, AURWArgument); |
| AURWArgument = new_value; |
| } |
| }; |
| |
| // Normally, if a value has uses, deleting it will crash. However, we can use |
| // a CallbackVH to remove the uses before the check for no uses. |
| RecoveringVH RVH(Context); |
| RVH = RecoveringVH(Context, BitcastV.get()); |
| std::unique_ptr<BinaryOperator> BitcastUser(BinaryOperator::CreateAdd( |
| RVH, Constant::getNullValue(Type::getInt32Ty(Context)))); |
| EXPECT_EQ(BitcastV.get(), BitcastUser->getOperand(0)); |
| BitcastV.reset(); // Would crash without the ValueHandler. |
| EXPECT_EQ(Constant::getNullValue(Type::getInt32Ty(Context)), |
| RVH.AURWArgument); |
| EXPECT_EQ(Constant::getNullValue(Type::getInt32Ty(Context)), |
| BitcastUser->getOperand(0)); |
| } |
| |
| TEST_F(ValueHandle, DestroyingOtherVHOnSameValueDoesntBreakIteration) { |
| // When a CallbackVH modifies other ValueHandles in its callbacks, |
| // that shouldn't interfere with non-modified ValueHandles receiving |
| // their appropriate callbacks. |
| // |
| // We create the active CallbackVH in the middle of a palindromic |
| // arrangement of other VHs so that the bad behavior would be |
| // triggered in whichever order callbacks run. |
| |
| class DestroyingVH final : public CallbackVH { |
| public: |
| std::unique_ptr<WeakTrackingVH> ToClear[2]; |
| DestroyingVH(Value *V) { |
| ToClear[0].reset(new WeakTrackingVH(V)); |
| setValPtr(V); |
| ToClear[1].reset(new WeakTrackingVH(V)); |
| } |
| void deleted() override { |
| ToClear[0].reset(); |
| ToClear[1].reset(); |
| CallbackVH::deleted(); |
| } |
| void allUsesReplacedWith(Value *) override { |
| ToClear[0].reset(); |
| ToClear[1].reset(); |
| } |
| }; |
| |
| { |
| WeakTrackingVH ShouldBeVisited1(BitcastV.get()); |
| DestroyingVH C(BitcastV.get()); |
| WeakTrackingVH ShouldBeVisited2(BitcastV.get()); |
| |
| BitcastV->replaceAllUsesWith(ConstantV); |
| EXPECT_EQ(ConstantV, static_cast<Value*>(ShouldBeVisited1)); |
| EXPECT_EQ(ConstantV, static_cast<Value*>(ShouldBeVisited2)); |
| } |
| |
| { |
| WeakTrackingVH ShouldBeVisited1(BitcastV.get()); |
| DestroyingVH C(BitcastV.get()); |
| WeakTrackingVH ShouldBeVisited2(BitcastV.get()); |
| |
| BitcastV.reset(); |
| EXPECT_EQ(nullptr, static_cast<Value*>(ShouldBeVisited1)); |
| EXPECT_EQ(nullptr, static_cast<Value*>(ShouldBeVisited2)); |
| } |
| } |
| |
| TEST_F(ValueHandle, AssertingVHCheckedLast) { |
| // If a CallbackVH exists to clear out a group of AssertingVHs on |
| // Value deletion, the CallbackVH should get a chance to do so |
| // before the AssertingVHs assert. |
| |
| class ClearingVH final : public CallbackVH { |
| public: |
| AssertingVH<Value> *ToClear[2]; |
| ClearingVH(Value *V, |
| AssertingVH<Value> &A0, AssertingVH<Value> &A1) |
| : CallbackVH(V) { |
| ToClear[0] = &A0; |
| ToClear[1] = &A1; |
| } |
| |
| void deleted() override { |
| *ToClear[0] = nullptr; |
| *ToClear[1] = nullptr; |
| CallbackVH::deleted(); |
| } |
| }; |
| |
| AssertingVH<Value> A1, A2; |
| A1 = BitcastV.get(); |
| ClearingVH C(BitcastV.get(), A1, A2); |
| A2 = BitcastV.get(); |
| // C.deleted() should run first, clearing the two AssertingVHs, |
| // which should prevent them from asserting. |
| BitcastV.reset(); |
| } |
| |
| TEST_F(ValueHandle, PoisoningVH_BasicOperation) { |
| PoisoningVH<CastInst> VH(BitcastV.get()); |
| CastInst *implicit_to_exact_type = VH; |
| (void)implicit_to_exact_type; // Avoid warning. |
| |
| PoisoningVH<Value> GenericVH(BitcastV.get()); |
| EXPECT_EQ(BitcastV.get(), GenericVH); |
| GenericVH = ConstantV; |
| EXPECT_EQ(ConstantV, GenericVH); |
| |
| // Make sure I can call a method on the underlying CastInst. It |
| // doesn't matter which method. |
| EXPECT_FALSE(VH->mayWriteToMemory()); |
| EXPECT_FALSE((*VH).mayWriteToMemory()); |
| } |
| |
| TEST_F(ValueHandle, PoisoningVH_Const) { |
| const CastInst *ConstBitcast = BitcastV.get(); |
| PoisoningVH<const CastInst> VH(ConstBitcast); |
| const CastInst *implicit_to_exact_type = VH; |
| (void)implicit_to_exact_type; // Avoid warning. |
| } |
| |
| TEST_F(ValueHandle, PoisoningVH_Comparisons) { |
| PoisoningVH<Value> BitcastVH(BitcastV.get()); |
| PoisoningVH<Value> ConstantVH(ConstantV); |
| |
| EXPECT_TRUE(BitcastVH == BitcastVH); |
| EXPECT_TRUE(BitcastV.get() == BitcastVH); |
| EXPECT_TRUE(BitcastVH == BitcastV.get()); |
| EXPECT_FALSE(BitcastVH == ConstantVH); |
| |
| EXPECT_TRUE(BitcastVH != ConstantVH); |
| EXPECT_TRUE(BitcastV.get() != ConstantVH); |
| EXPECT_TRUE(BitcastVH != ConstantV); |
| EXPECT_FALSE(BitcastVH != BitcastVH); |
| |
| // Cast to Value* so comparisons work. |
| Value *BV = BitcastV.get(); |
| Value *CV = ConstantV; |
| EXPECT_EQ(BV < CV, BitcastVH < ConstantVH); |
| EXPECT_EQ(BV <= CV, BitcastVH <= ConstantVH); |
| EXPECT_EQ(BV > CV, BitcastVH > ConstantVH); |
| EXPECT_EQ(BV >= CV, BitcastVH >= ConstantVH); |
| |
| EXPECT_EQ(BV < CV, BitcastV.get() < ConstantVH); |
| EXPECT_EQ(BV <= CV, BitcastV.get() <= ConstantVH); |
| EXPECT_EQ(BV > CV, BitcastV.get() > ConstantVH); |
| EXPECT_EQ(BV >= CV, BitcastV.get() >= ConstantVH); |
| |
| EXPECT_EQ(BV < CV, BitcastVH < ConstantV); |
| EXPECT_EQ(BV <= CV, BitcastVH <= ConstantV); |
| EXPECT_EQ(BV > CV, BitcastVH > ConstantV); |
| EXPECT_EQ(BV >= CV, BitcastVH >= ConstantV); |
| } |
| |
| TEST_F(ValueHandle, PoisoningVH_DoesNotFollowRAUW) { |
| PoisoningVH<Value> VH(BitcastV.get()); |
| BitcastV->replaceAllUsesWith(ConstantV); |
| EXPECT_TRUE(DenseMapInfo<PoisoningVH<Value>>::isEqual(VH, BitcastV.get())); |
| } |
| |
| #ifdef NDEBUG |
| |
| TEST_F(ValueHandle, PoisoningVH_ReducesToPointer) { |
| EXPECT_EQ(sizeof(CastInst *), sizeof(PoisoningVH<CastInst>)); |
| } |
| |
| #else // !NDEBUG |
| |
| TEST_F(ValueHandle, TrackingVH_Tracks) { |
| TrackingVH<Value> VH(BitcastV.get()); |
| BitcastV->replaceAllUsesWith(ConstantV); |
| EXPECT_EQ(VH, ConstantV); |
| } |
| |
| #ifdef GTEST_HAS_DEATH_TEST |
| |
| TEST_F(ValueHandle, PoisoningVH_Asserts) { |
| PoisoningVH<Value> VH(BitcastV.get()); |
| |
| // The poisoned handle shouldn't assert when the value is deleted. |
| BitcastV.reset(new BitCastInst(ConstantV, Type::getInt32Ty(Context))); |
| // But should when we access the handle. |
| EXPECT_DEATH((void)*VH, "Accessed a poisoned value handle!"); |
| |
| // Now check that poison catches RAUW. |
| VH = BitcastV.get(); |
| // The replace doesn't trigger anything immediately. |
| BitcastV->replaceAllUsesWith(ConstantV); |
| // But a use does. |
| EXPECT_DEATH((void)*VH, "Accessed a poisoned value handle!"); |
| |
| // Don't clear anything out here as destroying the handles should be fine. |
| } |
| |
| TEST_F(ValueHandle, TrackingVH_Asserts) { |
| { |
| TrackingVH<Value> VH(BitcastV.get()); |
| |
| // The tracking handle shouldn't assert when the value is deleted. |
| BitcastV.reset(new BitCastInst(ConstantV, Type::getInt32Ty(Context))); |
| // But should when we access the handle. |
| EXPECT_DEATH((void)*VH, |
| "TrackingVH must be non-null and valid on dereference!"); |
| } |
| |
| { |
| TrackingVH<Instruction> VH(BitcastV.get()); |
| |
| BitcastV->replaceAllUsesWith(ConstantV); |
| EXPECT_DEATH((void)*VH, |
| "Tracked Value was replaced by one with an invalid type!"); |
| } |
| } |
| |
| #endif // GTEST_HAS_DEATH_TEST |
| |
| #endif // NDEBUG |
| } |