488 struct Clarification {  struct
497                               llvm::Optional<Clarification>> {
511   static llvm::Optional<Clarification>
519   llvm::Optional<Clarification> VisitIfStmt(const IfStmt *If) {  in VisitIfStmt()
523   llvm::Optional<Clarification>
528   llvm::Optional<Clarification> VisitSwitchStmt(const SwitchStmt *Switch) {  in VisitSwitchStmt()
533       return Clarification{NeverCalledReason::SwitchSkipped, Switch};  in VisitSwitchStmt()
539         return Clarification{NeverCalledReason::Switch, Case};  in VisitSwitchStmt()
546   llvm::Optional<Clarification> VisitForStmt(const ForStmt *For) {  in VisitForStmt()
550   llvm::Optional<Clarification> VisitWhileStmt(const WhileStmt *While) {  in VisitWhileStmt()
554   llvm::Optional<Clarification>
561     return Clarification{ActualReason, Terminator};  in VisitBranchingBlock()
564   llvm::Optional<Clarification> VisitBinaryOperator(const BinaryOperator *) {  in VisitBinaryOperator()
569   llvm::Optional<Clarification> VisitStmt(const Stmt *Terminator) {  in VisitStmt()
575     return Clarification{NeverCalledReason::FallbackReason, Terminator};  in VisitStmt()
949         if (auto Clarification = NotCalledClarifier::clarify(Parent, Succ)) {  in findAndReportNotCalledBranches()  local
952               Parameter, AC.getDecl(), Clarification->Location,  in findAndReportNotCalledBranches()
953               Clarification->Reason, !IsEscape, !isExplicitlyMarked(Parameter));  in findAndReportNotCalledBranches()