clang
18.0.0git
include
clang
Analysis
FlowSensitive
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::Unchanged
@ Unchanged
clang::dataflow::LatticeJoinEffect::Changed
@ Changed
clang
Definition:
CalledOnceCheck.h:17
Generated on Fri Sep 29 2023 23:42:34 for clang by
1.9.6