109 static void CheckUnreachable(Sema &S, AnalysisDeclContext &AC) {  in CheckUnreachable()  argument
117   if (!S.getSourceManager().isInMainFile(AC.getDecl()->getBeginLoc()))  in CheckUnreachable()
121   reachable_code::FindUnreachableCode(AC, S.getPreprocessor(), UC);  in CheckUnreachable()
241                                    const Stmt *Body, AnalysisDeclContext &AC) {  in checkRecursiveFunction()  argument
250   CFG *cfg = AC.getCFG();  in checkRecursiveFunction()
340                                         AnalysisDeclContext &AC) {  in checkThrowInNonThrowingFunc()  argument
341   CFG *BodyCFG = AC.getCFG();  in checkThrowInNonThrowingFunc()
380 static ControlFlowKind CheckFallThrough(AnalysisDeclContext &AC) {  in CheckFallThrough()  argument
381   CFG *cfg = AC.getCFG();  in CheckFallThrough()
390   bool AddEHEdges = AC.getAddEHEdges();  in CheckFallThrough()
620                                     AnalysisDeclContext &AC,  in CheckFallThroughForBody()  argument
667   switch (CheckFallThrough(AC)) {  in CheckFallThroughForBody()
1227 static void DiagnoseSwitchLabelsFallthrough(Sema &S, AnalysisDeclContext &AC,  in DiagnoseSwitchLabelsFallthrough()  argument
1237   if (!AC.getASTContext().getLangOpts().DoubleSquareBracketAttributes)  in DiagnoseSwitchLabelsFallthrough()
1241   FM.TraverseStmt(AC.getBody());  in DiagnoseSwitchLabelsFallthrough()
1249   CFG *Cfg = AC.getCFG();  in DiagnoseSwitchLabelsFallthrough()
1265     if (const FunctionDecl *Function = dyn_cast<FunctionDecl>(AC.getDecl()))  in DiagnoseSwitchLabelsFallthrough()
2036   AnalysisDeclContext AC(/* AnalysisDeclContextManager */ nullptr, D);  in IssueWarnings()  local
2040   AC.getCFGBuildOptions().PruneTriviallyFalseEdges = true;  in IssueWarnings()
2041   AC.getCFGBuildOptions().AddEHEdges = false;  in IssueWarnings()
2042   AC.getCFGBuildOptions().AddInitializers = true;  in IssueWarnings()
2043   AC.getCFGBuildOptions().AddImplicitDtors = true;  in IssueWarnings()
2044   AC.getCFGBuildOptions().AddTemporaryDtors = true;  in IssueWarnings()
2045   AC.getCFGBuildOptions().AddCXXNewAllocator = false;  in IssueWarnings()
2046   AC.getCFGBuildOptions().AddCXXDefaultInitExprInCtors = true;  in IssueWarnings()
2057     AC.getCFGBuildOptions().setAllAlwaysAdd();  in IssueWarnings()
2060     AC.getCFGBuildOptions()  in IssueWarnings()
2076     AC.getCFGBuildOptions().Observer = &*LEH;  in IssueWarnings()
2086         AC.registerForcedBlockExpression(D.stmt);  in IssueWarnings()
2089     if (AC.getCFG()) {  in IssueWarnings()
2094           const CFGBlock *block = AC.getBlockForRegisteredExpression(D.stmt);  in IssueWarnings()
2096               AC.getCFGReachablityAnalysis();  in IssueWarnings()
2102             if (cra->isReachable(&AC.getCFG()->getEntry(), block))  in IssueWarnings()
2130     CheckFallThroughForBody(S, D, Body, blkExpr, CD, AC, fscope);  in IssueWarnings()
2143       CheckUnreachable(S, AC);  in IssueWarnings()
2148     SourceLocation FL = AC.getDecl()->getLocation();  in IssueWarnings()
2149     SourceLocation FEL = AC.getDecl()->getEndLoc();  in IssueWarnings()
2156     threadSafety::runThreadSafetyAnalysis(AC, Reporter,  in IssueWarnings()
2165     Analyzer.run(AC);  in IssueWarnings()
2171     if (CFG *cfg = AC.getCFG()) {  in IssueWarnings()
2175       runUninitializedVariablesAnalysis(*cast<DeclContext>(D), *cfg, AC,  in IssueWarnings()
2198     DiagnoseSwitchLabelsFallthrough(S, AC, !FallThroughDiagFull);  in IssueWarnings()
2203     diagnoseRepeatedUseOfWeak(S, fscope, D, AC.getParentMap());  in IssueWarnings()
2210       checkRecursiveFunction(S, FD, Body, AC);  in IssueWarnings()
2218         checkThrowInNonThrowingFunc(S, FD, AC);  in IssueWarnings()
2224     AC.getCFG();  in IssueWarnings()
2228   if (S.CollectStats && AC.isCFGBuilt()) {  in IssueWarnings()
2230     if (CFG *cfg = AC.getCFG()) {  in IssueWarnings()