//===- UncheckedStatusOrAccessModelTest.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 <utility>

#include "UncheckedStatusOrAccessModelTestFixture.h"
#include "clang/Analysis/FlowSensitive/Models/UncheckedStatusOrAccessModel.h"
#include "gtest/gtest.h"

namespace clang::dataflow::statusor_model {
namespace {

auto Executor = std::make_unique<
    UncheckedStatusOrAccessModelTestExecutor<UncheckedStatusOrAccessModel>>();

INSTANTIATE_TEST_SUITE_P(
    UncheckedStatusOrAccessModelTest, UncheckedStatusOrAccessModelTest,
    testing::Values(
        std::make_pair(Executor.get(),
                       UncheckedStatusOrAccessModelTestAliasKind::kUnaliased),
        std::make_pair(
            Executor.get(),
            UncheckedStatusOrAccessModelTestAliasKind::kPartiallyAliased),
        std::make_pair(
            Executor.get(),
            UncheckedStatusOrAccessModelTestAliasKind::kFullyAliased)));
} // namespace

} // namespace clang::dataflow::statusor_model