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

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

clang: lib/Analysis/ReachableCode.cpp Source File

;

isa<EnumConstantDecl>(DR->

());

isa<IntegerLiteral>(Ex) || isa<StringLiteral>(Ex) ||

isa<CXXBoolLiteralExpr>(Ex) || isa<ObjCBoolLiteralExpr>(Ex) ||

isa<CharacterLiteral>(Ex) ||

(

*DS = dyn_cast<DoStmt>(Term)) {

(

*DRE = dyn_cast<DeclRefExpr>(S))

(

*FDecl = dyn_cast<FunctionDecl>(DRE->getDecl()))

FDecl->getIdentifier() &&

FDecl->getBuiltinID() == Builtin::BI__builtin_unreachable;

(

*CE = dyn_cast<CallExpr>(CS->getStmt())) {

CE->getCallee()->IgnoreCasts() == S && CE->isBuiltinAssumeFalse(

);

(

&CE : llvm::reverse(*Current)) {

(std::optional<CFGStmt> CS = CE.getAs<

>()) {

(

*RS = dyn_cast<ReturnStmt>(CS->getStmt())) {

(

*RE = RS->getRetValue()) {

RE = RE->IgnoreParenCasts();

(Current->getTerminator().isTemporaryDtorsBranch()) {

assert(Current->succ_size() == 2);

Current = *(Current->succ_begin() + 1);

}

(!Current->getTerminatorStmt() && Current->succ_size() == 1) {

Current = *Current->succ_begin();

(Current->pred_size() > 1) {

llvm_unreachable(

);

=

.getImmediateMacroCallerLoc(

);

IgnoreYES_NO =

) {

(MacroName ==

|| MacroName ==

)

(MacroName ==

|| MacroName ==

)

IncludeIntegers =

,

WrappedInParens =

) {

(

*Ex = dyn_cast<Expr>(S))

S = Ex->IgnoreImplicit();

(

*Ex = dyn_cast<Expr>(S))

S = Ex->IgnoreCasts();

(

*PE = dyn_cast<ParenExpr>(S))

(!PE->getBeginLoc().isMacroID())

IncludeIntegers,

);

(

*Ex = dyn_cast<Expr>(S))

S = Ex->IgnoreCasts();

IgnoreYES_NO =

;

(S->getStmtClass()) {

Stmt::CallExprClass: {

dyn_cast_or_null<FunctionDecl>(cast<CallExpr>(S)->getCalleeDecl());

Callee ? Callee->isConstexpr() :

;

Stmt::DeclRefExprClass:

Stmt::ObjCBoolLiteralExprClass:

IgnoreYES_NO =

;

Stmt::CXXBoolLiteralExprClass:

Stmt::IntegerLiteralClass: {

*

= cast<Expr>(S);

(IncludeIntegers) {

(SilenceableCondVal && !SilenceableCondVal->getBegin().isValid())

WrappedInParens ||

Stmt::MemberExprClass:

Stmt::UnaryExprOrTypeTraitExprClass:

Stmt::BinaryOperatorClass: {

Stmt::UnaryOperatorClass: {

SilenceableCondValNotSet =

SilenceableCondVal && SilenceableCondVal->getBegin().isInvalid();

IsSubExprConfigValue =

IncludeIntegers, WrappedInParens);

(SilenceableCondValNotSet &&

SilenceableCondVal->getBegin().isValid() &&

*SilenceableCondVal ==

IsSubExprConfigValue;

(

*VD = dyn_cast<VarDecl>(

)) {

(!VD->hasLocalStorage())

VD->getType().isLocalConstQualified();

(isa<SwitchStmt>(Term))

(isa<BinaryOperator>(Term)) {

(

*IS = dyn_cast<IfStmt>(Term);

IS !=

&& IS->isConstexpr())

llvm::BitVector &Reachable,

IncludeSometimesUnreachableEdges) {

(!WL.empty()) {

*item = WL.pop_back_val();

std::optional<bool> TreatAllSuccessorsAsReachable;

(!IncludeSometimesUnreachableEdges)

TreatAllSuccessorsAsReachable =

;

*UB = I->getPossiblyUnreachableBlock();

(!TreatAllSuccessorsAsReachable) {

TreatAllSuccessorsAsReachable =

(*TreatAllSuccessorsAsReachable) {

(!Reachable[blockID]) {

Reachable.set(blockID);

llvm::BitVector &Reachable) {

llvm::BitVector &Reachable;

DeferredLocsTy DeferredLocs;

Reachable(reachable),

enqueue(

*block);

scanBackwards(

*Start,

reportDeadCode(

*B,

DeadCodeScan::enqueue(

*block) {

(Reachable[blockID] ||

[blockID])

WorkList.push_back(block);

isDeadRoot =

;

(

*PredBlock = *I) {

blockID = PredBlock->getBlockID();

(!Reachable[blockID]) {

WorkList.push_back(PredBlock);

*CoroStmt =

;

AfterDeadStmt =

;

(std::optional<CFGStmt> CS = I->getAs<

>()) {

*S = CS->getStmt();

AfterDeadStmt =

;

(llvm::isa<CoreturnStmt>(S) || llvm::isa<CoroutineSuspendExpr>(S))) {

*DeadStmt;

CoroutineSubStmt =

;

Checker(

*S) : DeadStmt(S) {

ShouldVisitImplicitCode =

;

CoroutineSubStmt =

;

Checker checker(DeadStmt);

checker.TraverseStmt(

*

(CoroStmt));

checker.CoroutineSubStmt;

(S->getBeginLoc().isInvalid())

BO->getOpcode() != BO_Comma;

(std::optional<CFGStmt> CS = I->getAs<

>()) {

*S = CS->getStmt();

(

.isStmtBranch()) {

*S =

.getStmt();

(

std::pair<const CFGBlock *, const Stmt *> *p1,

std::pair<const CFGBlock *, const Stmt *> *p2) {

(p1->second->getBeginLoc() < p2->second->getBeginLoc())

(p2->second->getBeginLoc() < p1->second->getBeginLoc())

(!WorkList.empty()) {

(

*predBlock = *I)

(S->getBeginLoc().isMacroID()) {

(isDeadCodeRoot(

)) {

reportDeadCode(

, S, CB);

DeferredLocs.push_back(std::make_pair(

, S));

(!DeferredLocs.empty()) {

llvm::array_pod_sort(DeferredLocs.begin(), DeferredLocs.end(),

);

(

&I : DeferredLocs) {

reportDeadCode(

, I.second, CB);

(

*Ex = dyn_cast<Expr>(S))

S = Ex->IgnoreParenImpCasts();

(S->getStmtClass()) {

Expr::BinaryOperatorClass: {

Expr::UnaryOperatorClass: {

Expr::CompoundAssignOperatorClass: {

Expr::BinaryConditionalOperatorClass:

Expr::ConditionalOperatorClass: {

cast<AbstractConditionalOperator>(S);

Expr::MemberExprClass: {

Expr::ArraySubscriptExprClass: {

Expr::CStyleCastExprClass: {

Expr::CXXFunctionalCastExprClass: {

Stmt::CXXTryStmtClass: {

cast<CXXTryStmt>(S)->getHandler(0)->getCatchLoc();

Expr::ObjCBridgedCastExprClass: {

R1 = S->getSourceRange();

S->getBeginLoc();

DeadCodeScan::reportDeadCode(

*B,

(isa<BreakStmt>(S)) {

*AS = dyn_cast<AttributedStmt>(S);

HasFallThroughAttr =

AS && hasSpecificAttr<FallThroughAttr>(AS->getAttrs());

(

*FS = dyn_cast<ForStmt>(LoopTarget)) {

*

= FS->getInc();

=

->getBeginLoc();

R2 =

->getSourceRange();

(

*PredBlock = PI->getPossiblyUnreachableBlock()) {

*TermCond =

PredBlock->getTerminatorCondition(

);

{

reachable_code {

Callback::anchor() { }

llvm::BitVector &Reachable) {

*cfg = AC.getCFG();

numReachable =

(!AC.getCFGBuildOptions().AddEHEdges) {

(

*block : *cfg) {

DeadCodeScan DS(reachable, PP, AC.getASTContext());

numReachable += DS.scanBackwards(block, CB);

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

Defines enum values for all the target-independent builtin functions.

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

llvm::DenseSet< const void * > Visited

Defines the clang::Preprocessor interface.

static SourceLocation getTopMostMacro(SourceLocation Loc, SourceManager &SM)

static bool isEnumConstant(const Expr *Ex)

static bool isInCoroutineStmt(const Stmt *DeadStmt, const CFGBlock *Block)

static bool shouldTreatSuccessorsAsReachable(const CFGBlock *B, Preprocessor &PP)

Returns true if we should always explore all successors of a block.

static int SrcCmp(const std::pair< const CFGBlock *, const Stmt * > *p1, const std::pair< const CFGBlock *, const Stmt * > *p2)

static bool isTrivialDoWhile(const CFGBlock *B, const Stmt *S)

static bool isExpandedFromConfigurationMacro(const Stmt *S, Preprocessor &PP, bool IgnoreYES_NO=false)

Returns true if the statement is expanded from a configuration macro.

static bool isValidDeadStmt(const Stmt *S, const clang::CFGBlock *Block)

static unsigned scanFromBlock(const CFGBlock *Start, llvm::BitVector &Reachable, Preprocessor *PP, bool IncludeSometimesUnreachableEdges)

static bool isConfigurationValue(const ValueDecl *D, Preprocessor &PP)

static bool isBuiltinUnreachable(const Stmt *S)

static bool isBuiltinAssumeFalse(const CFGBlock *B, const Stmt *S, ASTContext &C)

static bool isDeadReturn(const CFGBlock *B, const Stmt *S)

static unsigned scanMaybeReachableFromBlock(const CFGBlock *Start, Preprocessor &PP, llvm::BitVector &Reachable)

static SourceLocation GetUnreachableLoc(const Stmt *S, SourceRange &R1, SourceRange &R2)

static bool isTrivialExpression(const Expr *Ex)

Defines the SourceManager interface.

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

AbstractConditionalOperator - An abstract base class for ConditionalOperator and BinaryConditionalOpe...

SourceLocation getQuestionLoc() const

AnalysisDeclContext contains the context data for the function, method or block under analysis.

ArraySubscriptExpr - [C99 6.5.2.1] Array Subscripting.

SourceLocation getRBracketLoc() const

Expr * getLHS()

An array access can be written A[4] or 4[A] (both are equivalent).

A builtin binary operation expression such as "x + y" or "x <= y".

static bool isLogicalOp(Opcode Opc)

static bool isComparisonOp(Opcode Opc)

SourceLocation getOperatorLoc() const

Represents a single basic block in a source-level CFG.

ElementList::const_iterator const_iterator

CFGTerminator getTerminator() const

succ_iterator succ_begin()

Stmt * getTerminatorStmt()

const Stmt * getLoopTarget() const

AdjacentBlocks::const_iterator const_pred_iterator

pred_iterator pred_begin()

unsigned getBlockID() const

Stmt * getTerminatorCondition(bool StripParens=true)

AdjacentBlocks::const_iterator const_succ_iterator

Represents a top-level expression in a basic block.

std::optional< T > getAs() const

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

Represents CFGBlock terminator statement.

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

try_block_range try_blocks() const

unsigned getNumBlockIDs() const

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

CStyleCastExpr - An explicit cast in C (C99 6.5.4) or a C-style cast in C++ (C++ [expr....

SourceLocation getLParenLoc() const

Represents an explicit C++ type conversion that uses "functional" notation (C++ [expr....

SourceLocation getBeginLoc() const LLVM_READONLY

CompoundAssignOperator - For compound assignments (e.g.

A reference to a declared variable, function, enum, etc.

DoStmt - This represents a 'do/while' stmt.

Recursive AST visitor that supports extension via dynamic dispatch.

virtual bool VisitStmt(MaybeConst< Stmt > *S)

An instance of this object exists for each enum constant that is defined.

This represents one expression.

Expr * IgnoreParenCasts() LLVM_READONLY

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

Expr * IgnoreCasts() LLVM_READONLY

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

ForStmt - This represents a 'for (init;cond;inc)' stmt.

Represents a function declaration or definition.

MemberExpr - [C99 6.5.2.3] Structure and Union Members.

SourceLocation getMemberLoc() const

getMemberLoc - Return the location of the "member", in X->F, it is the location of 'F'.

An Objective-C "bridged" cast expression, which casts between Objective-C pointers and C pointers,...

SourceLocation getLParenLoc() const

ParenExpr - This represents a parenthesized expression, e.g.

Stmt * getParent(Stmt *) const

Engages in a tight little dance with the lexer to efficiently preprocess tokens.

SourceManager & getSourceManager() const

StringRef getImmediateMacroName(SourceLocation Loc)

Retrieve the name of the immediate macro expansion.

const LangOptions & getLangOpts() const

ReturnStmt - This represents a return, optionally of an expression: return; return 4;.

Encodes a location in the source.

This class handles loading and caching of source files into memory.

A trivial tuple used to represent a source range.

Stmt - This represents one statement.

SourceRange getSourceRange() const LLVM_READONLY

SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...

UnaryOperator - This represents the unary-expression's (except sizeof and alignof),...

SourceLocation getOperatorLoc() const

getOperatorLoc - Return the location of the operator.

Expr * getSubExpr() const

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

Represents a variable declaration or definition.

virtual void HandleUnreachable(UnreachableKind UK, SourceLocation L, SourceRange ConditionVal, SourceRange R1, SourceRange R2, bool HasFallThroughAttr)=0

bool Inc(InterpState &S, CodePtr OpPC)

1) Pops a pointer from the stack 2) Load the value from the pointer 3) Writes the value increased by ...

void FindUnreachableCode(AnalysisDeclContext &AC, Preprocessor &PP, Callback &CB)

unsigned ScanReachableFromBlock(const CFGBlock *Start, llvm::BitVector &Reachable)

ScanReachableFromBlock - Mark all blocks reachable from Start.

UnreachableKind

Classifications of unreachable code.

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