Back to home page

EIC code displayed by LXR

 
 

    


File indexing completed on 2026-05-10 08:36:25

0001 //===- DataflowLattice.h ----------------------------------------*- C++ -*-===//
0002 //
0003 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
0004 // See https://llvm.org/LICENSE.txt for license information.
0005 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
0006 //
0007 //===----------------------------------------------------------------------===//
0008 //
0009 //  This file defines base types for building lattices to be used in dataflow
0010 //  analyses that run over Control-Flow Graphs (CFGs).
0011 //
0012 //===----------------------------------------------------------------------===//
0013 
0014 #ifndef LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_DATAFLOWLATTICE_H
0015 #define LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_DATAFLOWLATTICE_H
0016 
0017 namespace clang {
0018 namespace dataflow {
0019 
0020 /// Effect indicating whether a lattice operation resulted in a new value.
0021 enum class LatticeEffect {
0022   Unchanged,
0023   Changed,
0024 };
0025 // DEPRECATED. Use `LatticeEffect`.
0026 using LatticeJoinEffect = LatticeEffect;
0027 
0028 } // namespace dataflow
0029 } // namespace clang
0030 
0031 #endif // LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_DATAFLOWLATTICE_H