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

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

clang: lib/StaticAnalyzer/Core/Store.cpp Source File

;

: svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),

MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {}

.getInitialStackFrameContents(LCtx, InitialBindings);

(

&I : InitialBindings)

assert(!

.isNull());

(isa<CodeTextRegion, SymbolicRegion>(R))

(

*TR = dyn_cast<TypedValueRegion>(R)) {

(R->

() && IsSameRegionType(R, CanonPointeeTy))

MemRegion::CXXThisRegionKind:

MemRegion::CodeSpaceRegionKind:

MemRegion::StackLocalsSpaceRegionKind:

MemRegion::StackArgumentsSpaceRegionKind:

MemRegion::HeapSpaceRegionKind:

MemRegion::UnknownSpaceRegionKind:

MemRegion::StaticGlobalSpaceRegionKind:

MemRegion::GlobalInternalSpaceRegionKind:

MemRegion::GlobalSystemSpaceRegionKind:

MemRegion::GlobalImmutableSpaceRegionKind: {

llvm_unreachable(

);

MemRegion::FunctionCodeRegionKind:

MemRegion::BlockCodeRegionKind:

MemRegion::BlockDataRegionKind:

MemRegion::StringRegionKind:

MemRegion::SymbolicRegionKind:

MemRegion::AllocaRegionKind:

MemRegion::CompoundLiteralRegionKind:

MemRegion::FieldRegionKind:

MemRegion::ObjCIvarRegionKind:

MemRegion::ObjCStringRegionKind:

MemRegion::NonParamVarRegionKind:

MemRegion::ParamVarRegionKind:

MemRegion::CXXTempObjectRegionKind:

MemRegion::CXXLifetimeExtendedObjectRegionKind:

MemRegion::CXXBaseObjectRegionKind:

MemRegion::CXXDerivedObjectRegionKind:

MemRegion::ElementRegionKind: {

(IsSameRegionType(baseR, CanonPointeeTy))

int64_t newIndex = 0;

(!pointeeTySize.

()) {

(off % pointeeTySize == 0) {

newIndex = off / pointeeTySize;

llvm_unreachable(

);

*TVR = dyn_cast<TypedValueRegion>(MR);

*RD = TVR->getValueType()->getAsCXXRecordDecl();

(

&I :

)

I.Base->isVirtual());

assert(BaseDecl &&

);

(

*AlreadyDerivedReg =

dyn_cast<CXXDerivedObjectRegion>(DerivedReg)) {

(

*SR =

dyn_cast<SymbolicRegion>(AlreadyDerivedReg->getSuperRegion()))

(SR->getSymbol()->getType()->getPointeeCXXRecordDecl() == BaseDecl)

DerivedReg = AlreadyDerivedReg->getSuperRegion();

BaseDecl, cast<SubRegion>(DerivedReg), IsVirtual);

(

*TVR = dyn_cast<TypedValueRegion>(MR))

TVR->getValueType()->getAsCXXRecordDecl();

(

*SR = dyn_cast<SymbolicRegion>(MR))

SR->getSymbol()->getType()->getPointeeCXXRecordDecl();

assert(!TargetType.

());

(!TargetClass && !TargetType->

())

(MRClass == TargetClass)

(!TargetType->

() && MRClass->hasDefinition()) {

(MRClass->isDerivedFrom(TargetClass, Paths))

(

*BaseR = dyn_cast<CXXBaseObjectRegion>(MR)) {

MR = BaseR->getSuperRegion();

(Uncasted == MR) {

(

*SR = dyn_cast<SymbolicRegion>(MR)) {

(TargetClass && SourceClass && TargetClass->

(SourceClass))

(isa<TypedValueRegion>(MR))

(

.isUnknownOrUndef())

loc::MemRegionValKind:

loc::GotoLabelKind:

loc::ConcreteIntKind:

llvm_unreachable(

);

(

*ID = dyn_cast<ObjCIvarDecl>(

))

getLValueFieldOrIvar(

, base);

(Offset.isZeroConstant()) {

(!PointeeTy.

() &&

(

.isUnknownOrUndef() || isa<loc::ConcreteInt>(

))

(isa<loc::GotoLabel>(

))

*ElemR = dyn_cast<ElementRegion>(BaseRegion);

Offset = Off.value();

BaseIdx = ElemR->getIndex();

(!isa<nonloc::ConcreteInt>(BaseIdx))

llvm::APSInt &BaseIdxI =

(!isa<nonloc::ConcreteInt>(Offset)) {

(isa<ElementRegion>(BaseRegion->

()))

elementType, Offset, cast<SubRegion>(ElemR->getSuperRegion()),

));

assert(BaseIdxI.isSigned());

*ArrayR = cast<SubRegion>(ElemR->getSuperRegion());

(!SymV || SymV != Sym)

Defines the clang::ASTContext interface.

Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....

Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.

static bool regionMatchesCXXRecordType(SVal V, QualType Ty)

static const CXXRecordDecl * getCXXRecordType(const MemRegion *MR)

Returns the static type of the given region, if it represents a C++ class object.

C Language Family Type Representation.

Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...

CanQualType getCanonicalType(QualType T) const

Return the canonical (structural) type corresponding to the specified potentially non-canonical type ...

CharUnits getTypeSizeInChars(QualType T) const

Return the size of the specified (complete) type T, in characters.

Represents a path from a specific derived class (which is not represented as part of the path) to a p...

BasePaths - Represents the set of paths from a derived class to one of its (direct or indirect) bases...

Represents a base class of a C++ class.

Represents a C++ struct/union/class.

CXXRecordDecl * getCanonicalDecl() override

Retrieves the "canonical" declaration of the given declaration.

bool isDerivedFrom(const CXXRecordDecl *Base) const

Determine whether this class is derived from the class Base.

CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...

CharUnits - This is an opaque type for sizes expressed in character units.

bool isZero() const

isZero - Test whether the quantity equals zero.

QuantityType getQuantity() const

getQuantity - Get the raw integer representation of this quantity.

Decl - This represents one declaration (or definition), e.g.

ObjCIvarDecl - Represents an ObjC instance variable.

A (possibly-)qualified type.

QualType getLocalUnqualifiedType() const

Return this type with all of the instance-specific qualifiers removed, but without removing any quali...

bool isNull() const

Return true if this QualType doesn't point to a type yet.

QualType getCanonicalType() const

It represents a stack frame of the call stack (based on CallEvent).

CXXRecordDecl * getAsCXXRecordDecl() const

Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...

bool isBlockPointerType() const

const CXXRecordDecl * getPointeeCXXRecordDecl() const

If this is a pointer or reference to a RecordType, return the CXXRecordDecl that the type refers to.

QualType getPointeeType() const

If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.

bool isIncompleteType(NamedDecl **Def=nullptr) const

Types are partitioned into 3 broad categories (C99 6.2.5p1): object types, function types,...

bool isObjCObjectPointerType() const

Represents an abstract call to a function or method along a particular path.

ElementRegion is used to represent both array elements and casts.

RegionRawOffset getAsArrayOffset() const

Compute the offset within the array. The array might also be a subobject.

const CXXDerivedObjectRegion * getCXXDerivedObjectRegion(const CXXRecordDecl *BaseClass, const SubRegion *Super)

Create a CXXDerivedObjectRegion with the given derived class for region Super.

const FieldRegion * getFieldRegion(const FieldDecl *fd, const SubRegion *superRegion)

getFieldRegion - Retrieve or create the memory region associated with a specified FieldDecl.

const ElementRegion * getElementRegion(QualType elementType, NonLoc Idx, const SubRegion *superRegion, const ASTContext &Ctx)

getElementRegion - Retrieve the memory region associated with the associated element type,...

const ObjCIvarRegion * getObjCIvarRegion(const ObjCIvarDecl *ivd, const SubRegion *superRegion)

getObjCIvarRegion - Retrieve or create the memory region associated with a specified Objective-c inst...

const CXXBaseObjectRegion * getCXXBaseObjectRegion(const CXXRecordDecl *BaseClass, const SubRegion *Super, bool IsVirtual)

Create a CXXBaseObjectRegion with the given base class for region Super.

MemRegion - The root abstract class for all memory regions.

virtual bool isBoundable() const

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * StripCasts(bool StripBaseAndDerivedCasts=true) const

ASTContext & getContext()

CharUnits getOffset() const

const MemRegion * getRegion() const

BasicValueFactory & getBasicValueFactory()

NonLoc makeArrayIndex(uint64_t idx)

ASTContext & getContext()

SVal convertToArrayIndex(SVal val)

NonLoc makeZeroArrayIndex()

SVal - This represents a symbolic expression, which can be either an L-value or an R-value.

std::optional< T > getAs() const

Convert to the specified SVal type, returning std::nullopt if this SVal is not of the desired type.

SymbolRef getAsLocSymbol(bool IncludeBaseRegions=false) const

If this SVal is a location and wraps a symbol, return that SymbolRef.

const MemRegion * getAsRegion() const

T castAs() const

Convert to the specified SVal type, asserting that this SVal is of the desired type.

virtual ~BindingsHandler()

bool HandleBinding(StoreManager &SMgr, Store store, const MemRegion *R, SVal val) override

SVal evalDerivedToBase(SVal Derived, const CastExpr *Cast)

Evaluates a chain of derived-to-base casts through the path specified in Cast.

ProgramStateManager & StateMgr

std::optional< SVal > evalBaseToDerived(SVal Base, QualType DerivedPtrType)

Attempts to do a down cast.

const ElementRegion * MakeElementRegion(const SubRegion *baseRegion, QualType pointeeTy, uint64_t index=0)

StoreRef enterStackFrame(Store store, const CallEvent &Call, const StackFrameContext *CalleeCtx)

enterStackFrame - Let the StoreManager to do something when execution engine is about to execute into...

MemRegionManager & MRMgr

MRMgr - Manages region objects associated with this StoreManager.

SValBuilder & svalBuilder

virtual SVal getLValueIvar(const ObjCIvarDecl *decl, SVal base)

StoreManager(ProgramStateManager &stateMgr)

const ElementRegion * GetElementZeroRegion(const SubRegion *R, QualType T)

virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base)

std::optional< const MemRegion * > castRegion(const MemRegion *region, QualType CastToTy)

castRegion - Used by ExprEngine::VisitCast to handle casts from a MemRegion* to a specific location t...

SubRegion - A region that subsets another larger region.

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * getRegion() const

Get the underlining region.

Value representing integer constant.

const internal::VariadicAllOfMatcher< Decl > decl

Matches declarations.

const void * Store

Store - This opaque type encapsulates an immutable mapping from locations to values.

The JSON file list parser is used to communicate input to InstallAPI.

@ Bind

'bind' clause, allowed on routine constructs.

@ Result

The result type of a method or function.

const FunctionProtoType * T

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