blob: 9ee7d0ab7e56591960f0047d195c09232b3933b5 [file] [log] [blame]
Benjamin Kramer6b236262016-04-20 12:43:43 +00001//===-- IncludeFixerTest.cpp - Include fixer unit tests -------------------===//
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
Benjamin Kramera3d82332016-05-13 09:27:54 +000010#include "InMemorySymbolIndex.h"
Benjamin Kramer6b236262016-04-20 12:43:43 +000011#include "IncludeFixer.h"
Benjamin Kramera3d82332016-05-13 09:27:54 +000012#include "SymbolIndexManager.h"
Benjamin Kramer3a45fab2016-04-28 11:21:29 +000013#include "unittests/Tooling/RewriterTestContext.h"
Benjamin Kramer6b236262016-04-20 12:43:43 +000014#include "clang/Tooling/Tooling.h"
15#include "gtest/gtest.h"
Benjamin Kramer6b236262016-04-20 12:43:43 +000016
17namespace clang {
18namespace include_fixer {
19namespace {
20
Haojian Wu631e5f22016-05-13 15:17:17 +000021using find_all_symbols::SymbolInfo;
22
Benjamin Kramer6b236262016-04-20 12:43:43 +000023static bool runOnCode(tooling::ToolAction *ToolAction, StringRef Code,
Benjamin Kramer3a45fab2016-04-28 11:21:29 +000024 StringRef FileName,
25 const std::vector<std::string> &ExtraArgs) {
Benjamin Kramer6b236262016-04-20 12:43:43 +000026 llvm::IntrusiveRefCntPtr<vfs::InMemoryFileSystem> InMemoryFileSystem(
27 new vfs::InMemoryFileSystem);
28 llvm::IntrusiveRefCntPtr<FileManager> Files(
29 new FileManager(FileSystemOptions(), InMemoryFileSystem));
Benjamin Kramer2ecd0902016-05-18 09:28:45 +000030 // FIXME: Investigate why -fms-compatibility breaks tests.
31 std::vector<std::string> Args = {"include_fixer", "-fsyntax-only",
32 "-fno-ms-compatibility", FileName};
Benjamin Kramer3a45fab2016-04-28 11:21:29 +000033 Args.insert(Args.end(), ExtraArgs.begin(), ExtraArgs.end());
Benjamin Kramer6b236262016-04-20 12:43:43 +000034 tooling::ToolInvocation Invocation(
Benjamin Kramer3a45fab2016-04-28 11:21:29 +000035 Args, ToolAction, Files.get(),
36 std::make_shared<PCHContainerOperations>());
Benjamin Kramer6b236262016-04-20 12:43:43 +000037
38 InMemoryFileSystem->addFile(FileName, 0,
39 llvm::MemoryBuffer::getMemBuffer(Code));
40
41 InMemoryFileSystem->addFile("foo.h", 0,
42 llvm::MemoryBuffer::getMemBuffer("\n"));
Benjamin Kramer3a45fab2016-04-28 11:21:29 +000043 InMemoryFileSystem->addFile("dir/bar.h", 0,
44 llvm::MemoryBuffer::getMemBuffer("\n"));
45 InMemoryFileSystem->addFile("dir/otherdir/qux.h", 0,
Benjamin Kramer6b236262016-04-20 12:43:43 +000046 llvm::MemoryBuffer::getMemBuffer("\n"));
Haojian Wu9c6cb032016-06-03 11:26:02 +000047 InMemoryFileSystem->addFile("header.h", 0,
48 llvm::MemoryBuffer::getMemBuffer("bar b;"));
Benjamin Kramer6b236262016-04-20 12:43:43 +000049 return Invocation.run();
50}
51
Benjamin Kramer3a45fab2016-04-28 11:21:29 +000052static std::string runIncludeFixer(
53 StringRef Code,
54 const std::vector<std::string> &ExtraArgs = std::vector<std::string>()) {
Haojian Wu631e5f22016-05-13 15:17:17 +000055 std::vector<SymbolInfo> Symbols = {
56 SymbolInfo("string", SymbolInfo::SymbolKind::Class, "<string>", 1,
57 {{SymbolInfo::ContextType::Namespace, "std"}}),
58 SymbolInfo("sting", SymbolInfo::SymbolKind::Class, "\"sting\"", 1,
59 {{SymbolInfo::ContextType::Namespace, "std"}}),
Haojian Wu631e5f22016-05-13 15:17:17 +000060 SymbolInfo("foo", SymbolInfo::SymbolKind::Class, "\"dir/otherdir/qux.h\"",
61 1, {{SymbolInfo::ContextType::Namespace, "b"},
62 {SymbolInfo::ContextType::Namespace, "a"}}),
Eric Liua4be83a2016-06-13 19:05:07 +000063 SymbolInfo("bar", SymbolInfo::SymbolKind::Class, "\"bar.h\"", 1,
64 {{SymbolInfo::ContextType::Namespace, "b"},
65 {SymbolInfo::ContextType::Namespace, "a"}}),
66 SymbolInfo("Green", SymbolInfo::SymbolKind::Class, "\"color.h\"", 1,
67 {{SymbolInfo::ContextType::EnumDecl, "Color"},
68 {SymbolInfo::ContextType::Namespace, "b"},
69 {SymbolInfo::ContextType::Namespace, "a"}}),
70 SymbolInfo("Vector", SymbolInfo::SymbolKind::Class, "\"Vector.h\"", 1,
71 {{SymbolInfo::ContextType::Namespace, "__a"},
72 {SymbolInfo::ContextType::Namespace, "a"}},
73 /*num_occurrences=*/2),
74 SymbolInfo("Vector", SymbolInfo::SymbolKind::Class, "\"Vector.h\"", 2,
75 {{SymbolInfo::ContextType::Namespace, "a"}},
76 /*num_occurrences=*/1),
Benjamin Kramer3a45fab2016-04-28 11:21:29 +000077 };
Benjamin Kramera3d82332016-05-13 09:27:54 +000078 auto SymbolIndexMgr = llvm::make_unique<include_fixer::SymbolIndexManager>();
79 SymbolIndexMgr->addSymbolIndex(
Haojian Wu631e5f22016-05-13 15:17:17 +000080 llvm::make_unique<include_fixer::InMemorySymbolIndex>(Symbols));
Eric Liu692aca62016-05-04 08:22:35 +000081
Haojian Wu11e9bd22016-05-31 09:31:51 +000082 IncludeFixerContext FixerContext;
83 IncludeFixerActionFactory Factory(*SymbolIndexMgr, FixerContext, "llvm");
84
Haojian Wu627ca962016-07-08 09:10:29 +000085 std::string FakeFileName = "input.cc";
86 runOnCode(&Factory, Code, FakeFileName, ExtraArgs);
Haojian Wu68c34a02016-07-13 16:43:54 +000087 if (FixerContext.getHeaderInfos().empty())
Eric Liuf83187d2016-05-31 13:52:59 +000088 return Code;
Eric Liua452db42016-07-11 13:53:21 +000089 auto Replaces = clang::include_fixer::createInsertHeaderReplacements(
Haojian Wu68c34a02016-07-13 16:43:54 +000090 Code, FakeFileName, FixerContext.getHeaderInfos().front().Header);
Eric Liua452db42016-07-11 13:53:21 +000091 EXPECT_TRUE(static_cast<bool>(Replaces))
92 << llvm::toString(Replaces.takeError()) << "\n";
93 if (!Replaces)
94 return "";
Benjamin Kramer6b236262016-04-20 12:43:43 +000095 clang::RewriterTestContext Context;
Haojian Wu627ca962016-07-08 09:10:29 +000096 clang::FileID ID = Context.createInMemoryFile(FakeFileName, Code);
Haojian Wu68c34a02016-07-13 16:43:54 +000097 Replaces->insert({FakeFileName, FixerContext.getSymbolRange().getOffset(),
98 FixerContext.getSymbolRange().getLength(),
99 FixerContext.getHeaderInfos().front().QualifiedName});
Eric Liua452db42016-07-11 13:53:21 +0000100 clang::tooling::applyAllReplacements(*Replaces, Context.Rewrite);
Benjamin Kramer6b236262016-04-20 12:43:43 +0000101 return Context.getRewrittenText(ID);
102}
103
104TEST(IncludeFixer, Typo) {
Eric Liu516f18e2016-05-31 14:48:45 +0000105 EXPECT_EQ("#include <string>\nstd::string foo;\n",
Benjamin Kramer6b236262016-04-20 12:43:43 +0000106 runIncludeFixer("std::string foo;\n"));
107
Eric Liu516f18e2016-05-31 14:48:45 +0000108 // FIXME: the current version of include-fixer does not get this test case
109 // right - header should be inserted before definition.
Benjamin Kramer6b236262016-04-20 12:43:43 +0000110 EXPECT_EQ(
Eric Liu516f18e2016-05-31 14:48:45 +0000111 "// comment\n#include \"foo.h\"\nstd::string foo;\n"
112 "#include \"dir/bar.h\"\n#include <string>\n",
Benjamin Kramer6b236262016-04-20 12:43:43 +0000113 runIncludeFixer("// comment\n#include \"foo.h\"\nstd::string foo;\n"
Benjamin Kramer3a45fab2016-04-28 11:21:29 +0000114 "#include \"dir/bar.h\"\n"));
Benjamin Kramer6b236262016-04-20 12:43:43 +0000115
Eric Liu702cfd12016-05-19 08:21:09 +0000116 EXPECT_EQ("#include \"foo.h\"\n#include <string>\nstd::string foo;\n",
Benjamin Kramer6b236262016-04-20 12:43:43 +0000117 runIncludeFixer("#include \"foo.h\"\nstd::string foo;\n"));
118
119 EXPECT_EQ(
Eric Liu702cfd12016-05-19 08:21:09 +0000120 "#include \"foo.h\"\n#include <string>\nstd::string::size_type foo;\n",
Benjamin Kramer6b236262016-04-20 12:43:43 +0000121 runIncludeFixer("#include \"foo.h\"\nstd::string::size_type foo;\n"));
122
Haojian Wu627ca962016-07-08 09:10:29 +0000123 EXPECT_EQ("#include <string>\nstd::string foo;\n",
Eric Liu692aca62016-05-04 08:22:35 +0000124 runIncludeFixer("string foo;\n"));
Benjamin Kramer9b15b6f2016-05-19 12:41:56 +0000125
Benjamin Kramer9b15b6f2016-05-19 12:41:56 +0000126 // Should not match std::string.
127 EXPECT_EQ("::string foo;\n", runIncludeFixer("::string foo;\n"));
Benjamin Kramer6b236262016-04-20 12:43:43 +0000128}
129
130TEST(IncludeFixer, IncompleteType) {
131 EXPECT_EQ(
Eric Liu702cfd12016-05-19 08:21:09 +0000132 "#include \"foo.h\"\n#include <string>\n"
Haojian Wu627ca962016-07-08 09:10:29 +0000133 "namespace std {\nclass string;\n}\nstd::string foo;\n",
Benjamin Kramer6b236262016-04-20 12:43:43 +0000134 runIncludeFixer("#include \"foo.h\"\n"
135 "namespace std {\nclass string;\n}\nstring foo;\n"));
136}
137
Benjamin Kramer3a45fab2016-04-28 11:21:29 +0000138TEST(IncludeFixer, MinimizeInclude) {
139 std::vector<std::string> IncludePath = {"-Idir/"};
Eric Liu516f18e2016-05-31 14:48:45 +0000140 EXPECT_EQ("#include \"otherdir/qux.h\"\na::b::foo bar;\n",
Benjamin Kramer3a45fab2016-04-28 11:21:29 +0000141 runIncludeFixer("a::b::foo bar;\n", IncludePath));
142
143 IncludePath = {"-isystemdir"};
Eric Liu516f18e2016-05-31 14:48:45 +0000144 EXPECT_EQ("#include <otherdir/qux.h>\na::b::foo bar;\n",
Benjamin Kramer3a45fab2016-04-28 11:21:29 +0000145 runIncludeFixer("a::b::foo bar;\n", IncludePath));
146
147 IncludePath = {"-iquotedir"};
Eric Liu516f18e2016-05-31 14:48:45 +0000148 EXPECT_EQ("#include \"otherdir/qux.h\"\na::b::foo bar;\n",
Benjamin Kramer3a45fab2016-04-28 11:21:29 +0000149 runIncludeFixer("a::b::foo bar;\n", IncludePath));
150
151 IncludePath = {"-Idir", "-Idir/otherdir"};
Eric Liu516f18e2016-05-31 14:48:45 +0000152 EXPECT_EQ("#include \"qux.h\"\na::b::foo bar;\n",
Benjamin Kramer3a45fab2016-04-28 11:21:29 +0000153 runIncludeFixer("a::b::foo bar;\n", IncludePath));
154}
155
Benjamin Kramerad935002016-05-10 08:25:31 +0000156TEST(IncludeFixer, NestedName) {
Eric Liu516f18e2016-05-31 14:48:45 +0000157 EXPECT_EQ("#include \"dir/otherdir/qux.h\"\n"
Benjamin Krameraf34e062016-05-17 12:35:18 +0000158 "int x = a::b::foo(0);\n",
Benjamin Kramer04666a22016-05-19 11:39:56 +0000159 runIncludeFixer("int x = a::b::foo(0);\n"));
Benjamin Krameraf34e062016-05-17 12:35:18 +0000160
161 // FIXME: Handle simple macros.
162 EXPECT_EQ("#define FOO a::b::foo\nint x = FOO;\n",
163 runIncludeFixer("#define FOO a::b::foo\nint x = FOO;\n"));
164 EXPECT_EQ("#define FOO(x) a::##x\nint x = FOO(b::foo);\n",
165 runIncludeFixer("#define FOO(x) a::##x\nint x = FOO(b::foo);\n"));
166
Eric Liu516f18e2016-05-31 14:48:45 +0000167 // The empty namespace is cleaned up by clang-format after include-fixer
168 // finishes.
169 EXPECT_EQ("#include \"dir/otherdir/qux.h\"\n"
170 "\nint a = a::b::foo(0);\n",
Benjamin Kramer04666a22016-05-19 11:39:56 +0000171 runIncludeFixer("namespace a {}\nint a = a::b::foo(0);\n"));
Benjamin Kramerad935002016-05-10 08:25:31 +0000172}
173
Benjamin Kramerc3459a52016-05-10 08:25:28 +0000174TEST(IncludeFixer, MultipleMissingSymbols) {
Eric Liu516f18e2016-05-31 14:48:45 +0000175 EXPECT_EQ("#include <string>\nstd::string bar;\nstd::sting foo;\n",
Benjamin Kramerc3459a52016-05-10 08:25:28 +0000176 runIncludeFixer("std::string bar;\nstd::sting foo;\n"));
177}
178
Haojian Wu57cdcb02016-05-13 15:44:16 +0000179TEST(IncludeFixer, ScopedNamespaceSymbols) {
Eric Liu516f18e2016-05-31 14:48:45 +0000180 EXPECT_EQ("#include \"bar.h\"\nnamespace a {\nb::bar b;\n}",
Eric Liu702cfd12016-05-19 08:21:09 +0000181 runIncludeFixer("namespace a {\nb::bar b;\n}"));
Eric Liu516f18e2016-05-31 14:48:45 +0000182 EXPECT_EQ("#include \"bar.h\"\nnamespace A {\na::b::bar b;\n}",
Eric Liu702cfd12016-05-19 08:21:09 +0000183 runIncludeFixer("namespace A {\na::b::bar b;\n}"));
Eric Liu516f18e2016-05-31 14:48:45 +0000184 EXPECT_EQ("#include \"bar.h\"\nnamespace a {\nvoid func() { b::bar b; }\n}",
Eric Liu702cfd12016-05-19 08:21:09 +0000185 runIncludeFixer("namespace a {\nvoid func() { b::bar b; }\n}"));
Haojian Wu57cdcb02016-05-13 15:44:16 +0000186 EXPECT_EQ("namespace A { c::b::bar b; }\n",
187 runIncludeFixer("namespace A { c::b::bar b; }\n"));
188 // FIXME: The header should not be added here. Remove this after we support
189 // full match.
Haojian Wu627ca962016-07-08 09:10:29 +0000190 EXPECT_EQ("#include \"bar.h\"\nnamespace A {\na::b::bar b;\n}",
Eric Liu702cfd12016-05-19 08:21:09 +0000191 runIncludeFixer("namespace A {\nb::bar b;\n}"));
Haojian Wu57cdcb02016-05-13 15:44:16 +0000192}
Haojian Wuff6d1952016-05-18 09:04:43 +0000193
194TEST(IncludeFixer, EnumConstantSymbols) {
Eric Liu516f18e2016-05-31 14:48:45 +0000195 EXPECT_EQ("#include \"color.h\"\nint test = a::b::Green;\n",
Haojian Wuff6d1952016-05-18 09:04:43 +0000196 runIncludeFixer("int test = a::b::Green;\n"));
197}
198
Haojian Wu9c6cb032016-06-03 11:26:02 +0000199TEST(IncludeFixer, IgnoreSymbolFromHeader) {
200 std::string Code = "#include \"header.h\"";
201 EXPECT_EQ(Code, runIncludeFixer(Code));
202}
203
Eric Liu702cfd12016-05-19 08:21:09 +0000204// FIXME: add test cases for inserting and sorting multiple headers when
205// include-fixer supports multiple headers insertion.
206TEST(IncludeFixer, InsertAndSortSingleHeader) {
207 // Insert one header.
208 std::string Code = "#include \"a.h\"\n"
209 "#include \"foo.h\"\n"
210 "\n"
211 "namespace a { b::bar b; }";
212 std::string Expected = "#include \"a.h\"\n"
213 "#include \"bar.h\"\n"
214 "#include \"foo.h\"\n"
215 "\n"
216 "namespace a { b::bar b; }";
217 EXPECT_EQ(Expected, runIncludeFixer(Code));
218}
219
Eric Liua4be83a2016-06-13 19:05:07 +0000220TEST(IncludeFixer, DoNotDeleteMatchedSymbol) {
221 EXPECT_EQ("#include \"Vector.h\"\na::Vector v;",
222 runIncludeFixer("a::Vector v;"));
223}
224
Haojian Wu627ca962016-07-08 09:10:29 +0000225TEST(IncludeFixer, FixNamespaceQualifiers) {
226 EXPECT_EQ("#include \"bar.h\"\na::b::bar b;\n",
227 runIncludeFixer("b::bar b;\n"));
228 EXPECT_EQ("#include \"bar.h\"\na::b::bar b;\n",
229 runIncludeFixer("a::b::bar b;\n"));
230 EXPECT_EQ("#include \"bar.h\"\na::b::bar b;\n",
231 runIncludeFixer("bar b;\n"));
232 EXPECT_EQ("#include \"bar.h\"\nnamespace a {\nb::bar b;\n}\n",
233 runIncludeFixer("namespace a {\nb::bar b;\n}\n"));
234 EXPECT_EQ("#include \"bar.h\"\nnamespace a {\nb::bar b;\n}\n",
235 runIncludeFixer("namespace a {\nbar b;\n}\n"));
236 EXPECT_EQ("#include \"bar.h\"\nnamespace a {\nnamespace b{\nbar b;\n}\n}\n",
237 runIncludeFixer("namespace a {\nnamespace b{\nbar b;\n}\n}\n"));
238 EXPECT_EQ("c::b::bar b;\n",
239 runIncludeFixer("c::b::bar b;\n"));
240 EXPECT_EQ("#include \"bar.h\"\nnamespace c {\na::b::bar b;\n}\n",
241 runIncludeFixer("namespace c {\nbar b;\n}\n"));
242
243 // Test nested classes.
244 EXPECT_EQ("#include \"bar.h\"\nnamespace c {\na::b::bar::t b;\n}\n",
245 runIncludeFixer("namespace c {\nbar::t b;\n}\n"));
246 EXPECT_EQ("#include \"bar.h\"\nnamespace a {\nb::bar::t b;\n}\n",
247 runIncludeFixer("namespace a {\nbar::t b;\n}\n"));
248
Haojian Wu5d9482d2016-07-08 14:28:43 +0000249 EXPECT_EQ("#include \"color.h\"\nint test = a::b::Green;\n",
250 runIncludeFixer("int test = Green;\n"));
Haojian Wu627ca962016-07-08 09:10:29 +0000251 EXPECT_EQ("#include \"color.h\"\nnamespace d {\nint test = a::b::Green;\n}\n",
252 runIncludeFixer("namespace d {\nint test = Green;\n}\n"));
253 EXPECT_EQ("#include \"color.h\"\nnamespace a {\nint test = b::Green;\n}\n",
254 runIncludeFixer("namespace a {\nint test = Green;\n}\n"));
255
Haojian Wu5d9482d2016-07-08 14:28:43 +0000256 // Test global scope operator.
257 EXPECT_EQ("#include \"bar.h\"\n::a::b::bar b;\n",
258 runIncludeFixer("::a::b::bar b;\n"));
259 EXPECT_EQ("#include \"bar.h\"\nnamespace a {\n::a::b::bar b;\n}\n",
260 runIncludeFixer("namespace a {\n::a::b::bar b;\n}\n"));
Haojian Wu627ca962016-07-08 09:10:29 +0000261}
262
Benjamin Kramer6b236262016-04-20 12:43:43 +0000263} // namespace
264} // namespace include_fixer
265} // namespace clang