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