hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-04 21:25:44 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'main' into alexdenisov/swift-tracer-integration

Browse Source
This commit is contained in:
AlexDenisov
2022-04-28 16:28:48 +02:00
committed by GitHub
parent 85918173a6 2374e6b401
commit 84bcc2e64a
150 changed files with 7321 additions and 7339 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
swift/extractor/SwiftExtractor.cpp
View File

@@ -12,6 +12,8 @@
#include <llvm/Support/FileSystem.h>
#include <llvm/Support/Path.h>
#include "swift/extractor/trap/TrapEntries.h"
using namespace codeql;
static void extractFile(const SwiftExtractorConfiguration& config, swift::SourceFile& file) {
@@ -67,15 +69,15 @@ static void extractFile(const SwiftExtractorConfiguration& config, swift::Source
<< "': " << ec.message() << "\n";
return;
}
std::stringstream ss;
trap << "// extractor-args: ";
for (auto opt : config.frontendOptions) {
ss << std::quoted(opt) << " ";
trap << std::quoted(opt) << " ";
}
ss << "\n";
trap << "// extractor-args: " << ss.str();
trap << "\n\n";
trap << "#0=*\n";
trap << "files(#0, " << std::quoted(srcFilePath.str().str()) << ")\n";
TrapLabel<FileTag> label{};
trap << label << "=*\n";
trap << FilesTrap{label, srcFilePath.str().str()} << "\n";
// TODO: Pick a better name to avoid collisions
std::string trapName = file.getFilename().str() + ".trap";