//===-- NoopLattice.h -------------------------------------------*- C++ -*-===//
 
//
 
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
 
// See https://llvm.org/LICENSE.txt for license information.
 
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 
//
 
//===----------------------------------------------------------------------===//
 
//
 
//  This file defines the lattice with exactly one element.
 
//
 
//===----------------------------------------------------------------------===//
 
 
 
#ifndef LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_NOOP_LATTICE_H
 
#define LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_NOOP_LATTICE_H
 
 
 
#include "clang/Analysis/FlowSensitive/DataflowLattice.h"
 
#include <ostream>
 
 
 
namespace clang {
 
namespace dataflow {
 
 
 
/// Trivial lattice for dataflow analysis with exactly one element.
 
///
 
/// Useful for analyses that only need the Environment and nothing more.
 
class NoopLattice {
 
public:
 
  bool operator==(const NoopLattice &Other) const { return true; }
 
 
 
  LatticeJoinEffect join(const NoopLattice &Other) {
 
    return LatticeJoinEffect::Unchanged;
 
  }
 
};
 
 
 
inline std::ostream &operator<<(std::ostream &OS, const NoopLattice &) {
 
  return OS << "noop";
 
}
 
 
 
} // namespace dataflow
 
} // namespace clang
 
 
 
#endif // LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_NOOP_LATTICE_H