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

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

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

;

Stmt::OpaqueValueExprClass:

(

*SE = cast<OpaqueValueExpr>(

)->getSourceExpr()) {

Stmt::ExprWithCleanupsClass:

= cast<ExprWithCleanups>(

)->getSubExpr();

Stmt::ConstantExprClass:

= cast<ConstantExpr>(

)->getSubExpr();

Stmt::CXXBindTemporaryExprClass:

= cast<CXXBindTemporaryExpr>(

)->getSubExpr();

Stmt::SubstNonTypeTemplateParmExprClass:

= cast<SubstNonTypeTemplateParmExpr>(

)->getReplacement();

(

*

= dyn_cast<Expr>(S))

L ? L->getStackFrame()

*

= ExprBindings.lookup(

);

assert(!isa<ObjCForCollectionStmt>(S) &&

);

assert((isa<Expr, ReturnStmt>(S)) &&

);

(S->getStmtClass()) {

Stmt::CXXBindTemporaryExprClass:

Stmt::ExprWithCleanupsClass:

Stmt::GenericSelectionExprClass:

Stmt::ConstantExprClass:

Stmt::ParenExprClass:

Stmt::SubstNonTypeTemplateParmExprClass:

llvm_unreachable(

);

Stmt::AddrLabelExprClass:

Stmt::CharacterLiteralClass:

Stmt::CXXBoolLiteralExprClass:

Stmt::CXXScalarValueInitExprClass:

Stmt::ImplicitValueInitExprClass:

Stmt::IntegerLiteralClass:

Stmt::ObjCBoolLiteralExprClass:

Stmt::CXXNullPtrLiteralExprClass:

Stmt::ObjCStringLiteralClass:

Stmt::StringLiteralClass:

Stmt::TypeTraitExprClass:

Stmt::SizeOfPackExprClass:

Stmt::PredefinedExprClass:

Stmt::ReturnStmtClass: {

*RS = cast<ReturnStmt>(S);

(

*RE = RS->getRetValue())

(

.isUnknown()) {

MarkLiveCallback(

&symreaper) : SymReaper(symreaper) {}

VisitSymbol(

sym)

{

SymReaper.markLive(sym);

VisitMemRegion(

*R)

{

SymReaper.markLive(R);

MarkLiveCallback CB(SymReaper);

llvm::ImmutableMapRef<EnvironmentEntry, SVal>

EBMapRef(NewEnv.ExprBindings.getRootWithoutRetain(),

= I.getData();

EBMapRef = EBMapRef.add(BlkExpr,

);

RSScaner.

(

);

NewEnv.ExprBindings = EBMapRef.asImmutableMap();

Space,

IsDot)

{

Indent(Out, Space, IsDot) <<

;

(ExprBindings.isEmpty()) {

Out <<

<< NL;

(

&I : *

) {

(FoundContexts.count(LC) == 0) {

FoundContexts.insert(LCI);

Out <<

<< (

*)LCtx->

()

<<

<< NL;

HasItem =

;

InnerSpace = Space + 1;

BindingsTy::iterator LastI = ExprBindings.end();

(BindingsTy::iterator I = ExprBindings.begin(); I != ExprBindings.end();

(I->first.getLocationContext() != LC)

*S = I->first.getStmt();

assert(S !=

&&

);

(BindingsTy::iterator I = ExprBindings.begin(); I != ExprBindings.end();

(I->first.getLocationContext() != LC)

*S = I->first.getStmt();

Indent(Out, InnerSpace, IsDot)

<<

<< S->getID(Ctx) <<

<< S->getStmtClassName() <<

;

S->printJson(Out,

, PP,

);

Out <<

;

I->second.printJson(Out,

);

Indent(Out, --InnerSpace, IsDot) <<

;

Indent(Out, --Space, IsDot) <<

<< NL;

This file defines AnalysisDeclContext, a class that manages the analysis context data for context sen...

static const Expr * ignoreTransparentExprs(const Expr *E)

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

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

Defines the clang::LangOptions interface.

Defines the Objective-C statement AST node classes.

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

const clang::PrintingPolicy & getPrintingPolicy() const

This represents one expression.

Expr * IgnoreParens() LLVM_READONLY

Skip past any parentheses which might surround this expression until reaching a fixed point.

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

const LocationContext * getParent() const

It might return null.

const StackFrameContext * getStackFrame() const

void printJson(raw_ostream &Out, const char *NL="\n", unsigned int Space=0, bool IsDot=false, std::function< void(const LocationContext *)> printMoreInfoPerContext=[](const LocationContext *) {}) const

Prints out the call stack in json format.

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

Stmt - This represents one statement.

StmtClass getStmtClass() const

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

const Stmt * getStmt() const

EnvironmentEntry(const Stmt *s, const LocationContext *L)

const LocationContext * getLocationContext() const

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.

SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const

Fetches the current binding of the expression in the Environment.

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

BindingsTy::iterator iterator

MemRegion - The root abstract class for all memory regions.

std::optional< SVal > getConstantVal(const Expr *E)

Returns the value of E, if it can be determined in a non-path-sensitive manner.

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

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

bool scan(nonloc::LazyCompoundVal val)

A class responsible for cleaning up unused symbols.

bool isLive(SymbolRef sym)

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

Describes how types, statements, expressions, and declarations should be printed.

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