Home
last modified time | relevance | path

Searched refs:CFGBlock (Results 1 – 25 of 47) sorted by relevance

12

/freebsd/contrib/llvm-project/clang/lib/Analysis/
H A DCFG.cpp392 CFGBlock *block = nullptr;
396 BlockScopePosPair(CFGBlock *b, LocalScope::const_iterator scopePos) in BlockScopePosPair()
493 CFGBlock *Block = nullptr;
496 CFGBlock *Succ = nullptr;
501 CFGBlock *SwitchTerminatedBlock = nullptr;
502 CFGBlock *DefaultCaseBlock = nullptr;
508 CFGBlock *TryTerminatedBlock = nullptr;
559 CFGBlock *VisitInitListExpr(InitListExpr *ILE, AddStmtChoice asc);
560 CFGBlock *VisitAddrLabelExpr(AddrLabelExpr *A, AddStmtChoice asc);
561 CFGBlock *VisitAttributedStmt(AttributedStmt *A, AddStmtChoice asc);
[all …]
H A DReachableCode.cpp52 static bool isTrivialDoWhile(const CFGBlock *B, const Stmt *S) { in isTrivialDoWhile()
72 static bool isBuiltinAssumeFalse(const CFGBlock *B, const Stmt *S, in isBuiltinAssumeFalse()
87 static bool isDeadReturn(const CFGBlock *B, const Stmt *S) { in isDeadReturn()
91 const CFGBlock *Current = B; in isDeadReturn()
296 static bool shouldTreatSuccessorsAsReachable(const CFGBlock *B, in shouldTreatSuccessorsAsReachable()
317 static unsigned scanFromBlock(const CFGBlock *Start, in scanFromBlock()
324 SmallVector<const CFGBlock*, 32> WL; in scanFromBlock()
337 const CFGBlock *item = WL.pop_back_val(); in scanFromBlock()
349 for (CFGBlock::const_succ_iterator I = item->succ_begin(), in scanFromBlock()
351 const CFGBlock *B = *I; in scanFromBlock()
[all …]
H A DCFGReachabilityAnalysis.cpp26 bool CFGReverseBlockReachabilityAnalysis::isReachable(const CFGBlock *Src, in isReachable()
27 const CFGBlock *Dst) { in isReachable()
42 void CFGReverseBlockReachabilityAnalysis::mapReachability(const CFGBlock *Dst) { in mapReachability()
43 SmallVector<const CFGBlock *, 11> worklist; in mapReachability()
55 const CFGBlock *block = worklist.pop_back_val(); in mapReachability()
70 for (CFGBlock::const_pred_iterator i = block->pred_begin(), in mapReachability()
H A DCFGStmtMap.cpp22 typedef llvm::DenseMap<const Stmt*, CFGBlock*> SMap;
27 CFGBlock *CFGStmtMap::getBlock(Stmt *S) { in getBlock()
36 CFGBlock *B = I->second; in getBlock()
49 static void Accumulate(SMap &SM, CFGBlock *B) { in Accumulate()
51 for (CFGBlock::iterator I = B->begin(), E = B->end(); I != E; ++I) { in Accumulate()
57 CFGBlock *&Entry = SM[CS->getStmt()]; in Accumulate()
H A DCalledOnceCheck.cpp511 static std::optional<Clarification> clarify(const CFGBlock *Conditional, in clarify()
512 const CFGBlock *SuccWithoutCall) { in clarify()
578 static unsigned getSuccessorIndex(const CFGBlock *Parent, in getSuccessorIndex()
579 const CFGBlock *Child) { in getSuccessorIndex()
580 CFGBlock::const_succ_iterator It = llvm::find(Parent->succs(), Child); in getSuccessorIndex()
598 NotCalledClarifier(const CFGBlock *Parent, const CFGBlock *SuccInQuestion) in NotCalledClarifier()
601 const CFGBlock *Parent, *SuccInQuestion;
716 const CFGBlock *Exit = &FunctionCFG.getExit(); in check()
720 while (const CFGBlock *BB = Worklist.dequeue()) { in check()
739 void check(const CFGBlock *BB) { in check()
[all …]
H A DUninitializedValues.cpp150 ValueVector &getValueVector(const CFGBlock *block) { in getValueVector()
156 bool updateValueVectorWithScratch(const CFGBlock *block);
166 Value getValue(const CFGBlock *block, const CFGBlock *dstBlock, in getValue()
190 static void printVector(const CFGBlock *block, ValueVector &bv, in printVector()
212 bool CFGBlockValues::updateValueVectorWithScratch(const CFGBlock *block) { in updateValueVectorWithScratch()
483 const CFGBlock *block;
491 const CFGBlock *block, AnalysisDeclContext &ac, in TransferFunctions()
572 SmallVector<const CFGBlock*, 32> Queue; in getUninitUse()
580 const CFGBlock *B = Queue.pop_back_val(); in getUninitUse()
586 for (CFGBlock::const_pred_iterator I = B->pred_begin(), E = B->pred_end(); in getUninitUse()
[all …]
H A DLiveVariables.cpp34 llvm::DenseMap<const CFGBlock *, LiveVariables::LivenessValues> blocksEndToLiveness;
35 llvm::DenseMap<const CFGBlock *, LiveVariables::LivenessValues> blocksBeginToLiveness;
45 runOnBlock(const CFGBlock *block, LiveVariables::LivenessValues val,
141 bool LiveVariables::isLive(const CFGBlock *B, const VarDecl *D) { in isLive()
162 const CFGBlock *currentBlock;
167 const CFGBlock *CurrentBlock) in TransferFunctions()
479 LiveVariablesImpl::runOnBlock(const CFGBlock *block, in runOnBlock()
490 for (CFGBlock::const_reverse_iterator it = block->rbegin(), in runOnBlock()
543 for (const CFGBlock *B : cfg->nodes()) { in computeLiveness()
547 while (const CFGBlock *block = worklist.dequeue()) { in computeLiveness()
[all …]
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DAdornedCFG.cpp28 static llvm::DenseMap<const Stmt *, const CFGBlock *>
30 llvm::DenseMap<const Stmt *, const CFGBlock *> StmtToBlock; in buildStmtToBasicBlockMap()
31 for (const CFGBlock *Block : Cfg) { in buildStmtToBasicBlockMap()
50 for (const CFGBlock *Block : Cfg) { in buildStmtToBasicBlockMap()
67 for (const CFGBlock *Block : Cfg) { in buildStmtToBasicBlockMap()
78 llvm::SmallVector<const CFGBlock *> BlocksToVisit; in findReachableBlocks()
81 const CFGBlock *Block = BlocksToVisit.back(); in findReachableBlocks()
89 for (const CFGBlock *Succ : Block->succs()) in findReachableBlocks()
97 static llvm::DenseSet<const CFGBlock *>
100 const llvm::DenseMap<const Stmt *, const CFGBlock *> &StmtToBlock) { in buildContainsExprConsumedInDifferentBlock()
[all …]
H A DTypeErasedDataflowAnalysis.cpp44 static int blockIndexInPredecessor(const CFGBlock &Pred, in blockIndexInPredecessor()
45 const CFGBlock &Block) { in blockIndexInPredecessor()
47 Pred.succs(), [&Block](const CFGBlock::AdjacentBlock &Succ) { in blockIndexInPredecessor()
59 static bool isBackedgeNode(const CFGBlock &B) { in isBackedgeNode()
219 computeBlockInputState(const CFGBlock &Block, AnalysisContext &AC) { in computeBlockInputState()
220 std::vector<const CFGBlock *> Preds(Block.pred_begin(), Block.pred_end()); in computeBlockInputState()
261 for (const CFGBlock *Pred : Preds) { in computeBlockInputState()
269 for (const CFGBlock *Pred : Preds) { in computeBlockInputState()
413 transferCFGBlock(const CFGBlock &Block, AnalysisContext &AC, in transferCFGBlock()
496 const CFGBlock &Entry = CFG.getEntry(); in runTypeErasedDataflowAnalysis()
[all …]
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h70 std::vector<std::pair<const CFGBlock *, const ExplodedNode *>>;
114 void HandleBlockExit(const CFGBlock *B, ExplodedNode *Pred);
118 void HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, ExplodedNode *Pred);
120 void HandleBranch(const Stmt *Cond, const Stmt *Term, const CFGBlock *B,
123 const CFGBlock *B, ExplodedNode *Pred);
126 void HandleStaticInit(const DeclStmt *DS, const CFGBlock *B,
129 void HandleVirtualBaseBranch(const CFGBlock *B, ExplodedNode *Pred);
166 void addAbortedBlock(const ExplodedNode *node, const CFGBlock *block) { in addAbortedBlock()
184 void enqueue(ExplodedNodeSet &Set, const CFGBlock *Block, unsigned Idx);
191 void enqueueStmtNode(ExplodedNode *N, const CFGBlock *Block, unsigned Idx);
[all …]
H A DCallEvent.h161 CFGBlock::ConstCFGElementRef ElemRef = {nullptr, 0};
185 CFGBlock::ConstCFGElementRef ElemRef) in CallEvent()
189 CFGBlock::ConstCFGElementRef ElemRef) in CallEvent()
240 const CFGBlock::ConstCFGElementRef &getCFGElementRef() const { in getCFGElementRef()
503 CFGBlock::ConstCFGElementRef ElemRef) in AnyFunctionCall()
507 CFGBlock::ConstCFGElementRef ElemRef) in AnyFunctionCall()
542 CFGBlock::ConstCFGElementRef ElemRef) in SimpleFunctionCall()
579 CFGBlock::ConstCFGElementRef ElemRef) in BlockCall()
681 CFGBlock::ConstCFGElementRef ElemRef) in CXXInstanceCall()
685 CFGBlock::ConstCFGElementRef ElemRef) in CXXInstanceCall()
[all …]
H A DWorkList.h23 class CFGBlock; variable
30 const CFGBlock *block;
35 const CFGBlock *B, unsigned idx) in WorkListUnit()
54 const CFGBlock *getBlock() const { return block; } in getBlock()
68 void enqueue(ExplodedNode *N, const CFGBlock *B, unsigned idx) { in enqueue()
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/Analyses/
H A DPostOrderCFGView.h43 struct iterator { using value_type = const CFGBlock *; };
50 std::pair<std::nullopt_t, bool> insert(const CFGBlock *Block) { in insert()
67 bool alreadySet(const CFGBlock *Block) { in alreadySet()
84 using NodeRef = const ::clang::CFGBlock *;
85 using ChildIteratorType = ::clang::CFGBlock::const_succ_reverse_iterator;
108 std::vector<const CFGBlock *> Blocks;
110 using BlockOrderTy = llvm::DenseMap<const CFGBlock *, unsigned>;
116 using iterator = std::vector<const CFGBlock *>::reverse_iterator;
117 using const_iterator = std::vector<const CFGBlock *>::const_reverse_iterator;
135 bool operator()(const CFGBlock *b1, const CFGBlock *b2) const;
H A DConsumed.h179 void intersectAtLoopHead(const CFGBlock *LoopHead, const CFGBlock *LoopBack,
224 bool allBackEdgesVisited(const CFGBlock *CurrBlock,
225 const CFGBlock *TargetBlock);
227 void addInfo(const CFGBlock *Block, ConsumedStateMap *StateMap,
229 void addInfo(const CFGBlock *Block,
232 ConsumedStateMap* borrowInfo(const CFGBlock *Block);
234 void discardInfo(const CFGBlock *Block);
236 std::unique_ptr<ConsumedStateMap> getInfo(const CFGBlock *Block);
238 bool isBackEdge(const CFGBlock *From, const CFGBlock *To);
239 bool isBackEdgeTarget(const CFGBlock *Block);
[all …]
H A DThreadSafetyCommon.h104 void enterCFG(CFG *Cfg, const NamedDecl *D, const CFGBlock *First) {} in enterCFG()
107 void enterCFGBlock(const CFGBlock *B) {} in enterCFGBlock()
113 void handlePredecessor(const CFGBlock *Pred) {} in handlePredecessor()
116 void handlePredecessorBackEdge(const CFGBlock *Pred) {} in handlePredecessorBackEdge()
119 void enterCFGBlockBody(const CFGBlock *B) {} in enterCFGBlockBody()
128 void exitCFGBlockBody(const CFGBlock *B) {} in exitCFGBlockBody()
134 void handleSuccessor(const CFGBlock *Succ) {} in handleSuccessor()
137 void handleSuccessorBackEdge(const CFGBlock *Succ) {} in handleSuccessorBackEdge()
140 void exitCFGBlock(const CFGBlock *B) {} in exitCFGBlock()
143 void exitCFG(const CFGBlock *Last) {} in exitCFG()
[all …]
H A DCFGReachabilityAnalysis.h24 class CFGBlock; variable
42 bool isReachable(const CFGBlock *Src, const CFGBlock *Dst);
45 void mapReachability(const CFGBlock *Dst);
H A DLiveVariables.h23 class CFGBlock; variable
62 const CFGBlock *currentBlock, in observeStmt()
78 bool isLive(const CFGBlock *B, const VarDecl *D);
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/
H A DCFG.h604 class CFGBlock {
655 std::conditional_t<IsConst, const CFGBlock *, CFGBlock *>;
706 std::conditional_t<IsConst, const CFGBlock *, CFGBlock *>;
716 using ElementRef = typename CFGBlock::ElementRefImpl<IsConst>;
756 getIndexInBlock(CFGBlock::ElementRefIterator<true, IsOtherConst> E) { in getIndexInBlock()
762 getIndexInBlock(CFGBlock::ElementRefIterator<false, IsOtherConst> E) { in getIndexInBlock()
826 CFGBlock *ReachableBlock;
827 llvm::PointerIntPair<CFGBlock *, 2> UnreachableBlock;
831 AdjacentBlock(CFGBlock *B, bool IsReachable);
835 AdjacentBlock(CFGBlock *B, CFGBlock *AlternateBlock);
[all …]
H A DProgramPoint.h98 CFGBlock::ConstCFGElementRef ElemRef = {nullptr, 0};
104 CFGBlock::ConstCFGElementRef ElemRef = {nullptr, 0})
115 CFGBlock::ConstCFGElementRef ElemRef = {nullptr, 0})
124 CFGBlock::ConstCFGElementRef getElementRef() const { return ElemRef; } in getElementRef()
221 BlockEntrance(const CFGBlock *B, const LocationContext *L,
227 const CFGBlock *getBlock() const { in getBlock()
228 return reinterpret_cast<const CFGBlock*>(getData1()); in getBlock()
232 const CFGBlock *B = getBlock(); in getFirstElement()
246 BlockExit(const CFGBlock *B, const LocationContext *L) in BlockExit()
249 const CFGBlock *getBlock() const { in getBlock()
[all …]
H A DAnalysisDeclContext.h127 const CFGBlock *getBlockForRegisteredExpression(const Stmt *stmt);
182 const Stmt *S, const CFGBlock *Blk,
306 const CFGBlock *Block;
317 const Stmt *S, const CFGBlock *Block, unsigned BlockCount, in StackFrameContext()
327 const CFGBlock *getCallSiteBlock() const { return Block; } in getCallSiteBlock()
339 const CFGBlock *Block, unsigned BlockCount, in Profile()
407 const Stmt *S, const CFGBlock *Block,
478 const Stmt *S, const CFGBlock *Block, in getStackFrame()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DUnreachableCodeChecker.cpp40 static inline const Stmt *getUnreachableStmt(const CFGBlock *CB);
41 static void FindUnreachableEntryPoints(const CFGBlock *CB,
44 static bool isInvalidPath(const CFGBlock *CB, const ParentMap &PM);
45 static inline bool isEmptyCFGBlock(const CFGBlock *CB);
78 const CFGBlock *CB = BE->getBlock(); in checkEndAnalysis()
95 for (const CFGBlock *CB : *C) { in checkEndAnalysis()
129 for (CFGBlock::const_iterator ci = CB->begin(), ce = CB->end(); in checkEndAnalysis()
179 void UnreachableCodeChecker::FindUnreachableEntryPoints(const CFGBlock *CB, in FindUnreachableEntryPoints()
184 for (const CFGBlock *PredBlock : CB->preds()) { in FindUnreachableEntryPoints()
200 const Stmt *UnreachableCodeChecker::getUnreachableStmt(const CFGBlock *CB) { in getUnreachableStmt()
[all …]
H A DAnalyzerStatsChecker.cpp47 llvm::SmallPtrSet<const CFGBlock*, 32> reachable; in checkEndAnalysis()
64 const CFGBlock *CB = BE->getBlock(); in checkEndAnalysis()
76 const CFGBlock *CB = *I; in checkEndAnalysis()
120 const CFGBlock *Exit = BE.getDst(); in checkEndAnalysis()
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DAdornedCFG.h52 const llvm::DenseMap<const Stmt *, const CFGBlock *> &getStmtToBlock() const { in getStmtToBlock()
57 bool isBlockReachable(const CFGBlock &B) const { in isBlockReachable()
69 bool containsExprConsumedInDifferentBlock(const CFGBlock &B) const { in containsExprConsumedInDifferentBlock()
76 llvm::DenseMap<const Stmt *, const CFGBlock *> StmtToBlock, in AdornedCFG()
78 llvm::DenseSet<const CFGBlock *> ContainsExprConsumedInDifferentBlock) in AdornedCFG()
88 llvm::DenseMap<const Stmt *, const CFGBlock *> StmtToBlock;
90 llvm::DenseSet<const CFGBlock *> ContainsExprConsumedInDifferentBlock;
H A DDataflowValues.h52 using BlockDataMapTy = llvm::DenseMap<const CFGBlock *, ValTy>;
101 ValTy& getBlockData(const CFGBlock *B) { in getBlockData()
107 const ValTy& getBlockData(const CFGBlock *B) const { in getBlockData()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCoreEngine.cpp93 const CFGBlock *Entry = &(L->getCFG()->getEntry()); in ExecuteWorkList()
105 const CFGBlock *Succ = *(Entry->succ_begin()); in ExecuteWorkList()
226 const CFGBlock *Blk = L.getDst(); in HandleBlockEdge()
312 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) { in HandleBlockExit()
348 for (CFGBlock::const_succ_iterator it = B->succ_begin(), in HandleBlockExit()
350 if (const CFGBlock *succ = *it) { in HandleBlockExit()
442 const CFGBlock * B, ExplodedNode *Pred) { in HandleBranch()
453 const CFGBlock *B, in HandleCleanupTemporaryBranch()
464 void CoreEngine::HandleStaticInit(const DeclStmt *DS, const CFGBlock *B, in HandleStaticInit()
475 void CoreEngine::HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, in HandlePostStmt()
[all …]

12