llvm::AssertingVH< ValueTy > Class Template Reference

Value handle that asserts if the Value is deleted. More...

#include "llvm/IR/ValueHandle.h"

Inheritance diagram for llvm::AssertingVH< ValueTy >:

Public Member Functions
	AssertingVH ()
	AssertingVH (ValueTy *P)
	AssertingVH (const AssertingVH &)=default
	AssertingVH (AssertingVH &&RHS)
	operator ValueTy * () const
ValueTy *	operator= (ValueTy *RHS)
ValueTy *	operator= (const AssertingVH< ValueTy > &RHS)
ValueTy *	operator= (AssertingVH< ValueTy > &&RHS)
ValueTy *	operator-> () const
ValueTy &	operator* () const

Friends
struct	DenseMapInfo< AssertingVH< ValueTy > >

Detailed Description

template<typename ValueTy>
class llvm::AssertingVH< ValueTy >

Value handle that asserts if the Value is deleted.

This is a Value Handle that points to a value and asserts out if the value is destroyed while the handle is still live. This is very useful for catching dangling pointer bugs and other things which can be non-obvious. One particularly useful place to use this is as the Key of a map. Dangling pointer bugs often lead to really subtle bugs that only occur if another object happens to get allocated to the same address as the old one. Using an AssertingVH ensures that an assert is triggered as soon as the bad delete occurs.

Note that an AssertingVH handle does not follow values across RAUW operations. This means that RAUW's need to explicitly update the AssertingVH's as it moves. This is required because in non-assert mode this class turns into a trivial wrapper around a pointer.

Definition at line 279 of file ValueHandle.h.

Constructor & Destructor Documentation

AssertingVH() [1/4]

template<typename ValueTy>

llvm::AssertingVH< ValueTy >::AssertingVH ( )

inline

Definition at line 308 of file ValueHandle.h.

Referenced by AssertingVH(), AssertingVH(), operator=(), and operator=().

AssertingVH() [2/4]

template<typename ValueTy>

llvm::AssertingVH< ValueTy >::AssertingVH ( ValueTy * P )

inline

Definition at line 309 of file ValueHandle.h.

References P.

AssertingVH() [3/4]

template<typename ValueTy>

llvm::AssertingVH< ValueTy >::AssertingVH ( const AssertingVH< ValueTy > & )

default

References AssertingVH().

AssertingVH() [4/4]

template<typename ValueTy>

llvm::AssertingVH< ValueTy >::AssertingVH ( AssertingVH< ValueTy > && RHS )

inline

Definition at line 311 of file ValueHandle.h.

References AssertingVH(), and RHS.

Member Function Documentation

operator ValueTy *()

template<typename ValueTy>

llvm::AssertingVH< ValueTy >::operator ValueTy * ( ) const

inline

Definition at line 314 of file ValueHandle.h.

operator*()

template<typename ValueTy>

ValueTy & llvm::AssertingVH< ValueTy >::operator* ( ) const

inline

Definition at line 339 of file ValueHandle.h.

operator->()

template<typename ValueTy>

ValueTy * llvm::AssertingVH< ValueTy >::operator-> ( ) const

inline

Definition at line 338 of file ValueHandle.h.

operator=() [1/3]

template<typename ValueTy>

ValueTy * llvm::AssertingVH< ValueTy >::operator= ( AssertingVH< ValueTy > && RHS )

inline

Definition at line 332 of file ValueHandle.h.

References AssertingVH(), and RHS.

operator=() [2/3]

template<typename ValueTy>

ValueTy * llvm::AssertingVH< ValueTy >::operator= ( const AssertingVH< ValueTy > & RHS )

inline

Definition at line 322 of file ValueHandle.h.

References AssertingVH(), and RHS.

operator=() [3/3]

template<typename ValueTy>

ValueTy * llvm::AssertingVH< ValueTy >::operator= ( ValueTy * RHS )

inline

Definition at line 318 of file ValueHandle.h.

References RHS.

Friends And Related Symbol Documentation

DenseMapInfo< AssertingVH< ValueTy > >

template<typename ValueTy>

friend struct DenseMapInfo< AssertingVH< ValueTy > >

friend

Definition at line 258 of file ValueHandle.h.

---

The documentation for this class was generated from the following file:

• include/llvm/IR/ValueHandle.h