Back to home page

EIC code displayed by LXR

 
 

    


File indexing completed on 2026-05-10 08:43:14

0001 //===-- llvm/Analysis/Lint.h - LLVM IR Lint ---------------------*- C++ -*-===//
0002 //
0003 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
0004 // See https://llvm.org/LICENSE.txt for license information.
0005 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
0006 //
0007 //===----------------------------------------------------------------------===//
0008 //
0009 // This file defines lint interfaces that can be used for some validation of
0010 // input to the system, and for checking that transformations haven't done
0011 // something bad. In contrast to the Verifier, the Lint checker checks for
0012 // undefined behavior or constructions with likely unintended behavior.
0013 //
0014 // To see what specifically is checked, look at Lint.cpp
0015 //
0016 //===----------------------------------------------------------------------===//
0017 
0018 #ifndef LLVM_ANALYSIS_LINT_H
0019 #define LLVM_ANALYSIS_LINT_H
0020 
0021 #include "llvm/IR/PassManager.h"
0022 
0023 namespace llvm {
0024 
0025 class Module;
0026 class Function;
0027 
0028 /// Lint a module.
0029 ///
0030 /// This should only be used for debugging, because it plays games with
0031 /// PassManagers and stuff.
0032 void lintModule(const Module &M);
0033 
0034 // Lint a function.
0035 void lintFunction(const Function &F);
0036 
0037 class LintPass : public PassInfoMixin<LintPass> {
0038 public:
0039   PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM);
0040 };
0041 
0042 } // namespace llvm
0043 
0044 #endif // LLVM_ANALYSIS_LINT_H