35 lines · cpp
1//===- UncheckedStatusOrAccessModelTest.cpp -------------------------------===//2//3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.4// See https://llvm.org/LICENSE.txt for license information.5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception6//7//===----------------------------------------------------------------------===//8 9#include <utility>10 11#include "UncheckedStatusOrAccessModelTestFixture.h"12#include "clang/Analysis/FlowSensitive/Models/UncheckedStatusOrAccessModel.h"13#include "gtest/gtest.h"14 15namespace clang::dataflow::statusor_model {16namespace {17 18auto Executor = std::make_unique<19 UncheckedStatusOrAccessModelTestExecutor<UncheckedStatusOrAccessModel>>();20 21INSTANTIATE_TEST_SUITE_P(22 UncheckedStatusOrAccessModelTest, UncheckedStatusOrAccessModelTest,23 testing::Values(24 std::make_pair(Executor.get(),25 UncheckedStatusOrAccessModelTestAliasKind::kUnaliased),26 std::make_pair(27 Executor.get(),28 UncheckedStatusOrAccessModelTestAliasKind::kPartiallyAliased),29 std::make_pair(30 Executor.get(),31 UncheckedStatusOrAccessModelTestAliasKind::kFullyAliased)));32} // namespace33 34} // namespace clang::dataflow::statusor_model35