LocalCheckers.h revision 65d39251ff57b8e33cf6d3a7fcc6aa1c6f8cdc68 
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
18namespace clang {
19
20class CFG;
21class Decl;
22class Diagnostic;
23class ASTContext;
24class LangOptions;
25class ParentMap;
26class LiveVariables;
27class ObjCImplementationDecl;
28class LangOptions;
29class TranslationUnitDecl;
30
31namespace ento {
32
33class PathDiagnosticClient;
34class TransferFuncs;
35class BugType;
36class BugReporter;
37class ExprEngine;
38
39TransferFuncs* MakeCFRefCountTF(ASTContext& Ctx, bool GCEnabled,
40                                  const LangOptions& lopts);
41
42void RegisterExperimentalChecks(ExprEngine &Eng);
43
44void RegisterCallInliner(ExprEngine &Eng);
45
46} // end GR namespace
47
48} // end namespace clang
49
50#endif
51