aboutsummaryrefslogtreecommitdiff
path: root/lldb/unittests/Core/SourceLocationSpecTest.cpp
blob: 0b451f56c765ae97612e2c11c6533a241850dd3f (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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
//===-- SourceLocationSpecTest.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 "gtest/gtest.h"

#include "lldb/Core/SourceLocationSpec.h"
#include "lldb/Utility/LLDBAssert.h"

#include "llvm/Testing/Support/Error.h"

using namespace lldb_private;

TEST(SourceLocationSpecTest, OperatorBool) {
  SourceLocationSpec invalid(FileSpec(), 0);
  EXPECT_FALSE(invalid);

  SourceLocationSpec invalid_filespec(FileSpec(), 4);
  EXPECT_FALSE(invalid_filespec);

  SourceLocationSpec invalid_line(FileSpec("/foo/bar"), 0);
  EXPECT_FALSE(invalid_line);

  SourceLocationSpec valid_fs_line_no_column(FileSpec("/foo/bar"), 4);
  EXPECT_TRUE(valid_fs_line_no_column);

  SourceLocationSpec invalid_fs_column(FileSpec(), 4, 0);
  EXPECT_FALSE(invalid_fs_column);

  SourceLocationSpec invalid_line_column(FileSpec("/foo/bar"), 0, 19);
  EXPECT_FALSE(invalid_line_column);

  SourceLocationSpec valid_fs_line_zero_column(FileSpec("/foo/bar"), 4, 0);
  EXPECT_TRUE(valid_fs_line_zero_column);

  SourceLocationSpec valid_fs_line_column(FileSpec("/foo/bar"), 4, 19);
  EXPECT_TRUE(valid_fs_line_column);
}

TEST(SourceLocationSpecTest, FileLineColumnComponents) {
  FileSpec fs("/foo/bar", FileSpec::Style::posix);
  const uint32_t line = 19;
  const uint16_t column = 4;

  SourceLocationSpec without_column(fs, line, LLDB_INVALID_COLUMN_NUMBER, false,
                                    true);
  EXPECT_TRUE(without_column);
  EXPECT_EQ(fs, without_column.GetFileSpec());
  EXPECT_EQ(line, without_column.GetLine().value_or(0));
  EXPECT_EQ(std::nullopt, without_column.GetColumn());
  EXPECT_FALSE(without_column.GetCheckInlines());
  EXPECT_TRUE(without_column.GetExactMatch());
  EXPECT_STREQ("check inlines = false, exact match = true, decl = /foo/bar:19",
               without_column.GetString().c_str());

  SourceLocationSpec with_column(fs, line, column, true, false);
  EXPECT_TRUE(with_column);
  EXPECT_EQ(column, *with_column.GetColumn());
  EXPECT_TRUE(with_column.GetCheckInlines());
  EXPECT_FALSE(with_column.GetExactMatch());
  EXPECT_STREQ(
      "check inlines = true, exact match = false, decl = /foo/bar:19:4",
      with_column.GetString().c_str());
}

static SourceLocationSpec Create(bool check_inlines, bool exact_match,
                                 FileSpec fs, uint32_t line,
                                 uint16_t column = LLDB_INVALID_COLUMN_NUMBER) {
  return SourceLocationSpec(fs, line, column, check_inlines, exact_match);
}

TEST(SourceLocationSpecTest, Equal) {
  auto Equal = [](SourceLocationSpec lhs, SourceLocationSpec rhs, bool full) {
    return SourceLocationSpec::Equal(lhs, rhs, full);
  };

  const FileSpec fs("/foo/bar", FileSpec::Style::posix);
  const FileSpec other_fs("/foo/baz", FileSpec::Style::posix);

  // mutating FileSpec + const Inlined, ExactMatch, Line
  EXPECT_TRUE(
      Equal(Create(false, false, fs, 4), Create(false, false, fs, 4), true));
  EXPECT_TRUE(
      Equal(Create(true, true, fs, 4), Create(true, true, fs, 4), false));
  EXPECT_FALSE(Equal(Create(false, false, fs, 4),
                     Create(false, false, other_fs, 4), true));
  EXPECT_FALSE(
      Equal(Create(true, true, fs, 4), Create(true, true, other_fs, 4), false));

  // Mutating FileSpec + const Inlined, ExactMatch, Line, Column
  EXPECT_TRUE(Equal(Create(false, false, fs, 4, 19),
                    Create(false, false, fs, 4, 19), true));
  EXPECT_TRUE(Equal(Create(true, true, fs, 4, 19),
                    Create(true, true, fs, 4, 19), false));
  EXPECT_FALSE(Equal(Create(false, false, fs, 4, 19),
                     Create(false, false, other_fs, 4, 19), true));
  EXPECT_FALSE(Equal(Create(true, true, fs, 4, 19),
                     Create(true, true, other_fs, 4, 19), false));

  // Asymetric match
  EXPECT_FALSE(
      Equal(Create(true, true, fs, 4), Create(true, true, fs, 4, 19), true));
  EXPECT_TRUE(Equal(Create(false, false, fs, 4),
                    Create(false, false, fs, 4, 19), false));

  // Mutating Inlined, ExactMatch
  EXPECT_FALSE(
      Equal(Create(true, false, fs, 4), Create(false, true, fs, 4), true));
  EXPECT_TRUE(
      Equal(Create(false, true, fs, 4), Create(true, false, fs, 4), false));

  // Mutating Column
  EXPECT_FALSE(Equal(Create(true, true, fs, 4, 96),
                     Create(true, true, fs, 4, 19), true));
  EXPECT_TRUE(Equal(Create(false, false, fs, 4, 96),
                    Create(false, false, fs, 4, 19), false));
}

TEST(SourceLocationSpecTest, Compare) {
  auto Cmp = [](SourceLocationSpec a, SourceLocationSpec b) {
    return std::clamp(SourceLocationSpec::Compare(a, b), -1, 1);
  };

  FileSpec fs("/foo/bar", FileSpec::Style::posix);
  FileSpec other_fs("/foo/baz", FileSpec::Style::posix);

  // Asymetric comparaison
  EXPECT_EQ(-1, Cmp(Create(true, true, fs, 4), Create(true, true, fs, 4, 19)));
  EXPECT_EQ(-1,
            Cmp(Create(false, false, fs, 4), Create(false, false, fs, 4, 19)));
  EXPECT_EQ(1, Cmp(Create(true, true, fs, 4, 19), Create(true, true, fs, 4)));

  // Mutating FS, const Line
  EXPECT_EQ(
      -1, Cmp(Create(false, false, fs, 4), Create(false, false, other_fs, 4)));
  EXPECT_EQ(-1,
            Cmp(Create(true, true, fs, 4), Create(true, true, other_fs, 4)));
  EXPECT_EQ(1,
            Cmp(Create(false, true, other_fs, 4), Create(false, true, fs, 4)));
  EXPECT_EQ(1,
            Cmp(Create(true, false, other_fs, 4), Create(true, false, fs, 4)));

  // Const FS, mutating Line
  EXPECT_EQ(-1, Cmp(Create(false, false, fs, 1), Create(false, false, fs, 4)));
  EXPECT_EQ(-1, Cmp(Create(true, true, fs, 1), Create(true, true, fs, 4)));
  EXPECT_EQ(0, Cmp(Create(false, true, fs, 4), Create(false, true, fs, 4)));
  EXPECT_EQ(0, Cmp(Create(true, false, fs, 4), Create(true, false, fs, 4)));
  EXPECT_EQ(1, Cmp(Create(false, false, fs, 4), Create(false, false, fs, 1)));
  EXPECT_EQ(1, Cmp(Create(true, true, fs, 4), Create(true, true, fs, 1)));

  // Const FS, mutating Line, const Column
  EXPECT_EQ(-1,
            Cmp(Create(false, true, fs, 1), Create(false, true, fs, 4, 19)));
  EXPECT_EQ(-1, Cmp(Create(true, true, fs, 1), Create(true, true, fs, 4, 19)));
  EXPECT_EQ(1, Cmp(Create(true, false, fs, 4, 19), Create(true, false, fs, 1)));
  EXPECT_EQ(1, Cmp(Create(true, false, fs, 4, 19), Create(true, false, fs, 1)));

  // Mutating FS, const Line, const Column
  EXPECT_EQ(-1, Cmp(Create(false, false, fs, 4, 19),
                    Create(false, false, other_fs, 4, 19)));
  EXPECT_EQ(-1, Cmp(Create(true, true, fs, 4, 19),
                    Create(true, true, other_fs, 4, 19)));
  EXPECT_EQ(
      0, Cmp(Create(false, false, fs, 4, 19), Create(false, false, fs, 4, 19)));
  EXPECT_EQ(0,
            Cmp(Create(true, true, fs, 4, 19), Create(true, true, fs, 4, 19)));
  EXPECT_EQ(1, Cmp(Create(false, true, other_fs, 4, 19),
                   Create(false, true, fs, 4, 19)));
  EXPECT_EQ(1, Cmp(Create(true, false, other_fs, 4, 19),
                   Create(true, false, fs, 4, 19)));

  // Const FS, const Line, mutating Column
  EXPECT_EQ(-1, Cmp(Create(false, false, fs, 4, 19),
                    Create(false, false, fs, 4, 96)));
  EXPECT_EQ(1,
            Cmp(Create(true, true, fs, 4, 96), Create(true, true, fs, 4, 19)));
  EXPECT_EQ(
      1, Cmp(Create(false, true, fs, 4, 96), Create(false, true, fs, 4, 19)));
}