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

//===- unittests/Analysis/FlowSensitive/ValueTest.cpp ---===//
//
// 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
//
//===----------------------------------------------------------------------===//

#include "clang/Analysis/FlowSensitive/Value.h"
#include "clang/Analysis/FlowSensitive/Arena.h"
#include "clang/Analysis/FlowSensitive/StorageLocation.h"
#include "gmock/gmock.h"
#include "gtest/gtest.h"
#include <memory>

namespace {

usingnamespaceclang;
usingnamespacedataflow;

TEST(ValueTest, EquivalenceReflexive) { … }

TEST(ValueTest, DifferentIntegerValuesNotEquivalent) { … }

TEST(ValueTest, AliasedPointersEquivalent) { … }

TEST(ValueTest, TopsEquivalent) { … }

// The framework does not (currently) consider equivalence for values with
// properties, leaving such to individual analyses.
TEST(ValueTest, ValuesWithSamePropsDifferent) { … }

TEST(ValueTest, ValuesWithDifferentPropsDifferent) { … }

TEST(ValueTest, ValuesWithDifferentNumberPropsDifferent) { … }

TEST(ValueTest, DifferentKindsNotEquivalent) { … }

TEST(ValueTest, NotAliasedPointersNotEquivalent) { … }

} // namespace