LocalCheckers.h revision d1e5a89226da79f7e6f43d40facc46abda9e5245
11ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek//==- LocalCheckers.h - Intra-Procedural+Flow-Sensitive Checkers -*- C++ -*-==//
21ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek//
31ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek//                     The LLVM Compiler Infrastructure
41ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek//
50bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// This file is distributed under the University of Illinois Open Source
60bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// License. See LICENSE.TXT for details.
71ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek//
81ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek//===----------------------------------------------------------------------===//
91ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek//
101ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek//  This file defines the interface to call a set of intra-procedural (local)
111ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek//  checkers that use flow/path-sensitive analyses to find bugs.
121ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek//
131ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek//===----------------------------------------------------------------------===//
141ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek
155a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis#ifndef LLVM_CLANG_GR_LOCALCHECKERS_H
165a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis#define LLVM_CLANG_GR_LOCALCHECKERS_H
171ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek
181ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremeneknamespace clang {
199ef6537a894c33003359b1f9b9676e9178e028b7Ted Kremeneknamespace ento {
205a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis
21d2592a34a059e7cbb2b11dc53649ac4912422909Argyrios Kyrtzidisclass ExprEngine;
225a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis
23d2592a34a059e7cbb2b11dc53649ac4912422909Argyrios Kyrtzidisvoid RegisterCallInliner(ExprEngine &Eng);
245a4f98ff943e6a501b0fe47ade007c9bbf96cb88Argyrios Kyrtzidis
25d1e5a89226da79f7e6f43d40facc46abda9e5245Jordy Rose} // end namespace ento
261ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek} // end namespace clang
271ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek
281ed6d2e4fda310af2de2ec09cdfedfa280cce948Ted Kremenek#endif
29