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/AST/Stmt.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 Stmt *S, NoopLattice &E, Environment &Env) {} 42 }; 43 44 } // namespace dataflow 45 } // namespace clang 46 47 #endif // LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_NOOPANALYSIS_H 48