clang 22.0.0git
NoopAnalysis.h
Go to the documentation of this file.
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
17#include "clang/Analysis/CFG.h"
21
22namespace clang {
23namespace dataflow {
24
25class NoopAnalysis : public DataflowAnalysis<NoopAnalysis, NoopLattice> {
26public:
29
32
33 static NoopLattice initialElement() { return {}; }
34
35 void transfer(const CFGElement &E, NoopLattice &L, Environment &Env) {}
36};
37
38} // namespace dataflow
39} // namespace clang
40
41#endif // LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_NOOPANALYSIS_H
Defines the clang::ASTContext interface.
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Definition ASTContext.h:188
Represents a top-level expression in a basic block.
Definition CFG.h:55
Holds the state of the program (store and heap) at a given program point.
NoopAnalysis(ASTContext &Context, DataflowAnalysisOptions Options)
void transfer(const CFGElement &E, NoopLattice &L, Environment &Env)
NoopAnalysis(ASTContext &Context)
static NoopLattice initialElement()
Trivial lattice for dataflow analysis with exactly one element.
Definition NoopLattice.h:27
Dataflow Directional Tag Classes.
Definition AdornedCFG.h:29
The JSON file list parser is used to communicate input to InstallAPI.