Home
last modified time | relevance | path

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

123

/openbsd-src/gnu/llvm/clang/include/clang/Analysis/Analyses/
H A DDominators.h38 using DomTreeNode = llvm::DomTreeNodeBase<CFGBlock>;
46 using DominatorTreeBase = llvm::DominatorTreeBase<CFGBlock, IsPostDom>;
61 CFGBlock *getRoot() const { in getRoot()
136 bool dominates(const CFGBlock *A, const CFGBlock *B) const { in dominates()
143 bool properlyDominates(const CFGBlock *A, const CFGBlock *B) const { in properlyDominates()
149 CFGBlock *findNearestCommonDominator(CFGBlock *A, CFGBlock *B) { in findNearestCommonDominator()
153 const CFGBlock *findNearestCommonDominator(const CFGBlock *A, in findNearestCommonDominator()
154 const CFGBlock *B) { in findNearestCommonDominator()
160 void changeImmediateDominator(CFGBlock *N, CFGBlock *NewIDom) { in changeImmediateDominator()
165 bool isReachableFromEntry(const CFGBlock *A) { in isReachableFromEntry()
[all …]
H A DConsumed.h175 void intersectAtLoopHead(const CFGBlock *LoopHead, const CFGBlock *LoopBack,
220 bool allBackEdgesVisited(const CFGBlock *CurrBlock,
221 const CFGBlock *TargetBlock);
223 void addInfo(const CFGBlock *Block, ConsumedStateMap *StateMap,
225 void addInfo(const CFGBlock *Block,
228 ConsumedStateMap* borrowInfo(const CFGBlock *Block);
230 void discardInfo(const CFGBlock *Block);
232 std::unique_ptr<ConsumedStateMap> getInfo(const CFGBlock *Block);
234 bool isBackEdge(const CFGBlock *From, const CFGBlock *To);
235 bool isBackEdgeTarget(const CFGBlock *Block);
[all …]
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()
74 std::vector<const CFGBlock *> Blocks;
76 using BlockOrderTy = llvm::DenseMap<const CFGBlock *, unsigned>;
82 using iterator = std::vector<const CFGBlock *>::reverse_iterator;
83 using const_iterator = std::vector<const CFGBlock *>::const_reverse_iterator;
101 bool operator()(const CFGBlock *b1, const CFGBlock *b2) const;
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);
/openbsd-src/gnu/llvm/clang/lib/Analysis/
H A DCFG.cpp376 CFGBlock *block = nullptr;
380 BlockScopePosPair(CFGBlock *b, LocalScope::const_iterator scopePos) in BlockScopePosPair()
477 CFGBlock *Block = nullptr;
480 CFGBlock *Succ = nullptr;
485 CFGBlock *SwitchTerminatedBlock = nullptr;
486 CFGBlock *DefaultCaseBlock = nullptr;
492 CFGBlock *TryTerminatedBlock = nullptr;
546 CFGBlock *VisitInitListExpr(InitListExpr *ILE, AddStmtChoice asc);
547 CFGBlock *VisitAddrLabelExpr(AddrLabelExpr *A, AddStmtChoice asc);
548 CFGBlock *VisitAttributedStmt(AttributedStmt *A, AddStmtChoice asc);
[all …]
H A DReachableCode.cpp50 static bool isTrivialDoWhile(const CFGBlock *B, const Stmt *S) { in isTrivialDoWhile()
70 static bool isBuiltinAssumeFalse(const CFGBlock *B, const Stmt *S, in isBuiltinAssumeFalse()
85 static bool isDeadReturn(const CFGBlock *B, const Stmt *S) { in isDeadReturn()
89 const CFGBlock *Current = B; in isDeadReturn()
294 static bool shouldTreatSuccessorsAsReachable(const CFGBlock *B, in shouldTreatSuccessorsAsReachable()
315 static unsigned scanFromBlock(const CFGBlock *Start, in scanFromBlock()
322 SmallVector<const CFGBlock*, 32> WL; in scanFromBlock()
335 const CFGBlock *item = WL.pop_back_val(); in scanFromBlock()
347 for (CFGBlock::const_succ_iterator I = item->succ_begin(), in scanFromBlock()
349 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.cpp132 ValueVector &getValueVector(const CFGBlock *block) { in getValueVector()
138 bool updateValueVectorWithScratch(const CFGBlock *block);
148 Value getValue(const CFGBlock *block, const CFGBlock *dstBlock, in getValue()
172 static void printVector(const CFGBlock *block, ValueVector &bv, in printVector()
194 bool CFGBlockValues::updateValueVectorWithScratch(const CFGBlock *block) { in updateValueVectorWithScratch()
465 const CFGBlock *block;
473 const CFGBlock *block, AnalysisDeclContext &ac, in TransferFunctions()
554 SmallVector<const CFGBlock*, 32> Queue; in getUninitUse()
562 const CFGBlock *B = Queue.pop_back_val(); in getUninitUse()
568 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 …]
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h69 std::vector<std::pair<const CFGBlock *, const ExplodedNode *>>;
113 void HandleBlockExit(const CFGBlock *B, ExplodedNode *Pred);
117 void HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, ExplodedNode *Pred);
119 void HandleBranch(const Stmt *Cond, const Stmt *Term, const CFGBlock *B,
122 const CFGBlock *B, ExplodedNode *Pred);
125 void HandleStaticInit(const DeclStmt *DS, const CFGBlock *B,
128 void HandleVirtualBaseBranch(const CFGBlock *B, ExplodedNode *Pred);
171 void addAbortedBlock(const ExplodedNode *node, const CFGBlock *block) { in addAbortedBlock()
199 void enqueue(ExplodedNodeSet &Set, const CFGBlock *Block, unsigned Idx);
206 void enqueueStmtNode(ExplodedNode *N, const CFGBlock *Block, unsigned Idx);
[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()
/openbsd-src/gnu/llvm/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowWorklist.h25 llvm::PriorityQueue<const CFGBlock *,
26 SmallVector<const CFGBlock *, QueueSize>, Comp>
35 void enqueueBlock(const CFGBlock *Block) { in enqueueBlock()
42 const CFGBlock *dequeue() { in dequeue()
45 const CFGBlock *B = WorkList.top(); in dequeue()
54 bool operator()(const CFGBlock *lhs, const CFGBlock *rhs) const { in operator()
71 void enqueueSuccessors(const CFGBlock *Block) { in enqueueSuccessors()
87 void enqueuePredecessors(const CFGBlock *Block) { in enqueuePredecessors()
H A DControlFlowContext.h46 const llvm::DenseMap<const Stmt *, const CFGBlock *> &getStmtToBlock() const { in getStmtToBlock()
54 llvm::DenseMap<const Stmt *, const CFGBlock *> StmtToBlock) in ControlFlowContext()
61 llvm::DenseMap<const Stmt *, const CFGBlock *> StmtToBlock;
/openbsd-src/gnu/llvm/clang/include/clang/Analysis/
H A DCFG.h576 class CFGBlock {
627 std::conditional_t<IsConst, const CFGBlock *, CFGBlock *>;
678 std::conditional_t<IsConst, const CFGBlock *, CFGBlock *>;
688 using ElementRef = typename CFGBlock::ElementRefImpl<IsConst>;
728 getIndexInBlock(CFGBlock::ElementRefIterator<true, IsOtherConst> E) { in getIndexInBlock()
734 getIndexInBlock(CFGBlock::ElementRefIterator<false, IsOtherConst> E) { in getIndexInBlock()
798 CFGBlock *ReachableBlock;
799 llvm::PointerIntPair<CFGBlock *, 2> UnreachableBlock;
803 AdjacentBlock(CFGBlock *B, bool IsReachable);
807 AdjacentBlock(CFGBlock *B, CFGBlock *AlternateBlock);
[all …]
H A DProgramPoint.h225 BlockEntrance(const CFGBlock *B, const LocationContext *L,
231 const CFGBlock *getBlock() const { in getBlock()
232 return reinterpret_cast<const CFGBlock*>(getData1()); in getBlock()
236 const CFGBlock *B = getBlock(); in getFirstElement()
250 BlockExit(const CFGBlock *B, const LocationContext *L) in BlockExit()
253 const CFGBlock *getBlock() const { in getBlock()
254 return reinterpret_cast<const CFGBlock*>(getData1()); in getBlock()
340 const CFGBlock *getBlock() const { in getBlock()
503 BlockEdge(const CFGBlock *B1, const CFGBlock *B2, const LocationContext *L) in BlockEdge()
509 const CFGBlock *getSrc() const { in getSrc()
[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()
/openbsd-src/gnu/llvm/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);
79 const CFGBlock *CB = BE->getBlock(); in checkEndAnalysis()
97 const CFGBlock *CB = *I; in checkEndAnalysis()
131 for (CFGBlock::const_iterator ci = CB->begin(), ce = CB->end(); in checkEndAnalysis()
179 void UnreachableCodeChecker::FindUnreachableEntryPoints(const CFGBlock *CB, in FindUnreachableEntryPoints()
184 for (CFGBlock::const_pred_iterator I = CB->pred_begin(), E = CB->pred_end(); in FindUnreachableEntryPoints()
201 const Stmt *UnreachableCodeChecker::getUnreachableStmt(const CFGBlock *CB) { in getUnreachableStmt()
[all …]
H A DAnalyzerStatsChecker.cpp46 llvm::SmallPtrSet<const CFGBlock*, 32> reachable; in checkEndAnalysis()
64 const CFGBlock *CB = BE->getBlock(); in checkEndAnalysis()
76 const CFGBlock *CB = *I; in checkEndAnalysis()
123 const CFGBlock *Exit = BE.getDst(); in checkEndAnalysis()
/openbsd-src/gnu/llvm/clang/lib/Analysis/FlowSensitive/
H A DTypeErasedDataflowAnalysis.cpp65 static int blockIndexInPredecessor(const CFGBlock &Pred, in blockIndexInPredecessor()
66 const CFGBlock &Block) { in blockIndexInPredecessor()
68 Pred.succs(), [&Block](const CFGBlock::AdjacentBlock &Succ) { in blockIndexInPredecessor()
74 static bool isLoopHead(const CFGBlock &B) { in isLoopHead()
214 computeBlockInputState(const CFGBlock &Block, AnalysisContext &AC) { in computeBlockInputState()
215 llvm::DenseSet<const CFGBlock *> Preds; in computeBlockInputState()
251 for (const CFGBlock *Pred : Preds) { in computeBlockInputState()
365 transferCFGBlock(const CFGBlock &Block, AnalysisContext &AC, in transferCFGBlock()
390 const CFGBlock &Block, const Environment &InitEnv, in transferBlock()
413 const CFGBlock &Entry = CFCtx.getCFG().getEntry(); in runTypeErasedDataflowAnalysis()
[all …]
H A DControlFlowContext.cpp27 static llvm::DenseMap<const Stmt *, const CFGBlock *>
29 llvm::DenseMap<const Stmt *, const CFGBlock *> StmtToBlock; in buildStmtToBasicBlockMap()
30 for (const CFGBlock *Block : Cfg) { in buildStmtToBasicBlockMap()
65 llvm::DenseMap<const Stmt *, const CFGBlock *> StmtToBlock = in build()
/openbsd-src/gnu/llvm/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()
238 const CFGBlock *Blk = L.getDst(); in HandleBlockEdge()
324 void CoreEngine::HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) { in HandleBlockExit()
360 for (CFGBlock::const_succ_iterator it = B->succ_begin(), in HandleBlockExit()
362 if (const CFGBlock *succ = *it) { in HandleBlockExit()
454 const CFGBlock * B, ExplodedNode *Pred) { in HandleBranch()
465 const CFGBlock *B, in HandleCleanupTemporaryBranch()
476 void CoreEngine::HandleStaticInit(const DeclStmt *DS, const CFGBlock *B, in HandleStaticInit()
487 void CoreEngine::HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, in HandlePostStmt()
[all …]

123