1 //===-- NoopAnalysis.h ------------------------------------------*- C++ -*-===//
2 //
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
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 //  This file defines a NoopAnalysis class that just uses the builtin transfer.
10 //
11 //===----------------------------------------------------------------------===//
12 
13 #ifndef LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_NOOPANALYSIS_H
14 #define LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_NOOPANALYSIS_H
15 
16 #include "clang/AST/ASTContext.h"
17 #include "clang/Analysis/CFG.h"
18 #include "clang/Analysis/FlowSensitive/DataflowAnalysis.h"
19 #include "clang/Analysis/FlowSensitive/DataflowEnvironment.h"
20 #include "clang/Analysis/FlowSensitive/NoopLattice.h"
21 
22 namespace clang {
23 namespace dataflow {
24 
25 class NoopAnalysis : public DataflowAnalysis<NoopAnalysis, NoopLattice> {
26 public:
27   /// Deprecated. Use the `DataflowAnalysisOptions` constructor instead.
28   NoopAnalysis(ASTContext &Context, bool ApplyBuiltinTransfer)
29       : DataflowAnalysis<NoopAnalysis, NoopLattice>(Context,
30                                                     ApplyBuiltinTransfer) {}
31 
32   /// `ApplyBuiltinTransfer` controls whether to run the built-in transfer
33   /// functions that model memory during the analysis. Their results are not
34   /// used by `NoopAnalysis`, but tests that need to inspect the environment
35   /// should enable them.
36   NoopAnalysis(ASTContext &Context, DataflowAnalysisOptions Options)
37       : DataflowAnalysis<NoopAnalysis, NoopLattice>(Context, Options) {}
38 
39   static NoopLattice initialElement() { return {}; }
40 
41   void transfer(const CFGElement *E, NoopLattice &L, Environment &Env) {}
42 };
43 
44 } // namespace dataflow
45 } // namespace clang
46 
47 #endif // LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_NOOPANALYSIS_H
48