clang 8.0.0

LocalCheckers.h
Go to the documentation of this file.
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_STATICANALYZER_CHECKERS_LOCALCHECKERS_H
16 #define LLVM_CLANG_STATICANALYZER_CHECKERS_LOCALCHECKERS_H
17
18 namespace clang {
19 namespace ento {
20
21 class ExprEngine;
22
23 void RegisterCallInliner(ExprEngine &Eng);
24
25 } // end namespace ento
26 } // end namespace clang
27
28 #endif
ento
clang::ento::RegisterCallInliner
void RegisterCallInliner(ExprEngine &Eng)
clang
Dataflow Directional Tag Classes.
Definition: CFGReachabilityAnalysis.h:22