clang  5.0.0
Public Member Functions | List of all members
clang::ento::BasicValueFactory Class Reference

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

Public Member Functions

 BasicValueFactory (ASTContext &ctx, llvm::BumpPtrAllocator &Alloc)
 
 ~BasicValueFactory ()
 
ASTContextgetContext () 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 CompoundValDatagetCompoundValData (QualType T, llvm::ImmutableList< SVal > Vals)
 
const LazyCompoundValDatagetLazyCompoundValData (const StoreRef &store, const TypedValueRegion *region)
 
const PointerToMemberDatagetPointerToMemberData (const DeclaratorDecl *DD, llvm::ImmutableList< const CXXBaseSpecifier * > L)
 
llvm::ImmutableList< SValgetEmptySValList ()
 
llvm::ImmutableList< SValprependSVal (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
clang::ento::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 SValgetPersistentSVal (SVal X)
 

Detailed Description

Definition at line 89 of file BasicValueFactory.h.

Constructor & Destructor Documentation

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

Definition at line 111 of file BasicValueFactory.h.

BasicValueFactory::~BasicValueFactory ( )

Definition at line 68 of file BasicValueFactory.cpp.

References E, and I.

Member Function Documentation

const clang::ento::PointerToMemberData * BasicValueFactory::accumCXXBase ( llvm::iterator_range< CastExpr::path_const_iterator PathRange,
const nonloc::PointerToMember PTM 
)
const llvm::APSInt& clang::ento::BasicValueFactory::Add1 ( const llvm::APSInt &  V)
inline

Definition at line 171 of file BasicValueFactory.h.

References X.

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 133 of file BasicValueFactory.h.

References clang::ento::APSIntType::convert().

Referenced by clang::ento::ProgramState::getSVal().

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

Definition at line 142 of file BasicValueFactory.h.

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

const llvm::APSInt * BasicValueFactory::evalAPSInt ( BinaryOperator::Opcode  Op,
const llvm::APSInt &  V1,
const llvm::APSInt &  V2 
)
APSIntType clang::ento::BasicValueFactory::getAPSIntType ( QualType  T) const
inline
const CompoundValData * BasicValueFactory::getCompoundValData ( QualType  T,
llvm::ImmutableList< SVal Vals 
)
ASTContext& clang::ento::BasicValueFactory::getContext ( ) const
inline

Definition at line 118 of file BasicValueFactory.h.

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

Definition at line 222 of file BasicValueFactory.h.

llvm::ImmutableList<SVal> clang::ento::BasicValueFactory::getEmptySValList ( )
inline
const llvm::APSInt& clang::ento::BasicValueFactory::getIntValue ( uint64_t  X,
bool  isUnsigned 
)
inline
const llvm::APSInt& clang::ento::BasicValueFactory::getIntWithPtrWidth ( uint64_t  X,
bool  isUnsigned 
)
inline
const LazyCompoundValData * BasicValueFactory::getLazyCompoundValData ( const StoreRef store,
const TypedValueRegion region 
)
const llvm::APSInt& clang::ento::BasicValueFactory::getMaxValue ( const llvm::APSInt &  v)
inline

Definition at line 155 of file BasicValueFactory.h.

Referenced by getMaxValue().

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

Definition at line 163 of file BasicValueFactory.h.

References getAPSIntType(), and getMaxValue().

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

Definition at line 159 of file BasicValueFactory.h.

Referenced by clang::ento::ProgramState::assumeInBound(), and getMinValue().

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

Definition at line 167 of file BasicValueFactory.h.

References getAPSIntType(), and getMinValue().

const SVal * BasicValueFactory::getPersistentSVal ( SVal  X)

Definition at line 340 of file BasicValueFactory.cpp.

References getPersistentSValWithData().

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

Definition at line 316 of file BasicValueFactory.cpp.

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

const std::pair< SVal, uintptr_t > & BasicValueFactory::getPersistentSValWithData ( const SVal V,
uintptr_t  Data 
)
const PointerToMemberData * BasicValueFactory::getPointerToMemberData ( const DeclaratorDecl DD,
llvm::ImmutableList< const CXXBaseSpecifier * >  L 
)

Definition at line 152 of file BasicValueFactory.cpp.

References ID, and clang::ento::PointerToMemberData::Profile().

Referenced by accumCXXBase().

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

Definition at line 79 of file BasicValueFactory.cpp.

References ID, and P.

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

Definition at line 96 of file BasicValueFactory.cpp.

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

Definition at line 109 of file BasicValueFactory.cpp.

References getAPSIntType().

const llvm::APSInt& clang::ento::BasicValueFactory::getZeroWithPtrWidth ( bool  isUnsigned = true)
inline
const llvm::APSInt& clang::ento::BasicValueFactory::getZeroWithTypeSize ( QualType  T)
inline
llvm::ImmutableList<const CXXBaseSpecifier *> clang::ento::BasicValueFactory::prependCXXBase ( const CXXBaseSpecifier CBS,
llvm::ImmutableList< const CXXBaseSpecifier * >  L 
)
inline

Definition at line 226 of file BasicValueFactory.h.

Referenced by accumCXXBase().

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

Definition at line 218 of file BasicValueFactory.h.

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

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

Definition at line 177 of file BasicValueFactory.h.

References X.


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