blob: 9e1223b54976f939de924d8c1b3971979dcc62a6 [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 [: "));
Mitch Phillipsfa2eda82017-10-24 23:56:12 +000070
71 EXPECT_EQ(makeSpecialCaseList("src:=", Error), nullptr);
72 EXPECT_TRUE(((StringRef)Error).endswith("Supplied regexp was blank"));
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +000073}
74
75TEST_F(SpecialCaseListTest, Section) {
76 std::unique_ptr<SpecialCaseList> SCL = makeSpecialCaseList("src:global\n"
77 "[sect1|sect2]\n"
78 "src:test1\n"
79 "[sect3*]\n"
80 "src:test2\n");
81 EXPECT_TRUE(SCL->inSection("arbitrary", "src", "global"));
82 EXPECT_TRUE(SCL->inSection("", "src", "global"));
83 EXPECT_TRUE(SCL->inSection("sect1", "src", "test1"));
84 EXPECT_FALSE(SCL->inSection("sect1-arbitrary", "src", "test1"));
85 EXPECT_FALSE(SCL->inSection("sect", "src", "test1"));
86 EXPECT_FALSE(SCL->inSection("sect1", "src", "test2"));
87 EXPECT_TRUE(SCL->inSection("sect2", "src", "test1"));
88 EXPECT_TRUE(SCL->inSection("sect3", "src", "test2"));
89 EXPECT_TRUE(SCL->inSection("sect3-arbitrary", "src", "test2"));
90 EXPECT_FALSE(SCL->inSection("", "src", "test1"));
91 EXPECT_FALSE(SCL->inSection("", "src", "test2"));
Alexey Samsonovb7dd3292014-07-09 19:40:08 +000092}
93
Alexey Samsonovcfb97aa2014-11-20 01:27:19 +000094TEST_F(SpecialCaseListTest, GlobalInit) {
David Blaikie15913f42014-09-02 18:13:54 +000095 std::unique_ptr<SpecialCaseList> SCL =
96 makeSpecialCaseList("global:foo=init\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +000097 EXPECT_FALSE(SCL->inSection("", "global", "foo"));
98 EXPECT_FALSE(SCL->inSection("", "global", "bar"));
99 EXPECT_TRUE(SCL->inSection("", "global", "foo", "init"));
100 EXPECT_FALSE(SCL->inSection("", "global", "bar", "init"));
Alexey Samsonovb7dd3292014-07-09 19:40:08 +0000101
David Blaikie15913f42014-09-02 18:13:54 +0000102 SCL = makeSpecialCaseList("type:t2=init\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000103 EXPECT_FALSE(SCL->inSection("", "type", "t1"));
104 EXPECT_FALSE(SCL->inSection("", "type", "t2"));
105 EXPECT_FALSE(SCL->inSection("", "type", "t1", "init"));
106 EXPECT_TRUE(SCL->inSection("", "type", "t2", "init"));
Alexey Samsonovb7dd3292014-07-09 19:40:08 +0000107
David Blaikie15913f42014-09-02 18:13:54 +0000108 SCL = makeSpecialCaseList("src:hello=init\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000109 EXPECT_FALSE(SCL->inSection("", "src", "hello"));
110 EXPECT_FALSE(SCL->inSection("", "src", "bye"));
111 EXPECT_TRUE(SCL->inSection("", "src", "hello", "init"));
112 EXPECT_FALSE(SCL->inSection("", "src", "bye", "init"));
Alexey Samsonovb7dd3292014-07-09 19:40:08 +0000113}
114
115TEST_F(SpecialCaseListTest, Substring) {
David Blaikie15913f42014-09-02 18:13:54 +0000116 std::unique_ptr<SpecialCaseList> SCL = makeSpecialCaseList("src:hello\n"
117 "fun:foo\n"
118 "global:bar\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000119 EXPECT_FALSE(SCL->inSection("", "src", "othello"));
120 EXPECT_FALSE(SCL->inSection("", "fun", "tomfoolery"));
121 EXPECT_FALSE(SCL->inSection("", "global", "bartender"));
Alexey Samsonovb7dd3292014-07-09 19:40:08 +0000122
David Blaikie15913f42014-09-02 18:13:54 +0000123 SCL = makeSpecialCaseList("fun:*foo*\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000124 EXPECT_TRUE(SCL->inSection("", "fun", "tomfoolery"));
125 EXPECT_TRUE(SCL->inSection("", "fun", "foobar"));
Alexey Samsonovb7dd3292014-07-09 19:40:08 +0000126}
127
128TEST_F(SpecialCaseListTest, InvalidSpecialCaseList) {
129 std::string Error;
130 EXPECT_EQ(nullptr, makeSpecialCaseList("badline", Error));
Alexey Samsonovb9b80272015-02-04 17:39:48 +0000131 EXPECT_EQ("malformed line 1: 'badline'", Error);
Alexey Samsonovb7dd3292014-07-09 19:40:08 +0000132 EXPECT_EQ(nullptr, makeSpecialCaseList("src:bad[a-", Error));
Alexey Samsonovb9b80272015-02-04 17:39:48 +0000133 EXPECT_EQ("malformed regex in line 1: 'bad[a-': invalid character range",
Alexey Samsonovb7dd3292014-07-09 19:40:08 +0000134 Error);
135 EXPECT_EQ(nullptr, makeSpecialCaseList("src:a.c\n"
136 "fun:fun(a\n",
137 Error));
Alexey Samsonovb9b80272015-02-04 17:39:48 +0000138 EXPECT_EQ("malformed regex in line 2: 'fun(a': parentheses not balanced",
Alexey Samsonovb7dd3292014-07-09 19:40:08 +0000139 Error);
Alexey Samsonovb9b80272015-02-04 17:39:48 +0000140 std::vector<std::string> Files(1, "unexisting");
141 EXPECT_EQ(nullptr, SpecialCaseList::create(Files, Error));
142 EXPECT_EQ(0U, Error.find("can't open file 'unexisting':"));
Alexey Samsonovb7dd3292014-07-09 19:40:08 +0000143}
144
145TEST_F(SpecialCaseListTest, EmptySpecialCaseList) {
David Blaikie15913f42014-09-02 18:13:54 +0000146 std::unique_ptr<SpecialCaseList> SCL = makeSpecialCaseList("");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000147 EXPECT_FALSE(SCL->inSection("", "foo", "bar"));
Alexey Samsonovb7dd3292014-07-09 19:40:08 +0000148}
149
Alexey Samsonovb9b80272015-02-04 17:39:48 +0000150TEST_F(SpecialCaseListTest, MultipleBlacklists) {
151 std::vector<std::string> Files;
152 Files.push_back(makeSpecialCaseListFile("src:bar\n"
153 "src:*foo*\n"
154 "src:ban=init\n"));
155 Files.push_back(makeSpecialCaseListFile("src:baz\n"
156 "src:*fog*\n"));
157 auto SCL = SpecialCaseList::createOrDie(Files);
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000158 EXPECT_TRUE(SCL->inSection("", "src", "bar"));
159 EXPECT_TRUE(SCL->inSection("", "src", "baz"));
160 EXPECT_FALSE(SCL->inSection("", "src", "ban"));
161 EXPECT_TRUE(SCL->inSection("", "src", "ban", "init"));
162 EXPECT_TRUE(SCL->inSection("", "src", "tomfoolery"));
163 EXPECT_TRUE(SCL->inSection("", "src", "tomfoglery"));
Reid Kleckner75e557f2016-09-02 00:51:34 +0000164 for (auto &Path : Files)
165 sys::fs::remove(Path);
Alexey Samsonovb7dd3292014-07-09 19:40:08 +0000166}
167
Ivan Krasin3dade412016-12-01 02:54:54 +0000168TEST_F(SpecialCaseListTest, NoTrigramsInRules) {
169 std::unique_ptr<SpecialCaseList> SCL = makeSpecialCaseList("fun:b.r\n"
170 "fun:za*az\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000171 EXPECT_TRUE(SCL->inSection("", "fun", "bar"));
172 EXPECT_FALSE(SCL->inSection("", "fun", "baz"));
173 EXPECT_TRUE(SCL->inSection("", "fun", "zakaz"));
174 EXPECT_FALSE(SCL->inSection("", "fun", "zaraza"));
Ivan Krasin3dade412016-12-01 02:54:54 +0000175}
176
177TEST_F(SpecialCaseListTest, NoTrigramsInARule) {
178 std::unique_ptr<SpecialCaseList> SCL = makeSpecialCaseList("fun:*bar*\n"
179 "fun:za*az\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000180 EXPECT_TRUE(SCL->inSection("", "fun", "abara"));
181 EXPECT_FALSE(SCL->inSection("", "fun", "bor"));
182 EXPECT_TRUE(SCL->inSection("", "fun", "zakaz"));
183 EXPECT_FALSE(SCL->inSection("", "fun", "zaraza"));
Ivan Krasin3dade412016-12-01 02:54:54 +0000184}
185
186TEST_F(SpecialCaseListTest, RepetitiveRule) {
187 std::unique_ptr<SpecialCaseList> SCL = makeSpecialCaseList("fun:*bar*bar*bar*bar*\n"
188 "fun:bar*\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000189 EXPECT_TRUE(SCL->inSection("", "fun", "bara"));
190 EXPECT_FALSE(SCL->inSection("", "fun", "abara"));
191 EXPECT_TRUE(SCL->inSection("", "fun", "barbarbarbar"));
192 EXPECT_TRUE(SCL->inSection("", "fun", "abarbarbarbar"));
193 EXPECT_FALSE(SCL->inSection("", "fun", "abarbarbar"));
Ivan Krasin3dade412016-12-01 02:54:54 +0000194}
195
196TEST_F(SpecialCaseListTest, SpecialSymbolRule) {
197 std::unique_ptr<SpecialCaseList> SCL = makeSpecialCaseList("src:*c\\+\\+abi*\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000198 EXPECT_TRUE(SCL->inSection("", "src", "c++abi"));
199 EXPECT_FALSE(SCL->inSection("", "src", "c\\+\\+abi"));
Ivan Krasin3dade412016-12-01 02:54:54 +0000200}
201
202TEST_F(SpecialCaseListTest, PopularTrigram) {
203 std::unique_ptr<SpecialCaseList> SCL = makeSpecialCaseList("fun:*aaaaaa*\n"
204 "fun:*aaaaa*\n"
205 "fun:*aaaa*\n"
206 "fun:*aaa*\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000207 EXPECT_TRUE(SCL->inSection("", "fun", "aaa"));
208 EXPECT_TRUE(SCL->inSection("", "fun", "aaaa"));
209 EXPECT_TRUE(SCL->inSection("", "fun", "aaaabbbaaa"));
Ivan Krasin3dade412016-12-01 02:54:54 +0000210}
211
Ivan Krasin75453b02016-12-02 23:30:16 +0000212TEST_F(SpecialCaseListTest, EscapedSymbols) {
213 std::unique_ptr<SpecialCaseList> SCL = makeSpecialCaseList("src:*c\\+\\+abi*\n"
214 "src:*hello\\\\world*\n");
Vlad Tsyrklevich998b2202017-09-25 22:11:11 +0000215 EXPECT_TRUE(SCL->inSection("", "src", "dir/c++abi"));
216 EXPECT_FALSE(SCL->inSection("", "src", "dir/c\\+\\+abi"));
217 EXPECT_FALSE(SCL->inSection("", "src", "c\\+\\+abi"));
218 EXPECT_TRUE(SCL->inSection("", "src", "C:\\hello\\world"));
219 EXPECT_TRUE(SCL->inSection("", "src", "hello\\world"));
220 EXPECT_FALSE(SCL->inSection("", "src", "hello\\\\world"));
Ivan Krasin75453b02016-12-02 23:30:16 +0000221}
222
Alexey Samsonovb9b80272015-02-04 17:39:48 +0000223}