511   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()
763   void checkEntry(const CFGBlock *Entry) {  in checkEntry()
841     for (const CFGBlock *BB : FunctionCFG) {  in checkEntry()
941   void findAndReportNotCalledBranches(const CFGBlock *Parent, unsigned Index,  in findAndReportNotCalledBranches()
943     for (const CFGBlock *Succ : Parent->succs()) {  in findAndReportNotCalledBranches()
1230       const CFGBlock &Entry = FunctionCFG.getEntry();  in isPossiblyEmptyImpl()
1235       const CFGBlock *OnlyBlock = *Entry.succ_begin();  in isPossiblyEmptyImpl()
1253     return llvm::all_of(FunctionCFG, [](const CFGBlock *BB) {  in isPossiblyEmptyImpl()
1299   State &getState(const CFGBlock *BB) {  in getState()
1303   const State &getState(const CFGBlock *BB) const {  in getState()
1312   bool assignState(const CFGBlock *BB, const State &ToAssign) {  in assignState()
1323   State joinSuccessors(const CFGBlock *BB) const {  in joinSuccessors()
1325         llvm::make_filter_range(BB->succs(), [this](const CFGBlock *Succ) {  in joinSuccessors()
1334     for (const CFGBlock *Succ : llvm::drop_begin(Succs, 1)) {  in joinSuccessors()
1345   void handleConditional(const CFGBlock *BB, const Expr *Condition,  in handleConditional()
1353   void handleParameterCheck(const CFGBlock *BB, const Expr *Condition,  in handleParameterCheck()
1377         for (const CFGBlock *Succ : BB->succs()) {  in handleParameterCheck()
1403   void handleConventionalCheck(const CFGBlock *BB, const Expr *Condition,  in handleConventionalCheck()
1435   bool isLosingCall(const State &StateAfterJoin, const CFGBlock *JoinBlock,  in isLosingCall()
1444   bool isLosingEscape(const State &StateAfterJoin, const CFGBlock *JoinBlock,  in isLosingEscape()
1451   bool isLosingJoin(const State &StateAfterJoin, const CFGBlock *JoinBlock,  in isLosingJoin()
1468   bool anySuccessorHasStatus(const CFGBlock *Parent, unsigned ParameterIndex,  in anySuccessorHasStatus()
1471         Parent->succs(), [this, ParameterIndex, ToFind](const CFGBlock *Succ) {  in anySuccessorHasStatus()