ccls/src/test.cc

520 lines
16 KiB
C++
Raw Normal View History

2017-03-10 07:06:01 +00:00
#include "test.h"
2017-02-27 07:28:33 +00:00
#include "indexer.h"
2017-03-25 20:15:00 +00:00
#include "platform.h"
2017-03-01 04:12:57 +00:00
#include "serializer.h"
2017-03-01 08:36:11 +00:00
#include "utils.h"
2017-02-27 07:28:33 +00:00
2018-02-24 02:24:54 +00:00
#include <doctest/doctest.h>
2018-02-24 02:30:06 +00:00
#include <rapidjson/document.h>
#include <rapidjson/prettywriter.h>
#include <rapidjson/stringbuffer.h>
#include <rapidjson/writer.h>
2018-03-20 02:51:42 +00:00
#include <loguru/loguru.hpp>
2018-02-24 02:24:54 +00:00
#include <stdio.h>
2018-01-28 06:31:17 +00:00
#include <stdlib.h>
2018-02-24 02:24:54 +00:00
#include <fstream>
2018-01-10 08:15:58 +00:00
#include <iostream>
2018-01-28 06:31:17 +00:00
// The 'diff' utility is available and we can use dprintf(3).
#if _POSIX_C_SOURCE >= 200809L
#include <sys/wait.h>
#include <unistd.h>
#endif
2017-02-27 07:28:33 +00:00
void Write(const std::vector<std::string>& strs) {
2017-03-01 04:12:57 +00:00
for (const std::string& str : strs)
2017-02-27 07:28:33 +00:00
std::cout << str << std::endl;
}
std::string ToString(const rapidjson::Document& document) {
rapidjson::StringBuffer buffer;
rapidjson::PrettyWriter<rapidjson::StringBuffer> writer(buffer);
writer.SetFormatOptions(
2017-09-22 01:14:57 +00:00
rapidjson::PrettyFormatOptions::kFormatSingleLineArray);
2017-02-27 07:28:33 +00:00
writer.SetIndent(' ', 2);
buffer.Clear();
document.Accept(writer);
std::string output = buffer.GetString();
return UpdateToRnNewlines(output);
2017-02-27 07:28:33 +00:00
}
2018-02-24 02:24:54 +00:00
void ParseTestExpectation(
const std::string& filename,
const std::vector<std::string>& lines_with_endings,
TextReplacer* replacer,
std::vector<std::string>* flags,
std::unordered_map<std::string, std::string>* output_sections) {
#if false
#include "bar.h"
void foo();
/*
// DOCS for TEXT_REPLACE:
// Each line under TEXT_REPLACE is a replacement, ie, the two entries will be
// considered equivalent. This is useful for USRs which vary across files.
// DOCS for EXTRA_FLAGS:
// Additional flags to pass to clang.
// DOCS for OUTPUT:
// If no name is given assume to be this file name. If there is not an output
// section for a file it is not checked.
TEXT_REPLACE:
foo <===> bar
one <===> two
EXTRA_FLAGS:
-std=c++14
OUTPUT:
{}
OUTPUT: bar.cc
{}
OUTPUT: bar.h
{}
*/
#endif
// Scan for TEXT_REPLACE:
{
bool in_output = false;
for (std::string line : lines_with_endings) {
TrimInPlace(line);
if (StartsWith(line, "TEXT_REPLACE:")) {
assert(!in_output && "multiple TEXT_REPLACE sections");
in_output = true;
continue;
}
if (in_output && line.empty())
break;
if (in_output) {
static const std::string kKey = " <===> ";
size_t index = line.find(kKey);
LOG_IF_S(FATAL, index == std::string::npos)
<< " No '" << kKey << "' in replacement string '" << line << "'"
<< ", index=" << index;
TextReplacer::Replacement replacement;
replacement.from = line.substr(0, index);
replacement.to = line.substr(index + kKey.size());
TrimInPlace(replacement.from);
TrimInPlace(replacement.to);
replacer->replacements.push_back(replacement);
}
}
}
// Scan for EXTRA_FLAGS:
{
bool in_output = false;
for (std::string line : lines_with_endings) {
TrimInPlace(line);
if (StartsWith(line, "EXTRA_FLAGS:")) {
assert(!in_output && "multiple EXTRA_FLAGS sections");
in_output = true;
continue;
}
if (in_output && line.empty())
break;
if (in_output)
flags->push_back(line);
}
}
// Scan for OUTPUT:
{
std::string active_output_filename;
std::string active_output_contents;
bool in_output = false;
for (std::string line_with_ending : lines_with_endings) {
if (StartsWith(line_with_ending, "*/"))
break;
if (StartsWith(line_with_ending, "OUTPUT:")) {
// Terminate the previous output section if we found a new one.
if (in_output) {
(*output_sections)[active_output_filename] = active_output_contents;
}
// Try to tokenize OUTPUT: based one whitespace. If there is more than
// one token assume it is a filename.
std::vector<std::string> tokens = SplitString(line_with_ending, " ");
if (tokens.size() > 1) {
active_output_filename = tokens[1];
TrimInPlace(active_output_filename);
} else {
active_output_filename = filename;
}
active_output_contents = "";
in_output = true;
} else if (in_output)
active_output_contents += line_with_ending;
}
if (in_output)
(*output_sections)[active_output_filename] = active_output_contents;
}
}
void UpdateTestExpectation(const std::string& filename,
const std::string& expectation,
const std::string& actual) {
// Read the entire file into a string.
std::ifstream in(filename);
std::string str;
str.assign(std::istreambuf_iterator<char>(in),
std::istreambuf_iterator<char>());
in.close();
// Replace expectation
auto it = str.find(expectation);
assert(it != std::string::npos);
str.replace(it, expectation.size(), actual);
// Write it back out.
WriteToFile(filename, str);
}
2017-09-22 01:14:57 +00:00
void DiffDocuments(std::string path,
std::string path_section,
rapidjson::Document& expected,
rapidjson::Document& actual) {
2017-04-03 01:34:15 +00:00
std::string joined_actual_output = ToString(actual);
2018-01-28 06:31:17 +00:00
std::string joined_expected_output = ToString(expected);
std::cout << "[FAILED] " << path << " (section " << path_section << ")"
<< std::endl;
#if _POSIX_C_SOURCE >= 200809L
2018-03-31 03:16:33 +00:00
char expected_file[] = "/tmp/ccls.expected.XXXXXX";
char actual_file[] = "/tmp/ccls.actual.XXXXXX";
2018-01-28 06:31:17 +00:00
int expected_fd = mkstemp(expected_file);
int actual_fd = mkstemp(actual_file);
dprintf(expected_fd, "%s", joined_expected_output.c_str());
dprintf(actual_fd, "%s", joined_actual_output.c_str());
close(expected_fd);
close(actual_fd);
pid_t child = fork();
if (child == 0) {
execlp("diff", "diff", "-U", "3", expected_file, actual_file, NULL);
_Exit(127);
} else {
int status;
waitpid(child, &status, 0);
unlink(expected_file);
unlink(actual_file);
// 'diff' returns 0 or 1 if exitted normaly.
if (WEXITSTATUS(status) <= 1)
return;
}
#endif
2017-09-22 01:14:57 +00:00
std::vector<std::string> actual_output =
SplitString(joined_actual_output, "\n");
std::vector<std::string> expected_output =
SplitString(joined_expected_output, "\n");
2017-02-27 07:28:33 +00:00
2017-09-22 01:14:57 +00:00
std::cout << "Expected output for " << path << " (section " << path_section
<< "):" << std::endl;
2017-04-03 01:34:15 +00:00
std::cout << joined_expected_output << std::endl;
2017-09-22 01:14:57 +00:00
std::cout << "Actual output for " << path << " (section " << path_section
<< "):" << std::endl;
2017-04-03 01:34:15 +00:00
std::cout << joined_actual_output << std::endl;
std::cout << std::endl;
int max_diff = 5;
2017-02-27 07:28:33 +00:00
size_t len = std::min(actual_output.size(), expected_output.size());
2018-01-31 05:55:53 +00:00
for (size_t i = 0; i < len; ++i) {
2017-02-27 07:28:33 +00:00
if (actual_output[i] != expected_output[i]) {
2017-04-03 01:34:15 +00:00
if (--max_diff < 0) {
std::cout << "(... more lines may differ ...)" << std::endl;
break;
}
2017-02-27 07:28:33 +00:00
std::cout << "Line " << i << " differs:" << std::endl;
std::cout << " expected: " << expected_output[i] << std::endl;
std::cout << " actual: " << actual_output[i] << std::endl;
}
}
if (actual_output.size() > len) {
std::cout << "Additional output in actual:" << std::endl;
for (size_t i = len; i < actual_output.size(); ++i)
2017-02-27 07:28:33 +00:00
std::cout << " " << actual_output[i] << std::endl;
}
if (expected_output.size() > len) {
std::cout << "Additional output in expected:" << std::endl;
for (size_t i = len; i < expected_output.size(); ++i)
2017-02-27 07:28:33 +00:00
std::cout << " " << expected_output[i] << std::endl;
}
}
void VerifySerializeToFrom(IndexFile* file) {
std::string expected = file->ToString();
std::string serialized = Serialize(SerializeFormat::Json, *file);
std::unique_ptr<IndexFile> result =
Deserialize(SerializeFormat::Json, "--.cc", serialized, "<empty>",
2018-03-31 03:16:33 +00:00
std::nullopt /*expected_version*/);
std::string actual = result->ToString();
2017-03-01 04:12:57 +00:00
if (expected != actual) {
2017-09-22 01:14:57 +00:00
std::cerr << "Serialization failure" << std::endl;
2017-03-01 04:12:57 +00:00
assert(false);
}
}
2017-09-22 01:14:57 +00:00
std::string FindExpectedOutputForFilename(
std::string filename,
const std::unordered_map<std::string, std::string>& expected) {
2017-04-08 22:54:36 +00:00
for (const auto& entry : expected) {
if (EndsWith(entry.first, filename))
return entry.second;
}
2017-02-27 07:28:33 +00:00
2017-04-08 22:54:36 +00:00
std::cerr << "Couldn't find expected output for " << filename << std::endl;
getchar();
getchar();
2017-04-08 22:54:36 +00:00
return "{}";
}
2017-09-22 01:14:57 +00:00
IndexFile* FindDbForPathEnding(
const std::string& path,
const std::vector<std::unique_ptr<IndexFile>>& dbs) {
2017-04-08 22:54:36 +00:00
for (auto& db : dbs) {
if (EndsWith(db->path, path))
return db.get();
}
return nullptr;
}
bool RunIndexTests(const std::string& filter_path, bool enable_update) {
SetTestOutputMode();
// Index tests change based on the version of clang used.
static constexpr const char* kRequiredClangVersion =
2018-03-09 04:04:05 +00:00
"clang version 6.0.0 (tags/RELEASE_600/final)";
if (GetClangVersion() != kRequiredClangVersion &&
GetClangVersion().find("trunk") == std::string::npos) {
std::cerr << "Index tests must be run using clang version \""
2018-03-31 03:16:33 +00:00
<< kRequiredClangVersion << "\" (ccls is running with \""
<< GetClangVersion() << "\")" << std::endl;
2018-01-18 05:29:32 +00:00
return false;
}
bool success = true;
bool update_all = false;
2018-01-07 10:39:54 +00:00
// FIXME: show diagnostics in STL/headers when running tests. At the moment
// this can be done by constructing ClangIndex index(1, 1);
ClangIndex index;
2017-12-28 17:42:55 +00:00
for (std::string path : GetFilesInFolder("index_tests", true /*recursive*/,
2017-09-22 01:14:57 +00:00
true /*add_folder_to_path*/)) {
bool is_fail_allowed = false;
2018-02-22 07:34:32 +00:00
if (EndsWithAny(path, {".m", ".mm"})) {
if (!RunObjectiveCIndexTests()) {
std::cout << "Skipping \"" << path << "\" since this platform does not "
2018-02-22 07:34:32 +00:00
<< "support running Objective-C tests." << std::endl;
continue;
}
// objective-c tests are often not updated right away. do not bring down
// CI if they fail.
if (!enable_update)
is_fail_allowed = true;
}
2017-12-28 17:55:17 +00:00
if (path.find(filter_path) == std::string::npos)
continue;
if (!filter_path.empty())
std::cout << "Running " << path << std::endl;
// Parse expected output from the test, parse it into JSON document.
std::vector<std::string> lines_with_endings = ReadLinesWithEnding(path);
TextReplacer text_replacer;
std::vector<std::string> flags;
std::unordered_map<std::string, std::string> all_expected_output;
ParseTestExpectation(path, lines_with_endings, &text_replacer, &flags,
&all_expected_output);
// Build flags.
bool had_extra_flags = !flags.empty();
if (!AnyStartsWith(flags, "-x"))
flags.push_back("-xc++");
2018-01-07 10:39:54 +00:00
// Use c++14 by default, because MSVC STL is written assuming that.
2017-12-28 17:55:17 +00:00
if (!AnyStartsWith(flags, "-std"))
2018-01-07 10:39:54 +00:00
flags.push_back("-std=c++14");
2018-01-02 10:49:56 +00:00
flags.push_back("-resource-dir=" + GetDefaultResourceDirectory());
2017-12-28 17:55:17 +00:00
if (had_extra_flags) {
std::cout << "For " << path << std::endl;
std::cout << " flags: " << StringJoin(flags) << std::endl;
}
flags.push_back(path);
2017-12-28 17:55:17 +00:00
// Run test.
Config config;
2017-12-29 16:29:47 +00:00
FileConsumerSharedState file_consumer_shared;
2017-12-28 17:55:17 +00:00
PerformanceImportFile perf;
2018-01-20 07:56:49 +00:00
auto dbs = Parse(&config, &file_consumer_shared, path, flags, {}, &perf,
&index, false /*dump_ast*/);
assert(dbs);
2017-12-28 17:55:17 +00:00
for (const auto& entry : all_expected_output) {
const std::string& expected_path = entry.first;
std::string expected_output = text_replacer.Apply(entry.second);
// FIXME: promote to utils, find and remove duplicates (ie,
2018-03-31 03:16:33 +00:00
// ccls_call_tree.cc, maybe something in project.cc).
2017-12-28 17:55:17 +00:00
auto basename = [](const std::string& path) -> std::string {
size_t last_index = path.find_last_of('/');
if (last_index == std::string::npos)
return path;
return path.substr(last_index + 1);
};
auto severity_to_string = [](const lsDiagnosticSeverity& severity) {
switch (severity) {
case lsDiagnosticSeverity::Error:
return "error ";
case lsDiagnosticSeverity::Warning:
return "warning ";
case lsDiagnosticSeverity::Information:
return "information ";
case lsDiagnosticSeverity::Hint:
return "hint ";
}
assert(false && "not reached");
return "";
};
2017-12-28 17:55:17 +00:00
// Get output from index operation.
2018-01-20 07:56:49 +00:00
IndexFile* db = FindDbForPathEnding(expected_path, *dbs);
2018-01-04 02:32:15 +00:00
assert(db);
2017-12-28 17:55:17 +00:00
if (!db->diagnostics_.empty()) {
std::cout << "For " << path << std::endl;
for (const lsDiagnostic& diagnostic : db->diagnostics_) {
std::cout << " ";
if (diagnostic.severity)
std::cout << severity_to_string(*diagnostic.severity);
std::cout << basename(db->path) << ":"
<< diagnostic.range.start.ToString() << "-"
<< diagnostic.range.end.ToString() << ": "
<< diagnostic.message << std::endl;
}
2017-12-28 17:55:17 +00:00
}
std::string actual_output = "{}";
if (db) {
VerifySerializeToFrom(db);
actual_output = db->ToString();
}
actual_output = text_replacer.Apply(actual_output);
// Compare output via rapidjson::Document to ignore any formatting
// differences.
rapidjson::Document actual;
actual.Parse(actual_output.c_str());
rapidjson::Document expected;
expected.Parse(expected_output.c_str());
if (actual == expected) {
// std::cout << "[PASSED] " << path << std::endl;
} else {
if (!is_fail_allowed)
success = false;
2017-12-28 17:55:17 +00:00
DiffDocuments(path, expected_path, expected, actual);
std::cout << std::endl;
std::cout << std::endl;
if (enable_update) {
std::cout
2018-01-11 02:43:01 +00:00
<< "[Enter to continue - type u to update test, a to update all]";
char c = 'u';
if (!update_all) {
c = getchar();
getchar();
}
if (c == 'a')
update_all = true;
if (update_all || c == 'u') {
// Note: we use |entry.second| instead of |expected_output| because
// |expected_output| has had text replacements applied.
UpdateTestExpectation(path, entry.second, ToString(actual) + "\n");
}
}
2017-04-08 22:54:36 +00:00
}
2017-02-27 07:28:33 +00:00
}
}
return success;
2017-02-27 07:28:33 +00:00
}
// TODO: ctor/dtor, copy ctor
2017-09-22 01:14:57 +00:00
// TODO: Always pass IndexFile by pointer, ie, search and remove all IndexFile&
// refs.
2018-02-24 02:24:54 +00:00
TEST_SUITE("ParseTestExpectation") {
TEST_CASE("Parse TEXT_REPLACE") {
// clang-format off
std::vector<std::string> lines_with_endings = {
"/*\n",
"TEXT_REPLACE:\n",
" foo <===> \tbar \n",
"01 <===> 2\n",
"\n",
"*/\n"};
// clang-format on
TextReplacer text_replacer;
std::vector<std::string> flags;
std::unordered_map<std::string, std::string> all_expected_output;
ParseTestExpectation("foo.cc", lines_with_endings, &text_replacer, &flags,
&all_expected_output);
REQUIRE(text_replacer.replacements.size() == 2);
REQUIRE(text_replacer.replacements[0].from == "foo");
REQUIRE(text_replacer.replacements[0].to == "bar");
REQUIRE(text_replacer.replacements[1].from == "01");
REQUIRE(text_replacer.replacements[1].to == "2");
}
TEST_CASE("Apply TEXT_REPLACE") {
TextReplacer replacer;
replacer.replacements.push_back(TextReplacer::Replacement{"foo", "bar"});
replacer.replacements.push_back(TextReplacer::Replacement{"01", "2"});
replacer.replacements.push_back(TextReplacer::Replacement{"3", "456"});
// Equal-length.
REQUIRE(replacer.Apply("foo") == "bar");
REQUIRE(replacer.Apply("bar") == "bar");
// Shorter replacement.
REQUIRE(replacer.Apply("01") == "2");
REQUIRE(replacer.Apply("2") == "2");
// Longer replacement.
REQUIRE(replacer.Apply("3") == "456");
REQUIRE(replacer.Apply("456") == "456");
// Content before-after replacement.
REQUIRE(replacer.Apply("aaaa01bbbb") == "aaaa2bbbb");
// Multiple replacements.
REQUIRE(replacer.Apply("foofoobar0123") == "barbarbar22456");
}
}