llvm/clang/unittests/Analysis/FlowSensitive/MapLatticeTest.cpp

#include "clang/Analysis/FlowSensitive/MapLattice.h"
#include "clang/Analysis/FlowSensitive/DataflowLattice.h"
#include "llvm/Support/Error.h"
#include "gmock/gmock.h"
#include "gtest/gtest.h"
#include <ostream>

usingnamespaceclang;
usingnamespacedataflow;

namespace {
// A simple lattice for basic tests.
class BooleanLattice { … };
} // namespace

static constexpr int Key1 = …;
static constexpr int Key2 = …;

namespace {
_;
Pair;
UnorderedElementsAre;

TEST(MapLatticeTest, InsertWorks) { … }

TEST(MapLatticeTest, ComparisonWorks) { … }

TEST(MapLatticeTest, JoinChange) { … }

TEST(MapLatticeTest, JoinEqNoChange) { … }

TEST(MapLatticeTest, JoinLtNoChange) { … }

TEST(MapLatticeTest, JoinDifferentDomainsProducesUnion) { … }

TEST(MapLatticeTest, FindWorks) { … }

TEST(MapLatticeTest, ContainsWorks) { … }
} // namespace