1 //==- LocalCheckers.h - Intra-Procedural+Flow-Sensitive Checkers -*- C++ -*-==//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // This file defines the interface to call a set of intra-procedural (local)
10 // checkers that use flow/path-sensitive analyses to find bugs.
12 //===----------------------------------------------------------------------===//
14 #ifndef LLVM_CLANG_STATICANALYZER_CHECKERS_LOCALCHECKERS_H
15 #define LLVM_CLANG_STATICANALYZER_CHECKERS_LOCALCHECKERS_H
22 void RegisterCallInliner(ExprEngine &Eng);
24 } // end namespace ento
25 } // end namespace clang