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

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

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

;

{

ento {

assert(state->refCount > 0);

(--

->refCount == 0) {

Mgr.StateSet.RemoveNode(

);

Mgr.freeStates.push_back(

);

: stateMgr(RHS.stateMgr),

(RHS.

), store(RHS.store), GDM(RHS.GDM),

PosteriorlyOverconstrained(RHS.PosteriorlyOverconstrained), refCount(0) {

llvm::BumpPtrAllocator &alloc,

: Eng(ExprEng), EnvMgr(alloc), GDMFactory(alloc),

StoreMgr = (*CreateSMgr)(*this);

ConstraintMgr = (*CreateCMgr)(*

, ExprEng);

(GDMContextsTy::iterator I=GDMContexts.begin(),

=GDMContexts.end();

I->second.second(I->second.first);

newStore = StoreMgr->removeDeadBindings(NewState.

(), LCtx,

NewState.setStore(newStore);

notifyChanges)

{

(MR && notifyChanges)

&newStore = Mgr.StoreMgr->BindDefaultInitial(

(), R,

);

IS = &InvalidatedSyms;

ITraits = &ITraitsLocal;

&NewStore = Mgr.StoreMgr->invalidateRegions(

(), Values, S, Count, LCtx,

, *IS, *ITraits,

&TopLevelInvalidated, &Invalidated);

(CausedByPointerEscape) {

NewState, IS, TopLevelInvalidated,

, *ITraits);

Invalidated, LCtx,

);

(newStore.

() == OldStore)

makeWithStore(newStore);

ProgramState::desugarReference(

Val)

{

*TyReg = dyn_cast_or_null<TypedValueRegion>(Val.

());

(!TyReg || !TyReg->getValueType()->isReferenceType())

ProgramState::wrapSymbolicRegion(

Val)

{

*BaseReg = dyn_cast_or_null<SymbolicRegion>(Val.

());

ElemTy = BaseReg->getPointeeStaticType();

makeWithStore(NewStore);

.getSymVal(

, sym)) {

(

.getAs<

>())

,

Invalidate)

{

[[nodiscard]] std::pair<ProgramStateRef, ProgramStateRef>

{

,

};

{

,

};

{

,

};

{

,

};

std::pair<ProgramStateRef, ProgramStateRef> R =

Assumption ? R.first : R.second;

(

.isUnderconstrained())

(

.isZeroConstant())

(

.isConstant())

StoreMgr->getInitialStore(InitLoc),

GDMFactory.getEmptyMap());

NewState.GDM = GDMState->GDM;

llvm::FoldingSetNodeID ID;

(

*I = StateSet.FindNodeOrInsertPos(ID, InsertPos))

(!freeStates.empty()) {

newState = freeStates.back();

freeStates.pop_back();

StateSet.InsertNode(newState, InsertPos);

NewSt.setStore(store);

ProgramState::cloneAsPosteriorlyOverconstrained()

{

NewSt.PosteriorlyOverconstrained =

;

ProgramState::setStore(

&newStore) {

store = newStoreStore;

(

*I :

->chain()) {

=

.getLValueField(cast<FieldDecl>(I),

);

*NL,

Space,

Indent(Out, Space, IsDot) <<

<< NL;

Indent(Out, Space, IsDot) <<

;

Space)

{

(Out, LCtx,

, Space,

);

GDM.lookup(K);

*(*CreateContext)(llvm::BumpPtrAllocator&),

(*DeleteContext)(

*)) {

std::pair<

*, void (*)(

*)>& p = GDMContexts[K];

p.first = CreateContext(Alloc);

p.second = DeleteContext;

wasVisited = !visited.insert(val.

()).second;

&StoreMgr = state->getStateManager().getStoreManager();

wasVisited = !visited.insert(SubSym).second;

(

->getRegion());

(std::optional<nonloc::LazyCompoundVal>

=

(

->getLoc());

(isa<MemSpaceRegion>(R))

wasVisited = !visited.insert(R).second;

(

*SR = dyn_cast<SubRegion>(R)) {

*Super = SR->getSuperRegion();

(isa<MemSpaceRegion>(Super)) {

&StoreMgr = state->getStateManager().getStoreManager();

(

Var : BDR->referenced_vars()) {

(!

(Var.getCapturedRegion()))

llvm::iterator_range<region_iterator> Reachable,

ArrayRef< const MemRegion * > RegionList

ArrayRef< SVal > ValueList

__device__ __2f16 float __ockl_bool s

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

Represents a member of a struct/union/class.

Represents a field injected from an anonymous union/struct into the parent scope.

It wraps the AnalysisDeclContext to represent both the call stack with the help of StackFrameContext ...

const ImplicitParamDecl * getSelfDecl() const

A (possibly-)qualified type.

bool isNull() const

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

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

Stmt - This represents one statement.

bool isIntegralOrEnumerationType() const

Determine whether this type is an integral or enumeration type.

A safe wrapper around APSInt objects allocated and owned by BasicValueFactory.

APSIntPtr getMinValue(const llvm::APSInt &v)

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 sign...

BlockDataRegion - A region that represents a block instance.

Manages the lifetime of CallEvent objects.

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

ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond)

Returns a pair of states (StTrue, StFalse) where the given condition is assumed to be true or false,...

virtual void printJson(raw_ostream &Out, ProgramStateRef State, const char *NL, unsigned int Space, bool IsDot) const =0

An entry in the environment consists of a Stmt and an LocationContext.

Environment getInitialEnvironment()

Environment bindExpr(Environment Env, const EnvironmentEntry &E, SVal V, bool Invalidate)

Bind a symbolic value to the given environment entry.

Environment removeDeadBindings(Environment Env, SymbolReaper &SymReaper, ProgramStateRef state)

An immutable map from EnvironemntEntries to SVals.

void printJson(raw_ostream &Out, const ASTContext &Ctx, const LocationContext *LCtx=nullptr, const char *NL="\n", unsigned int Space=0, bool IsDot=false) const

ProgramStateRef processRegionChange(ProgramStateRef state, const MemRegion *MR, const LocationContext *LCtx)

void printJson(raw_ostream &Out, ProgramStateRef State, const LocationContext *LCtx, const char *NL, unsigned int Space, bool IsDot) const

printJson - Called by ProgramStateManager to print checker-specific data.

ProgramStateRef processRegionChanges(ProgramStateRef state, const InvalidatedSymbols *invalidated, ArrayRef< const MemRegion * > ExplicitRegions, ArrayRef< const MemRegion * > Regions, const LocationContext *LCtx, const CallEvent *Call)

processRegionChanges - Called by ProgramStateManager whenever a change is made to the store.

ProgramStateRef notifyCheckersOfPointerEscape(ProgramStateRef State, const InvalidatedSymbols *Invalidated, ArrayRef< const MemRegion * > ExplicitRegions, const CallEvent *Call, RegionAndSymbolInvalidationTraits &ITraits)

Call PointerEscape callback when a value escapes as a result of region invalidation.

AnalysisManager & getAnalysisManager()

static bool isLocType(QualType T)

MemRegion - The root abstract class for all memory regions.

virtual bool isBoundable() const

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * getBaseRegion() const

SValBuilder & getSValBuilder()

ProgramStateRef removeDeadBindingsFromEnvironmentAndStore(ProgramStateRef St, const StackFrameContext *LCtx, SymbolReaper &SymReaper)

ExprEngine & getOwningEngine()

ProgramStateRef removeGDM(ProgramStateRef state, void *Key)

void * FindGDMContext(void *index, void *(*CreateContext)(llvm::BumpPtrAllocator &), void(*DeleteContext)(void *))

friend class ProgramState

ASTContext & getContext()

ProgramStateRef getPersistentStateWithGDM(ProgramStateRef FromState, ProgramStateRef GDMState)

ProgramStateRef addGDM(ProgramStateRef St, void *Key, void *Data)

ProgramStateRef getPersistentState(ProgramState &Impl)

ProgramStateRef getInitialState(const LocationContext *InitLoc)

StoreManager & getStoreManager()

ProgramStateManager(ASTContext &Ctx, StoreManagerCreator CreateStoreManager, ConstraintManagerCreator CreateConstraintManager, llvm::BumpPtrAllocator &alloc, ExprEngine *expreng)

ConstraintManager & getConstraintManager()

ProgramState - This class encapsulates:

bool scanReachableSymbols(SVal val, SymbolVisitor &visitor) const

Visits the symbols reachable from the given SVal using the provided SymbolVisitor.

Loc getLValue(const CXXBaseSpecifier &BaseSpec, const SubRegion *Super) const

Get the lvalue for a base class object reference.

ProgramStateRef bindDefaultZero(SVal loc, const LocationContext *LCtx) const

Performs C++ zero-initialization procedure on the region of memory represented by loc.

llvm::ImmutableMap< void *, void * > GenericDataMap

ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx, SVal V, bool Invalidate=true) const

Create a new state by binding the value 'V' to the statement 'S' in the state's environment.

void printJson(raw_ostream &Out, const LocationContext *LCtx=nullptr, const char *NL="\n", unsigned int Space=0, bool IsDot=false) const

ProgramStateRef bindDefaultInitial(SVal loc, SVal V, const LocationContext *LCtx) const

Initializes the region of memory represented by loc with an initial value.

ConstraintManager & getConstraintManager() const

Return the ConstraintManager.

SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const

ProgramStateRef invalidateRegions(ArrayRef< const MemRegion * > Regions, const Stmt *S, unsigned BlockCount, const LocationContext *LCtx, bool CausesPointerEscape, InvalidatedSymbols *IS=nullptr, const CallEvent *Call=nullptr, RegionAndSymbolInvalidationTraits *ITraits=nullptr) const

Returns the state with bindings for the given regions cleared from the store.

SVal getSelfSVal(const LocationContext *LC) const

Return the value of 'self' if available in the given context.

SVal getRawSVal(Loc LV, QualType T=QualType()) const

Returns the "raw" SVal bound to LV before any value simplfication.

ConditionTruthVal isNull(SVal V) const

Check if the given SVal is constrained to zero or is a zero constant.

ProgramStateManager & getStateManager() const

Return the ProgramStateManager associated with this state.

ProgramStateRef killBinding(Loc LV) const

ProgramState(ProgramStateManager *mgr, const Environment &env, StoreRef st, GenericDataMap gdm)

This ctor is used when creating the first ProgramState object.

Store getStore() const

Return the store associated with this state.

ConditionTruthVal areEqual(SVal Lhs, SVal Rhs) const

void printDOT(raw_ostream &Out, const LocationContext *LCtx=nullptr, unsigned int Space=0) const

ConditionTruthVal isNonNull(SVal V) const

Check if the given SVal is not constrained to zero and is not a zero constant.

ProgramStateRef assumeInBound(DefinedOrUnknownSVal idx, DefinedOrUnknownSVal upperBound, bool assumption, QualType IndexType=QualType()) const

ProgramStateRef enterStackFrame(const CallEvent &Call, const StackFrameContext *CalleeCtx) const

enterStackFrame - Returns the state for entry to the given stack frame, preserving the current state.

LLVM_ATTRIBUTE_RETURNS_NONNULL const VarRegion * getRegion(const VarDecl *D, const LocationContext *LC) const

Utility method for getting regions.

SVal getSVal(const Stmt *S, const LocationContext *LCtx) const

Returns the SVal bound to the statement 'S' in the state's environment.

ProgramStateRef bindLoc(Loc location, SVal V, const LocationContext *LCtx, bool notifyChanges=true) const

BasicValueFactory & getBasicVals() const

std::pair< ProgramStateRef, ProgramStateRef > assumeInBoundDual(DefinedOrUnknownSVal idx, DefinedOrUnknownSVal upperBound, QualType IndexType=QualType()) const

AnalysisManager & getAnalysisManager() const

void *const * FindGDM(void *K) const

Information about invalidation for a particular region/symbol.

BasicValueFactory & getBasicValueFactory()

ASTContext & getContext()

QualType getArrayIndexType() const

virtual SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op, NonLoc lhs, NonLoc rhs, QualType resultTy)=0

Create a new value which represents a binary expression with two non- location operands.

ConditionTruthVal areEqual(ProgramStateRef state, SVal lhs, SVal rhs)

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

bool isUnknownOrUndef() const

SymbolRef getAsSymbol(bool IncludeBaseRegions=false) const

If this SVal wraps a symbol return that SymbolRef.

std::optional< T > getAs() const

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

const MemRegion * getAsRegion() const

T castAs() const

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

A utility class that visits the reachable symbols using a custom SymbolVisitor.

bool scan(nonloc::LazyCompoundVal val)

virtual bool scanReachableSymbols(Store S, const MemRegion *R, ScanReachableSymbols &Visitor)=0

Finds the transitive closure of symbols within the given region.

virtual void decrementReferenceCount(Store store)

If the StoreManager supports it, decrement the reference count of the specified Store object.

virtual void incrementReferenceCount(Store store)

If the StoreManager supports it, increment the reference count of the specified Store object.

virtual void printJson(raw_ostream &Out, Store S, const char *NL, unsigned int Space, bool IsDot) const =0

SubRegion - A region that subsets another larger region.

llvm::iterator_range< symbol_iterator > symbols() const

A class responsible for cleaning up unused symbols.

void setReapedStore(StoreRef st)

Set to the value of the symbolic store after StoreManager::removeDeadBindings has been called.

virtual bool VisitMemRegion(const MemRegion *)

virtual bool VisitSymbol(SymbolRef sym)=0

A visitor method invoked by ProgramStateManager::scanReachableSymbols.

SymbolicRegion - A special, "non-concrete" region.

TypedValueRegion - An abstract class representing regions having a typed value.

The simplest example of a concrete compound value is nonloc::CompoundVal, which represents a concrete...

Value representing integer constant.

While nonloc::CompoundVal covers a few simple use cases, nonloc::LazyCompoundVal is a more performant...

LLVM_ATTRIBUTE_RETURNS_NONNULL const LazyCompoundValData * getCVData() const

LLVM_ATTRIBUTE_RETURNS_NONNULL const TypedValueRegion * getRegion() const

This function itself is immaterial.

const void * getStore() const

It might return null.

SValBuilder * createSimpleSValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, ProgramStateManager &stateMgr)

void printDynamicTypeInfoJson(raw_ostream &Out, ProgramStateRef State, const char *NL="\n", unsigned int Space=0, bool IsDot=false)

std::unique_ptr< ConstraintManager >(* ConstraintManagerCreator)(ProgramStateManager &, ExprEngine *)

std::unique_ptr< StoreManager >(* StoreManagerCreator)(ProgramStateManager &)

llvm::DenseSet< SymbolRef > InvalidatedSymbols

const void * Store

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

void ProgramStateRetain(const ProgramState *state)

Increments the number of times this state is referenced.

void ProgramStateRelease(const ProgramState *state)

Decrement the number of times this state is referenced.

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

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