File Manager

003 File Manager

Current Path: /usr/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core

usr / src / contrib / llvm-project / clang / lib / StaticAnalyzer / Core /

📁 ..
📄 APSIntType.cpp(1.53 KB)
📄 AnalysisManager.cpp(2.59 KB)
📄 AnalyzerOptions.cpp(6.85 KB)
📄 BasicValueFactory.cpp(9.8 KB)
📄 BlockCounter.cpp(2.5 KB)
📄 BugReporter.cpp(115.16 KB)
📄 BugReporterVisitors.cpp(105.05 KB)
📄 CallEvent.cpp(50.1 KB)
📄 Checker.cpp(1.42 KB)
📄 CheckerContext.cpp(4.54 KB)
📄 CheckerHelpers.cpp(4.38 KB)
📄 CheckerManager.cpp(32.45 KB)
📄 CheckerRegistryData.cpp(8.19 KB)
📄 CommonBugCategories.cpp(1.03 KB)
📄 ConstraintManager.cpp(1.69 KB)
📄 CoreEngine.cpp(22.98 KB)
📄 DynamicSize.cpp(2.76 KB)
📄 DynamicType.cpp(11.09 KB)
📄 Environment.cpp(8.97 KB)
📄 ExplodedGraph.cpp(17.8 KB)
📄 ExprEngine.cpp(119.37 KB)
📄 ExprEngineC.cpp(43.12 KB)
📄 ExprEngineCXX.cpp(43.21 KB)
📄 ExprEngineCallAndReturn.cpp(43.63 KB)
📄 ExprEngineObjC.cpp(11.57 KB)
📄 FunctionSummary.cpp(1000 B)
📄 HTMLDiagnostics.cpp(36.55 KB)
📄 IssueHash.cpp(6.14 KB)
📄 LoopUnrolling.cpp(11.23 KB)
📄 LoopWidening.cpp(4.03 KB)
📄 MemRegion.cpp(55.71 KB)
📄 PlistDiagnostics.cpp(43.27 KB)
📄 PrettyStackTraceLocationContext.h(1.3 KB)
📄 ProgramState.cpp(21.81 KB)
📄 RangeConstraintManager.cpp(50.62 KB)
📄 RangedConstraintManager.cpp(8.08 KB)
📄 RegionStore.cpp(97.14 KB)
📄 SMTConstraintManager.cpp(657 B)
📄 SValBuilder.cpp(23.41 KB)
📄 SVals.cpp(12.25 KB)
📄 SarifDiagnostics.cpp(14.69 KB)
📄 SimpleConstraintManager.cpp(4.57 KB)
📄 SimpleSValBuilder.cpp(50.41 KB)
📄 Store.cpp(21.79 KB)
📄 SymbolManager.cpp(16.21 KB)
📄 TextDiagnostics.cpp(5.82 KB)
📄 WorkList.cpp(8.62 KB)

Editing: TextDiagnostics.cpp

//===--- TextDiagnostics.cpp - Text Diagnostics for Paths -------*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
//  This file defines the TextDiagnostics object.
//
//===----------------------------------------------------------------------===//

#include "clang/Analysis/PathDiagnostic.h"
#include "clang/Basic/SourceManager.h"
#include "clang/Basic/Version.h"
#include "clang/CrossTU/CrossTranslationUnit.h"
#include "clang/Frontend/ASTUnit.h"
#include "clang/Lex/Preprocessor.h"
#include "clang/Rewrite/Core/Rewriter.h"
#include "clang/StaticAnalyzer/Core/AnalyzerOptions.h"
#include "clang/StaticAnalyzer/Core/PathDiagnosticConsumers.h"
#include "clang/Tooling/Core/Replacement.h"
#include "clang/Tooling/Tooling.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Support/Casting.h"

using namespace clang;
using namespace ento;
using namespace tooling;

namespace {
/// Emitsd minimal diagnostics (report message + notes) for the 'none' output
/// type to the standard error, or to to compliment many others. Emits detailed
/// diagnostics in textual format for the 'text' output type.
class TextDiagnostics : public PathDiagnosticConsumer {
  DiagnosticsEngine &DiagEng;
  const LangOptions &LO;
  const bool IncludePath = false;
  const bool ShouldEmitAsError = false;
  const bool ApplyFixIts = false;
  const bool ShouldDisplayCheckerName = false;

public:
  TextDiagnostics(DiagnosticsEngine &DiagEng, const LangOptions &LO,
                  bool ShouldIncludePath, const AnalyzerOptions &AnOpts)
      : DiagEng(DiagEng), LO(LO), IncludePath(ShouldIncludePath),
        ShouldEmitAsError(AnOpts.AnalyzerWerror),
        ApplyFixIts(AnOpts.ShouldApplyFixIts),
        ShouldDisplayCheckerName(AnOpts.ShouldDisplayCheckerNameForText) {}
  ~TextDiagnostics() override {}

StringRef getName() const override { return "TextDiagnostics"; }

bool supportsLogicalOpControlFlow() const override { return true; }
  bool supportsCrossFileDiagnostics() const override { return true; }

PathGenerationScheme getGenerationScheme() const override {
    return IncludePath ? Minimal : None;
  }

void FlushDiagnosticsImpl(std::vector<const PathDiagnostic *> &Diags,
                            FilesMade *filesMade) override {
    unsigned WarnID =
        ShouldEmitAsError
            ? DiagEng.getCustomDiagID(DiagnosticsEngine::Error, "%0")
            : DiagEng.getCustomDiagID(DiagnosticsEngine::Warning, "%0");
    unsigned NoteID = DiagEng.getCustomDiagID(DiagnosticsEngine::Note, "%0");
    SourceManager &SM = DiagEng.getSourceManager();

Replacements Repls;
    auto reportPiece = [&](unsigned ID, FullSourceLoc Loc, StringRef String,
                           ArrayRef<SourceRange> Ranges,
                           ArrayRef<FixItHint> Fixits) {
      if (!ApplyFixIts) {
        DiagEng.Report(Loc, ID) << String << Ranges << Fixits;
        return;
      }

DiagEng.Report(Loc, ID) << String << Ranges;
      for (const FixItHint &Hint : Fixits) {
        Replacement Repl(SM, Hint.RemoveRange, Hint.CodeToInsert);

if (llvm::Error Err = Repls.add(Repl)) {
          llvm::errs() << "Error applying replacement " << Repl.toString()
                       << ": " << Err << "\n";
        }
      }
    };

for (std::vector<const PathDiagnostic *>::iterator I = Diags.begin(),
         E = Diags.end();
         I != E; ++I) {
      const PathDiagnostic *PD = *I;
      std::string WarningMsg =
          (ShouldDisplayCheckerName ? " [" + PD->getCheckerName() + "]" : "")
              .str();

reportPiece(WarnID, PD->getLocation().asLocation(),
                  (PD->getShortDescription() + WarningMsg).str(),
                  PD->path.back()->getRanges(), PD->path.back()->getFixits());

// First, add extra notes, even if paths should not be included.
      for (const auto &Piece : PD->path) {
        if (!isa<PathDiagnosticNotePiece>(Piece.get()))
          continue;

reportPiece(NoteID, Piece->getLocation().asLocation(),
                    Piece->getString(), Piece->getRanges(),
                    Piece->getFixits());
      }

if (!IncludePath)
        continue;

// Then, add the path notes if necessary.
      PathPieces FlatPath = PD->path.flatten(/*ShouldFlattenMacros=*/true);
      for (const auto &Piece : FlatPath) {
        if (isa<PathDiagnosticNotePiece>(Piece.get()))
          continue;

reportPiece(NoteID, Piece->getLocation().asLocation(),
                    Piece->getString(), Piece->getRanges(),
                    Piece->getFixits());
      }
    }

if (!ApplyFixIts || Repls.empty())
      return;

Rewriter Rewrite(SM, LO);
    if (!applyAllReplacements(Repls, Rewrite)) {
      llvm::errs() << "An error occured during applying fix-it.\n";
    }

Rewrite.overwriteChangedFiles();
  }
};
} // end anonymous namespace

void ento::createTextPathDiagnosticConsumer(
    AnalyzerOptions &AnalyzerOpts, PathDiagnosticConsumers &C,
    const std::string &Prefix, const clang::Preprocessor &PP,
    const cross_tu::CrossTranslationUnitContext &CTU) {
  C.emplace_back(new TextDiagnostics(PP.getDiagnostics(), PP.getLangOpts(),
                                     /*ShouldIncludePath*/ true, AnalyzerOpts));
}

void ento::createTextMinimalPathDiagnosticConsumer(
    AnalyzerOptions &AnalyzerOpts, PathDiagnosticConsumers &C,
    const std::string &Prefix, const clang::Preprocessor &PP,
    const cross_tu::CrossTranslationUnitContext &CTU) {
  C.emplace_back(new TextDiagnostics(PP.getDiagnostics(), PP.getLangOpts(),
                                     /*ShouldIncludePath*/ false,
                                     AnalyzerOpts));
}

003 File Manager

Editing: TextDiagnostics.cpp

Upload File

Create Folder