clang::ento::Loc Class Reference

#include <SVals.h>

Inheritance diagram for clang::ento::Loc:

Collaboration diagram for clang::ento::Loc:

List of all members.

Public Member Functions
void	dumpToStream (raw_ostream &Out) const
Static Public Member Functions
static bool	isLocType (QualType T)
Protected Member Functions
	Loc ()
	Loc (unsigned SubKind, const void *D)
Friends
class	SVal

---

Detailed Description

Definition at line 282 of file SVals.h.

---

Constructor & Destructor Documentation

clang::ento::Loc::Loc

(

)

[inline, protected]

Definition at line 284 of file SVals.h.

clang::ento::Loc::Loc	(	unsigned	SubKind,
		const void *	D
	)		[inline, explicit, protected]

Definition at line 285 of file SVals.h.

---

Member Function Documentation

void Loc::dumpToStream

(

raw_ostream &

Out

)

const

Reimplemented from clang::ento::SVal.

Definition at line 308 of file SVals.cpp.

References clang::ento::loc::ConcreteIntKind, getValue(), clang::ento::loc::GotoLabelKind, and clang::ento::loc::MemRegionKind.

static bool clang::ento::Loc::isLocType

(

QualType

T

)

[inline, static]

Definition at line 291 of file SVals.h.

References clang::Type::isAnyPointerType(), clang::Type::isBlockPointerType(), clang::Type::isNullPtrType(), and clang::Type::isReferenceType().

Referenced by clang::ento::SimpleConstraintManager::assumeAux(), clang::ento::SimpleConstraintManager::canReasonAbout(), clang::ento::SymbolManager::canSymbolicate(), clang::ento::ConstraintManager::checkNull(), clang::ento::SValBuilder::conjureSymbolVal(), clang::ento::SValBuilder::evalCast(), clang::ento::BasicValueFactory::getAPSIntType(), clang::ento::SValBuilder::getConjuredHeapSymbolVal(), clang::ento::SValBuilder::getConstantVal(), clang::ento::SValBuilder::getDerivedRegionValueSymbolVal(), clang::ento::SValBuilder::getMetadataSymbolVal(), clang::ento::SValBuilder::getRegionValueSymbolVal(), clang::ento::ProgramState::getSValAsScalarOrLoc(), clang::ento::SValBuilder::makeIntVal(), clang::ento::SValBuilder::makeNonLoc(), clang::ento::SValBuilder::makeZeroVal(), clang::ento::ExprEngine::VisitIncrementDecrementOperator(), and clang::ento::ExprEngine::VisitObjCForCollectionStmt().

---

Friends And Related Function Documentation

friend class SVal [friend]

Reimplemented from clang::ento::DefinedSVal.

Reimplemented in clang::ento::loc::ConcreteInt, clang::ento::loc::MemRegionVal, and clang::ento::loc::GotoLabel.

Definition at line 297 of file SVals.h.

---

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

• SVals.h
• SVals.cpp