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

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

clang: lib/Analysis/UninitializedValues.cpp Source File

;

(

*FD : RD->

()) {

(FD->isUnnamedBitField())

(FD->isZeroSize(FD->getASTContext()))

(

*FieldRD = FD->getType()->getAsRecordDecl();

llvm::DenseMap<const VarDecl *, unsigned> map;

DeclToIndex() =

;

size()

{

map.size(); }

std::optional<unsigned> getValueIndex(

*d)

;

DeclToIndex::computeMap(

&dc) {

( ; I !=

; ++I) {

std::optional<unsigned> DeclToIndex::getValueIndex(

*d)

{

llvm::DenseMap<const VarDecl *, unsigned>::const_iterator I = map.find(d);

ValueVector = llvm::PackedVector<Value, 2, llvm::SmallBitVector>;

CFGBlockValues {

DeclToIndex declToIndex;

CFGBlockValues(

&cfg);

getNumEntries()

{

declToIndex.size(); }

computeSetOfDeclarations(

&dc);

ValueVector &getValueVector(

*block) {

setAllScratchValues(

);

mergeIntoScratch(ValueVector

&source,

isFirst);

updateValueVectorWithScratch(

*block);

hasNoDeclarations()

{

declToIndex.size() == 0;

ValueVector::reference operator[](

*vd);

std::optional<unsigned> idx = declToIndex.getValueIndex(vd);

getValueVector(block)[*idx];

CFGBlockValues::CFGBlockValues(

&

) : cfg(

), vals(0) {}

CFGBlockValues::computeSetOfDeclarations(

&dc) {

declToIndex.computeMap(dc);

decls = declToIndex.size();

scratch.resize(decls);

(

&val : vals)

printVector(

*block, ValueVector &bv,

llvm::errs() << block->

() <<

;

(

&i : bv)

llvm::errs() <<

<< i;

llvm::errs() <<

<< num <<

;

CFGBlockValues::setAllScratchValues(

) {

(

I = 0,

= scratch.size(); I !=

; ++I)

CFGBlockValues::mergeIntoScratch(ValueVector

&source,

CFGBlockValues::updateValueVectorWithScratch(

*block) {

ValueVector &dst = getValueVector(block);

changed = (dst != scratch);

printVector(block, scratch, 0);

CFGBlockValues::resetScratch() {

ValueVector::reference CFGBlockValues::operator[](

*vd) {

scratch[*declToIndex.getValueIndex(vd)];

*getDeclRefExpr()

{

dr; }

*getDecl()

{

vd; }

(

*CE = dyn_cast<CastExpr>(Ex)) {

(CE->getCastKind() == CK_LValueBitCast) {

Ex = CE->getSubExpr();

(

*DRE =

(

*VD = dyn_cast<VarDecl>(DRE->getDecl()))

FindVarResult(VD, DRE);

FindVarResult(

,

);

ClassifyRefs :

<ClassifyRefs> {

llvm::DenseMap<const DeclRefExpr *, Class> Classification;

return ::isTrackedVar(VD, DC);

classify(

*

, Class

);

llvm::DenseMap<const DeclRefExpr*, Class>::const_iterator I

= Classification.find(DRE);

(I != Classification.end())

*VD = dyn_cast<VarDecl>(DRE->

());

(DRE && DRE->

() == VD)

ClassifyRefs::classify(

*

, Class

) {

(

*CO = dyn_cast<ConditionalOperator>(

)) {

classify(CO->getTrueExpr(),

);

classify(CO->getFalseExpr(),

);

(

*BCO = dyn_cast<BinaryConditionalOperator>(

)) {

classify(BCO->getFalseExpr(),

);

(

*OVE = dyn_cast<OpaqueValueExpr>(

)) {

classify(OVE->getSourceExpr(),

);

(

*ME = dyn_cast<MemberExpr>(

)) {

(

*VD = dyn_cast<VarDecl>(ME->getMemberDecl())) {

(!VD->isStaticDataMember())

classify(ME->getBase(),

);

(

*BO = dyn_cast<BinaryOperator>(

)) {

(BO->getOpcode()) {

classify(BO->getLHS(),

);

classify(BO->getRHS(),

);

FindVarResult Var =

(

, DC);

(

*DRE = Var.getDeclRefExpr())

Classification[DRE] = std::max(Classification[DRE],

);

ClassifyRefs::VisitDeclStmt(

*DS) {

(

*DI : DS->

()) {

*VD = dyn_cast<VarDecl>(DI);

Classification[DRE] = SelfInit;

classify(BO->

(), Use);

classify(BO->

(), Ignore);

classify(cast<Expr>(S), Use);

FTD->getTemplatedDecl()->hasTrivialBody();

FD->hasTrivialBody();

ClassifyRefs::VisitCallExpr(

*CE) {

classify(CE->

(0), Use);

((*I)->isGLValue()) {

((*I)->getType().isConstQualified())

classify((*I), isTrivialBody ? Ignore : ConstRefUse);

*UO = dyn_cast<UnaryOperator>(Ex);

(UO && UO->

() == UO_AddrOf)

classify(Ex, Ignore);

ClassifyRefs::VisitCastExpr(

*CE) {

(

*CSE = dyn_cast<CStyleCastExpr>(CE)) {

(CSE->getType()->isVoidType()) {

classify(CSE->getSubExpr(), Ignore);

TransferFunctions :

<TransferFunctions> {

CFGBlockValues &vals;

ClassifyRefs &classification;

TransferFunctions(CFGBlockValues &vals,

&cfg,

ClassifyRefs &classification,

: vals(vals), cfg(cfg), block(block), ac(ac),

classification(classification), objCNoRet(ac.getASTContext()),

reportUse(

*ex,

*vd);

reportConstRefUse(

*ex,

*vd);

return ::isTrackedVar(vd, cast<DeclContext>(ac.

()));

return ::findVar(ex, cast<DeclContext>(ac.

()));

Queue.push_back(block);

(!Queue.empty()) {

*B = Queue.pop_back_val();

Use.setUninitAfterCall();

AtPredExit = vals.getValue(Pred, B, vd);

Use.setUninitAfterDecl();

&SV = SuccsVisited[Pred->

()];

Queue.push_back(Pred);

(

*

: cfg) {

(SuccsVisited[BlockID] && SuccsVisited[BlockID] <

->

() &&

(isa<SwitchStmt>(Term)) {

Use.addUninitBranch(Branch);

Use.addUninitBranch(Branch);

TransferFunctions::reportUse(

*ex,

*vd) {

TransferFunctions::reportConstRefUse(

*ex,

*vd) {

(

*DS = dyn_cast<DeclStmt>(FS->getElement())) {

TransferFunctions::VisitOMPExecutableDirective(

assert(S &&

);

TransferFunctions::VisitBlockExpr(

*be) {

(

&I : bd->

()) {

*vd = I.getVariable();

TransferFunctions::VisitCallExpr(

*ce) {

(

->hasAttr<ReturnsTwiceAttr>()) {

(

->hasAttr<AnalyzerNoReturnAttr>()) {

vals.setAllScratchValues(

);

TransferFunctions::VisitDeclRefExpr(

*dr) {

(classification.get(dr)) {

ClassifyRefs::Ignore:

ClassifyRefs::Use:

reportUse(dr, cast<VarDecl>(dr->

()));

ClassifyRefs::Init:

ClassifyRefs::SelfInit:

ClassifyRefs::ConstRefUse:

reportConstRefUse(dr, cast<VarDecl>(dr->

()));

(

*VD = Var.getDecl())

TransferFunctions::VisitDeclStmt(

*DS) {

(

*DI : DS->

()) {

*VD = dyn_cast<VarDecl>(DI);

}

(VD->getInit()) {

TransferFunctions::VisitGCCAsmStmt(

*as) {

(

*UO = dyn_cast<UnaryOperator>(Ex))

vals.setAllScratchValues(

);

ClassifyRefs &classification,

llvm::BitVector &wasAnalyzed,

isFirst =

;

vals.mergeIntoScratch(vals.getValueVector(pred), isFirst);

TransferFunctions tf(vals, cfg, block, ac, classification, handler);

(

&I : *block) {

(std::optional<CFGStmt> cs = I.getAs<

>())

tf.Visit(

*

(cs->getStmt()));

(

*as = dyn_cast_or_null<GCCAsmStmt>(terminator.

()))

vals.updateValueVectorWithScratch(block);

llvm::BitVector hadUse;

hadAnyUse =

;

currentBlock = 0;

PruneBlocksHandler(

numBlocks) : hadUse(numBlocks,

) {}

~PruneBlocksHandler()

=

;

hadUse[currentBlock] =

;

hadUse[currentBlock] =

;

hadUse[currentBlock] =

;

CFGBlockValues vals(cfg);

vals.computeSetOfDeclarations(dc);

(vals.hasNoDeclarations())

ClassifyRefs classification(ac);

ValueVector &vec = vals.getValueVector(&entry);

n = vals.getNumEntries();

(

j = 0; j < n; ++j) {

changed =

(block, cfg, ac, vals,

classification, wasAnalyzed, PBH);

(changed || !previouslyVisited[block->

()])

previouslyVisited[block->

()] =

;

(

*block : cfg)

(block, cfg, ac, vals, classification, wasAnalyzed, handler);

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

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

Defines the Objective-C statement AST node classes.

C Language Family Type Representation.

static bool isAlwaysUninit(const Value v)

static bool isTrackedVar(const VarDecl *vd, const DeclContext *dc)

static const Expr * stripCasts(ASTContext &C, const Expr *Ex)

static bool isUninitialized(const Value v)

static bool isPointerToConst(const QualType &QT)

static FindVarResult findVar(const Expr *E, const DeclContext *DC)

If E is an expression comprising a reference to a single variable, find that variable.

static bool hasTrivialBody(CallExpr *CE)

static bool recordIsNotEmpty(const RecordDecl *RD)

static const DeclRefExpr * getSelfInitExpr(VarDecl *VD)

static bool runOnBlock(const CFGBlock *block, const CFG &cfg, AnalysisDeclContext &ac, CFGBlockValues &vals, const ClassifyRefs &classification, llvm::BitVector &wasAnalyzed, UninitVariablesHandler &handler)

__device__ __2f16 float c

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

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

const Decl * getDecl() const

ASTContext & getASTContext() const

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

static bool isCompoundAssignmentOp(Opcode Opc)

Represents a block literal declaration, which is like an unnamed FunctionDecl.

ArrayRef< Capture > captures() const

BlockExpr - Adaptor class for mixing a BlockDecl with expressions.

const BlockDecl * getBlockDecl() const

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

CFGTerminator getTerminator() const

succ_iterator succ_begin()

Stmt * getTerminatorStmt()

AdjacentBlocks::const_iterator const_pred_iterator

pred_iterator pred_begin()

unsigned getBlockID() const

AdjacentBlocks::const_iterator const_succ_iterator

unsigned succ_size() const

Represents CFGBlock terminator statement.

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

void VisitBlockStmts(Callback &O) const

unsigned getNumBlockIDs() const

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

CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).

Expr * getArg(unsigned Arg)

getArg - Return the specified argument.

FunctionDecl * getDirectCallee()

If the callee is a FunctionDecl, return it. Otherwise return null.

bool isCallToStdMove() const

CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...

CastKind getCastKind() const

const CFGBlock * dequeue()

specific_decl_iterator - Iterates over a subrange of declarations stored in a DeclContext,...

DeclContext - This is used only as base class of specific decl types that can act as declaration cont...

ASTContext & getParentASTContext() const

decl_iterator decls_end() const

decl_iterator decls_begin() const

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

DeclStmt - Adaptor class for mixing declarations with statements and expressions.

const Decl * getSingleDecl() const

Decl - This represents one declaration (or definition), e.g.

ASTContext & getASTContext() const LLVM_READONLY

bool isImplicit() const

isImplicit - Indicates whether the declaration was implicitly generated by the implementation.

DeclContext * getDeclContext()

This represents one expression.

Expr * IgnoreParenNoopCasts(const ASTContext &Ctx) LLVM_READONLY

Skip past any parentheses and casts which do not change the value (including ptr->int casts of the sa...

Expr * IgnoreParens() LLVM_READONLY

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

Represents a function declaration or definition.

Declaration of a template function.

This represents a GCC inline-assembly statement extension.

This is a basic class for representing single OpenMP executable directive.

ArrayRef< OMPClause * > clauses() const

const Stmt * getStructuredBlock() const

Returns the AST node representing OpenMP structured-block of this OpenMP executable directive,...

bool isStandaloneDirective() const

Returns whether or not this is a Standalone directive.

static llvm::iterator_range< used_clauses_child_iterator > used_clauses_children(ArrayRef< OMPClause * > Clauses)

Represents Objective-C's collection statement.

An expression that sends a message to the given Objective-C object or class.

bool isImplicitNoReturn(const ObjCMessageExpr *ME)

Return true if the given message expression is known to never return.

A (possibly-)qualified type.

bool isConstQualified() const

Determine whether this type is const-qualified.

Represents a struct/union/class.

field_range fields() const

RetTy Visit(PTR(Stmt) S, ParamTys... P)

StmtVisitor - This class implements a simple visitor for Stmt subclasses.

Stmt - This represents one statement.

bool isScalarType() const

QualType getPointeeType() const

If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.

bool isVectorType() const

bool isRVVSizelessBuiltinType() const

Returns true for RVV scalable vector types.

bool isAnyPointerType() const

bool isRecordType() const

RecordDecl * getAsRecordDecl() const

Retrieves the RecordDecl this type refers to.

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

Expr * getSubExpr() const

static bool isIncrementDecrementOp(Opcode Op)

A use of a variable, which might be uninitialized.

@ Always

The use is always uninitialized.

virtual void handleUseOfUninitVariable(const VarDecl *vd, const UninitUse &use)

Called when the uninitialized variable is used at the given expression.

virtual void handleSelfInit(const VarDecl *vd)

Called when the uninitialized variable analysis detects the idiom 'int x = x'.

virtual ~UninitVariablesHandler()

virtual void handleConstRefUseOfUninitVariable(const VarDecl *vd, const UninitUse &use)

Called when the uninitialized variable is used as const refernce argument.

Represents a variable declaration or definition.

bool isInitCapture() const

Whether this variable is the implicit variable for a lambda init-capture.

bool hasGlobalStorage() const

Returns true for all variables that do not have local storage.

bool isExceptionVariable() const

Determine whether this variable is the exception variable in a C++ catch statememt or an Objective-C ...

const Expr * getInit() const

bool isLocalVarDecl() const

Returns true for local variable declarations other than parameters.

BlockID

The various types of blocks that can occur within a API notes file.

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

void runUninitializedVariablesAnalysis(const DeclContext &dc, const CFG &cfg, AnalysisDeclContext &ac, UninitVariablesHandler &handler, UninitVariablesAnalysisStats &stats)

U cast(CodeGen::Address addr)

@ Class

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

A worklist implementation for forward dataflow analysis.

void enqueueSuccessors(const CFGBlock *Block)

Iterator for iterating over Stmt * arrays that contain only T *.

unsigned NumVariablesAnalyzed

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