clang  16.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 // FIXME: Rename to `LatticeEffect` since `widen` uses it as well, and we are
22 // likely removing it from `join`.
23 enum class LatticeJoinEffect {
24  Unchanged,
25  Changed,
26 };
27 
28 } // namespace dataflow
29 } // namespace clang
30 
31 #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:23
clang::dataflow::LatticeJoinEffect::Changed
@ Changed
clang
Definition: CalledOnceCheck.h:17
clang::dataflow::LatticeJoinEffect::Unchanged
@ Unchanged