clang::ento::RegionAndSymbolInvalidationTraits Class Reference

Information about invalidation for a particular region/symbol. More...

#include <MemRegion.h>

List of all members.

Public Types
enum	InvalidationKinds { TK_PreserveContents = 0x1, TK_SuppressEscape = 0x2 }
	Describes different invalidation traits. More...
Public Member Functions
void	setTrait (SymbolRef Sym, InvalidationKinds IK)
void	setTrait (const MemRegion *MR, InvalidationKinds IK)
bool	hasTrait (SymbolRef Sym, InvalidationKinds IK)
bool	hasTrait (const MemRegion *MR, InvalidationKinds IK)

---

Detailed Description

Information about invalidation for a particular region/symbol.

Definition at line 1320 of file MemRegion.h.

---

Member Enumeration Documentation

enum clang::ento::RegionAndSymbolInvalidationTraits::InvalidationKinds

Describes different invalidation traits.

Enumerator:

TK_PreserveContents	Tells that a region's contents is not changed.
TK_SuppressEscape	Suppress pointer-escaping of a region.

Definition at line 1332 of file MemRegion.h.

---

Member Function Documentation

bool RegionAndSymbolInvalidationTraits::hasTrait	(	SymbolRef	Sym,
		InvalidationKinds	IK
	)

Definition at line 1469 of file MemRegion.cpp.

Referenced by hasTrait().

bool RegionAndSymbolInvalidationTraits::hasTrait	(	const MemRegion *	MR,
		InvalidationKinds	IK
	)

Definition at line 1478 of file MemRegion.cpp.

References hasTrait().

void RegionAndSymbolInvalidationTraits::setTrait	(	SymbolRef	Sym,
		InvalidationKinds	IK
	)

Definition at line 1455 of file MemRegion.cpp.

Referenced by clang::ento::CallEvent::invalidateRegions(), and setTrait().

void RegionAndSymbolInvalidationTraits::setTrait	(	const MemRegion *	MR,
		InvalidationKinds	IK
	)

Definition at line 1460 of file MemRegion.cpp.

References setTrait().

---

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

• MemRegion.h
• MemRegion.cpp