clang  15.0.0git
DataflowLattice.h
Go to the documentation of this file.
1 //===- DataflowLattice.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 base types for building lattices to be used in dataflow
10 // analyses that run over Control-Flow Graphs (CFGs).
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #ifndef LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_DATAFLOWLATTICE_H
15 #define LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_DATAFLOWLATTICE_H
16 
17 namespace clang {
18 namespace dataflow {
19 
20 /// Effect indicating whether a lattice join operation resulted in a new value.
21 enum class LatticeJoinEffect {
22  Unchanged,
23  Changed,
24 };
25 
26 } // namespace dataflow
27 } // namespace clang
28 
29 #endif // LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_DATAFLOWLATTICE_H
clang::dataflow::LatticeJoinEffect
LatticeJoinEffect
Effect indicating whether a lattice join operation resulted in a new value.
Definition: DataflowLattice.h:21
clang::dataflow::LatticeJoinEffect::Changed
@ Changed
clang
Definition: CalledOnceCheck.h:17
clang::dataflow::LatticeJoinEffect::Unchanged
@ Unchanged