summaryrefslogtreecommitdiff
path: root/clang-r353983/include/llvm/Analysis/Lint.h
diff options
context:
space:
mode:
Diffstat (limited to 'clang-r353983/include/llvm/Analysis/Lint.h')
-rw-r--r--clang-r353983/include/llvm/Analysis/Lint.h48
1 files changed, 48 insertions, 0 deletions
diff --git a/clang-r353983/include/llvm/Analysis/Lint.h b/clang-r353983/include/llvm/Analysis/Lint.h
new file mode 100644
index 00000000..0fea81e2
--- /dev/null
+++ b/clang-r353983/include/llvm/Analysis/Lint.h
@@ -0,0 +1,48 @@
+//===-- llvm/Analysis/Lint.h - LLVM IR Lint ---------------------*- C++ -*-===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+//
+// This file defines lint interfaces that can be used for some sanity checking
+// of input to the system, and for checking that transformations
+// haven't done something bad. In contrast to the Verifier, the Lint checker
+// checks for undefined behavior or constructions with likely unintended
+// behavior.
+//
+// To see what specifically is checked, look at Lint.cpp
+//
+//===----------------------------------------------------------------------===//
+
+#ifndef LLVM_ANALYSIS_LINT_H
+#define LLVM_ANALYSIS_LINT_H
+
+namespace llvm {
+
+class FunctionPass;
+class Module;
+class Function;
+
+/// Create a lint pass.
+///
+/// Check a module or function.
+FunctionPass *createLintPass();
+
+/// Check a module.
+///
+/// This should only be used for debugging, because it plays games with
+/// PassManagers and stuff.
+void lintModule(
+ const Module &M ///< The module to be checked
+);
+
+// lintFunction - Check a function.
+void lintFunction(
+ const Function &F ///< The function to be checked
+);
+
+} // End llvm namespace
+
+#endif