blob: 0aa8452c0dd4e89ed5eba6a08286e2dca6b2f1f9 [file] [log] [blame]
Alexey Samsonovb7dd3292014-07-09 19:40:08 +00001//===- SpecialCaseListTest.cpp - Unit tests for SpecialCaseList -----------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Chandler Carruth9a67b072017-06-06 11:06:56 +000010#include "llvm/Support/SpecialCaseList.h"
Alexey Samsonovb9b80272015-02-04 17:39:48 +000011#include "llvm/Support/FileSystem.h"
Alexey Samsonovb7dd3292014-07-09 19:40:08 +000012#include "llvm/Support/MemoryBuffer.h"
Alexey Samsonovb7dd3292014-07-09 19:40:08 +000013#include "gtest/gtest.h"
14
15using namespace llvm;
16
17namespace {
18
19class SpecialCaseListTest : public ::testing::Test {
20protected:
David Blaikie15913f42014-09-02 18:13:54 +000021 std::unique_ptr<SpecialCaseList> makeSpecialCaseList(StringRef List,
22 std::string &Error) {
David Blaikiedfbe3d62014-08-27 20:14:18 +000023 std::unique_ptr<MemoryBuffer> MB = MemoryBuffer::getMemBuffer(List);
Alexey Samsonovb7dd3292014-07-09 19:40:08 +000024 return SpecialCaseList::create(MB.get(), Error);
25 }
26
David Blaikie15913f42014-09-02 18:13:54 +000027 std::unique_ptr<SpecialCaseList> makeSpecialCaseList(StringRef List) {
Alexey Samsonovb7dd3292014-07-09 19:40:08 +000028 std::string Error;
David Blaikie15913f42014-09-02 18:13:54 +000029 auto SCL = makeSpecialCaseList(List, Error);
Alexey Samsonovb7dd3292014-07-09 19:40:08 +000030 assert(SCL);
31 assert(Error == "");
32 return SCL;
33 }
Alexey Samsonovb9b80272015-02-04 17:39:48 +000034
35 std::string makeSpecialCaseListFile(StringRef Contents) {
36 int FD;
37 SmallString<64> Path;
38 sys::fs::createTemporaryFile("SpecialCaseListTest", "temp", FD, Path);
39 raw_fd_ostream OF(FD, true, true);
40 OF << Contents;
41 OF.close();
42 return Path.str();
43 }
Alexey Samsonovb7dd3292014-07-09 19:40:08 +000044};
45
46TEST_F(SpecialCaseListTest, Basic) {
David Blaikie15913f42014-09-02 18:13:54 +000047 std::unique_ptr<SpecialCaseList> SCL =
Alexey Samsonovb7dd3292014-07-09 19:40:08 +000048 makeSpecialCaseList("# This is a comment.\n"
49 "\n"
50 "src:hello\n"
51 "src:bye\n"
52 "src:hi=category\n"
David Blaikie15913f42014-09-02 18:13:54 +000053 "src:z*=category\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +000054 EXPECT_TRUE(SCL->inSection("", "src", "hello"));
55 EXPECT_TRUE(SCL->inSection("", "src", "bye"));
56 EXPECT_TRUE(SCL->inSection("", "src", "hi", "category"));
57 EXPECT_TRUE(SCL->inSection("", "src", "zzzz", "category"));
58 EXPECT_FALSE(SCL->inSection("", "src", "hi"));
59 EXPECT_FALSE(SCL->inSection("", "fun", "hello"));
60 EXPECT_FALSE(SCL->inSection("", "src", "hello", "category"));
61}
62
63TEST_F(SpecialCaseListTest, SectionRegexErrorHandling) {
64 std::string Error;
65 EXPECT_EQ(makeSpecialCaseList("[address", Error), nullptr);
66 EXPECT_TRUE(((StringRef)Error).startswith("malformed section header "));
67
68 EXPECT_EQ(makeSpecialCaseList("[[]", Error), nullptr);
69 EXPECT_TRUE(((StringRef)Error).startswith("malformed regex for section [: "));
70}
71
72TEST_F(SpecialCaseListTest, Section) {
73 std::unique_ptr<SpecialCaseList> SCL = makeSpecialCaseList("src:global\n"
74 "[sect1|sect2]\n"
75 "src:test1\n"
76 "[sect3*]\n"
77 "src:test2\n");
78 EXPECT_TRUE(SCL->inSection("arbitrary", "src", "global"));
79 EXPECT_TRUE(SCL->inSection("", "src", "global"));
80 EXPECT_TRUE(SCL->inSection("sect1", "src", "test1"));
81 EXPECT_FALSE(SCL->inSection("sect1-arbitrary", "src", "test1"));
82 EXPECT_FALSE(SCL->inSection("sect", "src", "test1"));
83 EXPECT_FALSE(SCL->inSection("sect1", "src", "test2"));
84 EXPECT_TRUE(SCL->inSection("sect2", "src", "test1"));
85 EXPECT_TRUE(SCL->inSection("sect3", "src", "test2"));
86 EXPECT_TRUE(SCL->inSection("sect3-arbitrary", "src", "test2"));
87 EXPECT_FALSE(SCL->inSection("", "src", "test1"));
88 EXPECT_FALSE(SCL->inSection("", "src", "test2"));
Alexey Samsonovb7dd3292014-07-09 19:40:08 +000089}
90
Alexey Samsonovcfb97aa2014-11-20 01:27:19 +000091TEST_F(SpecialCaseListTest, GlobalInit) {
David Blaikie15913f42014-09-02 18:13:54 +000092 std::unique_ptr<SpecialCaseList> SCL =
93 makeSpecialCaseList("global:foo=init\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +000094 EXPECT_FALSE(SCL->inSection("", "global", "foo"));
95 EXPECT_FALSE(SCL->inSection("", "global", "bar"));
96 EXPECT_TRUE(SCL->inSection("", "global", "foo", "init"));
97 EXPECT_FALSE(SCL->inSection("", "global", "bar", "init"));
Alexey Samsonovb7dd3292014-07-09 19:40:08 +000098
David Blaikie15913f42014-09-02 18:13:54 +000099 SCL = makeSpecialCaseList("type:t2=init\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000100 EXPECT_FALSE(SCL->inSection("", "type", "t1"));
101 EXPECT_FALSE(SCL->inSection("", "type", "t2"));
102 EXPECT_FALSE(SCL->inSection("", "type", "t1", "init"));
103 EXPECT_TRUE(SCL->inSection("", "type", "t2", "init"));
Alexey Samsonovb7dd3292014-07-09 19:40:08 +0000104
David Blaikie15913f42014-09-02 18:13:54 +0000105 SCL = makeSpecialCaseList("src:hello=init\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000106 EXPECT_FALSE(SCL->inSection("", "src", "hello"));
107 EXPECT_FALSE(SCL->inSection("", "src", "bye"));
108 EXPECT_TRUE(SCL->inSection("", "src", "hello", "init"));
109 EXPECT_FALSE(SCL->inSection("", "src", "bye", "init"));
Alexey Samsonovb7dd3292014-07-09 19:40:08 +0000110}
111
112TEST_F(SpecialCaseListTest, Substring) {
David Blaikie15913f42014-09-02 18:13:54 +0000113 std::unique_ptr<SpecialCaseList> SCL = makeSpecialCaseList("src:hello\n"
114 "fun:foo\n"
115 "global:bar\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000116 EXPECT_FALSE(SCL->inSection("", "src", "othello"));
117 EXPECT_FALSE(SCL->inSection("", "fun", "tomfoolery"));
118 EXPECT_FALSE(SCL->inSection("", "global", "bartender"));
Alexey Samsonovb7dd3292014-07-09 19:40:08 +0000119
David Blaikie15913f42014-09-02 18:13:54 +0000120 SCL = makeSpecialCaseList("fun:*foo*\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000121 EXPECT_TRUE(SCL->inSection("", "fun", "tomfoolery"));
122 EXPECT_TRUE(SCL->inSection("", "fun", "foobar"));
Alexey Samsonovb7dd3292014-07-09 19:40:08 +0000123}
124
125TEST_F(SpecialCaseListTest, InvalidSpecialCaseList) {
126 std::string Error;
127 EXPECT_EQ(nullptr, makeSpecialCaseList("badline", Error));
Alexey Samsonovb9b80272015-02-04 17:39:48 +0000128 EXPECT_EQ("malformed line 1: 'badline'", Error);
Alexey Samsonovb7dd3292014-07-09 19:40:08 +0000129 EXPECT_EQ(nullptr, makeSpecialCaseList("src:bad[a-", Error));
Alexey Samsonovb9b80272015-02-04 17:39:48 +0000130 EXPECT_EQ("malformed regex in line 1: 'bad[a-': invalid character range",
Alexey Samsonovb7dd3292014-07-09 19:40:08 +0000131 Error);
132 EXPECT_EQ(nullptr, makeSpecialCaseList("src:a.c\n"
133 "fun:fun(a\n",
134 Error));
Alexey Samsonovb9b80272015-02-04 17:39:48 +0000135 EXPECT_EQ("malformed regex in line 2: 'fun(a': parentheses not balanced",
Alexey Samsonovb7dd3292014-07-09 19:40:08 +0000136 Error);
Alexey Samsonovb9b80272015-02-04 17:39:48 +0000137 std::vector<std::string> Files(1, "unexisting");
138 EXPECT_EQ(nullptr, SpecialCaseList::create(Files, Error));
139 EXPECT_EQ(0U, Error.find("can't open file 'unexisting':"));
Alexey Samsonovb7dd3292014-07-09 19:40:08 +0000140}
141
142TEST_F(SpecialCaseListTest, EmptySpecialCaseList) {
David Blaikie15913f42014-09-02 18:13:54 +0000143 std::unique_ptr<SpecialCaseList> SCL = makeSpecialCaseList("");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000144 EXPECT_FALSE(SCL->inSection("", "foo", "bar"));
Alexey Samsonovb7dd3292014-07-09 19:40:08 +0000145}
146
Alexey Samsonovb9b80272015-02-04 17:39:48 +0000147TEST_F(SpecialCaseListTest, MultipleBlacklists) {
148 std::vector<std::string> Files;
149 Files.push_back(makeSpecialCaseListFile("src:bar\n"
150 "src:*foo*\n"
151 "src:ban=init\n"));
152 Files.push_back(makeSpecialCaseListFile("src:baz\n"
153 "src:*fog*\n"));
154 auto SCL = SpecialCaseList::createOrDie(Files);
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000155 EXPECT_TRUE(SCL->inSection("", "src", "bar"));
156 EXPECT_TRUE(SCL->inSection("", "src", "baz"));
157 EXPECT_FALSE(SCL->inSection("", "src", "ban"));
158 EXPECT_TRUE(SCL->inSection("", "src", "ban", "init"));
159 EXPECT_TRUE(SCL->inSection("", "src", "tomfoolery"));
160 EXPECT_TRUE(SCL->inSection("", "src", "tomfoglery"));
Reid Kleckner75e557f2016-09-02 00:51:34 +0000161 for (auto &Path : Files)
162 sys::fs::remove(Path);
Alexey Samsonovb7dd3292014-07-09 19:40:08 +0000163}
164
Ivan Krasin3dade412016-12-01 02:54:54 +0000165TEST_F(SpecialCaseListTest, NoTrigramsInRules) {
166 std::unique_ptr<SpecialCaseList> SCL = makeSpecialCaseList("fun:b.r\n"
167 "fun:za*az\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000168 EXPECT_TRUE(SCL->inSection("", "fun", "bar"));
169 EXPECT_FALSE(SCL->inSection("", "fun", "baz"));
170 EXPECT_TRUE(SCL->inSection("", "fun", "zakaz"));
171 EXPECT_FALSE(SCL->inSection("", "fun", "zaraza"));
Ivan Krasin3dade412016-12-01 02:54:54 +0000172}
173
174TEST_F(SpecialCaseListTest, NoTrigramsInARule) {
175 std::unique_ptr<SpecialCaseList> SCL = makeSpecialCaseList("fun:*bar*\n"
176 "fun:za*az\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000177 EXPECT_TRUE(SCL->inSection("", "fun", "abara"));
178 EXPECT_FALSE(SCL->inSection("", "fun", "bor"));
179 EXPECT_TRUE(SCL->inSection("", "fun", "zakaz"));
180 EXPECT_FALSE(SCL->inSection("", "fun", "zaraza"));
Ivan Krasin3dade412016-12-01 02:54:54 +0000181}
182
183TEST_F(SpecialCaseListTest, RepetitiveRule) {
184 std::unique_ptr<SpecialCaseList> SCL = makeSpecialCaseList("fun:*bar*bar*bar*bar*\n"
185 "fun:bar*\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000186 EXPECT_TRUE(SCL->inSection("", "fun", "bara"));
187 EXPECT_FALSE(SCL->inSection("", "fun", "abara"));
188 EXPECT_TRUE(SCL->inSection("", "fun", "barbarbarbar"));
189 EXPECT_TRUE(SCL->inSection("", "fun", "abarbarbarbar"));
190 EXPECT_FALSE(SCL->inSection("", "fun", "abarbarbar"));
Ivan Krasin3dade412016-12-01 02:54:54 +0000191}
192
193TEST_F(SpecialCaseListTest, SpecialSymbolRule) {
194 std::unique_ptr<SpecialCaseList> SCL = makeSpecialCaseList("src:*c\\+\\+abi*\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000195 EXPECT_TRUE(SCL->inSection("", "src", "c++abi"));
196 EXPECT_FALSE(SCL->inSection("", "src", "c\\+\\+abi"));
Ivan Krasin3dade412016-12-01 02:54:54 +0000197}
198
199TEST_F(SpecialCaseListTest, PopularTrigram) {
200 std::unique_ptr<SpecialCaseList> SCL = makeSpecialCaseList("fun:*aaaaaa*\n"
201 "fun:*aaaaa*\n"
202 "fun:*aaaa*\n"
203 "fun:*aaa*\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000204 EXPECT_TRUE(SCL->inSection("", "fun", "aaa"));
205 EXPECT_TRUE(SCL->inSection("", "fun", "aaaa"));
206 EXPECT_TRUE(SCL->inSection("", "fun", "aaaabbbaaa"));
Ivan Krasin3dade412016-12-01 02:54:54 +0000207}
208
Ivan Krasin75453b02016-12-02 23:30:16 +0000209TEST_F(SpecialCaseListTest, EscapedSymbols) {
210 std::unique_ptr<SpecialCaseList> SCL = makeSpecialCaseList("src:*c\\+\\+abi*\n"
211 "src:*hello\\\\world*\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000212 EXPECT_TRUE(SCL->inSection("", "src", "dir/c++abi"));
213 EXPECT_FALSE(SCL->inSection("", "src", "dir/c\\+\\+abi"));
214 EXPECT_FALSE(SCL->inSection("", "src", "c\\+\\+abi"));
215 EXPECT_TRUE(SCL->inSection("", "src", "C:\\hello\\world"));
216 EXPECT_TRUE(SCL->inSection("", "src", "hello\\world"));
217 EXPECT_FALSE(SCL->inSection("", "src", "hello\\\\world"));
Ivan Krasin75453b02016-12-02 23:30:16 +0000218}
219
Alexey Samsonovb9b80272015-02-04 17:39:48 +0000220}