]> CyberLeo.Net >> Repos - FreeBSD/stable/9.git/blob - contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/LocalCheckers.h
Copy head to stable/9 as part of 9.0-RELEASE release cycle.
[FreeBSD/stable/9.git] / contrib / llvm / tools / clang / include / clang / StaticAnalyzer / Checkers / LocalCheckers.h
1 //==- LocalCheckers.h - Intra-Procedural+Flow-Sensitive Checkers -*- 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 the interface to call a set of intra-procedural (local)
11 //  checkers that use flow/path-sensitive analyses to find bugs.
12 //
13 //===----------------------------------------------------------------------===//
14
15 #ifndef LLVM_CLANG_GR_LOCALCHECKERS_H
16 #define LLVM_CLANG_GR_LOCALCHECKERS_H
17
18 namespace clang {
19
20 class CFG;
21 class Decl;
22 class Diagnostic;
23 class ASTContext;
24 class LangOptions;
25 class ParentMap;
26 class LiveVariables;
27 class ObjCImplementationDecl;
28 class LangOptions;
29 class TranslationUnitDecl;
30
31 namespace ento {
32
33 class PathDiagnosticClient;
34 class TransferFuncs;
35 class BugType;
36 class BugReporter;
37 class ExprEngine;
38
39 TransferFuncs* MakeCFRefCountTF(ASTContext& Ctx, bool GCEnabled,
40                                   const LangOptions& lopts);
41
42 void RegisterCallInliner(ExprEngine &Eng);
43
44 } // end GR namespace
45
46 } // end namespace clang
47
48 #endif