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

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

clang: include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h Source File

std::function<llvm::StringMap<QualType>(

)> CB) {

assert(!RecordStorageLocationCreated);

SyntheticFieldCallback = CB;

llvm::raw_ostream &OS = llvm::dbgs());

(SyntheticFieldCallback) {

llvm::StringMap<QualType>

= SyntheticFieldCallback(

);

(

&Entry :

)

(Entry.getValue()->isReferenceType())

NullableQualTypeDenseMapInfo :

llvm::DenseMapInfo<QualType> {

DenseMapInfo::getHashValue;

DenseMapInfo::getTombstoneKey;

DenseMapInfo::isEqual;

DataflowAnalysisContext(Solver &S, std::unique_ptr<Solver> &&OwnedSolver,

addModeledFields(

&Fields);

addTransitiveFlowConditionConstraints(

,

llvm::SetVector<const Formula *> &Out);

isSatisfiable(llvm::SetVector<const Formula *> Constraints) {

isUnsatisfiable(llvm::SetVector<const Formula *> Constraints) {

std::unique_ptr<Solver> OwnedSolver;

std::unique_ptr<Arena> A;

llvm::DenseMap<const ValueDecl *, StorageLocation *> DeclToLoc;

llvm::DenseMap<const Expr *, StorageLocation *> ExprToLoc;

llvm::DenseMap<QualType, PointerValue *, NullableQualTypeDenseMapInfo>

llvm::DenseMap<Atom, llvm::DenseSet<Atom>> FlowConditionDeps;

llvm::DenseMap<Atom, const Formula *> FlowConditionConstraints;

Formula *Invariant =

;

llvm::DenseMap<const FunctionDecl *, AdornedCFG> FunctionContexts;

std::unique_ptr<Logger> LogOwner;

std::function<llvm::StringMap<QualType>(QualType)> SyntheticFieldCallback;

RecordStorageLocationCreated =

;

Allows QualTypes to be sorted and hence used in maps and sets.

This represents one expression.

Represents a function declaration or definition.

A (possibly-)qualified type.

static QualType getFromOpaquePtr(const void *Ptr)

Token - This structure provides full information about a lexed token.

The base class of the type hierarchy.

bool isRecordType() const

Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...

Holds CFG with additional information derived from it that is needed to perform dataflow analysis.

The Arena owns the objects that model data within an analysis.

Owns objects that encompass the state of a program and stores context that is used during dataflow an...

const Options & getOptions()

void setSyntheticFieldCallback(std::function< llvm::StringMap< QualType >(QualType)> CB)

Sets a callback that returns the names and types of the synthetic fields to add to a RecordStorageLoc...

const AdornedCFG * getAdornedCFG(const FunctionDecl *F)

Returns the AdornedCFG registered for F, if any.

DataflowAnalysisContext(std::unique_ptr< Solver > S, Options Opts=Options{ std::nullopt, nullptr})

Constructs a dataflow analysis context.

Atom joinFlowConditions(Atom FirstToken, Atom SecondToken)

Creates a new flow condition that represents the disjunction of the flow conditions identified by Fir...

void addFlowConditionConstraint(Atom Token, const Formula &Constraint)

Adds Constraint to the flow condition identified by Token.

Atom forkFlowCondition(Atom Token)

Creates a new flow condition with the same constraints as the flow condition identified by Token and ...

bool equivalentFormulas(const Formula &Val1, const Formula &Val2)

Returns true if Val1 is equivalent to Val2.

StorageLocation & getStableStorageLocation(const ValueDecl &D)

Returns a stable storage location for D.

bool flowConditionImplies(Atom Token, const Formula &F)

Returns true if the constraints of the flow condition identified by Token imply that F is true.

Solver::Result querySolver(llvm::SetVector< const Formula * > Constraints)

Returns the outcome of satisfiability checking on Constraints.

bool flowConditionAllows(Atom Token, const Formula &F)

Returns true if the constraints of the flow condition identified by Token still allow F to be true.

PointerValue & getOrCreateNullPointerValue(QualType PointeeType)

Returns a pointer value that represents a null pointer.

void addInvariant(const Formula &Constraint)

Adds Constraint to current and future flow conditions in this context.

llvm::StringMap< QualType > getSyntheticFields(QualType Type)

Returns the names and types of the synthetic fields for the given record type.

~DataflowAnalysisContext()

StorageLocation & createStorageLocation(QualType Type)

Returns a new storage location appropriate for Type.

FieldSet getModeledFields(QualType Type)

Returns the fields of Type, limited to the set of fields modeled by this context.

LLVM_DUMP_METHOD void dumpFlowCondition(Atom Token, llvm::raw_ostream &OS=llvm::dbgs())

DataflowAnalysisContext(Solver &S, Options Opts=Options{ std::nullopt, nullptr})

Constructs a dataflow analysis context.

RecordStorageLocation & createRecordStorageLocation(QualType Type, RecordStorageLocation::FieldToLoc FieldLocs, RecordStorageLocation::SyntheticFieldMap SyntheticFields)

Creates a RecordStorageLocation for the given type and with the given fields.

Holds the state of the program (store and heap) at a given program point.

A logger is notified as the analysis progresses.

Models a symbolic pointer. Specifically, any value of type T*.

A storage location for a record (struct, class, or union).

llvm::DenseMap< const ValueDecl *, StorageLocation * > FieldToLoc

llvm::StringMap< StorageLocation * > SyntheticFieldMap

An interface for a SAT solver that can be used by dataflow analyses.

Base class for elements of the local variable store and of the heap.

Atom

Identifies an atomic boolean variable such as "V1".

llvm::SmallSetVector< const FieldDecl *, 4 > FieldSet

A set of FieldDecl *.

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

@ Result

The result type of a method or function.

unsigned Depth

The maximum depth to analyze.

Logger * Log

If provided, analysis details will be recorded here.

std::optional< ContextSensitiveOptions > ContextSensitiveOpts

Options for analyzing function bodies when present in the translation unit, or empty to disable conte...

Status getStatus() const

Returns the status of satisfiability checking on the queried boolean formula.

@ Unsatisfiable

Indicates that there is no satisfying assignment for a boolean formula.

@ Satisfiable

Indicates that there exists a satisfying assignment for a boolean formula.

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