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

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

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

StreamFactory = std::function<std::unique_ptr<llvm::raw_ostream>()>;

ModelDumper(llvm::json::OStream &JOS,

Environment &Env)

.attribute(

, llvm::to_string(&

));

(

.getKind()) {

.attributeObject(

, [&] {

(cast<PointerValue>(

).getPointeeLoc()); });

(

& Prop :

.properties())

.attributeObject((

+ Prop.first()).str(),

[&] {

(*Prop.second); });

(

*B = llvm::dyn_cast<BoolValue>(&

)) {

.attribute(

, llvm::to_string(B->formula()));

.attribute(

,

.proves(B->formula()) ?

:

.proves(

.arena().makeNot(B->formula()))

(

StorageLocation &L) {

.attribute(

, llvm::to_string(&L));

(!

.insert(&L).second)

.attribute(

, L.getType().getAsString());

(!L.getType()->isRecordType())

(

*

=

.getValue(L))

(

*RLoc = dyn_cast<RecordStorageLocation>(&L)) {

(

&Child : RLoc->children())

.attributeObject(

+ Child.first->getNameAsString(), [&] {

(

&SyntheticField : RLoc->synthetic_fields())

.attributeObject((

+ SyntheticField.first()).str(),

[&] { dump(*SyntheticField.second); });

llvm::json::OStream &

;

HTMLLogger :

Logger {

StreamFactory Streams;

std::unique_ptr<llvm::raw_ostream> OS;

llvm::raw_string_ostream JStringStream{JSON};

llvm::json::OStream

{JStringStream,

2};

AdornedCFG *ACFG;

std::vector<Iteration> Iters;

llvm::DenseMap<const CFGBlock *, llvm::SmallVector<size_t>> BlockIters;

llvm::BitVector BlockConverged;

std::string ContextLogs;

ElementIndex;

HTMLLogger(StreamFactory Streams) : Streams(

::move(Streams)) {}

beginAnalysis(

AdornedCFG &ACFG,

TypeErasedDataflowAnalysis &A)

{

*OS << llvm::StringRef(HTMLLogger_html).split(

).first;

BlockConverged.resize(ACFG.getCFG().getNumBlockIDs());

&

= ACFG.getDecl();

&

= A.getASTContext().getSourceManager();

(

*ND = dyn_cast<NamedDecl>(&

))

*OS << ND->getNameAsString() <<

;

*OS <<

.getFilename(

.getLocation()) <<

<<

.getSpellingLineNumber(

.getLocation());

*OS <<

;

*OS <<

<< HTMLLogger_css <<

;

*OS <<

<< HTMLLogger_js <<

;

.attributeBegin(

);

endAnalysis()

{

.attributeArray(

, [&] {

(

&

: Iters) {

.attribute(

, blockID(

.Block->getBlockID()));

.attribute(

,

.Iter);

.attribute(

,

.PostVisit);

.attribute(

,

.Converged);

.attributeObject(

, [&] {

(

&

: BlockIters)

writeBlock(*

.first,

.second);

*OS <<

;

*OS <<

;

*OS << llvm::StringRef(HTMLLogger_html).split(

).second;

enterBlock(

CFGBlock &B,

)

{

IterNum = BIter.size() + 1;

BIter.push_back(Iters.size());

Iters.push_back({&B, IterNum,

,

});

BlockConverged[B.getBlockID()] =

;

enterElement(

CFGElement &

)

{

std::string blockID(

) {

llvm::formatv(

,

);

std::string eltID(

,

Element) {

llvm::formatv(

,

, Element);

std::string iterID(

,

) {

llvm::formatv(

,

,

);

std::string elementIterID(

,

,

llvm::formatv(

,

,

, Element);

recordState(TypeErasedDataflowAnalysisState &State)

{

= Iters.back().Block->getBlockID();

= Iters.back().Iter;

.attributeObject(elementIterID(

,

, ElementIndex), [&] {

.attribute(

, blockID(

));

.attribute(

,

);

.attribute(

, ElementIndex);

(ElementIndex > 0) {

Iters.back().

->Elements[ElementIndex - 1].getAs<CFGStmt>();

(

Expr *

= S ? llvm::dyn_cast<Expr>(S->getStmt()) :

) {

if (E->isPRValue()) {

if (!E->getType()->isRecordType())

if (auto *V = State.Env.getValue(*E))

, [&] { ModelDumper(JOS, State.Env).dump(*V); });

if (auto *Loc = State.Env.getStorageLocation(*E))

, [&] { ModelDumper(JOS, State.Env).dump(*Loc); });

(!ContextLogs.empty()) {

.attribute(

, ContextLogs);

std::string BuiltinLattice;

llvm::raw_string_ostream BuiltinLatticeS(BuiltinLattice);

State.Env.dump(BuiltinLatticeS);

.attribute(

, BuiltinLattice);

blockConverged()

{

Iters.back().Converged =

;

BlockConverged[Iters.back().Block->getBlockID()] =

;

logText(llvm::StringRef S)

{

ContextLogs.append(S.begin(), S.end());

ContextLogs.push_back(

);

.attributeObject(blockID(B.getBlockID()), [&] {

JOS.attributeArray(

, [&] {

for (size_t IterIdx : ItersForB) {

const Iteration &Iter = Iters[IterIdx];

JOS.attribute(

, Iter.Iter);

JOS.attribute(

, Iter.PostVisit);

JOS.attribute(

, Iter.Converged);

.attributeArray(

, [&] {

(

&Elt : B.Elements) {

llvm::raw_string_ostream DumpS(Dump);

Elt.dumpToStream(DumpS);

&AST = ACFG->getDecl().getASTContext();

CharSourceRange::getTokenRange(ACFG->getDecl().getSourceRange()),

AST.getSourceManager(), AST.getLangOpts());

(

.isInvalid())

, AST.getSourceManager(), AST.getLangOpts(), &Invalid);

enum :

{ Missing =

(-1) };

BB = Missing;

BBPriority = 0;

Elt = Missing;

EltPriority = 0;

SmallVector<unsigned> Elts;

assign(

BB,

Elt,

RangeLen) {

(this->BB != Missing && BB != this->BB && BBPriority <= RangeLen)

(BB != this->BB) {

BBPriority = RangeLen;

BBPriority = std::min(BBPriority, RangeLen);

(this->Elt == Missing || EltPriority > RangeLen)

(

TokenInfo &Other)

{

std::tie(BB, Elt, Elts) ==

write(llvm::raw_ostream &OS)

{

OS <<

<< blockID(BB);

(

Elt : Elts)

OS <<

<< eltID(BB, Elt);

OS <<

<< eltID(BB, Elt) <<

;

OS <<

<< blockID(BB) <<

;

std::vector<TokenInfo> State(Code.size());

(

*

: ACFG->getCFG()) {

EltIndex = 0;

(

& Elt : *

) {

(

S = Elt.getAs<CFGStmt>()) {

CharSourceRange::getTokenRange(S->getStmt()->getSourceRange()),

AST.getSourceManager(), AST.getLangOpts());

(EltRange.isInvalid())

(EltRange.getBegin() <

.getBegin() ||

EltRange.getEnd() >=

.getEnd() ||

EltRange.getEnd() <

.getBegin() ||

EltRange.getEnd() >=

.getEnd())

Off = EltRange.getBegin().getRawEncoding() -

.getBegin().getRawEncoding();

Len = EltRange.getEnd().getRawEncoding() -

EltRange.getBegin().getRawEncoding();

(

I = 0; I < Len; ++I)

State[Off + I].assign(

->getBlockID(), EltIndex, Len);

AST.getSourceManager().getSpellingLineNumber(

.getBegin());

*OS <<

;

*OS <<

;

llvm::printHTMLEscaped(

llvm::sys::path::filename(

AST.getSourceManager().getFilename(

.getBegin())),

*OS <<

<< Line++ <<

;

(

I = 0; I < Code.size(); ++I) {

NeedOpen = I == 0 || !(State[I] == State[I-1]);

NeedClose = I + 1 == Code.size() || !(State[I] == State[I + 1]);

(Code[I] ==

)

*OS <<

<< Line++ <<

;

llvm::printHTMLEscaped(Code.substr(I, 1), *OS);

(NeedClose) *OS <<

;

*OS <<

;

*OS <<

;

(

SVG = renderSVG(buildCFGDot(ACFG->getCFG())))

*OS <<

<<

(SVG.takeError());

*OS <<

;

std::string buildCFGDot(

&CFG) {

llvm::raw_string_ostream GraphS(Graph);

GraphS << R

std::string Name = blockID(I);

*ConvergenceMarker = (

*)u8

;

(BlockConverged[I])

Name += ConvergenceMarker;

GraphS <<

<< blockID(I) <<

<< blockID(I) <<

(

*

: CFG) {

(

&Succ :

->succs()) {

(Succ.getReachableBlock())

GraphS <<

<< blockID(

->getBlockID()) <<

<< blockID(Succ.getReachableBlock()->getBlockID()) <<

;

(

*FromEnv = ::getenv(

))

FromPath = llvm::sys::findProgramByName(

);

llvm::createStringError(FromPath.getError(),

);

DotPath = FromPath.get();

(

EC = llvm::sys::fs::createTemporaryFile(

,

, InputFD,

llvm::createStringError(EC,

);

llvm::raw_fd_ostream(InputFD,

) << DotGraph;

llvm::make_scope_exit([&] { llvm::sys::fs::remove(Input); });

(

EC = llvm::sys::fs::createTemporaryFile(

,

, Output))

llvm::createStringError(EC,

);

llvm::make_scope_exit([&] { llvm::sys::fs::remove(Output); });

std::vector<std::optional<llvm::StringRef>> Redirects = {

Code = llvm::sys::ExecuteAndWait(

DotPath, {

,

},

std::nullopt, Redirects,

llvm::createStringError(llvm::inconvertibleErrorCode(),

+ ErrMsg);

llvm::createStringError(llvm::inconvertibleErrorCode(),

+ llvm::Twine(Code) +

);

Buf = llvm::MemoryBuffer::getFile(Output);

llvm::createStringError(Buf.getError(),

);

llvm::StringRef Result = Buf.get()->getBuffer();

Pos = Result.find(

);

(Pos == llvm::StringRef::npos)

llvm::createStringError(llvm::inconvertibleErrorCode(),

);

Result.substr(Pos).str();

std::unique_ptr<Logger>

Logger::html(std::function<std::unique_ptr<llvm::raw_ostream>()> Streams) {

std::make_unique<HTMLLogger>(std::move(Streams));

static void dump(llvm::raw_ostream &OS, StringRef FunctionName, ArrayRef< CounterExpression > Expressions, ArrayRef< CounterMappingRegion > Regions)

llvm::json::OStream & JOS

llvm::DenseSet< const void * > Visited

static std::string toString(const clang::SanitizerSet &Sanitizers)

Produce a string containing comma-separated names of sanitizers in Sanitizers set.

Defines the SourceManager interface.

Represents a source-level, intra-procedural CFG that represents the control-flow of a Stmt.

unsigned getNumBlockIDs() const

Returns the total number of BlockIDs allocated (which start at 0).

static StringRef getSourceText(CharSourceRange Range, const SourceManager &SM, const LangOptions &LangOpts, bool *Invalid=nullptr)

Returns a string for the source that the range encompasses.

static CharSourceRange makeFileCharRange(CharSourceRange Range, const SourceManager &SM, const LangOptions &LangOpts)

Accepts a range and returns a character range with file locations.

Dataflow Directional Tag Classes.

llvm::StringRef debugString(Value::Kind Kind)

Returns a string representation of a value kind.

if(T->getSizeExpr()) TRY_TO(TraverseStmt(const_cast< Expr * >(T -> getSizeExpr())))

bool operator==(const CallGraphNode::CallRecord &LHS, const CallGraphNode::CallRecord &RHS)

@ Other

Other implicit parameter.

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