#include "clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h"

Public Member Functions
	BasicValueFactory (ASTContext &ctx, llvm::BumpPtrAllocator &Alloc)

	~BasicValueFactory ()

ASTContext &	getContext () const

const llvm::APSInt &	getValue (const llvm::APSInt &X)

const llvm::APSInt &	getValue (const llvm::APInt &X, bool isUnsigned)

const llvm::APSInt &	getValue (uint64_t X, QualType T)

APSIntType	getAPSIntType (QualType T) const
	Returns the type of the APSInt used to store values of the given QualType. More...

const llvm::APSInt &	Convert (const llvm::APSInt &To, const llvm::APSInt &From)
	Convert - Create a new persistent APSInt with the same value as 'From' but with the bitwidth and signedness of 'To'. More...

const llvm::APSInt &	Convert (QualType T, const llvm::APSInt &From)

const llvm::APSInt &	getIntValue (uint64_t X, bool isUnsigned)

const llvm::APSInt &	getMaxValue (const llvm::APSInt &v)

const llvm::APSInt &	getMinValue (const llvm::APSInt &v)

const llvm::APSInt &	getMaxValue (QualType T)

const llvm::APSInt &	getMinValue (QualType T)

const llvm::APSInt &	Add1 (const llvm::APSInt &V)

const llvm::APSInt &	Sub1 (const llvm::APSInt &V)

const llvm::APSInt &	getZeroWithTypeSize (QualType T)

const llvm::APSInt &	getZeroWithPtrWidth (bool isUnsigned=true)

const llvm::APSInt &	getIntWithPtrWidth (uint64_t X, bool isUnsigned)

const llvm::APSInt &	getTruthValue (bool b, QualType T)

const llvm::APSInt &	getTruthValue (bool b)

const CompoundValData *	getCompoundValData (QualType T, llvm::ImmutableList< SVal > Vals)

const LazyCompoundValData *	getLazyCompoundValData (const StoreRef &store, const TypedValueRegion *region)

const PointerToMemberData *	getPointerToMemberData (const DeclaratorDecl DD, llvm::ImmutableList< const CXXBaseSpecifier > L)

llvm::ImmutableList< SVal >	getEmptySValList ()

llvm::ImmutableList< SVal >	prependSVal (SVal X, llvm::ImmutableList< SVal > L)

llvm::ImmutableList< const CXXBaseSpecifier * >	getEmptyCXXBaseList ()

llvm::ImmutableList< const CXXBaseSpecifier * >	prependCXXBase (const CXXBaseSpecifier CBS, llvm::ImmutableList< const CXXBaseSpecifier > L)

const PointerToMemberData *	accumCXXBase (llvm::iterator_range< CastExpr::path_const_iterator > PathRange, const nonloc::PointerToMember &PTM)

const llvm::APSInt *	evalAPSInt (BinaryOperator::Opcode Op, const llvm::APSInt &V1, const llvm::APSInt &V2)

const std::pair< SVal, uintptr_t > &	getPersistentSValWithData (const SVal &V, uintptr_t Data)

const std::pair< SVal, SVal > &	getPersistentSValPair (const SVal &V1, const SVal &V2)

const SVal *	getPersistentSVal (SVal X)

Detailed Description

Definition at line 107 of file BasicValueFactory.h.

Constructor & Destructor Documentation

◆ BasicValueFactory()

clang::ento::BasicValueFactory::BasicValueFactory	(	ASTContext &	ctx,
		llvm::BumpPtrAllocator &	Alloc
	)

inline

Definition at line 129 of file BasicValueFactory.h.

◆ ~BasicValueFactory()

BasicValueFactory::~BasicValueFactory ( )

Definition at line 79 of file BasicValueFactory.cpp.

Member Function Documentation

◆ accumCXXBase()

const PointerToMemberData * BasicValueFactory::accumCXXBase	(	llvm::iterator_range< CastExpr::path_const_iterator >	PathRange,
		const nonloc::PointerToMember &	PTM
	)

Definition at line 180 of file BasicValueFactory.cpp.

References clang::ento::PointerToMemberData::getCXXBaseList(), clang::ento::PointerToMemberData::getDeclaratorDecl(), and clang::ento::nonloc::PointerToMember::getPTMData().

◆ Add1()

const llvm::APSInt& clang::ento::BasicValueFactory::Add1 ( const llvm::APSInt & V )

inline

Definition at line 188 of file BasicValueFactory.h.

References getValue(), and X.

◆ Convert() [1/2]

const llvm::APSInt& clang::ento::BasicValueFactory::Convert	(	const llvm::APSInt &	To,
		const llvm::APSInt &	From
	)

inline

Convert - Create a new persistent APSInt with the same value as 'From' but with the bitwidth and signedness of 'To'.

Definition at line 150 of file BasicValueFactory.h.

References clang::ento::APSIntType::convert(), and getValue().

Referenced by clang::ento::ProgramState::getSValAsScalarOrLoc(), and clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >::getSymVal().

◆ Convert() [2/2]

const llvm::APSInt& clang::ento::BasicValueFactory::Convert	(	QualType	T,
		const llvm::APSInt &	From
	)

inline

Definition at line 159 of file BasicValueFactory.h.

References clang::ento::APSIntType::convert(), and getValue().

◆ evalAPSInt()

const llvm::APSInt * BasicValueFactory::evalAPSInt	(	BinaryOperator::Opcode	Op,
		const llvm::APSInt &	V1,
		const llvm::APSInt &	V2
	)

Definition at line 206 of file BasicValueFactory.cpp.

References getValue().

Referenced by clang::ento::nonloc::ConcreteInt::evalBinOp(), clang::ento::loc::ConcreteInt::evalBinOp(), and clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >::getSymVal().

◆ getAPSIntType()

APSIntType clang::ento::BasicValueFactory::getAPSIntType ( QualType T ) const

inline

Returns the type of the APSInt used to store values of the given QualType.

Definition at line 142 of file BasicValueFactory.h.

References clang::ASTContext::getIntWidth(), clang::Type::isIntegralOrEnumerationType(), clang::ento::Loc::isLocType(), and clang::Type::isSignedIntegerOrEnumerationType().

Referenced by clang::ento::RangedConstraintManager::assumeSymInclusiveRange(), clang::ento::RangedConstraintManager::assumeSymRel(), and clang::ento::CreateRangeConstraintManager().

◆ getCompoundValData()

const CompoundValData * BasicValueFactory::getCompoundValData	(	QualType	T,
		llvm::ImmutableList< SVal >	Vals
	)

Definition at line 126 of file BasicValueFactory.cpp.

References clang::ento::CompoundValData::CompoundValData(), and clang::ento::CompoundValData::Profile().

Referenced by clang::ento::SValBuilder::makeCompoundVal().

◆ getContext()

ASTContext& clang::ento::BasicValueFactory::getContext ( ) const

inline

Definition at line 135 of file BasicValueFactory.h.

References getValue().

Referenced by clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >::assumeSym(), clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >::assumeSymInclusiveRange(), clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >::canReasonAbout(), clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >::checkNull(), and clang::ento::SMTConstraintManager< ConstraintSMT, SMTExprTy >::getSymVal().

◆ getEmptyCXXBaseList()

llvm::ImmutableList<const CXXBaseSpecifier *> clang::ento::BasicValueFactory::getEmptyCXXBaseList ( )

inline

Definition at line 240 of file BasicValueFactory.h.

◆ getEmptySValList()

llvm::ImmutableList<SVal> clang::ento::BasicValueFactory::getEmptySValList ( )

inline

Definition at line 232 of file BasicValueFactory.h.

Referenced by clang::ento::SValBuilder::makeZeroVal(), and clang::ento::ExprEngine::VisitInitListExpr().

◆ getIntValue()

const llvm::APSInt& clang::ento::BasicValueFactory::getIntValue	(	uint64_t	X,
		bool	isUnsigned
	)

inline

Definition at line 167 of file BasicValueFactory.h.

References getValue(), clang::ASTContext::IntTy, and clang::ASTContext::UnsignedIntTy.

Referenced by clang::ento::SValBuilder::makeIntVal().

◆ getIntWithPtrWidth()

const llvm::APSInt& clang::ento::BasicValueFactory::getIntWithPtrWidth	(	uint64_t	X,
		bool	isUnsigned
	)

inline

Definition at line 209 of file BasicValueFactory.h.

References clang::ASTContext::getTypeSize(), getValue(), and clang::ASTContext::VoidPtrTy.

Referenced by clang::ento::SValBuilder::makeIntValWithPtrWidth().

◆ getLazyCompoundValData()

const LazyCompoundValData * BasicValueFactory::getLazyCompoundValData	(	const StoreRef &	store,
		const TypedValueRegion *	region
	)

Definition at line 144 of file BasicValueFactory.cpp.

References clang::ento::LazyCompoundValData::Profile().

Referenced by clang::ento::SValBuilder::makeLazyCompoundVal().

◆ getMaxValue() [1/2]

const llvm::APSInt& clang::ento::BasicValueFactory::getMaxValue ( const llvm::APSInt & v )

inline

Definition at line 172 of file BasicValueFactory.h.

References getValue().

Referenced by clang::ento::RangeSet::Intersect(), and clang::ento::RangeSet::Negate().

◆ getMaxValue() [2/2]

const llvm::APSInt& clang::ento::BasicValueFactory::getMaxValue ( QualType T )

inline

Definition at line 180 of file BasicValueFactory.h.

References getValue().

◆ getMinValue() [1/2]

const llvm::APSInt& clang::ento::BasicValueFactory::getMinValue ( const llvm::APSInt & v )

inline

Definition at line 176 of file BasicValueFactory.h.

References getValue().

Referenced by clang::ento::ProgramState::assumeInBound(), clang::ento::RangeSet::Intersect(), and clang::ento::RangeSet::Negate().

◆ getMinValue() [2/2]

const llvm::APSInt& clang::ento::BasicValueFactory::getMinValue ( QualType T )

inline

Definition at line 184 of file BasicValueFactory.h.

References getValue().

◆ getPersistentSVal()

const SVal * BasicValueFactory::getPersistentSVal ( SVal X )

Definition at line 348 of file BasicValueFactory.cpp.

◆ getPersistentSValPair()

const std::pair< SVal, SVal > & BasicValueFactory::getPersistentSValPair	(	const SVal &	V1,
		const SVal &	V2
	)

Definition at line 324 of file BasicValueFactory.cpp.

References P, and clang::ento::SVal::Profile().

◆ getPersistentSValWithData()

const std::pair< SVal, uintptr_t > & BasicValueFactory::getPersistentSValWithData	(	const SVal &	V,
		uintptr_t	Data
	)

Definition at line 299 of file BasicValueFactory.cpp.

References P, and clang::ento::SVal::Profile().

Referenced by clang::ento::SValBuilder::makeLocAsInteger().

◆ getPointerToMemberData()

const PointerToMemberData * BasicValueFactory::getPointerToMemberData	(	const DeclaratorDecl *	DD,
		llvm::ImmutableList< const CXXBaseSpecifier *>	L
	)

Definition at line 162 of file BasicValueFactory.cpp.

References clang::ento::PointerToMemberData::Profile().

◆ getTruthValue() [1/2]

const llvm::APSInt& clang::ento::BasicValueFactory::getTruthValue	(	bool	b,
		QualType	T
	)

inline

Definition at line 213 of file BasicValueFactory.h.

References clang::ASTContext::getIntWidth(), getValue(), and clang::Type::isUnsignedIntegerOrEnumerationType().

Referenced by clang::ento::SValBuilder::makeTruthVal().

◆ getTruthValue() [2/2]

const llvm::APSInt& clang::ento::BasicValueFactory::getTruthValue ( bool b )

inline

Definition at line 218 of file BasicValueFactory.h.

References clang::ASTContext::getLogicalOperationType().

◆ getValue() [1/3]

const llvm::APSInt & BasicValueFactory::getValue ( const llvm::APSInt & X )

Definition at line 90 of file BasicValueFactory.cpp.

References P.

◆ getValue() [2/3]

const llvm::APSInt & BasicValueFactory::getValue	(	const llvm::APInt &	X,
		bool	isUnsigned
	)

Definition at line 108 of file BasicValueFactory.cpp.

References getValue(), and X.

◆ getValue() [3/3]

const llvm::APSInt & BasicValueFactory::getValue	(	uint64_t	X,
		QualType	T
	)

Definition at line 121 of file BasicValueFactory.cpp.

References getValue().

◆ getZeroWithPtrWidth()

const llvm::APSInt& clang::ento::BasicValueFactory::getZeroWithPtrWidth ( bool isUnsigned = true )

inline

Definition at line 205 of file BasicValueFactory.h.

References clang::ASTContext::getTypeSize(), getValue(), and clang::ASTContext::VoidPtrTy.

Referenced by clang::ento::SValBuilder::makeNull().

◆ getZeroWithTypeSize()

const llvm::APSInt& clang::ento::BasicValueFactory::getZeroWithTypeSize ( QualType T )

inline

Definition at line 200 of file BasicValueFactory.h.

References clang::ASTContext::getTypeSize(), getValue(), and clang::Type::isScalarType().

Referenced by clang::ento::SValBuilder::makeNullWithType().

◆ prependCXXBase()

llvm::ImmutableList<const CXXBaseSpecifier *> clang::ento::BasicValueFactory::prependCXXBase	(	const CXXBaseSpecifier *	CBS,
		llvm::ImmutableList< const CXXBaseSpecifier *>	L
	)

inline

Definition at line 244 of file BasicValueFactory.h.

◆ prependSVal()

llvm::ImmutableList<SVal> clang::ento::BasicValueFactory::prependSVal	(	SVal	X,
		llvm::ImmutableList< SVal >	L
	)

inline

Definition at line 236 of file BasicValueFactory.h.

Referenced by clang::ento::ExprEngine::VisitInitListExpr().

◆ Sub1()

const llvm::APSInt& clang::ento::BasicValueFactory::Sub1 ( const llvm::APSInt & V )

inline

Definition at line 194 of file BasicValueFactory.h.

References getValue(), and X.

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

include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h
lib/StaticAnalyzer/Core/BasicValueFactory.cpp

Public Member Functions

Detailed Description

Constructor & Destructor Documentation

◆ BasicValueFactory()

◆ ~BasicValueFactory()

Member Function Documentation

◆ accumCXXBase()

◆ Add1()

◆ Convert() [1/2]

◆ Convert() [2/2]

◆ evalAPSInt()

◆ getAPSIntType()

◆ getCompoundValData()

◆ getContext()

◆ getEmptyCXXBaseList()

◆ getEmptySValList()

◆ getIntValue()

◆ getIntWithPtrWidth()

◆ getLazyCompoundValData()

◆ getMaxValue() [1/2]

◆ getMaxValue() [2/2]

◆ getMinValue() [1/2]

◆ getMinValue() [2/2]

◆ getPersistentSVal()

◆ getPersistentSValPair()

◆ getPersistentSValWithData()

◆ getPointerToMemberData()

◆ getTruthValue() [1/2]

◆ getTruthValue() [2/2]

◆ getValue() [1/3]

◆ getValue() [2/3]

◆ getValue() [3/3]

◆ getZeroWithPtrWidth()

◆ getZeroWithTypeSize()

◆ prependCXXBase()

◆ prependSVal()

◆ Sub1()