968   struct FunctionBodyASTVisitor : DynamicRecursiveASTVisitor {  struct in __anon1adc617b0111::Analyzer
969     Analyzer &Outer;
970     PendingFunctionAnalysis &CurrentFunction;
971     CallableInfo &CurrentCaller;
972     ViolationSite VSite;
973     const Expr *TrailingRequiresClause = nullptr;
974     const Expr *NoexceptExpr = nullptr;
976     FunctionBodyASTVisitor(Analyzer &Outer,  in FunctionBodyASTVisitor()  argument
986     void run() {  in run()
1017     void diagnoseLanguageConstruct(FunctionEffect::FlagBit Flag,  in diagnoseLanguageConstruct()
1035     void addViolation(bool Inferring, FunctionEffect Effect, ViolationID VID,  in addViolation()
1043     void followCall(CallableInfo &CI, SourceLocation CallLoc) {  in followCall()
1070     void checkIndirectCall(CallExpr *Call, QualType CalleeType) {  in checkIndirectCall()
1092     void followDestructor(const CXXRecordDecl *Rec,  in followDestructor()
1103     void followTypeDtor(QualType QT, SourceLocation CallSite) {  in followTypeDtor()
1124     bool VisitCXXThrowExpr(CXXThrowExpr *Throw) override {  in VisitCXXThrowExpr()
1131     bool VisitCXXCatchStmt(CXXCatchStmt *Catch) override {  in VisitCXXCatchStmt()
1138     bool VisitObjCAtThrowStmt(ObjCAtThrowStmt *Throw) override {  in VisitObjCAtThrowStmt()
1145     bool VisitObjCAtCatchStmt(ObjCAtCatchStmt *Catch) override {  in VisitObjCAtCatchStmt()
1152     bool VisitObjCAtFinallyStmt(ObjCAtFinallyStmt *Finally) override {  in VisitObjCAtFinallyStmt()
1159     bool VisitObjCMessageExpr(ObjCMessageExpr *Msg) override {  in VisitObjCMessageExpr()
1166     bool VisitObjCAutoreleasePoolStmt(ObjCAutoreleasePoolStmt *ARP) override {  in VisitObjCAutoreleasePoolStmt()
1176     bool VisitObjCAtSynchronizedStmt(ObjCAtSynchronizedStmt *Sync) override {  in VisitObjCAtSynchronizedStmt()
1186     bool VisitSEHExceptStmt(SEHExceptStmt *Exc) override {  in VisitSEHExceptStmt()
1193     bool VisitCallExpr(CallExpr *Call) override {  in VisitCallExpr()
1217     bool VisitVarDecl(VarDecl *Var) override {  in VisitVarDecl()
1235     bool VisitCXXNewExpr(CXXNewExpr *New) override {  in VisitCXXNewExpr()
1250     bool VisitCXXDeleteExpr(CXXDeleteExpr *Delete) override {  in VisitCXXDeleteExpr()
1263     bool VisitCXXConstructExpr(CXXConstructExpr *Construct) override {  in VisitCXXConstructExpr()
1278     bool TraverseStmt(Stmt *Statement) override {  in TraverseStmt()
1289     bool TraverseConstructorInitializer(CXXCtorInitializer *Init) override {  in TraverseConstructorInitializer()
1299     bool TraverseCXXDefaultArgExpr(CXXDefaultArgExpr *E) override {  in TraverseCXXDefaultArgExpr()
1314     bool TraverseLambdaExpr(LambdaExpr *Lambda) override {  in TraverseLambdaExpr()
1327     bool TraverseBlockExpr(BlockExpr * /*unused*/) override {  in TraverseBlockExpr()
1333     bool VisitDeclRefExpr(DeclRefExpr *E) override {  in VisitDeclRefExpr()
1347     bool TraverseGenericSelectionExpr(GenericSelectionExpr *Node) override {  in TraverseGenericSelectionExpr()
1351     TraverseUnaryExprOrTypeTraitExpr(UnaryExprOrTypeTraitExpr *Node) override {  in TraverseUnaryExprOrTypeTraitExpr()
1355     bool TraverseTypeOfExprTypeLoc(TypeOfExprTypeLoc Node) override {  in TraverseTypeOfExprTypeLoc()
1359     bool TraverseDecltypeTypeLoc(DecltypeTypeLoc Node) override { return true; }  in TraverseDecltypeTypeLoc()
1361     bool TraverseCXXNoexceptExpr(CXXNoexceptExpr *Node) override {  in TraverseCXXNoexceptExpr()
1365     bool TraverseCXXTypeidExpr(CXXTypeidExpr *Node) override { return true; }  in TraverseCXXTypeidExpr()
1368     bool TraverseConceptRequirement(concepts::Requirement *R) override {  in TraverseConceptRequirement()