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

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

clang: lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp Source File

, llvm::cl::Hidden, llvm::cl::ValueOptional,

llvm::cl::desc(

));

DataflowAnalysisContext::addModeledFields(

&Fields) {

ModeledFields.set_union(Fields);

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

(Field->getType()->isReferenceType())

FieldLocs.insert({Field,

});

Field->getType().getNonReferenceType())});

SyntheticFields.insert(

std::move(SyntheticFields));

llvm::DenseSet<llvm::StringRef>

(

llvm::StringMap<T> &Map) {

llvm::DenseSet<llvm::StringRef>(Map.keys().begin(), Map.keys().end());

RecordStorageLocationCreated =

;

std::move(SyntheticFields));

DataflowAnalysisContext::getStableStorageLocation(

&

) {

(

*

= DeclToLoc.lookup(&

))

&

= createStorageLocation(

.getType().getNonReferenceType());

DeclToLoc[&

] = &

;

DataflowAnalysisContext::getStableStorageLocation(

&

) {

(

*

= ExprToLoc.lookup(&CanonE))

&

= createStorageLocation(CanonE.

());

ExprToLoc[&CanonE] = &

;

DataflowAnalysisContext::getOrCreateNullPointerValue(

PointeeType) {

CanonicalPointeeType =

Res = NullPointerVals.try_emplace(CanonicalPointeeType,

);

&PointeeLoc = createStorageLocation(CanonicalPointeeType);

Res.first->second = &arena().create<

>(PointeeLoc);

*Res.first->second;

DataflowAnalysisContext::addInvariant(

&Constraint) {

DataflowAnalysisContext::addFlowConditionConstraint(

Res = FlowConditionConstraints.try_emplace(

, &Constraint);

&arena().makeAnd(*Res.first->second, Constraint);

ForkToken = arena().makeFlowConditionToken();

FlowConditionDeps[ForkToken].insert(

);

addFlowConditionConstraint(ForkToken, arena().makeAtomRef(

));

DataflowAnalysisContext::joinFlowConditions(

FirstToken,

= arena().makeFlowConditionToken();

&TokenDeps = FlowConditionDeps[

];

TokenDeps.insert(FirstToken);

TokenDeps.insert(SecondToken);

addFlowConditionConstraint(

,

arena().makeOr(arena().makeAtomRef(FirstToken),

arena().makeAtomRef(SecondToken)));

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

S.solve(Constraints.getArrayRef());

DataflowAnalysisContext::flowConditionImplies(

,

llvm::SetVector<const Formula *> Constraints;

Constraints.insert(&arena().makeAtomRef(

));

Constraints.insert(&arena().makeNot(F));

addTransitiveFlowConditionConstraints(

, Constraints);

isUnsatisfiable(std::move(Constraints));

DataflowAnalysisContext::flowConditionAllows(

,

llvm::SetVector<const Formula *> Constraints;

Constraints.insert(&arena().makeAtomRef(

));

Constraints.insert(&F);

addTransitiveFlowConditionConstraints(

, Constraints);

isSatisfiable(std::move(Constraints));

DataflowAnalysisContext::equivalentFormulas(

&Val1,

llvm::SetVector<const Formula *> Constraints;

Constraints.insert(&arena().makeNot(arena().makeEquals(Val1, Val2)));

isUnsatisfiable(std::move(Constraints));

DataflowAnalysisContext::addTransitiveFlowConditionConstraints(

, llvm::SetVector<const Formula *> &Constraints) {

llvm::DenseSet<Atom> AddedTokens;

std::vector<Atom> Remaining = {

};

(!Remaining.empty()) {

= Remaining.back();

Remaining.pop_back();

(!AddedTokens.insert(

).second)

ConstraintsIt = FlowConditionConstraints.find(

);

(ConstraintsIt == FlowConditionConstraints.end()) {

Constraints.insert(&arena().makeAtomRef(

));

Constraints.insert(&arena().makeEquals(arena().makeAtomRef(Token),

*ConstraintsIt->second));

(

DepsIt = FlowConditionDeps.find(Token);

DepsIt != FlowConditionDeps.end())

(Atom A : DepsIt->second)

Remaining.push_back(A);

llvm::raw_ostream &OS) {

(

i = 0; i < Atoms.size(); ++i) {

(i + 1 < Atoms.size())

DataflowAnalysisContext::dumpFlowCondition(

,

llvm::raw_ostream &OS) {

llvm::SetVector<const Formula *> Constraints;

Constraints.insert(&arena().makeAtomRef(

));

addTransitiveFlowConditionConstraints(

, Constraints);

OS <<

<<

<<

;

llvm::SetVector<const Formula *> OriginalConstraints = Constraints;

(!Constraints.empty()) {

OS <<

;

(

*Constraint : Constraints) {

Constraint->print(OS);

OS <<

;

OS <<

;

OS <<

;

OS <<

;

(

*Constraint : OriginalConstraints) {

Constraint->print(OS);

It = FunctionContexts.find(F);

(It != FunctionContexts.end())

ACFG = AdornedCFG::build(*F);

= FunctionContexts.insert({F, std::move(*ACFG)});

&

.first->second;

Logger::textual(llvm::errs());

(

EC = llvm::sys::fs::create_directories(Dir))

llvm::errs() <<

<< EC.message() <<

;

std::atomic<unsigned> Counter = {0};

[Dir(Dir.str())]()

-> std::unique_ptr<llvm::raw_ostream> {

llvm::sys::path::append(

,

std::to_string(Counter.fetch_add(1)) +

);

OS = std::make_unique<llvm::raw_fd_ostream>(

, EC);

llvm::errs() <<

<<

<<

<< EC.message()

std::make_unique<llvm::raw_null_ostream>();

Logger::html(std::move(StreamFactory));

DataflowAnalysisContext::DataflowAnalysisContext(

Solver &S, std::unique_ptr<Solver> &&OwnedSolver, Options Opts)

: S(S), OwnedSolver(

::move(OwnedSolver)), A(

::make_unique<Arena>()),

(Opts.Log ==

) {

this->Opts.Log = LogOwner.get();

DataflowAnalysisContext::~DataflowAnalysisContext() =

;

static llvm::cl::opt< std::string > DataflowLog("dataflow-log", llvm::cl::Hidden, llvm::cl::ValueOptional, llvm::cl::desc("Emit log of dataflow analysis. With no arg, writes textual " "log to stderr. With an arg, writes HTML logs under the " "specified directory (one per analyzed function)."))

Defines the clang::Expr interface and subclasses for C++ expressions.

This represents one expression.

Represents a member of a struct/union/class.

Represents a function declaration or definition.

bool doesThisDeclarationHaveABody() const

Returns whether this specific declaration of the function has a body.

FunctionDecl * getDefinition()

Get the definition for this declaration.

A (possibly-)qualified type.

bool isNull() const

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

QualType getCanonicalType() const

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.

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

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

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.

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

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

bool isLiteral(bool b) const

static Logger & null()

Returns a dummy logger that does nothing.

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

A storage location that is not subdivided further for the purposes of abstract interpretation.

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

Atom

Identifies an atomic boolean variable such as "V1".

static void printAtomList(const llvm::SmallVector< Atom > &Atoms, llvm::raw_ostream &OS)

void simplifyConstraints(llvm::SetVector< const Formula * > &Constraints, Arena &arena, SimplifyConstraintsInfo *Info=nullptr)

Simplifies a set of constraints (implicitly connected by "and") in a way that does not change satisfi...

const Expr & ignoreCFGOmittedNodes(const Expr &E)

Skip past nodes that the CFG does not emit.

FieldSet getObjectFields(QualType Type)

Returns the set of all fields in the type.

static std::unique_ptr< Logger > makeLoggerFromCommandLine()

static llvm::DenseSet< llvm::StringRef > getKeys(const llvm::StringMap< T > &Map)

bool containsSameFields(const FieldSet &Fields, const RecordStorageLocation::FieldToLoc &FieldLocs)

Returns whether Fields and FieldLocs contain the same fields.

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

@ Result

The result type of a method or function.

@ Invariant

The parameter is invariant: must match exactly.

@ Class

The "class" keyword introduces the elaborated-type-specifier.

std::optional< ContextSensitiveOptions > ContextSensitiveOpts

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

Information on the way a set of constraints was simplified.

llvm::SmallVector< Atom > TrueAtoms

Atoms that the original constraints imply must be true.

llvm::SmallVector< llvm::SmallVector< Atom > > EquivalentAtoms

List of equivalence classes of atoms.

llvm::SmallVector< Atom > FalseAtoms

Atoms that the original constraints imply must be false.

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