blob: 2f4314a4db86a951ad22a6e28b181b501829f430 [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"));
47 return Invocation.run();
48}
49
Benjamin Kramer3a45fab2016-04-28 11:21:29 +000050static std::string runIncludeFixer(
51 StringRef Code,
52 const std::vector<std::string> &ExtraArgs = std::vector<std::string>()) {
Haojian Wu631e5f22016-05-13 15:17:17 +000053 std::vector<SymbolInfo> Symbols = {
54 SymbolInfo("string", SymbolInfo::SymbolKind::Class, "<string>", 1,
55 {{SymbolInfo::ContextType::Namespace, "std"}}),
56 SymbolInfo("sting", SymbolInfo::SymbolKind::Class, "\"sting\"", 1,
57 {{SymbolInfo::ContextType::Namespace, "std"}}),
Haojian Wu631e5f22016-05-13 15:17:17 +000058 SymbolInfo("foo", SymbolInfo::SymbolKind::Class, "\"dir/otherdir/qux.h\"",
59 1, {{SymbolInfo::ContextType::Namespace, "b"},
60 {SymbolInfo::ContextType::Namespace, "a"}}),
Haojian Wu57cdcb02016-05-13 15:44:16 +000061 SymbolInfo("bar", SymbolInfo::SymbolKind::Class, "\"bar.h\"",
62 1, {{SymbolInfo::ContextType::Namespace, "b"},
63 {SymbolInfo::ContextType::Namespace, "a"}}),
Haojian Wuff6d1952016-05-18 09:04:43 +000064 SymbolInfo("Green", SymbolInfo::SymbolKind::Class, "\"color.h\"",
65 1, {{SymbolInfo::ContextType::EnumDecl, "Color"},
66 {SymbolInfo::ContextType::Namespace, "b"},
67 {SymbolInfo::ContextType::Namespace, "a"}}),
Benjamin Kramer3a45fab2016-04-28 11:21:29 +000068 };
Benjamin Kramera3d82332016-05-13 09:27:54 +000069 auto SymbolIndexMgr = llvm::make_unique<include_fixer::SymbolIndexManager>();
70 SymbolIndexMgr->addSymbolIndex(
Haojian Wu631e5f22016-05-13 15:17:17 +000071 llvm::make_unique<include_fixer::InMemorySymbolIndex>(Symbols));
Eric Liu692aca62016-05-04 08:22:35 +000072
Eric Liu702cfd12016-05-19 08:21:09 +000073 std::set<std::string> Headers;
Benjamin Kramer6b236262016-04-20 12:43:43 +000074 std::vector<clang::tooling::Replacement> Replacements;
Eric Liu702cfd12016-05-19 08:21:09 +000075 IncludeFixerActionFactory Factory(*SymbolIndexMgr, Headers, Replacements,
76 "llvm");
Benjamin Kramer3a45fab2016-04-28 11:21:29 +000077 runOnCode(&Factory, Code, "input.cc", ExtraArgs);
Benjamin Kramer6b236262016-04-20 12:43:43 +000078 clang::RewriterTestContext Context;
79 clang::FileID ID = Context.createInMemoryFile("input.cc", Code);
80 clang::tooling::applyAllReplacements(Replacements, Context.Rewrite);
81 return Context.getRewrittenText(ID);
82}
83
84TEST(IncludeFixer, Typo) {
Eric Liu702cfd12016-05-19 08:21:09 +000085 EXPECT_EQ("#include <string>\n\nstd::string foo;\n",
Benjamin Kramer6b236262016-04-20 12:43:43 +000086 runIncludeFixer("std::string foo;\n"));
87
88 EXPECT_EQ(
Eric Liu702cfd12016-05-19 08:21:09 +000089 "// comment\n#include \"foo.h\"\n#include <string>\nstd::string foo;\n"
Benjamin Kramer3a45fab2016-04-28 11:21:29 +000090 "#include \"dir/bar.h\"\n",
Benjamin Kramer6b236262016-04-20 12:43:43 +000091 runIncludeFixer("// comment\n#include \"foo.h\"\nstd::string foo;\n"
Benjamin Kramer3a45fab2016-04-28 11:21:29 +000092 "#include \"dir/bar.h\"\n"));
Benjamin Kramer6b236262016-04-20 12:43:43 +000093
Eric Liu702cfd12016-05-19 08:21:09 +000094 EXPECT_EQ("#include \"foo.h\"\n#include <string>\nstd::string foo;\n",
Benjamin Kramer6b236262016-04-20 12:43:43 +000095 runIncludeFixer("#include \"foo.h\"\nstd::string foo;\n"));
96
97 EXPECT_EQ(
Eric Liu702cfd12016-05-19 08:21:09 +000098 "#include \"foo.h\"\n#include <string>\nstd::string::size_type foo;\n",
Benjamin Kramer6b236262016-04-20 12:43:43 +000099 runIncludeFixer("#include \"foo.h\"\nstd::string::size_type foo;\n"));
100
Eric Liu692aca62016-05-04 08:22:35 +0000101 // string without "std::" can also be fixed since fixed db results go through
Benjamin Kramera3d82332016-05-13 09:27:54 +0000102 // SymbolIndexManager, and SymbolIndexManager matches unqualified identifiers
103 // too.
Eric Liu702cfd12016-05-19 08:21:09 +0000104 EXPECT_EQ("#include <string>\n\nstring foo;\n",
Eric Liu692aca62016-05-04 08:22:35 +0000105 runIncludeFixer("string foo;\n"));
Benjamin Kramer6b236262016-04-20 12:43:43 +0000106}
107
108TEST(IncludeFixer, IncompleteType) {
109 EXPECT_EQ(
Eric Liu702cfd12016-05-19 08:21:09 +0000110 "#include \"foo.h\"\n#include <string>\n"
Benjamin Kramer6b236262016-04-20 12:43:43 +0000111 "namespace std {\nclass string;\n}\nstring foo;\n",
112 runIncludeFixer("#include \"foo.h\"\n"
113 "namespace std {\nclass string;\n}\nstring foo;\n"));
114}
115
Benjamin Kramer3a45fab2016-04-28 11:21:29 +0000116TEST(IncludeFixer, MinimizeInclude) {
117 std::vector<std::string> IncludePath = {"-Idir/"};
Eric Liu702cfd12016-05-19 08:21:09 +0000118 EXPECT_EQ("#include \"otherdir/qux.h\"\n\na::b::foo bar;\n",
Benjamin Kramer3a45fab2016-04-28 11:21:29 +0000119 runIncludeFixer("a::b::foo bar;\n", IncludePath));
120
121 IncludePath = {"-isystemdir"};
Eric Liu702cfd12016-05-19 08:21:09 +0000122 EXPECT_EQ("#include <otherdir/qux.h>\n\na::b::foo bar;\n",
Benjamin Kramer3a45fab2016-04-28 11:21:29 +0000123 runIncludeFixer("a::b::foo bar;\n", IncludePath));
124
125 IncludePath = {"-iquotedir"};
Eric Liu702cfd12016-05-19 08:21:09 +0000126 EXPECT_EQ("#include \"otherdir/qux.h\"\n\na::b::foo bar;\n",
Benjamin Kramer3a45fab2016-04-28 11:21:29 +0000127 runIncludeFixer("a::b::foo bar;\n", IncludePath));
128
129 IncludePath = {"-Idir", "-Idir/otherdir"};
Eric Liu702cfd12016-05-19 08:21:09 +0000130 EXPECT_EQ("#include \"qux.h\"\n\na::b::foo bar;\n",
Benjamin Kramer3a45fab2016-04-28 11:21:29 +0000131 runIncludeFixer("a::b::foo bar;\n", IncludePath));
132}
133
Benjamin Kramerad935002016-05-10 08:25:31 +0000134TEST(IncludeFixer, NestedName) {
NAKAMURA Takumi62e8ec52016-05-18 00:20:46 +0000135 // Some tests don't pass for target *-win32.
136 std::vector<std::string> args = {"-target", "x86_64-unknown-unknown"};
Eric Liu702cfd12016-05-19 08:21:09 +0000137 EXPECT_EQ("#include \"dir/otherdir/qux.h\"\n\n"
Benjamin Krameraf34e062016-05-17 12:35:18 +0000138 "int x = a::b::foo(0);\n",
NAKAMURA Takumi62e8ec52016-05-18 00:20:46 +0000139 runIncludeFixer("int x = a::b::foo(0);\n", args));
Benjamin Krameraf34e062016-05-17 12:35:18 +0000140
141 // FIXME: Handle simple macros.
142 EXPECT_EQ("#define FOO a::b::foo\nint x = FOO;\n",
143 runIncludeFixer("#define FOO a::b::foo\nint x = FOO;\n"));
144 EXPECT_EQ("#define FOO(x) a::##x\nint x = FOO(b::foo);\n",
145 runIncludeFixer("#define FOO(x) a::##x\nint x = FOO(b::foo);\n"));
146
Eric Liu702cfd12016-05-19 08:21:09 +0000147 EXPECT_EQ("#include \"dir/otherdir/qux.h\"\n\n"
Benjamin Kramerad935002016-05-10 08:25:31 +0000148 "namespace a {}\nint a = a::b::foo(0);\n",
NAKAMURA Takumi62e8ec52016-05-18 00:20:46 +0000149 runIncludeFixer("namespace a {}\nint a = a::b::foo(0);\n", args));
Benjamin Kramerad935002016-05-10 08:25:31 +0000150}
151
Benjamin Kramerc3459a52016-05-10 08:25:28 +0000152TEST(IncludeFixer, MultipleMissingSymbols) {
Eric Liu702cfd12016-05-19 08:21:09 +0000153 EXPECT_EQ("#include <string>\n\nstd::string bar;\nstd::sting foo;\n",
Benjamin Kramerc3459a52016-05-10 08:25:28 +0000154 runIncludeFixer("std::string bar;\nstd::sting foo;\n"));
155}
156
Haojian Wu57cdcb02016-05-13 15:44:16 +0000157TEST(IncludeFixer, ScopedNamespaceSymbols) {
Eric Liu702cfd12016-05-19 08:21:09 +0000158 EXPECT_EQ("#include \"bar.h\"\n\nnamespace a {\nb::bar b;\n}",
159 runIncludeFixer("namespace a {\nb::bar b;\n}"));
160 EXPECT_EQ("#include \"bar.h\"\n\nnamespace A {\na::b::bar b;\n}",
161 runIncludeFixer("namespace A {\na::b::bar b;\n}"));
162 EXPECT_EQ("#include \"bar.h\"\n\nnamespace a {\nvoid func() { b::bar b; }\n}",
163 runIncludeFixer("namespace a {\nvoid func() { b::bar b; }\n}"));
Haojian Wu57cdcb02016-05-13 15:44:16 +0000164 EXPECT_EQ("namespace A { c::b::bar b; }\n",
165 runIncludeFixer("namespace A { c::b::bar b; }\n"));
166 // FIXME: The header should not be added here. Remove this after we support
167 // full match.
Eric Liu702cfd12016-05-19 08:21:09 +0000168 EXPECT_EQ("#include \"bar.h\"\n\nnamespace A {\nb::bar b;\n}",
169 runIncludeFixer("namespace A {\nb::bar b;\n}"));
Haojian Wu57cdcb02016-05-13 15:44:16 +0000170}
Haojian Wuff6d1952016-05-18 09:04:43 +0000171
172TEST(IncludeFixer, EnumConstantSymbols) {
Eric Liu702cfd12016-05-19 08:21:09 +0000173 EXPECT_EQ("#include \"color.h\"\n\nint test = a::b::Green;\n",
Haojian Wuff6d1952016-05-18 09:04:43 +0000174 runIncludeFixer("int test = a::b::Green;\n"));
175}
176
Eric Liu702cfd12016-05-19 08:21:09 +0000177// FIXME: add test cases for inserting and sorting multiple headers when
178// include-fixer supports multiple headers insertion.
179TEST(IncludeFixer, InsertAndSortSingleHeader) {
180 // Insert one header.
181 std::string Code = "#include \"a.h\"\n"
182 "#include \"foo.h\"\n"
183 "\n"
184 "namespace a { b::bar b; }";
185 std::string Expected = "#include \"a.h\"\n"
186 "#include \"bar.h\"\n"
187 "#include \"foo.h\"\n"
188 "\n"
189 "namespace a { b::bar b; }";
190 EXPECT_EQ(Expected, runIncludeFixer(Code));
191}
192
Benjamin Kramer6b236262016-04-20 12:43:43 +0000193} // namespace
194} // namespace include_fixer
195} // namespace clang