512   clarify(const CFGBlock *Conditional, 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()
940   void findAndReportNotCalledBranches(const CFGBlock *Parent, unsigned Index,  in findAndReportNotCalledBranches()
942     for (const CFGBlock *Succ : Parent->succs()) {  in findAndReportNotCalledBranches()
1229       const CFGBlock &Entry = FunctionCFG.getEntry();  in isPossiblyEmptyImpl()
1234       const CFGBlock *OnlyBlock = *Entry.succ_begin();  in isPossiblyEmptyImpl()
1252     return llvm::all_of(FunctionCFG, [](const CFGBlock *BB) {  in isPossiblyEmptyImpl()
1298   State &getState(const CFGBlock *BB) {  in getState()
1302   const State &getState(const CFGBlock *BB) const {  in getState()
1311   bool assignState(const CFGBlock *BB, const State &ToAssign) {  in assignState()
1322   State joinSuccessors(const CFGBlock *BB) const {  in joinSuccessors()
1324         llvm::make_filter_range(BB->succs(), [this](const CFGBlock *Succ) {  in joinSuccessors()
1333     for (const CFGBlock *Succ : llvm::drop_begin(Succs, 1)) {  in joinSuccessors()
1344   void handleConditional(const CFGBlock *BB, const Expr *Condition,  in handleConditional()
1352   void handleParameterCheck(const CFGBlock *BB, const Expr *Condition,  in handleParameterCheck()
1376         for (const CFGBlock *Succ : BB->succs()) {  in handleParameterCheck()
1402   void handleConventionalCheck(const CFGBlock *BB, const Expr *Condition,  in handleConventionalCheck()
1434   bool isLosingCall(const State &StateAfterJoin, const CFGBlock *JoinBlock,  in isLosingCall()
1443   bool isLosingEscape(const State &StateAfterJoin, const CFGBlock *JoinBlock,  in isLosingEscape()
1450   bool isLosingJoin(const State &StateAfterJoin, const CFGBlock *JoinBlock,  in isLosingJoin()
1467   bool anySuccessorHasStatus(const CFGBlock *Parent, unsigned ParameterIndex,  in anySuccessorHasStatus()
1470         Parent->succs(), [this, ParameterIndex, ToFind](const CFGBlock *Succ) {  in anySuccessorHasStatus()