clang  9.0.0svn
Classes | Public Types | Public Member Functions | Static Public Member Functions | List of all members
clang::CFGBlock Class Reference

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

#include "clang/Analysis/CFG.h"

Classes

class  AdjacentBlock
 This class represents a potential adjacent block in the CFG. More...
 
class  FilteredCFGBlockIterator
 
class  FilterOptions
 

Public Types

using iterator = ElementList::iterator
 
using const_iterator = ElementList::const_iterator
 
using reverse_iterator = ElementList::reverse_iterator
 
using const_reverse_iterator = ElementList::const_reverse_iterator
 
using pred_iterator = AdjacentBlocks::iterator
 
using const_pred_iterator = AdjacentBlocks::const_iterator
 
using pred_reverse_iterator = AdjacentBlocks::reverse_iterator
 
using const_pred_reverse_iterator = AdjacentBlocks::const_reverse_iterator
 
using pred_range = llvm::iterator_range< pred_iterator >
 
using pred_const_range = llvm::iterator_range< const_pred_iterator >
 
using succ_iterator = AdjacentBlocks::iterator
 
using const_succ_iterator = AdjacentBlocks::const_iterator
 
using succ_reverse_iterator = AdjacentBlocks::reverse_iterator
 
using const_succ_reverse_iterator = AdjacentBlocks::const_reverse_iterator
 
using succ_range = llvm::iterator_range< succ_iterator >
 
using succ_const_range = llvm::iterator_range< const_succ_iterator >
 
using filtered_pred_iterator = FilteredCFGBlockIterator< const_pred_iterator, true >
 
using filtered_succ_iterator = FilteredCFGBlockIterator< const_succ_iterator, false >
 

Public Member Functions

 CFGBlock (unsigned blockid, BumpVectorContext &C, CFG *parent)
 
CFGElement front () const
 
CFGElement back () const
 
iterator begin ()
 
iterator end ()
 
const_iterator begin () const
 
const_iterator end () const
 
reverse_iterator rbegin ()
 
reverse_iterator rend ()
 
const_reverse_iterator rbegin () const
 
const_reverse_iterator rend () const
 
unsigned size () const
 
bool empty () const
 
CFGElement operator[] (size_t i) const
 
pred_iterator pred_begin ()
 
pred_iterator pred_end ()
 
const_pred_iterator pred_begin () const
 
const_pred_iterator pred_end () const
 
pred_reverse_iterator pred_rbegin ()
 
pred_reverse_iterator pred_rend ()
 
const_pred_reverse_iterator pred_rbegin () const
 
const_pred_reverse_iterator pred_rend () const
 
pred_range preds ()
 
pred_const_range preds () const
 
succ_iterator succ_begin ()
 
succ_iterator succ_end ()
 
const_succ_iterator succ_begin () const
 
const_succ_iterator succ_end () const
 
succ_reverse_iterator succ_rbegin ()
 
succ_reverse_iterator succ_rend ()
 
const_succ_reverse_iterator succ_rbegin () const
 
const_succ_reverse_iterator succ_rend () const
 
succ_range succs ()
 
succ_const_range succs () const
 
unsigned succ_size () const
 
bool succ_empty () const
 
unsigned pred_size () const
 
bool pred_empty () const
 
filtered_pred_iterator filtered_pred_start_end (const FilterOptions &f) const
 
filtered_succ_iterator filtered_succ_start_end (const FilterOptions &f) const
 
void setTerminator (CFGTerminator Term)
 
void setLabel (Stmt *Statement)
 
void setLoopTarget (const Stmt *loopTarget)
 
void setHasNoReturnElement ()
 
CFGTerminator getTerminator () const
 
Stmt * getTerminatorStmt ()
 
const Stmt * getTerminatorStmt () const
 
Stmt * getTerminatorCondition (bool StripParens=true)
 
const Stmt * getTerminatorCondition (bool StripParens=true) const
 
const Stmt * getLoopTarget () const
 
Stmt * getLabel ()
 
const Stmt * getLabel () const
 
bool hasNoReturnElement () const
 
unsigned getBlockID () const
 
CFG * getParent () const
 
void dump () const
 
void dump (const CFG *cfg, const LangOptions &LO, bool ShowColors=false) const
 dump - A simply pretty printer of a CFGBlock that outputs to stderr. More...
 
void print (raw_ostream &OS, const CFG *cfg, const LangOptions &LO, bool ShowColors) const
 print - A simple pretty printer of a CFGBlock that outputs to an ostream. More...
 
void printTerminator (raw_ostream &OS, const LangOptions &LO) const
 printTerminator - A simple pretty printer of the terminator of a CFGBlock. More...
 
void printTerminatorJson (raw_ostream &Out, const LangOptions &LO, bool AddQuotes) const
 printTerminatorJson - Pretty-prints the terminator in JSON format. More...
 
void printAsOperand (raw_ostream &OS, bool)
 
void addSuccessor (AdjacentBlock Succ, BumpVectorContext &C)
 Adds a (potentially unreachable) successor block to the current block. More...
 
void appendStmt (Stmt *statement, BumpVectorContext &C)
 
void appendConstructor (CXXConstructExpr *CE, const ConstructionContext *CC, BumpVectorContext &C)
 
void appendCXXRecordTypedCall (Expr *E, const ConstructionContext *CC, BumpVectorContext &C)
 
void appendInitializer (CXXCtorInitializer *initializer, BumpVectorContext &C)
 
void appendNewAllocator (CXXNewExpr *NE, BumpVectorContext &C)
 
void appendScopeBegin (const VarDecl *VD, const Stmt *S, BumpVectorContext &C)
 
void prependScopeBegin (const VarDecl *VD, const Stmt *S, BumpVectorContext &C)
 
void appendScopeEnd (const VarDecl *VD, const Stmt *S, BumpVectorContext &C)
 
void prependScopeEnd (const VarDecl *VD, const Stmt *S, BumpVectorContext &C)
 
void appendBaseDtor (const CXXBaseSpecifier *BS, BumpVectorContext &C)
 
void appendMemberDtor (FieldDecl *FD, BumpVectorContext &C)
 
void appendTemporaryDtor (CXXBindTemporaryExpr *E, BumpVectorContext &C)
 
void appendAutomaticObjDtor (VarDecl *VD, Stmt *S, BumpVectorContext &C)
 
void appendLifetimeEnds (VarDecl *VD, Stmt *S, BumpVectorContext &C)
 
void appendLoopExit (const Stmt *LoopStmt, BumpVectorContext &C)
 
void appendDeleteDtor (CXXRecordDecl *RD, CXXDeleteExpr *DE, BumpVectorContext &C)
 
iterator beginAutomaticObjDtorsInsert (iterator I, size_t Cnt, BumpVectorContext &C)
 
iterator insertAutomaticObjDtor (iterator I, VarDecl *VD, Stmt *S)
 
iterator beginLifetimeEndsInsert (iterator I, size_t Cnt, BumpVectorContext &C)
 
iterator insertLifetimeEnds (iterator I, VarDecl *VD, Stmt *S)
 
iterator beginScopeEndInsert (iterator I, size_t Cnt, BumpVectorContext &C)
 
iterator insertScopeEnd (iterator I, VarDecl *VD, Stmt *S)
 

Static Public Member Functions

static bool FilterEdge (const FilterOptions &F, const CFGBlock *Src, const CFGBlock *Dst)
 

Detailed Description

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

It consists of:

(1) A set of statements/expressions (which may contain subexpressions). (2) A "terminator" statement (not in the set of statements). (3) A list of successors and predecessors.

Terminator: The terminator represents the type of control-flow that occurs at the end of the basic block. The terminator is a Stmt* referring to an AST node that has control-flow: if-statements, breaks, loops, etc. If the control-flow is conditional, the condition expression will appear within the set of statements in the block (usually the last statement).

Predecessors: the order in the set of predecessors is arbitrary.

Successors: the order in the set of successors is NOT arbitrary. We currently have the following orderings based on the terminator:

Terminator Successor Ordering
if Then Block; Else Block
? operator LHS expression; RHS expression
logical and/or expression that consumes the op, RHS
vbase inits already handled by the most derived class; not yet

But note that any of that may be NULL in case of optimized-out edges.

Definition at line 570 of file CFG.h.

Member Typedef Documentation

◆ const_iterator

using clang::CFGBlock::const_iterator = ElementList::const_iterator

Definition at line 714 of file CFG.h.

◆ const_pred_iterator

using clang::CFGBlock::const_pred_iterator = AdjacentBlocks::const_iterator

Definition at line 738 of file CFG.h.

◆ const_pred_reverse_iterator

using clang::CFGBlock::const_pred_reverse_iterator = AdjacentBlocks::const_reverse_iterator

Definition at line 740 of file CFG.h.

◆ const_reverse_iterator

using clang::CFGBlock::const_reverse_iterator = ElementList::const_reverse_iterator

Definition at line 716 of file CFG.h.

◆ const_succ_iterator

using clang::CFGBlock::const_succ_iterator = AdjacentBlocks::const_iterator

Definition at line 745 of file CFG.h.

◆ const_succ_reverse_iterator

using clang::CFGBlock::const_succ_reverse_iterator = AdjacentBlocks::const_reverse_iterator

Definition at line 747 of file CFG.h.

◆ filtered_pred_iterator

using clang::CFGBlock::filtered_pred_iterator = FilteredCFGBlockIterator<const_pred_iterator, true>

Definition at line 838 of file CFG.h.

◆ filtered_succ_iterator

using clang::CFGBlock::filtered_succ_iterator = FilteredCFGBlockIterator<const_succ_iterator, false>

Definition at line 841 of file CFG.h.

◆ iterator

using clang::CFGBlock::iterator = ElementList::iterator

Definition at line 713 of file CFG.h.

◆ pred_const_range

using clang::CFGBlock::pred_const_range = llvm::iterator_range<const_pred_iterator>

Definition at line 742 of file CFG.h.

◆ pred_iterator

using clang::CFGBlock::pred_iterator = AdjacentBlocks::iterator

Definition at line 737 of file CFG.h.

◆ pred_range

using clang::CFGBlock::pred_range = llvm::iterator_range<pred_iterator>

Definition at line 741 of file CFG.h.

◆ pred_reverse_iterator

using clang::CFGBlock::pred_reverse_iterator = AdjacentBlocks::reverse_iterator

Definition at line 739 of file CFG.h.

◆ reverse_iterator

using clang::CFGBlock::reverse_iterator = ElementList::reverse_iterator

Definition at line 715 of file CFG.h.

◆ succ_const_range

using clang::CFGBlock::succ_const_range = llvm::iterator_range<const_succ_iterator>

Definition at line 749 of file CFG.h.

◆ succ_iterator

using clang::CFGBlock::succ_iterator = AdjacentBlocks::iterator

Definition at line 744 of file CFG.h.

◆ succ_range

using clang::CFGBlock::succ_range = llvm::iterator_range<succ_iterator>

Definition at line 748 of file CFG.h.

◆ succ_reverse_iterator

using clang::CFGBlock::succ_reverse_iterator = AdjacentBlocks::reverse_iterator

Definition at line 746 of file CFG.h.

Constructor & Destructor Documentation

◆ CFGBlock()

clang::CFGBlock::CFGBlock ( unsigned  blockid,
BumpVectorContext &  C,
CFG *  parent 
)
inlineexplicit

Definition at line 708 of file CFG.h.

Member Function Documentation

◆ addSuccessor()

void CFGBlock::addSuccessor ( AdjacentBlock  Succ,
BumpVectorContext &  C 
)

Adds a (potentially unreachable) successor block to the current block.

Definition at line 4880 of file CFG.cpp.

References clang::CFGBlock::AdjacentBlock::getPossiblyUnreachableBlock(), clang::CFGBlock::AdjacentBlock::getReachableBlock(), and clang::CFGBlock::AdjacentBlock::isReachable().

◆ appendAutomaticObjDtor()

void clang::CFGBlock::appendAutomaticObjDtor ( VarDecl *  VD,
Stmt *  S,
BumpVectorContext &  C 
)
inline

Definition at line 952 of file CFG.h.

◆ appendBaseDtor()

void clang::CFGBlock::appendBaseDtor ( const CXXBaseSpecifier *  BS,
BumpVectorContext &  C 
)
inline

Definition at line 940 of file CFG.h.

◆ appendConstructor()

void clang::CFGBlock::appendConstructor ( CXXConstructExpr *  CE,
const ConstructionContext *  CC,
BumpVectorContext &  C 
)
inline

Definition at line 901 of file CFG.h.

◆ appendCXXRecordTypedCall()

void clang::CFGBlock::appendCXXRecordTypedCall ( Expr *  E,
const ConstructionContext *  CC,
BumpVectorContext &  C 
)
inline

Definition at line 906 of file CFG.h.

◆ appendDeleteDtor()

void clang::CFGBlock::appendDeleteDtor ( CXXRecordDecl *  RD,
CXXDeleteExpr *  DE,
BumpVectorContext &  C 
)
inline

Definition at line 964 of file CFG.h.

◆ appendInitializer()

void clang::CFGBlock::appendInitializer ( CXXCtorInitializer *  initializer,
BumpVectorContext &  C 
)
inline

Definition at line 912 of file CFG.h.

◆ appendLifetimeEnds()

void clang::CFGBlock::appendLifetimeEnds ( VarDecl *  VD,
Stmt *  S,
BumpVectorContext &  C 
)
inline

Definition at line 956 of file CFG.h.

◆ appendLoopExit()

void clang::CFGBlock::appendLoopExit ( const Stmt *  LoopStmt,
BumpVectorContext &  C 
)
inline

Definition at line 960 of file CFG.h.

◆ appendMemberDtor()

void clang::CFGBlock::appendMemberDtor ( FieldDecl *  FD,
BumpVectorContext &  C 
)
inline

Definition at line 944 of file CFG.h.

◆ appendNewAllocator()

void clang::CFGBlock::appendNewAllocator ( CXXNewExpr *  NE,
BumpVectorContext &  C 
)
inline

Definition at line 917 of file CFG.h.

◆ appendScopeBegin()

void clang::CFGBlock::appendScopeBegin ( const VarDecl *  VD,
const Stmt *  S,
BumpVectorContext &  C 
)
inline

Definition at line 922 of file CFG.h.

◆ appendScopeEnd()

void clang::CFGBlock::appendScopeEnd ( const VarDecl *  VD,
const Stmt *  S,
BumpVectorContext &  C 
)
inline

Definition at line 932 of file CFG.h.

◆ appendStmt()

void clang::CFGBlock::appendStmt ( Stmt *  statement,
BumpVectorContext &  C 
)
inline

Definition at line 897 of file CFG.h.

◆ appendTemporaryDtor()

void clang::CFGBlock::appendTemporaryDtor ( CXXBindTemporaryExpr *  E,
BumpVectorContext &  C 
)
inline

Definition at line 948 of file CFG.h.

◆ back()

CFGElement clang::CFGBlock::back ( ) const
inline

Definition at line 719 of file CFG.h.

Referenced by clang::CFG::back(), clang::ento::CoreEngine::ExecuteWorkListWithInitialState(), and neverReturns().

◆ begin() [1/2]

iterator clang::CFGBlock::begin ( )
inline

Definition at line 721 of file CFG.h.

Referenced by Accumulate(), CompactMacroExpandedPieces(), clang::LiveVariables::computeLiveness(), and print_block().

◆ begin() [2/2]

const_iterator clang::CFGBlock::begin ( ) const
inline

Definition at line 723 of file CFG.h.

◆ beginAutomaticObjDtorsInsert()

iterator clang::CFGBlock::beginAutomaticObjDtorsInsert ( iterator  I,
size_t  Cnt,
BumpVectorContext &  C 
)
inline

Definition at line 971 of file CFG.h.

References clang::C.

◆ beginLifetimeEndsInsert()

iterator clang::CFGBlock::beginLifetimeEndsInsert ( iterator  I,
size_t  Cnt,
BumpVectorContext &  C 
)
inline

Definition at line 984 of file CFG.h.

References clang::C.

◆ beginScopeEndInsert()

iterator clang::CFGBlock::beginScopeEndInsert ( iterator  I,
size_t  Cnt,
BumpVectorContext &  C 
)
inline

Definition at line 997 of file CFG.h.

References clang::C.

◆ dump() [1/2]

LLVM_DUMP_METHOD void CFGBlock::dump ( ) const

Definition at line 5587 of file CFG.cpp.

References getParent().

◆ dump() [2/2]

void CFGBlock::dump ( const CFG *  cfg,
const LangOptions &  LO,
bool  ShowColors = false 
) const

dump - A simply pretty printer of a CFGBlock that outputs to stderr.

Definition at line 5582 of file CFG.cpp.

References print().

◆ empty()

bool clang::CFGBlock::empty ( ) const
inline

Definition at line 732 of file CFG.h.

Referenced by clang::ento::CoreEngine::ExecuteWorkList(), clang::ento::CoreEngine::ExecuteWorkListWithInitialState(), clang::BlockEntrance::getFirstElement(), clang::ento::WorkList::makeUnexploredFirstPriorityQueue(), neverReturns(), clang::ento::ExprEngine::processCallEnter(), and clang::ento::ExprEngine::VisitLogicalExpr().

◆ end() [1/2]

iterator clang::CFGBlock::end ( )
inline

Definition at line 722 of file CFG.h.

Referenced by Accumulate(), CompactMacroExpandedPieces(), clang::LiveVariables::computeLiveness(), and print_block().

◆ end() [2/2]

const_iterator clang::CFGBlock::end ( ) const
inline

Definition at line 724 of file CFG.h.

◆ filtered_pred_start_end()

filtered_pred_iterator clang::CFGBlock::filtered_pred_start_end ( const FilterOptions &  f) const
inline

Definition at line 843 of file CFG.h.

◆ filtered_succ_start_end()

filtered_succ_iterator clang::CFGBlock::filtered_succ_start_end ( const FilterOptions &  f) const
inline

Definition at line 847 of file CFG.h.

◆ FilterEdge()

bool CFGBlock::FilterEdge ( const FilterOptions &  F,
const CFGBlock *  Src,
const CFGBlock *  Dst 
)
static

Definition at line 4891 of file CFG.cpp.

References clang::CFG::begin(), clang::CFG::end(), clang::IfStmt::getCond(), clang::SwitchStmt::getCond(), clang::WhileStmt::getCond(), clang::DoStmt::getCond(), clang::ForStmt::getCond(), clang::AbstractConditionalOperator::getCond(), clang::ChooseExpr::getCond(), clang::ForStmt::getInc(), clang::ForStmt::getInit(), clang::CFGTerminator::getKind(), getLabel(), clang::BinaryOperator::getLHS(), clang::NamedDecl::getName(), clang::BinaryOperator::getOpcode(), clang::DeclStmt::getSingleDecl(), clang::CFGTerminator::getStmt(), clang::Stmt::getStmtClass(), clang::IndirectGotoStmt::getTarget(), getTerminatorStmt(), i, clang::CFGBlock::FilterOptions::IgnoreDefaultsWithCoveredEnums, clang::CFGBlock::FilterOptions::IgnoreNullPredecessors, clang::PrintingPolicy::IncludeNewlines, clang::BinaryOperator::isLogicalOp(), P, print(), clang::Stmt::printPretty(), clang::ast_matchers::stmt, clang::CFGTerminator::StmtBranch, clang::CFGTerminator::TemporaryDtorsBranch, and clang::CFGTerminator::VirtualBaseBranch.

◆ front()

CFGElement clang::CFGBlock::front ( ) const
inline

Definition at line 718 of file CFG.h.

Referenced by clang::CFG::front(), and clang::BlockEntrance::getFirstElement().

◆ getBlockID()

unsigned clang::CFGBlock::getBlockID ( ) const
inline

Definition at line 876 of file CFG.h.

Referenced by clang::consumed::ConsumedBlockInfo::addInfo(), clang::consumed::ConsumedBlockInfo::allBackEdgesVisited(), clang::PostOrderCFGView::CFGBlockSet::alreadySet(), clang::ento::NodeBuilderContext::blockCount(), clang::consumed::ConsumedBlockInfo::borrowInfo(), CheckFallThrough(), checkForRecursiveFunctionCall(), clang::LiveVariables::computeLiveness(), clang::consumed::ConsumedBlockInfo::discardInfo(), clang::LiveVariables::dumpBlockLiveness(), clang::ento::CoreEngine::ExecuteWorkList(), clang::ento::CoreEngine::ExecuteWorkListWithInitialState(), clang::reachable_code::FindUnreachableCode(), clang::ento::CheckerContext::getBlockID(), clang::consumed::ConsumedBlockInfo::getInfo(), getStaticBooleanValue(), clang::PostOrderCFGView::CFGBlockSet::insert(), isAlwaysUninit(), clang::consumed::ConsumedBlockInfo::isBackEdge(), clang::consumed::ConsumedBlockInfo::isBackEdgeTarget(), isPointerToConst(), clang::CFGReverseBlockReachabilityAnalysis::isReachable(), clang::threadSafety::SExprBuilder::lookupBlock(), print_block(), runOnBlock(), clang::runUninitializedVariablesAnalysis(), scanFromBlock(), and SrcCmp().

◆ getLabel() [1/2]

Stmt* clang::CFGBlock::getLabel ( )
inline

Definition at line 871 of file CFG.h.

References Label.

Referenced by Accumulate(), FilterEdge(), generateDiagForSwitchOP(), isPointerToConst(), and print_block().

◆ getLabel() [2/2]

const Stmt* clang::CFGBlock::getLabel ( ) const
inline

Definition at line 872 of file CFG.h.

References Label.

◆ getLoopTarget()

const Stmt* clang::CFGBlock::getLoopTarget ( ) const
inline

Definition at line 869 of file CFG.h.

◆ getParent()

CFG* clang::CFGBlock::getParent ( ) const
inline

Definition at line 878 of file CFG.h.

References dump(), and Parent.

Referenced by clang::ento::PathDiagnosticLocation::create(), and dump().

◆ getTerminator()

CFGTerminator clang::CFGBlock::getTerminator ( ) const
inline

Definition at line 858 of file CFG.h.

Referenced by clang::ento::PathDiagnosticLocation::create(), clang::ento::CoreEngine::ExecuteWorkListWithInitialState(), clang::ento::SwitchNodeBuilder::getSwitch(), clang::consumed::ConsumedStateMap::operator!=(), print_block(), printTerminator(), ResolveCondition(), and clang::ento::ExprEngine::VisitLogicalExpr().

◆ getTerminatorCondition() [1/2]

Stmt * CFGBlock::getTerminatorCondition ( bool  StripParens = true)

Definition at line 5618 of file CFG.cpp.

References clang::Stmt::getStmtClass(), getTerminatorStmt(), and clang::Expr::IgnoreParens().

Referenced by clang::ento::PathDiagnosticLocation::create(), getStaticBooleanValue(), getTerminatorCondition(), and shouldTreatSuccessorsAsReachable().

◆ getTerminatorCondition() [2/2]

const Stmt* clang::CFGBlock::getTerminatorCondition ( bool  StripParens = true) const
inline

Definition at line 865 of file CFG.h.

References getTerminatorCondition().

◆ getTerminatorStmt() [1/2]

Stmt* clang::CFGBlock::getTerminatorStmt ( )
inline

Definition at line 860 of file CFG.h.

References clang::CFGTerminator::getStmt().

Referenced by Accumulate(), CheckFallThrough(), clang::ento::CoreEngine::ExecuteWorkListWithInitialState(), FilterEdge(), generateMinimalDiagForBlockEdge(), getLastStmtLoc(), getLocationRegionIfReference(), getStaticBooleanValue(), getTerminatorCondition(), clang::ento::ExprEngine::processCFGBlockEntrance(), shouldTreatSuccessorsAsReachable(), and writeShouldKill().

◆ getTerminatorStmt() [2/2]

const Stmt* clang::CFGBlock::getTerminatorStmt ( ) const
inline

Definition at line 861 of file CFG.h.

References clang::CFGTerminator::getStmt(), and getTerminatorCondition().

◆ hasNoReturnElement()

bool clang::CFGBlock::hasNoReturnElement ( ) const
inline

Definition at line 874 of file CFG.h.

Referenced by CheckFallThrough(), CompactMacroExpandedPieces(), neverReturns(), and print_block().

◆ insertAutomaticObjDtor()

iterator clang::CFGBlock::insertAutomaticObjDtor ( iterator  I,
VarDecl *  VD,
Stmt *  S 
)
inline

Definition at line 976 of file CFG.h.

◆ insertLifetimeEnds()

iterator clang::CFGBlock::insertLifetimeEnds ( iterator  I,
VarDecl *  VD,
Stmt *  S 
)
inline

Definition at line 989 of file CFG.h.

◆ insertScopeEnd()

iterator clang::CFGBlock::insertScopeEnd ( iterator  I,
VarDecl *  VD,
Stmt *  S 
)
inline

Definition at line 1001 of file CFG.h.

◆ operator[]()

CFGElement clang::CFGBlock::operator[] ( size_t  i) const
inline

Definition at line 734 of file CFG.h.

References i.

◆ pred_begin() [1/2]

pred_iterator clang::CFGBlock::pred_begin ( )
inline

Definition at line 751 of file CFG.h.

References clang::BumpVector< T >::begin().

Referenced by clang::consumed::ConsumedBlockInfo::allBackEdgesVisited(), llvm::GraphTraits< Inverse< ::clang::CFGBlock * > >::child_begin(), llvm::GraphTraits< Inverse< const ::clang::CFGBlock * > >::child_begin(), getLastStmtLoc(), clang::consumed::ConsumedBlockInfo::isBackEdgeTarget(), isPointerToConst(), clang::CFGReverseBlockReachabilityAnalysis::isReachable(), print_block(), and runOnBlock().

◆ pred_begin() [2/2]

const_pred_iterator clang::CFGBlock::pred_begin ( ) const
inline

Definition at line 753 of file CFG.h.

References clang::BumpVector< T >::begin().

◆ pred_empty()

bool clang::CFGBlock::pred_empty ( ) const
inline

Definition at line 791 of file CFG.h.

References clang::BumpVector< T >::empty().

Referenced by checkRecursiveFunction(), checkThrowInNonThrowingFunc(), and print_block().

◆ pred_end() [1/2]

pred_iterator clang::CFGBlock::pred_end ( )
inline

Definition at line 752 of file CFG.h.

References clang::BumpVector< T >::end().

Referenced by clang::consumed::ConsumedBlockInfo::allBackEdgesVisited(), llvm::GraphTraits< Inverse< ::clang::CFGBlock * > >::child_end(), llvm::GraphTraits< Inverse< const ::clang::CFGBlock * > >::child_end(), clang::consumed::ConsumedBlockInfo::isBackEdgeTarget(), isPointerToConst(), clang::CFGReverseBlockReachabilityAnalysis::isReachable(), print_block(), and runOnBlock().

◆ pred_end() [2/2]

const_pred_iterator clang::CFGBlock::pred_end ( ) const
inline

Definition at line 754 of file CFG.h.

References clang::BumpVector< T >::end().

◆ pred_rbegin() [1/2]

pred_reverse_iterator clang::CFGBlock::pred_rbegin ( )
inline

Definition at line 756 of file CFG.h.

References clang::BumpVector< T >::rbegin().

◆ pred_rbegin() [2/2]

const_pred_reverse_iterator clang::CFGBlock::pred_rbegin ( ) const
inline

Definition at line 758 of file CFG.h.

References clang::BumpVector< T >::rbegin().

◆ pred_rend() [1/2]

pred_reverse_iterator clang::CFGBlock::pred_rend ( )
inline

Definition at line 757 of file CFG.h.

References clang::BumpVector< T >::rend().

◆ pred_rend() [2/2]

const_pred_reverse_iterator clang::CFGBlock::pred_rend ( ) const
inline

Definition at line 759 of file CFG.h.

References clang::BumpVector< T >::rend().

◆ pred_size()

unsigned clang::CFGBlock::pred_size ( ) const
inline

Definition at line 790 of file CFG.h.

References clang::BumpVector< T >::size().

Referenced by getLastStmtLoc(), clang::consumed::ConsumedBlockInfo::isBackEdgeTarget(), and print_block().

◆ preds() [1/2]

pred_range clang::CFGBlock::preds ( )
inline

Definition at line 761 of file CFG.h.

◆ preds() [2/2]

pred_const_range clang::CFGBlock::preds ( ) const
inline

Definition at line 765 of file CFG.h.

◆ prependScopeBegin()

void clang::CFGBlock::prependScopeBegin ( const VarDecl *  VD,
const Stmt *  S,
BumpVectorContext &  C 
)
inline

Definition at line 927 of file CFG.h.

◆ prependScopeEnd()

void clang::CFGBlock::prependScopeEnd ( const VarDecl *  VD,
const Stmt *  S,
BumpVectorContext &  C 
)
inline

Definition at line 936 of file CFG.h.

◆ print()

void CFGBlock::print ( raw_ostream &  OS,
const CFG *  cfg,
const LangOptions &  LO,
bool  ShowColors 
) const

print - A simple pretty printer of a CFGBlock that outputs to an ostream.

Generally this will only be called from CFG::print.

Definition at line 5593 of file CFG.cpp.

References print_block().

Referenced by dump(), clang::CFG::dump(), and FilterEdge().

◆ printAsOperand()

void clang::CFGBlock::printAsOperand ( raw_ostream &  OS,
bool   
)
inline

Definition at line 890 of file CFG.h.

References clang::C.

◆ printTerminator()

void CFGBlock::printTerminator ( raw_ostream &  OS,
const LangOptions &  LO 
) const

printTerminator - A simple pretty printer of the terminator of a CFGBlock.

Definition at line 5601 of file CFG.cpp.

References getTerminator().

Referenced by printTerminatorJson().

◆ printTerminatorJson()

void CFGBlock::printTerminatorJson ( raw_ostream &  Out,
const LangOptions &  LO,
bool  AddQuotes 
) const

printTerminatorJson - Pretty-prints the terminator in JSON format.

Definition at line 5608 of file CFG.cpp.

References clang::JsonFormat(), and printTerminator().

◆ rbegin() [1/2]

reverse_iterator clang::CFGBlock::rbegin ( )
inline

Definition at line 726 of file CFG.h.

Referenced by CheckFallThrough(), getLastStmtLoc(), ResolveCondition(), clang::ento::ExprEngine::VisitLogicalExpr(), and writeShouldKill().

◆ rbegin() [2/2]

const_reverse_iterator clang::CFGBlock::rbegin ( ) const
inline

Definition at line 728 of file CFG.h.

◆ rend() [1/2]

reverse_iterator clang::CFGBlock::rend ( )
inline

Definition at line 727 of file CFG.h.

Referenced by CheckFallThrough(), getLastStmtLoc(), ResolveCondition(), and writeShouldKill().

◆ rend() [2/2]

const_reverse_iterator clang::CFGBlock::rend ( ) const
inline

Definition at line 729 of file CFG.h.

◆ setHasNoReturnElement()

void clang::CFGBlock::setHasNoReturnElement ( )
inline

Definition at line 856 of file CFG.h.

◆ setLabel()

void clang::CFGBlock::setLabel ( Stmt *  Statement)
inline

Definition at line 854 of file CFG.h.

References clang::CFGElement::Statement.

Referenced by shouldAddCase().

◆ setLoopTarget()

void clang::CFGBlock::setLoopTarget ( const Stmt *  loopTarget)
inline

Definition at line 855 of file CFG.h.

◆ setTerminator()

void clang::CFGBlock::setTerminator ( CFGTerminator  Term)
inline

Definition at line 853 of file CFG.h.

◆ size()

unsigned clang::CFGBlock::size ( ) const
inline

Definition at line 731 of file CFG.h.

Referenced by clang::ento::CoreEngine::ExecuteWorkListWithInitialState(), and clang::ento::CallEvent::getCalleeStackFrame().

◆ succ_begin() [1/2]

succ_iterator clang::CFGBlock::succ_begin ( )
inline

Definition at line 769 of file CFG.h.

References clang::BumpVector< T >::begin().

Referenced by clang::ento::IndirectGotoNodeBuilder::begin(), CheckFallThrough(), checkForRecursiveFunctionCall(), llvm::GraphTraits< ::clang::CFGBlock * >::child_begin(), llvm::GraphTraits< const ::clang::CFGBlock * >::child_begin(), ClassifyDiagnostic(), clang::LiveVariables::computeLiveness(), clang::ento::CoreEngine::ExecuteWorkList(), clang::ento::CoreEngine::ExecuteWorkListWithInitialState(), generateDiagForBinaryOP(), generateMinimalDiagForBlockEdge(), getLastStmtLoc(), getLocationRegionIfReference(), isAlwaysUninit(), isJumpToFalseBranch(), isPointerToConst(), clang::consumed::ConsumedStateMap::operator!=(), print_block(), clang::ento::ExprEngine::processCallEnter(), scanFromBlock(), and clang::ento::ExprEngine::VisitLogicalExpr().

◆ succ_begin() [2/2]

const_succ_iterator clang::CFGBlock::succ_begin ( ) const
inline

Definition at line 771 of file CFG.h.

References clang::BumpVector< T >::begin().

◆ succ_empty()

bool clang::CFGBlock::succ_empty ( ) const
inline

Definition at line 788 of file CFG.h.

References clang::BumpVector< T >::empty().

Referenced by print_block().

◆ succ_end() [1/2]

succ_iterator clang::CFGBlock::succ_end ( )
inline

Definition at line 770 of file CFG.h.

References clang::BumpVector< T >::end().

Referenced by CheckFallThrough(), checkForRecursiveFunctionCall(), llvm::GraphTraits< ::clang::CFGBlock * >::child_end(), llvm::GraphTraits< const ::clang::CFGBlock * >::child_end(), ClassifyDiagnostic(), clang::LiveVariables::computeLiveness(), clang::ento::IndirectGotoNodeBuilder::end(), clang::ento::CoreEngine::ExecuteWorkListWithInitialState(), isAlwaysUninit(), isPointerToConst(), print_block(), and scanFromBlock().

◆ succ_end() [2/2]

const_succ_iterator clang::CFGBlock::succ_end ( ) const
inline

Definition at line 772 of file CFG.h.

References clang::BumpVector< T >::end().

◆ succ_rbegin() [1/2]

succ_reverse_iterator clang::CFGBlock::succ_rbegin ( )
inline

Definition at line 774 of file CFG.h.

References clang::BumpVector< T >::rbegin().

Referenced by clang::ento::SwitchNodeBuilder::begin(), and clang::ento::SwitchNodeBuilder::generateDefaultCaseNode().

◆ succ_rbegin() [2/2]

const_succ_reverse_iterator clang::CFGBlock::succ_rbegin ( ) const
inline

Definition at line 776 of file CFG.h.

References clang::BumpVector< T >::rbegin().

◆ succ_rend() [1/2]

succ_reverse_iterator clang::CFGBlock::succ_rend ( )
inline

Definition at line 775 of file CFG.h.

References clang::BumpVector< T >::rend().

Referenced by clang::ento::SwitchNodeBuilder::end().

◆ succ_rend() [2/2]

const_succ_reverse_iterator clang::CFGBlock::succ_rend ( ) const
inline

Definition at line 777 of file CFG.h.

References clang::BumpVector< T >::rend().

◆ succ_size()

unsigned clang::CFGBlock::succ_size ( ) const
inline

Definition at line 787 of file CFG.h.

References clang::BumpVector< T >::size().

Referenced by clang::ento::CoreEngine::ExecuteWorkList(), clang::ento::CoreEngine::ExecuteWorkListWithInitialState(), getLastStmtLoc(), isJumpToFalseBranch(), isPointerToConst(), print_block(), clang::ento::ExprEngine::processCallEnter(), and clang::ento::ExprEngine::VisitLogicalExpr().

◆ succs() [1/2]

succ_range clang::CFGBlock::succs ( )
inline

Definition at line 779 of file CFG.h.

Referenced by CompactMacroExpandedPieces(), and clang::CFG::isLinear().

◆ succs() [2/2]

succ_const_range clang::CFGBlock::succs ( ) const
inline

Definition at line 783 of file CFG.h.

The documentation for this class was generated from the following files:
Generated on Mon Jun 17 2019 00:55:12 for clang by   doxygen 1.8.13