clang
13.0.0git
|
#include "clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h"
Definition at line 106 of file BasicValueFactory.h.
|
inline |
Definition at line 128 of file BasicValueFactory.h.
BasicValueFactory::~BasicValueFactory | ( | ) |
Definition at line 79 of file BasicValueFactory.cpp.
const PointerToMemberData * BasicValueFactory::accumCXXBase | ( | llvm::iterator_range< CastExpr::path_const_iterator > | PathRange, |
const nonloc::PointerToMember & | PTM, | ||
const clang::CastKind & | kind | ||
) |
|
inline |
Definition at line 205 of file BasicValueFactory.h.
References V, and clang::tooling::X().
|
inline |
Definition at line 169 of file BasicValueFactory.h.
References clang::ento::APSIntType::convert().
|
inline |
Convert - Create a new persistent APSInt with the same value as 'From' but with the bitwidth and signedness of 'To'.
Definition at line 155 of file BasicValueFactory.h.
References clang::ento::APSIntType::convert().
Referenced by Convert(), and clang::ento::SMTConstraintManager::getSymVal().
|
inline |
Definition at line 164 of file BasicValueFactory.h.
References Convert(), and getAPSIntType().
const llvm::APSInt * BasicValueFactory::evalAPSInt | ( | BinaryOperator::Opcode | Op, |
const llvm::APSInt & | V1, | ||
const llvm::APSInt & | V2 | ||
) |
Definition at line 250 of file BasicValueFactory.cpp.
References clang::ASTContext::getLangOpts(), and getTruthValue().
Referenced by clang::ento::nonloc::ConcreteInt::evalBinOp(), clang::ento::loc::ConcreteInt::evalBinOp(), and clang::ento::SMTConstraintManager::getSymVal().
|
inline |
Returns the type of the APSInt used to store values of the given QualType.
Definition at line 141 of file BasicValueFactory.h.
References clang::Type::getAs(), clang::ASTContext::getIntWidth(), clang::Type::isIntegralOrEnumerationType(), clang::ento::Loc::isLocType(), and clang::Type::isSignedIntegerOrEnumerationType().
Referenced by clang::ento::iterator::assumeNoOverflow(), clang::ento::RangedConstraintManager::assumeSymInclusiveRange(), clang::ento::RangedConstraintManager::assumeSymRel(), Convert(), clang::ento::SValBuilder::evalCastSubKind(), getMaxValue(), getMinValue(), and getValue().
const CompoundValData * BasicValueFactory::getCompoundValData | ( | QualType | T, |
llvm::ImmutableList< SVal > | Vals | ||
) |
Definition at line 126 of file BasicValueFactory.cpp.
References clang::ento::CompoundValData::Profile().
Referenced by clang::ento::SValBuilder::makeCompoundVal().
|
inline |
Definition at line 134 of file BasicValueFactory.h.
Referenced by clang::ento::SMTConstraintManager::assumeSym(), clang::ento::SMTConstraintManager::assumeSymInclusiveRange(), clang::ento::SMTConstraintManager::canReasonAbout(), clang::ento::SMTConstraintManager::checkNull(), and clang::ento::SMTConstraintManager::getSymVal().
|
inline |
Definition at line 257 of file BasicValueFactory.h.
|
inline |
Definition at line 249 of file BasicValueFactory.h.
Referenced by clang::ento::SValBuilder::makeZeroVal(), and clang::ento::ExprEngine::VisitInitListExpr().
|
inline |
Definition at line 176 of file BasicValueFactory.h.
References clang::ASTContext::IntTy, clang::ASTContext::UnsignedIntTy, and clang::tooling::X().
Referenced by clang::ento::SValBuilder::makeIntVal().
|
inline |
Definition at line 226 of file BasicValueFactory.h.
References clang::ASTContext::getTypeSize(), clang::ASTContext::VoidPtrTy, and clang::tooling::X().
Referenced by clang::ento::SValBuilder::makeIntValWithPtrWidth().
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().
|
inline |
Definition at line 197 of file BasicValueFactory.h.
References clang::ento::APSIntType::getMaxValue().
|
inline |
|
inline |
Definition at line 189 of file BasicValueFactory.h.
References getAPSIntType(), and getMaxValue().
|
inline |
Definition at line 201 of file BasicValueFactory.h.
References clang::ento::APSIntType::getMinValue().
|
inline |
Definition at line 185 of file BasicValueFactory.h.
References v.
Referenced by clang::ento::ProgramState::assumeInBound(), and getMinValue().
|
inline |
Definition at line 193 of file BasicValueFactory.h.
References getAPSIntType(), and getMinValue().
Definition at line 394 of file BasicValueFactory.cpp.
References getPersistentSValWithData(), and clang::tooling::X().
const std::pair< SVal, SVal > & BasicValueFactory::getPersistentSValPair | ( | const SVal & | V1, |
const SVal & | V2 | ||
) |
Definition at line 370 of file BasicValueFactory.cpp.
References P, and clang::ento::SVal::Profile().
const std::pair< SVal, uintptr_t > & BasicValueFactory::getPersistentSValWithData | ( | const SVal & | V, |
uintptr_t | Data | ||
) |
Definition at line 345 of file BasicValueFactory.cpp.
Referenced by getPersistentSVal(), and clang::ento::SValBuilder::makeLocAsInteger().
const PointerToMemberData * BasicValueFactory::getPointerToMemberData | ( | const NamedDecl * | ND, |
llvm::ImmutableList< const CXXBaseSpecifier * > | L | ||
) |
Definition at line 162 of file BasicValueFactory.cpp.
References clang::ento::PointerToMemberData::Profile().
Referenced by accumCXXBase().
|
inline |
Definition at line 235 of file BasicValueFactory.h.
References b, clang::ASTContext::getLogicalOperationType(), and getTruthValue().
|
inline |
Definition at line 230 of file BasicValueFactory.h.
References b, clang::ASTContext::getIntWidth(), and clang::Type::isUnsignedIntegerOrEnumerationType().
Referenced by evalAPSInt(), getTruthValue(), and clang::ento::SValBuilder::makeTruthVal().
const llvm::APSInt & BasicValueFactory::getValue | ( | const llvm::APInt & | X, |
bool | isUnsigned | ||
) |
Definition at line 108 of file BasicValueFactory.cpp.
References V, and clang::tooling::X().
const llvm::APSInt & BasicValueFactory::getValue | ( | const llvm::APSInt & | X | ) |
Definition at line 90 of file BasicValueFactory.cpp.
References P, and clang::tooling::X().
const llvm::APSInt & BasicValueFactory::getValue | ( | uint64_t | X, |
QualType | T | ||
) |
Definition at line 121 of file BasicValueFactory.cpp.
References getAPSIntType(), and clang::tooling::X().
|
inline |
Definition at line 222 of file BasicValueFactory.h.
References clang::ASTContext::getTypeSize(), and clang::ASTContext::VoidPtrTy.
Referenced by clang::ento::SValBuilder::evalCastSubKind(), and clang::ento::SValBuilder::makeNull().
|
inline |
Definition at line 217 of file BasicValueFactory.h.
References clang::ASTContext::getTypeSize(), and clang::Type::isScalarType().
Referenced by clang::ento::SValBuilder::makeNullWithType().
|
inline |
Definition at line 261 of file BasicValueFactory.h.
Referenced by accumCXXBase().
|
inline |
Definition at line 253 of file BasicValueFactory.h.
References clang::tooling::X().
Referenced by clang::ento::ExprEngine::VisitInitListExpr().
|
inline |
Definition at line 211 of file BasicValueFactory.h.
References V, and clang::tooling::X().