13#ifndef LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_NOOP_LATTICE_H
14#define LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_NOOP_LATTICE_H
Trivial lattice for dataflow analysis with exactly one element.
LatticeJoinEffect join(const NoopLattice &Other)
bool operator==(const NoopLattice &Other) const
LatticeJoinEffect
Effect indicating whether a lattice join operation resulted in a new value.
std::ostream & operator<<(std::ostream &Os, const clang::dataflow::MapLattice< Key, ElementLattice > &M)