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
|
|
|
|
2018-01-25 05:32:05 +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
|
|
|
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);
|
2018-03-31 16:25:58 +00:00
|
|
|
return buffer.GetString();
|
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) {
|
|
|
|
// 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;
|
2017-02-27 07:28:33 +00:00
|
|
|
}
|
|
|
|
|
2017-05-12 06:08:15 +00:00
|
|
|
void VerifySerializeToFrom(IndexFile* file) {
|
2017-04-08 20:00:08 +00:00
|
|
|
std::string expected = file->ToString();
|
2018-02-08 18:38:27 +00:00
|
|
|
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*/);
|
2017-06-14 04:00:51 +00:00
|
|
|
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;
|
2018-01-25 05:32:05 +00:00
|
|
|
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;
|
|
|
|
}
|
|
|
|
|
2018-01-04 02:43:45 +00:00
|
|
|
bool RunIndexTests(const std::string& filter_path, bool enable_update) {
|
2017-04-20 06:02:24 +00:00
|
|
|
SetTestOutputMode();
|
2017-04-20 04:57:44 +00:00
|
|
|
|
2017-12-23 15:51:34 +00:00
|
|
|
// 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)";
|
2018-02-13 03:13:21 +00:00
|
|
|
if (GetClangVersion() != kRequiredClangVersion &&
|
|
|
|
GetClangVersion().find("trunk") == std::string::npos) {
|
2017-12-23 15:51:34 +00:00
|
|
|
std::cerr << "Index tests must be run using clang version \""
|
2018-03-31 03:16:33 +00:00
|
|
|
<< kRequiredClangVersion << "\" (ccls is running with \""
|
2017-12-23 15:51:34 +00:00
|
|
|
<< GetClangVersion() << "\")" << std::endl;
|
2018-01-18 05:29:32 +00:00
|
|
|
return false;
|
2017-12-23 15:51:34 +00:00
|
|
|
}
|
|
|
|
|
2018-01-04 02:43:45 +00:00
|
|
|
bool success = true;
|
2017-04-15 04:53:10 +00:00
|
|
|
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);
|
2017-11-11 19:41:09 +00:00
|
|
|
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*/)) {
|
2018-02-14 07:29:48 +00:00
|
|
|
bool is_fail_allowed = false;
|
|
|
|
|
2018-02-22 07:34:32 +00:00
|
|
|
if (EndsWithAny(path, {".m", ".mm"})) {
|
2018-02-14 07:29:48 +00:00
|
|
|
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;
|
2018-02-14 07:29:48 +00:00
|
|
|
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-22 17:07:21 +00:00
|
|
|
}
|
|
|
|
|
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.
|
2018-03-31 17:37:03 +00:00
|
|
|
std::vector<std::string> lines_with_endings = ReadFileLines(path);
|
2017-12-28 17:55:17 +00:00
|
|
|
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-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;
|
|
|
|
}
|
2017-11-27 06:17:51 +00:00
|
|
|
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*/);
|
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-05-25 02:04:19 +00:00
|
|
|
|
2017-12-28 17:55:17 +00:00
|
|
|
// Get output from index operation.
|
2018-04-02 07:22:12 +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-20 17:10:57 +00:00
|
|
|
}
|
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 {
|
2018-02-14 07:29:48 +00:00
|
|
|
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;
|
2018-01-04 02:43:45 +00:00
|
|
|
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]";
|
2018-01-04 02:43:45 +00:00
|
|
|
char c = 'u';
|
|
|
|
if (!update_all) {
|
2018-01-25 05:32:05 +00:00
|
|
|
c = getchar();
|
|
|
|
getchar();
|
2018-01-04 02:43:45 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
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-15 04:53:10 +00:00
|
|
|
}
|
2017-04-08 22:54:36 +00:00
|
|
|
}
|
2017-02-27 07:28:33 +00:00
|
|
|
}
|
|
|
|
}
|
2018-01-04 02:43:45 +00:00
|
|
|
|
|
|
|
return success;
|
2017-02-27 07:28:33 +00:00
|
|
|
}
|