blob: 20630a4ce1784ec197d0c03762654f0bbf790376 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
//===- 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
|
