]> granicus.if.org Git - clang/blob - include/clang/Sema/AnalysisBasedWarnings.h
Remove AnalysisBasedWarnings.h's dependency on Type.h
[clang] / include / clang / Sema / AnalysisBasedWarnings.h
1 //=- AnalysisBasedWarnings.h - Sema warnings based on libAnalysis -*- C++ -*-=//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This file defines AnalysisBasedWarnings, a worker object used by Sema
11 // that issues warnings based on dataflow-analysis.
12 //===----------------------------------------------------------------------===//
13
14 #ifndef LLVM_CLANG_SEMA_ANALYSIS_WARNINGS_H
15 #define LLVM_CLANG_SEMA_ANALYSIS_WARNINGS_H
16
17 #include "llvm/ADT/SmallVector.h"
18 #include "llvm/ADT/DenseMap.h"
19
20 namespace clang {
21
22 class BlockExpr;
23 class Decl;
24 class FunctionDecl;
25 class ObjCMethodDecl;
26 class QualType;
27 class Sema;
28
29 namespace sema {
30
31 class AnalysisBasedWarnings {
32 public:
33   class Policy {
34     friend class AnalysisBasedWarnings;
35     // The warnings to run.
36     unsigned enableCheckFallThrough : 1;
37     unsigned enableCheckUnreachable : 1;
38   public:
39     Policy();
40     void disableCheckFallThrough() { enableCheckFallThrough = 0; }
41   };
42
43 private:
44   Sema &S;
45   Policy DefaultPolicy;
46
47   enum VisitFlag { NotVisited = 0, Visited = 1, Pending = 2 };
48   llvm::DenseMap<const FunctionDecl*, VisitFlag> VisitedFD;
49
50   void IssueWarnings(Policy P, const Decl *D, QualType BlockTy);
51
52 public:
53   AnalysisBasedWarnings(Sema &s);
54
55   Policy getDefaultPolicy() { return DefaultPolicy; }
56
57   void IssueWarnings(Policy P, const BlockExpr *E);
58   void IssueWarnings(Policy P, const FunctionDecl *D);
59   void IssueWarnings(Policy P, const ObjCMethodDecl *D);
60 };
61
62 }} // end namespace clang::sema
63
64 #endif