codeql/swift/extractor/invocation/SwiftDiagnosticsConsumer.cpp

#include "swift/extractor/invocation/SwiftDiagnosticsConsumer.h"
#include "swift/extractor/trap/generated/TrapClasses.h"
#include "swift/extractor/trap/TrapDomain.h"
#include "swift/extractor/infra/SwiftDiagnosticKind.h"

#include <swift/AST/DiagnosticEngine.h>
#include <swift/Basic/SourceManager.h>
#include <llvm/ADT/SmallString.h>
#include <llvm/Support/raw_ostream.h>
#include <string>

using namespace codeql;

void SwiftDiagnosticsConsumer::handleDiagnostic(swift::SourceManager& sourceManager,
                                                const swift::DiagnosticInfo& diagInfo) {
  if (diagInfo.IsChildNote) return;
  Diagnostics diag{trap.createLabel<DiagnosticsTag>()};
  diag.kind = translateDiagnosticsKind(diagInfo.Kind);
  diag.text = getDiagMessage(sourceManager, diagInfo);
  trap.emit(diag);
  locationExtractor.attachLocation(sourceManager, diagInfo.Loc, diag.id);

  forwardToLog(sourceManager, diagInfo, diag.text);
  for (const auto& child : diagInfo.ChildDiagnosticInfo) {
    forwardToLog(sourceManager, *child);
  }
}

std::string SwiftDiagnosticsConsumer::getDiagMessage(swift::SourceManager& sourceManager,
                                                     const swift::DiagnosticInfo& diagInfo) {
  llvm::SmallString<256> text;
  llvm::raw_svector_ostream out(text);
  swift::DiagnosticEngine::formatDiagnosticText(out, diagInfo.FormatString, diagInfo.FormatArgs);
  return text.str().str();
}

void SwiftDiagnosticsConsumer::forwardToLog(swift::SourceManager& sourceManager,
                                            const swift::DiagnosticInfo& diagInfo,
                                            const std::string& message) {
  auto file = sourceManager.getDisplayNameForLoc(diagInfo.Loc);
  auto [line, column] = sourceManager.getLineAndColumnInBuffer(diagInfo.Loc);
  using Kind = swift::DiagnosticKind;
  switch (diagInfo.Kind) {
    case Kind::Error:
      LOG_ERROR("{}:{}:{} {}", file, line, column, message);
      break;
    case Kind::Warning:
      LOG_WARNING("{}:{}:{} {}", file, line, column, message);
      break;
    case Kind::Remark:
      LOG_INFO("{}:{}:{} {}", file, line, column, message);
      break;
    case Kind::Note:
      LOG_DEBUG("{}:{}:{} {}", file, line, column, message);
      break;
    default:
      LOG_ERROR("unknown diagnostic kind {}, {}:{}:{} {}", diagInfo.Kind, file, line, column,
                message);
      break;
  }
}