blob: 4b9c117ae05d604e9dbaf3d4f95ffdcaeb444ea9 [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"}}),
Haojian Wu57cdcb02016-05-13 15:44:16 +000063 SymbolInfo("bar", SymbolInfo::SymbolKind::Class, "\"bar.h\"",
64 1, {{SymbolInfo::ContextType::Namespace, "b"},
65 {SymbolInfo::ContextType::Namespace, "a"}}),
Haojian Wuff6d1952016-05-18 09:04:43 +000066 SymbolInfo("Green", SymbolInfo::SymbolKind::Class, "\"color.h\"",
67 1, {{SymbolInfo::ContextType::EnumDecl, "Color"},
68 {SymbolInfo::ContextType::Namespace, "b"},
69 {SymbolInfo::ContextType::Namespace, "a"}}),
Benjamin Kramer3a45fab2016-04-28 11:21:29 +000070 };
Benjamin Kramera3d82332016-05-13 09:27:54 +000071 auto SymbolIndexMgr = llvm::make_unique<include_fixer::SymbolIndexManager>();
72 SymbolIndexMgr->addSymbolIndex(
Haojian Wu631e5f22016-05-13 15:17:17 +000073 llvm::make_unique<include_fixer::InMemorySymbolIndex>(Symbols));
Eric Liu692aca62016-05-04 08:22:35 +000074
Haojian Wu11e9bd22016-05-31 09:31:51 +000075 IncludeFixerContext FixerContext;
76 IncludeFixerActionFactory Factory(*SymbolIndexMgr, FixerContext, "llvm");
77
Benjamin Kramer3a45fab2016-04-28 11:21:29 +000078 runOnCode(&Factory, Code, "input.cc", ExtraArgs);
Eric Liuf83187d2016-05-31 13:52:59 +000079 if (FixerContext.Headers.empty())
80 return Code;
81 tooling::Replacements Replacements =
82 clang::include_fixer::createInsertHeaderReplacements(
Eric Liu516f18e2016-05-31 14:48:45 +000083 Code, "input.cc", FixerContext.Headers.front());
Benjamin Kramer6b236262016-04-20 12:43:43 +000084 clang::RewriterTestContext Context;
85 clang::FileID ID = Context.createInMemoryFile("input.cc", Code);
86 clang::tooling::applyAllReplacements(Replacements, Context.Rewrite);
87 return Context.getRewrittenText(ID);
88}
89
90TEST(IncludeFixer, Typo) {
Eric Liu516f18e2016-05-31 14:48:45 +000091 EXPECT_EQ("#include <string>\nstd::string foo;\n",
Benjamin Kramer6b236262016-04-20 12:43:43 +000092 runIncludeFixer("std::string foo;\n"));
93
Eric Liu516f18e2016-05-31 14:48:45 +000094 // FIXME: the current version of include-fixer does not get this test case
95 // right - header should be inserted before definition.
Benjamin Kramer6b236262016-04-20 12:43:43 +000096 EXPECT_EQ(
Eric Liu516f18e2016-05-31 14:48:45 +000097 "// comment\n#include \"foo.h\"\nstd::string foo;\n"
98 "#include \"dir/bar.h\"\n#include <string>\n",
Benjamin Kramer6b236262016-04-20 12:43:43 +000099 runIncludeFixer("// comment\n#include \"foo.h\"\nstd::string foo;\n"
Benjamin Kramer3a45fab2016-04-28 11:21:29 +0000100 "#include \"dir/bar.h\"\n"));
Benjamin Kramer6b236262016-04-20 12:43:43 +0000101
Eric Liu702cfd12016-05-19 08:21:09 +0000102 EXPECT_EQ("#include \"foo.h\"\n#include <string>\nstd::string foo;\n",
Benjamin Kramer6b236262016-04-20 12:43:43 +0000103 runIncludeFixer("#include \"foo.h\"\nstd::string foo;\n"));
104
105 EXPECT_EQ(
Eric Liu702cfd12016-05-19 08:21:09 +0000106 "#include \"foo.h\"\n#include <string>\nstd::string::size_type foo;\n",
Benjamin Kramer6b236262016-04-20 12:43:43 +0000107 runIncludeFixer("#include \"foo.h\"\nstd::string::size_type foo;\n"));
108
Eric Liu692aca62016-05-04 08:22:35 +0000109 // string without "std::" can also be fixed since fixed db results go through
Benjamin Kramera3d82332016-05-13 09:27:54 +0000110 // SymbolIndexManager, and SymbolIndexManager matches unqualified identifiers
111 // too.
Eric Liu516f18e2016-05-31 14:48:45 +0000112 EXPECT_EQ("#include <string>\nstring foo;\n",
Eric Liu692aca62016-05-04 08:22:35 +0000113 runIncludeFixer("string foo;\n"));
Benjamin Kramer9b15b6f2016-05-19 12:41:56 +0000114
115 // Fully qualified name.
Eric Liu516f18e2016-05-31 14:48:45 +0000116 EXPECT_EQ("#include <string>\n::std::string foo;\n",
Benjamin Kramer9b15b6f2016-05-19 12:41:56 +0000117 runIncludeFixer("::std::string foo;\n"));
118 // Should not match std::string.
119 EXPECT_EQ("::string foo;\n", runIncludeFixer("::string foo;\n"));
Benjamin Kramer6b236262016-04-20 12:43:43 +0000120}
121
122TEST(IncludeFixer, IncompleteType) {
123 EXPECT_EQ(
Eric Liu702cfd12016-05-19 08:21:09 +0000124 "#include \"foo.h\"\n#include <string>\n"
Benjamin Kramer6b236262016-04-20 12:43:43 +0000125 "namespace std {\nclass string;\n}\nstring foo;\n",
126 runIncludeFixer("#include \"foo.h\"\n"
127 "namespace std {\nclass string;\n}\nstring foo;\n"));
128}
129
Benjamin Kramer3a45fab2016-04-28 11:21:29 +0000130TEST(IncludeFixer, MinimizeInclude) {
131 std::vector<std::string> IncludePath = {"-Idir/"};
Eric Liu516f18e2016-05-31 14:48:45 +0000132 EXPECT_EQ("#include \"otherdir/qux.h\"\na::b::foo bar;\n",
Benjamin Kramer3a45fab2016-04-28 11:21:29 +0000133 runIncludeFixer("a::b::foo bar;\n", IncludePath));
134
135 IncludePath = {"-isystemdir"};
Eric Liu516f18e2016-05-31 14:48:45 +0000136 EXPECT_EQ("#include <otherdir/qux.h>\na::b::foo bar;\n",
Benjamin Kramer3a45fab2016-04-28 11:21:29 +0000137 runIncludeFixer("a::b::foo bar;\n", IncludePath));
138
139 IncludePath = {"-iquotedir"};
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 = {"-Idir", "-Idir/otherdir"};
Eric Liu516f18e2016-05-31 14:48:45 +0000144 EXPECT_EQ("#include \"qux.h\"\na::b::foo bar;\n",
Benjamin Kramer3a45fab2016-04-28 11:21:29 +0000145 runIncludeFixer("a::b::foo bar;\n", IncludePath));
146}
147
Benjamin Kramerad935002016-05-10 08:25:31 +0000148TEST(IncludeFixer, NestedName) {
Eric Liu516f18e2016-05-31 14:48:45 +0000149 EXPECT_EQ("#include \"dir/otherdir/qux.h\"\n"
Benjamin Krameraf34e062016-05-17 12:35:18 +0000150 "int x = a::b::foo(0);\n",
Benjamin Kramer04666a22016-05-19 11:39:56 +0000151 runIncludeFixer("int x = a::b::foo(0);\n"));
Benjamin Krameraf34e062016-05-17 12:35:18 +0000152
153 // FIXME: Handle simple macros.
154 EXPECT_EQ("#define FOO a::b::foo\nint x = FOO;\n",
155 runIncludeFixer("#define FOO a::b::foo\nint x = FOO;\n"));
156 EXPECT_EQ("#define FOO(x) a::##x\nint x = FOO(b::foo);\n",
157 runIncludeFixer("#define FOO(x) a::##x\nint x = FOO(b::foo);\n"));
158
Eric Liu516f18e2016-05-31 14:48:45 +0000159 // The empty namespace is cleaned up by clang-format after include-fixer
160 // finishes.
161 EXPECT_EQ("#include \"dir/otherdir/qux.h\"\n"
162 "\nint a = a::b::foo(0);\n",
Benjamin Kramer04666a22016-05-19 11:39:56 +0000163 runIncludeFixer("namespace a {}\nint a = a::b::foo(0);\n"));
Benjamin Kramerad935002016-05-10 08:25:31 +0000164}
165
Benjamin Kramerc3459a52016-05-10 08:25:28 +0000166TEST(IncludeFixer, MultipleMissingSymbols) {
Eric Liu516f18e2016-05-31 14:48:45 +0000167 EXPECT_EQ("#include <string>\nstd::string bar;\nstd::sting foo;\n",
Benjamin Kramerc3459a52016-05-10 08:25:28 +0000168 runIncludeFixer("std::string bar;\nstd::sting foo;\n"));
169}
170
Haojian Wu57cdcb02016-05-13 15:44:16 +0000171TEST(IncludeFixer, ScopedNamespaceSymbols) {
Eric Liu516f18e2016-05-31 14:48:45 +0000172 EXPECT_EQ("#include \"bar.h\"\nnamespace a {\nb::bar b;\n}",
Eric Liu702cfd12016-05-19 08:21:09 +0000173 runIncludeFixer("namespace a {\nb::bar b;\n}"));
Eric Liu516f18e2016-05-31 14:48:45 +0000174 EXPECT_EQ("#include \"bar.h\"\nnamespace A {\na::b::bar b;\n}",
Eric Liu702cfd12016-05-19 08:21:09 +0000175 runIncludeFixer("namespace A {\na::b::bar b;\n}"));
Eric Liu516f18e2016-05-31 14:48:45 +0000176 EXPECT_EQ("#include \"bar.h\"\nnamespace a {\nvoid func() { b::bar b; }\n}",
Eric Liu702cfd12016-05-19 08:21:09 +0000177 runIncludeFixer("namespace a {\nvoid func() { b::bar b; }\n}"));
Haojian Wu57cdcb02016-05-13 15:44:16 +0000178 EXPECT_EQ("namespace A { c::b::bar b; }\n",
179 runIncludeFixer("namespace A { c::b::bar b; }\n"));
180 // FIXME: The header should not be added here. Remove this after we support
181 // full match.
Eric Liu516f18e2016-05-31 14:48:45 +0000182 EXPECT_EQ("#include \"bar.h\"\nnamespace A {\nb::bar b;\n}",
Eric Liu702cfd12016-05-19 08:21:09 +0000183 runIncludeFixer("namespace A {\nb::bar b;\n}"));
Haojian Wu57cdcb02016-05-13 15:44:16 +0000184}
Haojian Wuff6d1952016-05-18 09:04:43 +0000185
186TEST(IncludeFixer, EnumConstantSymbols) {
Eric Liu516f18e2016-05-31 14:48:45 +0000187 EXPECT_EQ("#include \"color.h\"\nint test = a::b::Green;\n",
Haojian Wuff6d1952016-05-18 09:04:43 +0000188 runIncludeFixer("int test = a::b::Green;\n"));
189}
190
Haojian Wu9c6cb032016-06-03 11:26:02 +0000191TEST(IncludeFixer, IgnoreSymbolFromHeader) {
192 std::string Code = "#include \"header.h\"";
193 EXPECT_EQ(Code, runIncludeFixer(Code));
194}
195
Eric Liu702cfd12016-05-19 08:21:09 +0000196// FIXME: add test cases for inserting and sorting multiple headers when
197// include-fixer supports multiple headers insertion.
198TEST(IncludeFixer, InsertAndSortSingleHeader) {
199 // Insert one header.
200 std::string Code = "#include \"a.h\"\n"
201 "#include \"foo.h\"\n"
202 "\n"
203 "namespace a { b::bar b; }";
204 std::string Expected = "#include \"a.h\"\n"
205 "#include \"bar.h\"\n"
206 "#include \"foo.h\"\n"
207 "\n"
208 "namespace a { b::bar b; }";
209 EXPECT_EQ(Expected, runIncludeFixer(Code));
210}
211
Benjamin Kramer6b236262016-04-20 12:43:43 +0000212} // namespace
213} // namespace include_fixer
214} // namespace clang