488 struct Clarification {  struct
497                               std::optional<Clarification>> {
511   static std::optional<Clarification> clarify(const CFGBlock *Conditional,  in clarify()
519   std::optional<Clarification> VisitIfStmt(const IfStmt *If) {  in VisitIfStmt()
523   std::optional<Clarification>
528   std::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   std::optional<Clarification> VisitForStmt(const ForStmt *For) {  in VisitForStmt()
550   std::optional<Clarification> VisitWhileStmt(const WhileStmt *While) {  in VisitWhileStmt()
554   std::optional<Clarification>
561     return Clarification{ActualReason, Terminator};  in VisitBranchingBlock()
564   std::optional<Clarification> VisitBinaryOperator(const BinaryOperator *) {  in VisitBinaryOperator()
569   std::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()