//===-- 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