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
32