RetroSearch Browse

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://clang.llvm.org/doxygen/classclang_1_1ento_1_1BasicValueFactory.html below:

clang: clang::ento::BasicValueFactory Class Reference

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

BasicValueFactory (ASTContext &ctx, llvm::BumpPtrAllocator &Alloc) ~BasicValueFactory () ASTContext & getContext () const APSIntPtr getValue (const llvm::APSInt &X) APSIntPtr getValue (const llvm::APInt &X, bool isUnsigned) APSIntPtr 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.
APSIntPtr 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'.
APSIntPtr Convert (QualType T, const llvm::APSInt &From) APSIntPtr Convert (APSIntType TargetType, const llvm::APSInt &From) APSIntPtr getIntValue (uint64_t X, bool isUnsigned) APSIntPtr getMaxValue (const llvm::APSInt &v) APSIntPtr getMinValue (const llvm::APSInt &v) APSIntPtr getMaxValue (QualType T) APSIntPtr getMinValue (QualType T) APSIntPtr getMaxValue (APSIntType T) APSIntPtr getMinValue (APSIntType T) APSIntPtr Add1 (const llvm::APSInt &V) APSIntPtr Sub1 (const llvm::APSInt &V) APSIntPtr getZeroWithTypeSize (QualType T) APSIntPtr getTruthValue (bool b, QualType T) APSIntPtr 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 NamedDecl *ND, 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 clang::CastKind &kind) std::optional< APSIntPtr > 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)

Definition at line 114 of file BasicValueFactory.h.

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

Definition at line 136 of file BasicValueFactory.h.

◆ ~BasicValueFactory() ◆ accumCXXBase() ◆ Add1() APSIntPtr clang::ento::BasicValueFactory::Add1 ( const llvm::APSInt & V ) inline ◆ Convert() [1/3] APSIntPtr clang::ento::BasicValueFactory::Convert ( APSIntType TargetType, const llvm::APSInt & From ) inline ◆ Convert() [2/3] APSIntPtr clang::ento::BasicValueFactory::Convert ( const llvm::APSInt & To, const llvm::APSInt & From ) inline ◆ Convert() [3/3] APSIntPtr clang::ento::BasicValueFactory::Convert ( QualType T, const llvm::APSInt & From ) inline ◆ evalAPSInt() ◆ getAPSIntType()

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

Definition at line 149 of file BasicValueFactory.h.

References clang::Type::getAs(), clang::Type::isIntegralOrEnumerationType(), clang::ento::Loc::isLocType(), clang::Type::isSignedIntegerOrEnumerationType(), clang::Type::isUnsignedFixedPointType(), and clang::T.

Referenced by clang::ento::iterator::assumeNoOverflow(), clang::ento::RangedConstraintManager::assumeSymInclusiveRange(), clang::ento::RangedConstraintManager::assumeSymRel(), Convert(), doRearrangeUnchecked(), getMaxValue(), getMinValue(), getValue(), and isWithinConstantOverflowBounds().

◆ getCompoundValData() ◆ getContext() ASTContext & clang::ento::BasicValueFactory::getContext ( ) const inline ◆ getEmptyCXXBaseList() ◆ getEmptySValList() llvm::ImmutableList< SVal > clang::ento::BasicValueFactory::getEmptySValList ( ) inline ◆ getIntValue() APSIntPtr clang::ento::BasicValueFactory::getIntValue ( uint64_t X, bool isUnsigned ) inline ◆ getLazyCompoundValData() ◆ getMaxValue() [1/3] ◆ getMaxValue() [2/3] APSIntPtr clang::ento::BasicValueFactory::getMaxValue ( const llvm::APSInt & v ) inline ◆ getMaxValue() [3/3] ◆ getMinValue() [1/3] ◆ getMinValue() [2/3] APSIntPtr clang::ento::BasicValueFactory::getMinValue ( const llvm::APSInt & v ) inline ◆ getMinValue() [3/3] ◆ getPersistentSVal() const SVal * BasicValueFactory::getPersistentSVal ( SVal X ) ◆ getPersistentSValPair() const std::pair< SVal, SVal > & BasicValueFactory::getPersistentSValPair ( const SVal & V1, const SVal & V2 ) ◆ getPersistentSValWithData() ◆ getPointerToMemberData() ◆ getTruthValue() [1/2] APSIntPtr clang::ento::BasicValueFactory::getTruthValue ( bool b ) inline ◆ getTruthValue() [2/2] ◆ getValue() [1/3] APSIntPtr BasicValueFactory::getValue ( const llvm::APInt & X, bool isUnsigned ) ◆ getValue() [2/3] APSIntPtr BasicValueFactory::getValue ( const llvm::APSInt & X ) ◆ getValue() [3/3] ◆ getZeroWithTypeSize() ◆ prependCXXBase() ◆ prependSVal() llvm::ImmutableList< SVal > clang::ento::BasicValueFactory::prependSVal ( SVal X, llvm::ImmutableList< SVal > L ) inline ◆ Sub1() APSIntPtr clang::ento::BasicValueFactory::Sub1 ( const llvm::APSInt & V ) inline

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

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

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4