clang 19.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
17namespace clang {
18namespace 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`.
25 Changed,
26};
27
28} // namespace dataflow
29} // namespace clang
30
31#endif // LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_DATAFLOWLATTICE_H
LatticeJoinEffect
Effect indicating whether a lattice join operation resulted in a new value.
The JSON file list parser is used to communicate input to InstallAPI.