xref: /freebsd-src/contrib/llvm-project/clang/lib/Analysis/PathDiagnostic.cpp (revision bdd1243df58e60e85101c09001d9812a789b6bc4)
1a7dea167SDimitry Andric //===- PathDiagnostic.cpp - Path-Specific Diagnostic Handling -------------===//
2a7dea167SDimitry Andric //
3a7dea167SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4a7dea167SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5a7dea167SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6a7dea167SDimitry Andric //
7a7dea167SDimitry Andric //===----------------------------------------------------------------------===//
8a7dea167SDimitry Andric //
9a7dea167SDimitry Andric //  This file defines the PathDiagnostic-related interfaces.
10a7dea167SDimitry Andric //
11a7dea167SDimitry Andric //===----------------------------------------------------------------------===//
12a7dea167SDimitry Andric 
13a7dea167SDimitry Andric #include "clang/Analysis/PathDiagnostic.h"
14a7dea167SDimitry Andric #include "clang/AST/Decl.h"
15a7dea167SDimitry Andric #include "clang/AST/DeclBase.h"
16a7dea167SDimitry Andric #include "clang/AST/DeclCXX.h"
17a7dea167SDimitry Andric #include "clang/AST/DeclObjC.h"
18a7dea167SDimitry Andric #include "clang/AST/DeclTemplate.h"
19a7dea167SDimitry Andric #include "clang/AST/Expr.h"
20a7dea167SDimitry Andric #include "clang/AST/ExprCXX.h"
21a7dea167SDimitry Andric #include "clang/AST/OperationKinds.h"
22a7dea167SDimitry Andric #include "clang/AST/ParentMap.h"
235ffd83dbSDimitry Andric #include "clang/AST/PrettyPrinter.h"
24a7dea167SDimitry Andric #include "clang/AST/Stmt.h"
25a7dea167SDimitry Andric #include "clang/AST/Type.h"
26a7dea167SDimitry Andric #include "clang/Analysis/AnalysisDeclContext.h"
27a7dea167SDimitry Andric #include "clang/Analysis/CFG.h"
28a7dea167SDimitry Andric #include "clang/Analysis/ProgramPoint.h"
29a7dea167SDimitry Andric #include "clang/Basic/FileManager.h"
30a7dea167SDimitry Andric #include "clang/Basic/LLVM.h"
31a7dea167SDimitry Andric #include "clang/Basic/SourceLocation.h"
32a7dea167SDimitry Andric #include "clang/Basic/SourceManager.h"
33a7dea167SDimitry Andric #include "llvm/ADT/ArrayRef.h"
34a7dea167SDimitry Andric #include "llvm/ADT/FoldingSet.h"
35a7dea167SDimitry Andric #include "llvm/ADT/STLExtras.h"
36a7dea167SDimitry Andric #include "llvm/ADT/SmallString.h"
37a7dea167SDimitry Andric #include "llvm/ADT/SmallVector.h"
38a7dea167SDimitry Andric #include "llvm/ADT/StringExtras.h"
39a7dea167SDimitry Andric #include "llvm/ADT/StringRef.h"
40a7dea167SDimitry Andric #include "llvm/Support/Casting.h"
41a7dea167SDimitry Andric #include "llvm/Support/ErrorHandling.h"
42a7dea167SDimitry Andric #include "llvm/Support/raw_ostream.h"
43a7dea167SDimitry Andric #include <cassert>
44a7dea167SDimitry Andric #include <cstring>
45a7dea167SDimitry Andric #include <memory>
46*bdd1243dSDimitry Andric #include <optional>
47a7dea167SDimitry Andric #include <utility>
48a7dea167SDimitry Andric #include <vector>
49a7dea167SDimitry Andric 
50a7dea167SDimitry Andric using namespace clang;
51a7dea167SDimitry Andric using namespace ento;
52a7dea167SDimitry Andric 
53a7dea167SDimitry Andric static StringRef StripTrailingDots(StringRef s) {
54a7dea167SDimitry Andric   for (StringRef::size_type i = s.size(); i != 0; --i)
55a7dea167SDimitry Andric     if (s[i - 1] != '.')
56a7dea167SDimitry Andric       return s.substr(0, i);
57a7dea167SDimitry Andric   return {};
58a7dea167SDimitry Andric }
59a7dea167SDimitry Andric 
60a7dea167SDimitry Andric PathDiagnosticPiece::PathDiagnosticPiece(StringRef s,
61a7dea167SDimitry Andric                                          Kind k, DisplayHint hint)
62a7dea167SDimitry Andric     : str(StripTrailingDots(s)), kind(k), Hint(hint) {}
63a7dea167SDimitry Andric 
64a7dea167SDimitry Andric PathDiagnosticPiece::PathDiagnosticPiece(Kind k, DisplayHint hint)
65a7dea167SDimitry Andric     : kind(k), Hint(hint) {}
66a7dea167SDimitry Andric 
67a7dea167SDimitry Andric PathDiagnosticPiece::~PathDiagnosticPiece() = default;
68a7dea167SDimitry Andric 
69a7dea167SDimitry Andric PathDiagnosticEventPiece::~PathDiagnosticEventPiece() = default;
70a7dea167SDimitry Andric 
71a7dea167SDimitry Andric PathDiagnosticCallPiece::~PathDiagnosticCallPiece() = default;
72a7dea167SDimitry Andric 
73a7dea167SDimitry Andric PathDiagnosticControlFlowPiece::~PathDiagnosticControlFlowPiece() = default;
74a7dea167SDimitry Andric 
75a7dea167SDimitry Andric PathDiagnosticMacroPiece::~PathDiagnosticMacroPiece() = default;
76a7dea167SDimitry Andric 
77a7dea167SDimitry Andric PathDiagnosticNotePiece::~PathDiagnosticNotePiece() = default;
78a7dea167SDimitry Andric 
79a7dea167SDimitry Andric PathDiagnosticPopUpPiece::~PathDiagnosticPopUpPiece() = default;
80a7dea167SDimitry Andric 
81a7dea167SDimitry Andric void PathPieces::flattenTo(PathPieces &Primary, PathPieces &Current,
82a7dea167SDimitry Andric                            bool ShouldFlattenMacros) const {
83a7dea167SDimitry Andric   for (auto &Piece : *this) {
84a7dea167SDimitry Andric     switch (Piece->getKind()) {
85a7dea167SDimitry Andric     case PathDiagnosticPiece::Call: {
86a7dea167SDimitry Andric       auto &Call = cast<PathDiagnosticCallPiece>(*Piece);
87a7dea167SDimitry Andric       if (auto CallEnter = Call.getCallEnterEvent())
88a7dea167SDimitry Andric         Current.push_back(std::move(CallEnter));
89a7dea167SDimitry Andric       Call.path.flattenTo(Primary, Primary, ShouldFlattenMacros);
90a7dea167SDimitry Andric       if (auto callExit = Call.getCallExitEvent())
91a7dea167SDimitry Andric         Current.push_back(std::move(callExit));
92a7dea167SDimitry Andric       break;
93a7dea167SDimitry Andric     }
94a7dea167SDimitry Andric     case PathDiagnosticPiece::Macro: {
95a7dea167SDimitry Andric       auto &Macro = cast<PathDiagnosticMacroPiece>(*Piece);
96a7dea167SDimitry Andric       if (ShouldFlattenMacros) {
97a7dea167SDimitry Andric         Macro.subPieces.flattenTo(Primary, Primary, ShouldFlattenMacros);
98a7dea167SDimitry Andric       } else {
99a7dea167SDimitry Andric         Current.push_back(Piece);
100a7dea167SDimitry Andric         PathPieces NewPath;
101a7dea167SDimitry Andric         Macro.subPieces.flattenTo(Primary, NewPath, ShouldFlattenMacros);
102a7dea167SDimitry Andric         // FIXME: This probably shouldn't mutate the original path piece.
103a7dea167SDimitry Andric         Macro.subPieces = NewPath;
104a7dea167SDimitry Andric       }
105a7dea167SDimitry Andric       break;
106a7dea167SDimitry Andric     }
107a7dea167SDimitry Andric     case PathDiagnosticPiece::Event:
108a7dea167SDimitry Andric     case PathDiagnosticPiece::ControlFlow:
109a7dea167SDimitry Andric     case PathDiagnosticPiece::Note:
110a7dea167SDimitry Andric     case PathDiagnosticPiece::PopUp:
111a7dea167SDimitry Andric       Current.push_back(Piece);
112a7dea167SDimitry Andric       break;
113a7dea167SDimitry Andric     }
114a7dea167SDimitry Andric   }
115a7dea167SDimitry Andric }
116a7dea167SDimitry Andric 
117a7dea167SDimitry Andric PathDiagnostic::~PathDiagnostic() = default;
118a7dea167SDimitry Andric 
119a7dea167SDimitry Andric PathDiagnostic::PathDiagnostic(
120a7dea167SDimitry Andric     StringRef CheckerName, const Decl *declWithIssue, StringRef bugtype,
121a7dea167SDimitry Andric     StringRef verboseDesc, StringRef shortDesc, StringRef category,
122a7dea167SDimitry Andric     PathDiagnosticLocation LocationToUnique, const Decl *DeclToUnique,
123a7dea167SDimitry Andric     std::unique_ptr<FilesToLineNumsMap> ExecutedLines)
124a7dea167SDimitry Andric     : CheckerName(CheckerName), DeclWithIssue(declWithIssue),
125a7dea167SDimitry Andric       BugType(StripTrailingDots(bugtype)),
126a7dea167SDimitry Andric       VerboseDesc(StripTrailingDots(verboseDesc)),
127a7dea167SDimitry Andric       ShortDesc(StripTrailingDots(shortDesc)),
128a7dea167SDimitry Andric       Category(StripTrailingDots(category)), UniqueingLoc(LocationToUnique),
129a7dea167SDimitry Andric       UniqueingDecl(DeclToUnique), ExecutedLines(std::move(ExecutedLines)),
130a7dea167SDimitry Andric       path(pathImpl) {}
131a7dea167SDimitry Andric 
132a7dea167SDimitry Andric void PathDiagnosticConsumer::anchor() {}
133a7dea167SDimitry Andric 
134a7dea167SDimitry Andric PathDiagnosticConsumer::~PathDiagnosticConsumer() {
135a7dea167SDimitry Andric   // Delete the contents of the FoldingSet if it isn't empty already.
136a7dea167SDimitry Andric   for (auto &Diag : Diags)
137a7dea167SDimitry Andric     delete &Diag;
138a7dea167SDimitry Andric }
139a7dea167SDimitry Andric 
140a7dea167SDimitry Andric void PathDiagnosticConsumer::HandlePathDiagnostic(
141a7dea167SDimitry Andric     std::unique_ptr<PathDiagnostic> D) {
142a7dea167SDimitry Andric   if (!D || D->path.empty())
143a7dea167SDimitry Andric     return;
144a7dea167SDimitry Andric 
145a7dea167SDimitry Andric   // We need to flatten the locations (convert Stmt* to locations) because
146a7dea167SDimitry Andric   // the referenced statements may be freed by the time the diagnostics
147a7dea167SDimitry Andric   // are emitted.
148a7dea167SDimitry Andric   D->flattenLocations();
149a7dea167SDimitry Andric 
150a7dea167SDimitry Andric   // If the PathDiagnosticConsumer does not support diagnostics that
151a7dea167SDimitry Andric   // cross file boundaries, prune out such diagnostics now.
152a7dea167SDimitry Andric   if (!supportsCrossFileDiagnostics()) {
153a7dea167SDimitry Andric     // Verify that the entire path is from the same FileID.
154a7dea167SDimitry Andric     FileID FID;
155a7dea167SDimitry Andric     const SourceManager &SMgr = D->path.front()->getLocation().getManager();
156a7dea167SDimitry Andric     SmallVector<const PathPieces *, 5> WorkList;
157a7dea167SDimitry Andric     WorkList.push_back(&D->path);
158a7dea167SDimitry Andric     SmallString<128> buf;
159a7dea167SDimitry Andric     llvm::raw_svector_ostream warning(buf);
160a7dea167SDimitry Andric     warning << "warning: Path diagnostic report is not generated. Current "
161a7dea167SDimitry Andric             << "output format does not support diagnostics that cross file "
162a7dea167SDimitry Andric             << "boundaries. Refer to --analyzer-output for valid output "
163a7dea167SDimitry Andric             << "formats\n";
164a7dea167SDimitry Andric 
165a7dea167SDimitry Andric     while (!WorkList.empty()) {
166a7dea167SDimitry Andric       const PathPieces &path = *WorkList.pop_back_val();
167a7dea167SDimitry Andric 
168a7dea167SDimitry Andric       for (const auto &I : path) {
169a7dea167SDimitry Andric         const PathDiagnosticPiece *piece = I.get();
170a7dea167SDimitry Andric         FullSourceLoc L = piece->getLocation().asLocation().getExpansionLoc();
171a7dea167SDimitry Andric 
172a7dea167SDimitry Andric         if (FID.isInvalid()) {
173a7dea167SDimitry Andric           FID = SMgr.getFileID(L);
174a7dea167SDimitry Andric         } else if (SMgr.getFileID(L) != FID) {
175a7dea167SDimitry Andric           llvm::errs() << warning.str();
176a7dea167SDimitry Andric           return;
177a7dea167SDimitry Andric         }
178a7dea167SDimitry Andric 
179a7dea167SDimitry Andric         // Check the source ranges.
180a7dea167SDimitry Andric         ArrayRef<SourceRange> Ranges = piece->getRanges();
181a7dea167SDimitry Andric         for (const auto &I : Ranges) {
182a7dea167SDimitry Andric           SourceLocation L = SMgr.getExpansionLoc(I.getBegin());
183a7dea167SDimitry Andric           if (!L.isFileID() || SMgr.getFileID(L) != FID) {
184a7dea167SDimitry Andric             llvm::errs() << warning.str();
185a7dea167SDimitry Andric             return;
186a7dea167SDimitry Andric           }
187a7dea167SDimitry Andric           L = SMgr.getExpansionLoc(I.getEnd());
188a7dea167SDimitry Andric           if (!L.isFileID() || SMgr.getFileID(L) != FID) {
189a7dea167SDimitry Andric             llvm::errs() << warning.str();
190a7dea167SDimitry Andric             return;
191a7dea167SDimitry Andric           }
192a7dea167SDimitry Andric         }
193a7dea167SDimitry Andric 
194a7dea167SDimitry Andric         if (const auto *call = dyn_cast<PathDiagnosticCallPiece>(piece))
195a7dea167SDimitry Andric           WorkList.push_back(&call->path);
196a7dea167SDimitry Andric         else if (const auto *macro = dyn_cast<PathDiagnosticMacroPiece>(piece))
197a7dea167SDimitry Andric           WorkList.push_back(&macro->subPieces);
198a7dea167SDimitry Andric       }
199a7dea167SDimitry Andric     }
200a7dea167SDimitry Andric 
201a7dea167SDimitry Andric     if (FID.isInvalid())
202a7dea167SDimitry Andric       return; // FIXME: Emit a warning?
203a7dea167SDimitry Andric   }
204a7dea167SDimitry Andric 
205a7dea167SDimitry Andric   // Profile the node to see if we already have something matching it
206a7dea167SDimitry Andric   llvm::FoldingSetNodeID profile;
207a7dea167SDimitry Andric   D->Profile(profile);
208a7dea167SDimitry Andric   void *InsertPos = nullptr;
209a7dea167SDimitry Andric 
210a7dea167SDimitry Andric   if (PathDiagnostic *orig = Diags.FindNodeOrInsertPos(profile, InsertPos)) {
211a7dea167SDimitry Andric     // Keep the PathDiagnostic with the shorter path.
212a7dea167SDimitry Andric     // Note, the enclosing routine is called in deterministic order, so the
213a7dea167SDimitry Andric     // results will be consistent between runs (no reason to break ties if the
214a7dea167SDimitry Andric     // size is the same).
215a7dea167SDimitry Andric     const unsigned orig_size = orig->full_size();
216a7dea167SDimitry Andric     const unsigned new_size = D->full_size();
217a7dea167SDimitry Andric     if (orig_size <= new_size)
218a7dea167SDimitry Andric       return;
219a7dea167SDimitry Andric 
220a7dea167SDimitry Andric     assert(orig != D.get());
221a7dea167SDimitry Andric     Diags.RemoveNode(orig);
222a7dea167SDimitry Andric     delete orig;
223a7dea167SDimitry Andric   }
224a7dea167SDimitry Andric 
225a7dea167SDimitry Andric   Diags.InsertNode(D.release());
226a7dea167SDimitry Andric }
227a7dea167SDimitry Andric 
228*bdd1243dSDimitry Andric static std::optional<bool> comparePath(const PathPieces &X,
229*bdd1243dSDimitry Andric                                        const PathPieces &Y);
230a7dea167SDimitry Andric 
231*bdd1243dSDimitry Andric static std::optional<bool>
232a7dea167SDimitry Andric compareControlFlow(const PathDiagnosticControlFlowPiece &X,
233a7dea167SDimitry Andric                    const PathDiagnosticControlFlowPiece &Y) {
234a7dea167SDimitry Andric   FullSourceLoc XSL = X.getStartLocation().asLocation();
235a7dea167SDimitry Andric   FullSourceLoc YSL = Y.getStartLocation().asLocation();
236a7dea167SDimitry Andric   if (XSL != YSL)
237a7dea167SDimitry Andric     return XSL.isBeforeInTranslationUnitThan(YSL);
238a7dea167SDimitry Andric   FullSourceLoc XEL = X.getEndLocation().asLocation();
239a7dea167SDimitry Andric   FullSourceLoc YEL = Y.getEndLocation().asLocation();
240a7dea167SDimitry Andric   if (XEL != YEL)
241a7dea167SDimitry Andric     return XEL.isBeforeInTranslationUnitThan(YEL);
242*bdd1243dSDimitry Andric   return std::nullopt;
243a7dea167SDimitry Andric }
244a7dea167SDimitry Andric 
245*bdd1243dSDimitry Andric static std::optional<bool> compareMacro(const PathDiagnosticMacroPiece &X,
246a7dea167SDimitry Andric                                         const PathDiagnosticMacroPiece &Y) {
247a7dea167SDimitry Andric   return comparePath(X.subPieces, Y.subPieces);
248a7dea167SDimitry Andric }
249a7dea167SDimitry Andric 
250*bdd1243dSDimitry Andric static std::optional<bool> compareCall(const PathDiagnosticCallPiece &X,
251a7dea167SDimitry Andric                                        const PathDiagnosticCallPiece &Y) {
252a7dea167SDimitry Andric   FullSourceLoc X_CEL = X.callEnter.asLocation();
253a7dea167SDimitry Andric   FullSourceLoc Y_CEL = Y.callEnter.asLocation();
254a7dea167SDimitry Andric   if (X_CEL != Y_CEL)
255a7dea167SDimitry Andric     return X_CEL.isBeforeInTranslationUnitThan(Y_CEL);
256a7dea167SDimitry Andric   FullSourceLoc X_CEWL = X.callEnterWithin.asLocation();
257a7dea167SDimitry Andric   FullSourceLoc Y_CEWL = Y.callEnterWithin.asLocation();
258a7dea167SDimitry Andric   if (X_CEWL != Y_CEWL)
259a7dea167SDimitry Andric     return X_CEWL.isBeforeInTranslationUnitThan(Y_CEWL);
260a7dea167SDimitry Andric   FullSourceLoc X_CRL = X.callReturn.asLocation();
261a7dea167SDimitry Andric   FullSourceLoc Y_CRL = Y.callReturn.asLocation();
262a7dea167SDimitry Andric   if (X_CRL != Y_CRL)
263a7dea167SDimitry Andric     return X_CRL.isBeforeInTranslationUnitThan(Y_CRL);
264a7dea167SDimitry Andric   return comparePath(X.path, Y.path);
265a7dea167SDimitry Andric }
266a7dea167SDimitry Andric 
267*bdd1243dSDimitry Andric static std::optional<bool> comparePiece(const PathDiagnosticPiece &X,
268a7dea167SDimitry Andric                                         const PathDiagnosticPiece &Y) {
269a7dea167SDimitry Andric   if (X.getKind() != Y.getKind())
270a7dea167SDimitry Andric     return X.getKind() < Y.getKind();
271a7dea167SDimitry Andric 
272a7dea167SDimitry Andric   FullSourceLoc XL = X.getLocation().asLocation();
273a7dea167SDimitry Andric   FullSourceLoc YL = Y.getLocation().asLocation();
274a7dea167SDimitry Andric   if (XL != YL)
275a7dea167SDimitry Andric     return XL.isBeforeInTranslationUnitThan(YL);
276a7dea167SDimitry Andric 
277a7dea167SDimitry Andric   if (X.getString() != Y.getString())
278a7dea167SDimitry Andric     return X.getString() < Y.getString();
279a7dea167SDimitry Andric 
280a7dea167SDimitry Andric   if (X.getRanges().size() != Y.getRanges().size())
281a7dea167SDimitry Andric     return X.getRanges().size() < Y.getRanges().size();
282a7dea167SDimitry Andric 
283a7dea167SDimitry Andric   const SourceManager &SM = XL.getManager();
284a7dea167SDimitry Andric 
285a7dea167SDimitry Andric   for (unsigned i = 0, n = X.getRanges().size(); i < n; ++i) {
286a7dea167SDimitry Andric     SourceRange XR = X.getRanges()[i];
287a7dea167SDimitry Andric     SourceRange YR = Y.getRanges()[i];
288a7dea167SDimitry Andric     if (XR != YR) {
289a7dea167SDimitry Andric       if (XR.getBegin() != YR.getBegin())
290a7dea167SDimitry Andric         return SM.isBeforeInTranslationUnit(XR.getBegin(), YR.getBegin());
291a7dea167SDimitry Andric       return SM.isBeforeInTranslationUnit(XR.getEnd(), YR.getEnd());
292a7dea167SDimitry Andric     }
293a7dea167SDimitry Andric   }
294a7dea167SDimitry Andric 
295a7dea167SDimitry Andric   switch (X.getKind()) {
296a7dea167SDimitry Andric     case PathDiagnosticPiece::ControlFlow:
297a7dea167SDimitry Andric       return compareControlFlow(cast<PathDiagnosticControlFlowPiece>(X),
298a7dea167SDimitry Andric                                 cast<PathDiagnosticControlFlowPiece>(Y));
299a7dea167SDimitry Andric     case PathDiagnosticPiece::Macro:
300a7dea167SDimitry Andric       return compareMacro(cast<PathDiagnosticMacroPiece>(X),
301a7dea167SDimitry Andric                           cast<PathDiagnosticMacroPiece>(Y));
302a7dea167SDimitry Andric     case PathDiagnosticPiece::Call:
303a7dea167SDimitry Andric       return compareCall(cast<PathDiagnosticCallPiece>(X),
304a7dea167SDimitry Andric                          cast<PathDiagnosticCallPiece>(Y));
305a7dea167SDimitry Andric     case PathDiagnosticPiece::Event:
306a7dea167SDimitry Andric     case PathDiagnosticPiece::Note:
307a7dea167SDimitry Andric     case PathDiagnosticPiece::PopUp:
308*bdd1243dSDimitry Andric       return std::nullopt;
309a7dea167SDimitry Andric   }
310a7dea167SDimitry Andric   llvm_unreachable("all cases handled");
311a7dea167SDimitry Andric }
312a7dea167SDimitry Andric 
313*bdd1243dSDimitry Andric static std::optional<bool> comparePath(const PathPieces &X,
314*bdd1243dSDimitry Andric                                        const PathPieces &Y) {
315a7dea167SDimitry Andric   if (X.size() != Y.size())
316a7dea167SDimitry Andric     return X.size() < Y.size();
317a7dea167SDimitry Andric 
318a7dea167SDimitry Andric   PathPieces::const_iterator X_I = X.begin(), X_end = X.end();
319a7dea167SDimitry Andric   PathPieces::const_iterator Y_I = Y.begin(), Y_end = Y.end();
320a7dea167SDimitry Andric 
321*bdd1243dSDimitry Andric   for (; X_I != X_end && Y_I != Y_end; ++X_I, ++Y_I)
322*bdd1243dSDimitry Andric     if (std::optional<bool> b = comparePiece(**X_I, **Y_I))
323*bdd1243dSDimitry Andric       return *b;
324a7dea167SDimitry Andric 
325*bdd1243dSDimitry Andric   return std::nullopt;
326a7dea167SDimitry Andric }
327a7dea167SDimitry Andric 
328a7dea167SDimitry Andric static bool compareCrossTUSourceLocs(FullSourceLoc XL, FullSourceLoc YL) {
329e8d8bef9SDimitry Andric   if (XL.isInvalid() && YL.isValid())
330e8d8bef9SDimitry Andric     return true;
331e8d8bef9SDimitry Andric   if (XL.isValid() && YL.isInvalid())
332e8d8bef9SDimitry Andric     return false;
333a7dea167SDimitry Andric   std::pair<FileID, unsigned> XOffs = XL.getDecomposedLoc();
334a7dea167SDimitry Andric   std::pair<FileID, unsigned> YOffs = YL.getDecomposedLoc();
335a7dea167SDimitry Andric   const SourceManager &SM = XL.getManager();
336a7dea167SDimitry Andric   std::pair<bool, bool> InSameTU = SM.isInTheSameTranslationUnit(XOffs, YOffs);
337a7dea167SDimitry Andric   if (InSameTU.first)
338a7dea167SDimitry Andric     return XL.isBeforeInTranslationUnitThan(YL);
339a7dea167SDimitry Andric   const FileEntry *XFE = SM.getFileEntryForID(XL.getSpellingLoc().getFileID());
340a7dea167SDimitry Andric   const FileEntry *YFE = SM.getFileEntryForID(YL.getSpellingLoc().getFileID());
341a7dea167SDimitry Andric   if (!XFE || !YFE)
342a7dea167SDimitry Andric     return XFE && !YFE;
343a7dea167SDimitry Andric   int NameCmp = XFE->getName().compare(YFE->getName());
344a7dea167SDimitry Andric   if (NameCmp != 0)
345*bdd1243dSDimitry Andric     return NameCmp < 0;
346a7dea167SDimitry Andric   // Last resort: Compare raw file IDs that are possibly expansions.
347a7dea167SDimitry Andric   return XL.getFileID() < YL.getFileID();
348a7dea167SDimitry Andric }
349a7dea167SDimitry Andric 
350a7dea167SDimitry Andric static bool compare(const PathDiagnostic &X, const PathDiagnostic &Y) {
351a7dea167SDimitry Andric   FullSourceLoc XL = X.getLocation().asLocation();
352a7dea167SDimitry Andric   FullSourceLoc YL = Y.getLocation().asLocation();
353a7dea167SDimitry Andric   if (XL != YL)
354a7dea167SDimitry Andric     return compareCrossTUSourceLocs(XL, YL);
355e8d8bef9SDimitry Andric   FullSourceLoc XUL = X.getUniqueingLoc().asLocation();
356e8d8bef9SDimitry Andric   FullSourceLoc YUL = Y.getUniqueingLoc().asLocation();
357e8d8bef9SDimitry Andric   if (XUL != YUL)
358e8d8bef9SDimitry Andric     return compareCrossTUSourceLocs(XUL, YUL);
359a7dea167SDimitry Andric   if (X.getBugType() != Y.getBugType())
360a7dea167SDimitry Andric     return X.getBugType() < Y.getBugType();
361a7dea167SDimitry Andric   if (X.getCategory() != Y.getCategory())
362a7dea167SDimitry Andric     return X.getCategory() < Y.getCategory();
363a7dea167SDimitry Andric   if (X.getVerboseDescription() != Y.getVerboseDescription())
364a7dea167SDimitry Andric     return X.getVerboseDescription() < Y.getVerboseDescription();
365a7dea167SDimitry Andric   if (X.getShortDescription() != Y.getShortDescription())
366a7dea167SDimitry Andric     return X.getShortDescription() < Y.getShortDescription();
367*bdd1243dSDimitry Andric   auto CompareDecls = [&XL](const Decl *D1,
368*bdd1243dSDimitry Andric                             const Decl *D2) -> std::optional<bool> {
369e8d8bef9SDimitry Andric     if (D1 == D2)
370*bdd1243dSDimitry Andric       return std::nullopt;
371e8d8bef9SDimitry Andric     if (!D1)
372a7dea167SDimitry Andric       return true;
373e8d8bef9SDimitry Andric     if (!D2)
374a7dea167SDimitry Andric       return false;
375e8d8bef9SDimitry Andric     SourceLocation D1L = D1->getLocation();
376e8d8bef9SDimitry Andric     SourceLocation D2L = D2->getLocation();
377e8d8bef9SDimitry Andric     if (D1L != D2L) {
378a7dea167SDimitry Andric       const SourceManager &SM = XL.getManager();
379e8d8bef9SDimitry Andric       return compareCrossTUSourceLocs(FullSourceLoc(D1L, SM),
380e8d8bef9SDimitry Andric                                       FullSourceLoc(D2L, SM));
381a7dea167SDimitry Andric     }
382*bdd1243dSDimitry Andric     return std::nullopt;
383e8d8bef9SDimitry Andric   };
384e8d8bef9SDimitry Andric   if (auto Result = CompareDecls(X.getDeclWithIssue(), Y.getDeclWithIssue()))
385e8d8bef9SDimitry Andric     return *Result;
386e8d8bef9SDimitry Andric   if (XUL.isValid()) {
387e8d8bef9SDimitry Andric     if (auto Result = CompareDecls(X.getUniqueingDecl(), Y.getUniqueingDecl()))
388e8d8bef9SDimitry Andric       return *Result;
389a7dea167SDimitry Andric   }
390a7dea167SDimitry Andric   PathDiagnostic::meta_iterator XI = X.meta_begin(), XE = X.meta_end();
391a7dea167SDimitry Andric   PathDiagnostic::meta_iterator YI = Y.meta_begin(), YE = Y.meta_end();
392a7dea167SDimitry Andric   if (XE - XI != YE - YI)
393a7dea167SDimitry Andric     return (XE - XI) < (YE - YI);
394a7dea167SDimitry Andric   for ( ; XI != XE ; ++XI, ++YI) {
395a7dea167SDimitry Andric     if (*XI != *YI)
396a7dea167SDimitry Andric       return (*XI) < (*YI);
397a7dea167SDimitry Andric   }
398*bdd1243dSDimitry Andric   return *comparePath(X.path, Y.path);
399a7dea167SDimitry Andric }
400a7dea167SDimitry Andric 
401a7dea167SDimitry Andric void PathDiagnosticConsumer::FlushDiagnostics(
402a7dea167SDimitry Andric                                      PathDiagnosticConsumer::FilesMade *Files) {
403a7dea167SDimitry Andric   if (flushed)
404a7dea167SDimitry Andric     return;
405a7dea167SDimitry Andric 
406a7dea167SDimitry Andric   flushed = true;
407a7dea167SDimitry Andric 
408a7dea167SDimitry Andric   std::vector<const PathDiagnostic *> BatchDiags;
409a7dea167SDimitry Andric   for (const auto &D : Diags)
410a7dea167SDimitry Andric     BatchDiags.push_back(&D);
411a7dea167SDimitry Andric 
412a7dea167SDimitry Andric   // Sort the diagnostics so that they are always emitted in a deterministic
413a7dea167SDimitry Andric   // order.
414a7dea167SDimitry Andric   int (*Comp)(const PathDiagnostic *const *, const PathDiagnostic *const *) =
415a7dea167SDimitry Andric       [](const PathDiagnostic *const *X, const PathDiagnostic *const *Y) {
416a7dea167SDimitry Andric         assert(*X != *Y && "PathDiagnostics not uniqued!");
417a7dea167SDimitry Andric         if (compare(**X, **Y))
418a7dea167SDimitry Andric           return -1;
419a7dea167SDimitry Andric         assert(compare(**Y, **X) && "Not a total order!");
420a7dea167SDimitry Andric         return 1;
421a7dea167SDimitry Andric       };
422a7dea167SDimitry Andric   array_pod_sort(BatchDiags.begin(), BatchDiags.end(), Comp);
423a7dea167SDimitry Andric 
424a7dea167SDimitry Andric   FlushDiagnosticsImpl(BatchDiags, Files);
425a7dea167SDimitry Andric 
426a7dea167SDimitry Andric   // Delete the flushed diagnostics.
427a7dea167SDimitry Andric   for (const auto D : BatchDiags)
428a7dea167SDimitry Andric     delete D;
429a7dea167SDimitry Andric 
430a7dea167SDimitry Andric   // Clear out the FoldingSet.
431a7dea167SDimitry Andric   Diags.clear();
432a7dea167SDimitry Andric }
433a7dea167SDimitry Andric 
434a7dea167SDimitry Andric PathDiagnosticConsumer::FilesMade::~FilesMade() {
43581ad6265SDimitry Andric   for (auto It = Set.begin(); It != Set.end();)
43681ad6265SDimitry Andric     (It++)->~PDFileEntry();
437a7dea167SDimitry Andric }
438a7dea167SDimitry Andric 
439a7dea167SDimitry Andric void PathDiagnosticConsumer::FilesMade::addDiagnostic(const PathDiagnostic &PD,
440a7dea167SDimitry Andric                                                       StringRef ConsumerName,
441a7dea167SDimitry Andric                                                       StringRef FileName) {
442a7dea167SDimitry Andric   llvm::FoldingSetNodeID NodeID;
443a7dea167SDimitry Andric   NodeID.Add(PD);
444a7dea167SDimitry Andric   void *InsertPos;
445a7dea167SDimitry Andric   PDFileEntry *Entry = Set.FindNodeOrInsertPos(NodeID, InsertPos);
446a7dea167SDimitry Andric   if (!Entry) {
447a7dea167SDimitry Andric     Entry = Alloc.Allocate<PDFileEntry>();
448a7dea167SDimitry Andric     Entry = new (Entry) PDFileEntry(NodeID);
449a7dea167SDimitry Andric     Set.InsertNode(Entry, InsertPos);
450a7dea167SDimitry Andric   }
451a7dea167SDimitry Andric 
452a7dea167SDimitry Andric   // Allocate persistent storage for the file name.
453a7dea167SDimitry Andric   char *FileName_cstr = (char*) Alloc.Allocate(FileName.size(), 1);
454a7dea167SDimitry Andric   memcpy(FileName_cstr, FileName.data(), FileName.size());
455a7dea167SDimitry Andric 
456a7dea167SDimitry Andric   Entry->files.push_back(std::make_pair(ConsumerName,
457a7dea167SDimitry Andric                                         StringRef(FileName_cstr,
458a7dea167SDimitry Andric                                                   FileName.size())));
459a7dea167SDimitry Andric }
460a7dea167SDimitry Andric 
461a7dea167SDimitry Andric PathDiagnosticConsumer::PDFileEntry::ConsumerFiles *
462a7dea167SDimitry Andric PathDiagnosticConsumer::FilesMade::getFiles(const PathDiagnostic &PD) {
463a7dea167SDimitry Andric   llvm::FoldingSetNodeID NodeID;
464a7dea167SDimitry Andric   NodeID.Add(PD);
465a7dea167SDimitry Andric   void *InsertPos;
466a7dea167SDimitry Andric   PDFileEntry *Entry = Set.FindNodeOrInsertPos(NodeID, InsertPos);
467a7dea167SDimitry Andric   if (!Entry)
468a7dea167SDimitry Andric     return nullptr;
469a7dea167SDimitry Andric   return &Entry->files;
470a7dea167SDimitry Andric }
471a7dea167SDimitry Andric 
472a7dea167SDimitry Andric //===----------------------------------------------------------------------===//
473a7dea167SDimitry Andric // PathDiagnosticLocation methods.
474a7dea167SDimitry Andric //===----------------------------------------------------------------------===//
475a7dea167SDimitry Andric 
476a7dea167SDimitry Andric SourceLocation PathDiagnosticLocation::getValidSourceLocation(
477a7dea167SDimitry Andric     const Stmt *S, LocationOrAnalysisDeclContext LAC, bool UseEndOfStatement) {
478a7dea167SDimitry Andric   SourceLocation L = UseEndOfStatement ? S->getEndLoc() : S->getBeginLoc();
479a7dea167SDimitry Andric   assert(!LAC.isNull() &&
480a7dea167SDimitry Andric          "A valid LocationContext or AnalysisDeclContext should be passed to "
481a7dea167SDimitry Andric          "PathDiagnosticLocation upon creation.");
482a7dea167SDimitry Andric 
483a7dea167SDimitry Andric   // S might be a temporary statement that does not have a location in the
484a7dea167SDimitry Andric   // source code, so find an enclosing statement and use its location.
485a7dea167SDimitry Andric   if (!L.isValid()) {
486a7dea167SDimitry Andric     AnalysisDeclContext *ADC;
487a7dea167SDimitry Andric     if (LAC.is<const LocationContext*>())
488a7dea167SDimitry Andric       ADC = LAC.get<const LocationContext*>()->getAnalysisDeclContext();
489a7dea167SDimitry Andric     else
490a7dea167SDimitry Andric       ADC = LAC.get<AnalysisDeclContext*>();
491a7dea167SDimitry Andric 
492a7dea167SDimitry Andric     ParentMap &PM = ADC->getParentMap();
493a7dea167SDimitry Andric 
494a7dea167SDimitry Andric     const Stmt *Parent = S;
495a7dea167SDimitry Andric     do {
496a7dea167SDimitry Andric       Parent = PM.getParent(Parent);
497a7dea167SDimitry Andric 
498a7dea167SDimitry Andric       // In rare cases, we have implicit top-level expressions,
499a7dea167SDimitry Andric       // such as arguments for implicit member initializers.
500a7dea167SDimitry Andric       // In this case, fall back to the start of the body (even if we were
501a7dea167SDimitry Andric       // asked for the statement end location).
502a7dea167SDimitry Andric       if (!Parent) {
503a7dea167SDimitry Andric         const Stmt *Body = ADC->getBody();
504a7dea167SDimitry Andric         if (Body)
505a7dea167SDimitry Andric           L = Body->getBeginLoc();
506a7dea167SDimitry Andric         else
507a7dea167SDimitry Andric           L = ADC->getDecl()->getEndLoc();
508a7dea167SDimitry Andric         break;
509a7dea167SDimitry Andric       }
510a7dea167SDimitry Andric 
511a7dea167SDimitry Andric       L = UseEndOfStatement ? Parent->getEndLoc() : Parent->getBeginLoc();
512a7dea167SDimitry Andric     } while (!L.isValid());
513a7dea167SDimitry Andric   }
514a7dea167SDimitry Andric 
515a7dea167SDimitry Andric   // FIXME: Ironically, this assert actually fails in some cases.
516a7dea167SDimitry Andric   //assert(L.isValid());
517a7dea167SDimitry Andric   return L;
518a7dea167SDimitry Andric }
519a7dea167SDimitry Andric 
520a7dea167SDimitry Andric static PathDiagnosticLocation
521a7dea167SDimitry Andric getLocationForCaller(const StackFrameContext *SFC,
522a7dea167SDimitry Andric                      const LocationContext *CallerCtx,
523a7dea167SDimitry Andric                      const SourceManager &SM) {
524a7dea167SDimitry Andric   const CFGBlock &Block = *SFC->getCallSiteBlock();
525a7dea167SDimitry Andric   CFGElement Source = Block[SFC->getIndex()];
526a7dea167SDimitry Andric 
527a7dea167SDimitry Andric   switch (Source.getKind()) {
528a7dea167SDimitry Andric   case CFGElement::Statement:
529a7dea167SDimitry Andric   case CFGElement::Constructor:
530a7dea167SDimitry Andric   case CFGElement::CXXRecordTypedCall:
531a7dea167SDimitry Andric     return PathDiagnosticLocation(Source.castAs<CFGStmt>().getStmt(),
532a7dea167SDimitry Andric                                   SM, CallerCtx);
533a7dea167SDimitry Andric   case CFGElement::Initializer: {
534a7dea167SDimitry Andric     const CFGInitializer &Init = Source.castAs<CFGInitializer>();
535a7dea167SDimitry Andric     return PathDiagnosticLocation(Init.getInitializer()->getInit(),
536a7dea167SDimitry Andric                                   SM, CallerCtx);
537a7dea167SDimitry Andric   }
538a7dea167SDimitry Andric   case CFGElement::AutomaticObjectDtor: {
539a7dea167SDimitry Andric     const CFGAutomaticObjDtor &Dtor = Source.castAs<CFGAutomaticObjDtor>();
540a7dea167SDimitry Andric     return PathDiagnosticLocation::createEnd(Dtor.getTriggerStmt(),
541a7dea167SDimitry Andric                                              SM, CallerCtx);
542a7dea167SDimitry Andric   }
543a7dea167SDimitry Andric   case CFGElement::DeleteDtor: {
544a7dea167SDimitry Andric     const CFGDeleteDtor &Dtor = Source.castAs<CFGDeleteDtor>();
545a7dea167SDimitry Andric     return PathDiagnosticLocation(Dtor.getDeleteExpr(), SM, CallerCtx);
546a7dea167SDimitry Andric   }
547a7dea167SDimitry Andric   case CFGElement::BaseDtor:
548a7dea167SDimitry Andric   case CFGElement::MemberDtor: {
549a7dea167SDimitry Andric     const AnalysisDeclContext *CallerInfo = CallerCtx->getAnalysisDeclContext();
550a7dea167SDimitry Andric     if (const Stmt *CallerBody = CallerInfo->getBody())
551a7dea167SDimitry Andric       return PathDiagnosticLocation::createEnd(CallerBody, SM, CallerCtx);
552a7dea167SDimitry Andric     return PathDiagnosticLocation::create(CallerInfo->getDecl(), SM);
553a7dea167SDimitry Andric   }
554a7dea167SDimitry Andric   case CFGElement::NewAllocator: {
555a7dea167SDimitry Andric     const CFGNewAllocator &Alloc = Source.castAs<CFGNewAllocator>();
556a7dea167SDimitry Andric     return PathDiagnosticLocation(Alloc.getAllocatorExpr(), SM, CallerCtx);
557a7dea167SDimitry Andric   }
558a7dea167SDimitry Andric   case CFGElement::TemporaryDtor: {
559a7dea167SDimitry Andric     // Temporary destructors are for temporaries. They die immediately at around
560a7dea167SDimitry Andric     // the location of CXXBindTemporaryExpr. If they are lifetime-extended,
561a7dea167SDimitry Andric     // they'd be dealt with via an AutomaticObjectDtor instead.
562a7dea167SDimitry Andric     const auto &Dtor = Source.castAs<CFGTemporaryDtor>();
563a7dea167SDimitry Andric     return PathDiagnosticLocation::createEnd(Dtor.getBindTemporaryExpr(), SM,
564a7dea167SDimitry Andric                                              CallerCtx);
565a7dea167SDimitry Andric   }
566a7dea167SDimitry Andric   case CFGElement::ScopeBegin:
567a7dea167SDimitry Andric   case CFGElement::ScopeEnd:
568a7dea167SDimitry Andric     llvm_unreachable("not yet implemented!");
569a7dea167SDimitry Andric   case CFGElement::LifetimeEnds:
570a7dea167SDimitry Andric   case CFGElement::LoopExit:
571a7dea167SDimitry Andric     llvm_unreachable("CFGElement kind should not be on callsite!");
572a7dea167SDimitry Andric   }
573a7dea167SDimitry Andric 
574a7dea167SDimitry Andric   llvm_unreachable("Unknown CFGElement kind");
575a7dea167SDimitry Andric }
576a7dea167SDimitry Andric 
577a7dea167SDimitry Andric PathDiagnosticLocation
578a7dea167SDimitry Andric PathDiagnosticLocation::createBegin(const Decl *D,
579a7dea167SDimitry Andric                                     const SourceManager &SM) {
580a7dea167SDimitry Andric   return PathDiagnosticLocation(D->getBeginLoc(), SM, SingleLocK);
581a7dea167SDimitry Andric }
582a7dea167SDimitry Andric 
583a7dea167SDimitry Andric PathDiagnosticLocation
584a7dea167SDimitry Andric PathDiagnosticLocation::createBegin(const Stmt *S,
585a7dea167SDimitry Andric                                     const SourceManager &SM,
586a7dea167SDimitry Andric                                     LocationOrAnalysisDeclContext LAC) {
587a7dea167SDimitry Andric   return PathDiagnosticLocation(getValidSourceLocation(S, LAC),
588a7dea167SDimitry Andric                                 SM, SingleLocK);
589a7dea167SDimitry Andric }
590a7dea167SDimitry Andric 
591a7dea167SDimitry Andric PathDiagnosticLocation
592a7dea167SDimitry Andric PathDiagnosticLocation::createEnd(const Stmt *S,
593a7dea167SDimitry Andric                                   const SourceManager &SM,
594a7dea167SDimitry Andric                                   LocationOrAnalysisDeclContext LAC) {
595a7dea167SDimitry Andric   if (const auto *CS = dyn_cast<CompoundStmt>(S))
596a7dea167SDimitry Andric     return createEndBrace(CS, SM);
597a7dea167SDimitry Andric   return PathDiagnosticLocation(getValidSourceLocation(S, LAC, /*End=*/true),
598a7dea167SDimitry Andric                                 SM, SingleLocK);
599a7dea167SDimitry Andric }
600a7dea167SDimitry Andric 
601a7dea167SDimitry Andric PathDiagnosticLocation
602a7dea167SDimitry Andric PathDiagnosticLocation::createOperatorLoc(const BinaryOperator *BO,
603a7dea167SDimitry Andric                                           const SourceManager &SM) {
604a7dea167SDimitry Andric   return PathDiagnosticLocation(BO->getOperatorLoc(), SM, SingleLocK);
605a7dea167SDimitry Andric }
606a7dea167SDimitry Andric 
607a7dea167SDimitry Andric PathDiagnosticLocation
608a7dea167SDimitry Andric PathDiagnosticLocation::createConditionalColonLoc(
609a7dea167SDimitry Andric                                             const ConditionalOperator *CO,
610a7dea167SDimitry Andric                                             const SourceManager &SM) {
611a7dea167SDimitry Andric   return PathDiagnosticLocation(CO->getColonLoc(), SM, SingleLocK);
612a7dea167SDimitry Andric }
613a7dea167SDimitry Andric 
614a7dea167SDimitry Andric PathDiagnosticLocation
615a7dea167SDimitry Andric PathDiagnosticLocation::createMemberLoc(const MemberExpr *ME,
616a7dea167SDimitry Andric                                         const SourceManager &SM) {
617a7dea167SDimitry Andric 
618a7dea167SDimitry Andric   assert(ME->getMemberLoc().isValid() || ME->getBeginLoc().isValid());
619a7dea167SDimitry Andric 
620a7dea167SDimitry Andric   // In some cases, getMemberLoc isn't valid -- in this case we'll return with
621a7dea167SDimitry Andric   // some other related valid SourceLocation.
622a7dea167SDimitry Andric   if (ME->getMemberLoc().isValid())
623a7dea167SDimitry Andric     return PathDiagnosticLocation(ME->getMemberLoc(), SM, SingleLocK);
624a7dea167SDimitry Andric 
625a7dea167SDimitry Andric   return PathDiagnosticLocation(ME->getBeginLoc(), SM, SingleLocK);
626a7dea167SDimitry Andric }
627a7dea167SDimitry Andric 
628a7dea167SDimitry Andric PathDiagnosticLocation
629a7dea167SDimitry Andric PathDiagnosticLocation::createBeginBrace(const CompoundStmt *CS,
630a7dea167SDimitry Andric                                          const SourceManager &SM) {
631a7dea167SDimitry Andric   SourceLocation L = CS->getLBracLoc();
632a7dea167SDimitry Andric   return PathDiagnosticLocation(L, SM, SingleLocK);
633a7dea167SDimitry Andric }
634a7dea167SDimitry Andric 
635a7dea167SDimitry Andric PathDiagnosticLocation
636a7dea167SDimitry Andric PathDiagnosticLocation::createEndBrace(const CompoundStmt *CS,
637a7dea167SDimitry Andric                                        const SourceManager &SM) {
638a7dea167SDimitry Andric   SourceLocation L = CS->getRBracLoc();
639a7dea167SDimitry Andric   return PathDiagnosticLocation(L, SM, SingleLocK);
640a7dea167SDimitry Andric }
641a7dea167SDimitry Andric 
642a7dea167SDimitry Andric PathDiagnosticLocation
643a7dea167SDimitry Andric PathDiagnosticLocation::createDeclBegin(const LocationContext *LC,
644a7dea167SDimitry Andric                                         const SourceManager &SM) {
645a7dea167SDimitry Andric   // FIXME: Should handle CXXTryStmt if analyser starts supporting C++.
646a7dea167SDimitry Andric   if (const auto *CS = dyn_cast_or_null<CompoundStmt>(LC->getDecl()->getBody()))
647a7dea167SDimitry Andric     if (!CS->body_empty()) {
648a7dea167SDimitry Andric       SourceLocation Loc = (*CS->body_begin())->getBeginLoc();
649a7dea167SDimitry Andric       return PathDiagnosticLocation(Loc, SM, SingleLocK);
650a7dea167SDimitry Andric     }
651a7dea167SDimitry Andric 
652a7dea167SDimitry Andric   return PathDiagnosticLocation();
653a7dea167SDimitry Andric }
654a7dea167SDimitry Andric 
655a7dea167SDimitry Andric PathDiagnosticLocation
656a7dea167SDimitry Andric PathDiagnosticLocation::createDeclEnd(const LocationContext *LC,
657a7dea167SDimitry Andric                                       const SourceManager &SM) {
658a7dea167SDimitry Andric   SourceLocation L = LC->getDecl()->getBodyRBrace();
659a7dea167SDimitry Andric   return PathDiagnosticLocation(L, SM, SingleLocK);
660a7dea167SDimitry Andric }
661a7dea167SDimitry Andric 
662a7dea167SDimitry Andric PathDiagnosticLocation
663a7dea167SDimitry Andric PathDiagnosticLocation::create(const ProgramPoint& P,
664a7dea167SDimitry Andric                                const SourceManager &SMng) {
665a7dea167SDimitry Andric   const Stmt* S = nullptr;
666*bdd1243dSDimitry Andric   if (std::optional<BlockEdge> BE = P.getAs<BlockEdge>()) {
667a7dea167SDimitry Andric     const CFGBlock *BSrc = BE->getSrc();
668a7dea167SDimitry Andric     if (BSrc->getTerminator().isVirtualBaseBranch()) {
669a7dea167SDimitry Andric       // TODO: VirtualBaseBranches should also appear for destructors.
670a7dea167SDimitry Andric       // In this case we should put the diagnostic at the end of decl.
671a7dea167SDimitry Andric       return PathDiagnosticLocation::createBegin(
672a7dea167SDimitry Andric           P.getLocationContext()->getDecl(), SMng);
673a7dea167SDimitry Andric 
674a7dea167SDimitry Andric     } else {
675a7dea167SDimitry Andric       S = BSrc->getTerminatorCondition();
676a7dea167SDimitry Andric       if (!S) {
677a7dea167SDimitry Andric         // If the BlockEdge has no terminator condition statement but its
678a7dea167SDimitry Andric         // source is the entry of the CFG (e.g. a checker crated the branch at
679a7dea167SDimitry Andric         // the beginning of a function), use the function's declaration instead.
680a7dea167SDimitry Andric         assert(BSrc == &BSrc->getParent()->getEntry() && "CFGBlock has no "
681a7dea167SDimitry Andric                "TerminatorCondition and is not the enrty block of the CFG");
682a7dea167SDimitry Andric         return PathDiagnosticLocation::createBegin(
683a7dea167SDimitry Andric             P.getLocationContext()->getDecl(), SMng);
684a7dea167SDimitry Andric       }
685a7dea167SDimitry Andric     }
686*bdd1243dSDimitry Andric   } else if (std::optional<StmtPoint> SP = P.getAs<StmtPoint>()) {
687a7dea167SDimitry Andric     S = SP->getStmt();
688a7dea167SDimitry Andric     if (P.getAs<PostStmtPurgeDeadSymbols>())
689a7dea167SDimitry Andric       return PathDiagnosticLocation::createEnd(S, SMng, P.getLocationContext());
690*bdd1243dSDimitry Andric   } else if (std::optional<PostInitializer> PIP = P.getAs<PostInitializer>()) {
691a7dea167SDimitry Andric     return PathDiagnosticLocation(PIP->getInitializer()->getSourceLocation(),
692a7dea167SDimitry Andric                                   SMng);
693*bdd1243dSDimitry Andric   } else if (std::optional<PreImplicitCall> PIC = P.getAs<PreImplicitCall>()) {
694a7dea167SDimitry Andric     return PathDiagnosticLocation(PIC->getLocation(), SMng);
695*bdd1243dSDimitry Andric   } else if (std::optional<PostImplicitCall> PIE =
696*bdd1243dSDimitry Andric                  P.getAs<PostImplicitCall>()) {
697a7dea167SDimitry Andric     return PathDiagnosticLocation(PIE->getLocation(), SMng);
698*bdd1243dSDimitry Andric   } else if (std::optional<CallEnter> CE = P.getAs<CallEnter>()) {
699a7dea167SDimitry Andric     return getLocationForCaller(CE->getCalleeContext(),
700a7dea167SDimitry Andric                                 CE->getLocationContext(),
701a7dea167SDimitry Andric                                 SMng);
702*bdd1243dSDimitry Andric   } else if (std::optional<CallExitEnd> CEE = P.getAs<CallExitEnd>()) {
703a7dea167SDimitry Andric     return getLocationForCaller(CEE->getCalleeContext(),
704a7dea167SDimitry Andric                                 CEE->getLocationContext(),
705a7dea167SDimitry Andric                                 SMng);
706a7dea167SDimitry Andric   } else if (auto CEB = P.getAs<CallExitBegin>()) {
707a7dea167SDimitry Andric     if (const ReturnStmt *RS = CEB->getReturnStmt())
708a7dea167SDimitry Andric       return PathDiagnosticLocation::createBegin(RS, SMng,
709a7dea167SDimitry Andric                                                  CEB->getLocationContext());
710a7dea167SDimitry Andric     return PathDiagnosticLocation(
711a7dea167SDimitry Andric         CEB->getLocationContext()->getDecl()->getSourceRange().getEnd(), SMng);
712*bdd1243dSDimitry Andric   } else if (std::optional<BlockEntrance> BE = P.getAs<BlockEntrance>()) {
713*bdd1243dSDimitry Andric     if (std::optional<CFGElement> BlockFront = BE->getFirstElement()) {
714a7dea167SDimitry Andric       if (auto StmtElt = BlockFront->getAs<CFGStmt>()) {
715a7dea167SDimitry Andric         return PathDiagnosticLocation(StmtElt->getStmt()->getBeginLoc(), SMng);
716a7dea167SDimitry Andric       } else if (auto NewAllocElt = BlockFront->getAs<CFGNewAllocator>()) {
717a7dea167SDimitry Andric         return PathDiagnosticLocation(
718a7dea167SDimitry Andric             NewAllocElt->getAllocatorExpr()->getBeginLoc(), SMng);
719a7dea167SDimitry Andric       }
720a7dea167SDimitry Andric       llvm_unreachable("Unexpected CFG element at front of block");
721a7dea167SDimitry Andric     }
722a7dea167SDimitry Andric 
723a7dea167SDimitry Andric     return PathDiagnosticLocation(
724a7dea167SDimitry Andric         BE->getBlock()->getTerminatorStmt()->getBeginLoc(), SMng);
725*bdd1243dSDimitry Andric   } else if (std::optional<FunctionExitPoint> FE =
726*bdd1243dSDimitry Andric                  P.getAs<FunctionExitPoint>()) {
727a7dea167SDimitry Andric     return PathDiagnosticLocation(FE->getStmt(), SMng,
728a7dea167SDimitry Andric                                   FE->getLocationContext());
729a7dea167SDimitry Andric   } else {
730a7dea167SDimitry Andric     llvm_unreachable("Unexpected ProgramPoint");
731a7dea167SDimitry Andric   }
732a7dea167SDimitry Andric 
733a7dea167SDimitry Andric   return PathDiagnosticLocation(S, SMng, P.getLocationContext());
734a7dea167SDimitry Andric }
735a7dea167SDimitry Andric 
736a7dea167SDimitry Andric PathDiagnosticLocation PathDiagnosticLocation::createSingleLocation(
737a7dea167SDimitry Andric                                            const PathDiagnosticLocation &PDL) {
738a7dea167SDimitry Andric   FullSourceLoc L = PDL.asLocation();
739a7dea167SDimitry Andric   return PathDiagnosticLocation(L, L.getManager(), SingleLocK);
740a7dea167SDimitry Andric }
741a7dea167SDimitry Andric 
742a7dea167SDimitry Andric FullSourceLoc
743a7dea167SDimitry Andric   PathDiagnosticLocation::genLocation(SourceLocation L,
744a7dea167SDimitry Andric                                       LocationOrAnalysisDeclContext LAC) const {
745a7dea167SDimitry Andric   assert(isValid());
746a7dea167SDimitry Andric   // Note that we want a 'switch' here so that the compiler can warn us in
747a7dea167SDimitry Andric   // case we add more cases.
748a7dea167SDimitry Andric   switch (K) {
749a7dea167SDimitry Andric     case SingleLocK:
750a7dea167SDimitry Andric     case RangeK:
751a7dea167SDimitry Andric       break;
752a7dea167SDimitry Andric     case StmtK:
753a7dea167SDimitry Andric       // Defensive checking.
754a7dea167SDimitry Andric       if (!S)
755a7dea167SDimitry Andric         break;
756a7dea167SDimitry Andric       return FullSourceLoc(getValidSourceLocation(S, LAC),
757a7dea167SDimitry Andric                            const_cast<SourceManager&>(*SM));
758a7dea167SDimitry Andric     case DeclK:
759a7dea167SDimitry Andric       // Defensive checking.
760a7dea167SDimitry Andric       if (!D)
761a7dea167SDimitry Andric         break;
762a7dea167SDimitry Andric       return FullSourceLoc(D->getLocation(), const_cast<SourceManager&>(*SM));
763a7dea167SDimitry Andric   }
764a7dea167SDimitry Andric 
765a7dea167SDimitry Andric   return FullSourceLoc(L, const_cast<SourceManager&>(*SM));
766a7dea167SDimitry Andric }
767a7dea167SDimitry Andric 
768a7dea167SDimitry Andric PathDiagnosticRange
769a7dea167SDimitry Andric   PathDiagnosticLocation::genRange(LocationOrAnalysisDeclContext LAC) const {
770a7dea167SDimitry Andric   assert(isValid());
771a7dea167SDimitry Andric   // Note that we want a 'switch' here so that the compiler can warn us in
772a7dea167SDimitry Andric   // case we add more cases.
773a7dea167SDimitry Andric   switch (K) {
774a7dea167SDimitry Andric     case SingleLocK:
775a7dea167SDimitry Andric       return PathDiagnosticRange(SourceRange(Loc,Loc), true);
776a7dea167SDimitry Andric     case RangeK:
777a7dea167SDimitry Andric       break;
778a7dea167SDimitry Andric     case StmtK: {
779a7dea167SDimitry Andric       const Stmt *S = asStmt();
780a7dea167SDimitry Andric       switch (S->getStmtClass()) {
781a7dea167SDimitry Andric         default:
782a7dea167SDimitry Andric           break;
783a7dea167SDimitry Andric         case Stmt::DeclStmtClass: {
784a7dea167SDimitry Andric           const auto *DS = cast<DeclStmt>(S);
785a7dea167SDimitry Andric           if (DS->isSingleDecl()) {
786a7dea167SDimitry Andric             // Should always be the case, but we'll be defensive.
787a7dea167SDimitry Andric             return SourceRange(DS->getBeginLoc(),
788a7dea167SDimitry Andric                                DS->getSingleDecl()->getLocation());
789a7dea167SDimitry Andric           }
790a7dea167SDimitry Andric           break;
791a7dea167SDimitry Andric         }
792a7dea167SDimitry Andric           // FIXME: Provide better range information for different
793a7dea167SDimitry Andric           //  terminators.
794a7dea167SDimitry Andric         case Stmt::IfStmtClass:
795a7dea167SDimitry Andric         case Stmt::WhileStmtClass:
796a7dea167SDimitry Andric         case Stmt::DoStmtClass:
797a7dea167SDimitry Andric         case Stmt::ForStmtClass:
798a7dea167SDimitry Andric         case Stmt::ChooseExprClass:
799a7dea167SDimitry Andric         case Stmt::IndirectGotoStmtClass:
800a7dea167SDimitry Andric         case Stmt::SwitchStmtClass:
801a7dea167SDimitry Andric         case Stmt::BinaryConditionalOperatorClass:
802a7dea167SDimitry Andric         case Stmt::ConditionalOperatorClass:
803a7dea167SDimitry Andric         case Stmt::ObjCForCollectionStmtClass: {
804a7dea167SDimitry Andric           SourceLocation L = getValidSourceLocation(S, LAC);
805a7dea167SDimitry Andric           return SourceRange(L, L);
806a7dea167SDimitry Andric         }
807a7dea167SDimitry Andric       }
808a7dea167SDimitry Andric       SourceRange R = S->getSourceRange();
809a7dea167SDimitry Andric       if (R.isValid())
810a7dea167SDimitry Andric         return R;
811a7dea167SDimitry Andric       break;
812a7dea167SDimitry Andric     }
813a7dea167SDimitry Andric     case DeclK:
814a7dea167SDimitry Andric       if (const auto *MD = dyn_cast<ObjCMethodDecl>(D))
815a7dea167SDimitry Andric         return MD->getSourceRange();
816a7dea167SDimitry Andric       if (const auto *FD = dyn_cast<FunctionDecl>(D)) {
817a7dea167SDimitry Andric         if (Stmt *Body = FD->getBody())
818a7dea167SDimitry Andric           return Body->getSourceRange();
819a7dea167SDimitry Andric       }
820a7dea167SDimitry Andric       else {
821a7dea167SDimitry Andric         SourceLocation L = D->getLocation();
822a7dea167SDimitry Andric         return PathDiagnosticRange(SourceRange(L, L), true);
823a7dea167SDimitry Andric       }
824a7dea167SDimitry Andric   }
825a7dea167SDimitry Andric 
826a7dea167SDimitry Andric   return SourceRange(Loc, Loc);
827a7dea167SDimitry Andric }
828a7dea167SDimitry Andric 
829a7dea167SDimitry Andric void PathDiagnosticLocation::flatten() {
830a7dea167SDimitry Andric   if (K == StmtK) {
831a7dea167SDimitry Andric     K = RangeK;
832a7dea167SDimitry Andric     S = nullptr;
833a7dea167SDimitry Andric     D = nullptr;
834a7dea167SDimitry Andric   }
835a7dea167SDimitry Andric   else if (K == DeclK) {
836a7dea167SDimitry Andric     K = SingleLocK;
837a7dea167SDimitry Andric     S = nullptr;
838a7dea167SDimitry Andric     D = nullptr;
839a7dea167SDimitry Andric   }
840a7dea167SDimitry Andric }
841a7dea167SDimitry Andric 
842a7dea167SDimitry Andric //===----------------------------------------------------------------------===//
843a7dea167SDimitry Andric // Manipulation of PathDiagnosticCallPieces.
844a7dea167SDimitry Andric //===----------------------------------------------------------------------===//
845a7dea167SDimitry Andric 
846a7dea167SDimitry Andric std::shared_ptr<PathDiagnosticCallPiece>
847a7dea167SDimitry Andric PathDiagnosticCallPiece::construct(const CallExitEnd &CE,
848a7dea167SDimitry Andric                                    const SourceManager &SM) {
849a7dea167SDimitry Andric   const Decl *caller = CE.getLocationContext()->getDecl();
850a7dea167SDimitry Andric   PathDiagnosticLocation pos = getLocationForCaller(CE.getCalleeContext(),
851a7dea167SDimitry Andric                                                     CE.getLocationContext(),
852a7dea167SDimitry Andric                                                     SM);
853a7dea167SDimitry Andric   return std::shared_ptr<PathDiagnosticCallPiece>(
854a7dea167SDimitry Andric       new PathDiagnosticCallPiece(caller, pos));
855a7dea167SDimitry Andric }
856a7dea167SDimitry Andric 
857a7dea167SDimitry Andric PathDiagnosticCallPiece *
858a7dea167SDimitry Andric PathDiagnosticCallPiece::construct(PathPieces &path,
859a7dea167SDimitry Andric                                    const Decl *caller) {
860a7dea167SDimitry Andric   std::shared_ptr<PathDiagnosticCallPiece> C(
861a7dea167SDimitry Andric       new PathDiagnosticCallPiece(path, caller));
862a7dea167SDimitry Andric   path.clear();
863a7dea167SDimitry Andric   auto *R = C.get();
864a7dea167SDimitry Andric   path.push_front(std::move(C));
865a7dea167SDimitry Andric   return R;
866a7dea167SDimitry Andric }
867a7dea167SDimitry Andric 
868a7dea167SDimitry Andric void PathDiagnosticCallPiece::setCallee(const CallEnter &CE,
869a7dea167SDimitry Andric                                         const SourceManager &SM) {
870a7dea167SDimitry Andric   const StackFrameContext *CalleeCtx = CE.getCalleeContext();
871a7dea167SDimitry Andric   Callee = CalleeCtx->getDecl();
872a7dea167SDimitry Andric 
873a7dea167SDimitry Andric   callEnterWithin = PathDiagnosticLocation::createBegin(Callee, SM);
874a7dea167SDimitry Andric   callEnter = getLocationForCaller(CalleeCtx, CE.getLocationContext(), SM);
875a7dea167SDimitry Andric 
876a7dea167SDimitry Andric   // Autosynthesized property accessors are special because we'd never
877a7dea167SDimitry Andric   // pop back up to non-autosynthesized code until we leave them.
878a7dea167SDimitry Andric   // This is not generally true for autosynthesized callees, which may call
879a7dea167SDimitry Andric   // non-autosynthesized callbacks.
880a7dea167SDimitry Andric   // Unless set here, the IsCalleeAnAutosynthesizedPropertyAccessor flag
881a7dea167SDimitry Andric   // defaults to false.
882a7dea167SDimitry Andric   if (const auto *MD = dyn_cast<ObjCMethodDecl>(Callee))
883a7dea167SDimitry Andric     IsCalleeAnAutosynthesizedPropertyAccessor = (
884a7dea167SDimitry Andric         MD->isPropertyAccessor() &&
885a7dea167SDimitry Andric         CalleeCtx->getAnalysisDeclContext()->isBodyAutosynthesized());
886a7dea167SDimitry Andric }
887a7dea167SDimitry Andric 
888a7dea167SDimitry Andric static void describeTemplateParameters(raw_ostream &Out,
889a7dea167SDimitry Andric                                        const ArrayRef<TemplateArgument> TAList,
890a7dea167SDimitry Andric                                        const LangOptions &LO,
891a7dea167SDimitry Andric                                        StringRef Prefix = StringRef(),
892a7dea167SDimitry Andric                                        StringRef Postfix = StringRef());
893a7dea167SDimitry Andric 
894a7dea167SDimitry Andric static void describeTemplateParameter(raw_ostream &Out,
895a7dea167SDimitry Andric                                       const TemplateArgument &TArg,
896a7dea167SDimitry Andric                                       const LangOptions &LO) {
897a7dea167SDimitry Andric 
898a7dea167SDimitry Andric   if (TArg.getKind() == TemplateArgument::ArgKind::Pack) {
899a7dea167SDimitry Andric     describeTemplateParameters(Out, TArg.getPackAsArray(), LO);
900a7dea167SDimitry Andric   } else {
901fe6060f1SDimitry Andric     TArg.print(PrintingPolicy(LO), Out, /*IncludeType*/ true);
902a7dea167SDimitry Andric   }
903a7dea167SDimitry Andric }
904a7dea167SDimitry Andric 
905a7dea167SDimitry Andric static void describeTemplateParameters(raw_ostream &Out,
906a7dea167SDimitry Andric                                        const ArrayRef<TemplateArgument> TAList,
907a7dea167SDimitry Andric                                        const LangOptions &LO,
908a7dea167SDimitry Andric                                        StringRef Prefix, StringRef Postfix) {
909a7dea167SDimitry Andric   if (TAList.empty())
910a7dea167SDimitry Andric     return;
911a7dea167SDimitry Andric 
912a7dea167SDimitry Andric   Out << Prefix;
913a7dea167SDimitry Andric   for (int I = 0, Last = TAList.size() - 1; I != Last; ++I) {
914a7dea167SDimitry Andric     describeTemplateParameter(Out, TAList[I], LO);
915a7dea167SDimitry Andric     Out << ", ";
916a7dea167SDimitry Andric   }
917a7dea167SDimitry Andric   describeTemplateParameter(Out, TAList[TAList.size() - 1], LO);
918a7dea167SDimitry Andric   Out << Postfix;
919a7dea167SDimitry Andric }
920a7dea167SDimitry Andric 
921a7dea167SDimitry Andric static void describeClass(raw_ostream &Out, const CXXRecordDecl *D,
922a7dea167SDimitry Andric                           StringRef Prefix = StringRef()) {
923a7dea167SDimitry Andric   if (!D->getIdentifier())
924a7dea167SDimitry Andric     return;
925a7dea167SDimitry Andric   Out << Prefix << '\'' << *D;
926a7dea167SDimitry Andric   if (const auto T = dyn_cast<ClassTemplateSpecializationDecl>(D))
927a7dea167SDimitry Andric     describeTemplateParameters(Out, T->getTemplateArgs().asArray(),
9285ffd83dbSDimitry Andric                                D->getLangOpts(), "<", ">");
929a7dea167SDimitry Andric 
930a7dea167SDimitry Andric   Out << '\'';
931a7dea167SDimitry Andric }
932a7dea167SDimitry Andric 
933a7dea167SDimitry Andric static bool describeCodeDecl(raw_ostream &Out, const Decl *D,
934a7dea167SDimitry Andric                              bool ExtendedDescription,
935a7dea167SDimitry Andric                              StringRef Prefix = StringRef()) {
936a7dea167SDimitry Andric   if (!D)
937a7dea167SDimitry Andric     return false;
938a7dea167SDimitry Andric 
939a7dea167SDimitry Andric   if (isa<BlockDecl>(D)) {
940a7dea167SDimitry Andric     if (ExtendedDescription)
941a7dea167SDimitry Andric       Out << Prefix << "anonymous block";
942a7dea167SDimitry Andric     return ExtendedDescription;
943a7dea167SDimitry Andric   }
944a7dea167SDimitry Andric 
945a7dea167SDimitry Andric   if (const auto *MD = dyn_cast<CXXMethodDecl>(D)) {
946a7dea167SDimitry Andric     Out << Prefix;
947a7dea167SDimitry Andric     if (ExtendedDescription && !MD->isUserProvided()) {
948a7dea167SDimitry Andric       if (MD->isExplicitlyDefaulted())
949a7dea167SDimitry Andric         Out << "defaulted ";
950a7dea167SDimitry Andric       else
951a7dea167SDimitry Andric         Out << "implicit ";
952a7dea167SDimitry Andric     }
953a7dea167SDimitry Andric 
954a7dea167SDimitry Andric     if (const auto *CD = dyn_cast<CXXConstructorDecl>(MD)) {
955a7dea167SDimitry Andric       if (CD->isDefaultConstructor())
956a7dea167SDimitry Andric         Out << "default ";
957a7dea167SDimitry Andric       else if (CD->isCopyConstructor())
958a7dea167SDimitry Andric         Out << "copy ";
959a7dea167SDimitry Andric       else if (CD->isMoveConstructor())
960a7dea167SDimitry Andric         Out << "move ";
961a7dea167SDimitry Andric 
962a7dea167SDimitry Andric       Out << "constructor";
963a7dea167SDimitry Andric       describeClass(Out, MD->getParent(), " for ");
964a7dea167SDimitry Andric     } else if (isa<CXXDestructorDecl>(MD)) {
965a7dea167SDimitry Andric       if (!MD->isUserProvided()) {
966a7dea167SDimitry Andric         Out << "destructor";
967a7dea167SDimitry Andric         describeClass(Out, MD->getParent(), " for ");
968a7dea167SDimitry Andric       } else {
969a7dea167SDimitry Andric         // Use ~Foo for explicitly-written destructors.
970a7dea167SDimitry Andric         Out << "'" << *MD << "'";
971a7dea167SDimitry Andric       }
972a7dea167SDimitry Andric     } else if (MD->isCopyAssignmentOperator()) {
973a7dea167SDimitry Andric         Out << "copy assignment operator";
974a7dea167SDimitry Andric         describeClass(Out, MD->getParent(), " for ");
975a7dea167SDimitry Andric     } else if (MD->isMoveAssignmentOperator()) {
976a7dea167SDimitry Andric         Out << "move assignment operator";
977a7dea167SDimitry Andric         describeClass(Out, MD->getParent(), " for ");
978a7dea167SDimitry Andric     } else {
979a7dea167SDimitry Andric       if (MD->getParent()->getIdentifier())
980a7dea167SDimitry Andric         Out << "'" << *MD->getParent() << "::" << *MD << "'";
981a7dea167SDimitry Andric       else
982a7dea167SDimitry Andric         Out << "'" << *MD << "'";
983a7dea167SDimitry Andric     }
984a7dea167SDimitry Andric 
985a7dea167SDimitry Andric     return true;
986a7dea167SDimitry Andric   }
987a7dea167SDimitry Andric 
988a7dea167SDimitry Andric   Out << Prefix << '\'' << cast<NamedDecl>(*D);
989a7dea167SDimitry Andric 
990a7dea167SDimitry Andric   // Adding template parameters.
991a7dea167SDimitry Andric   if (const auto FD = dyn_cast<FunctionDecl>(D))
992a7dea167SDimitry Andric     if (const TemplateArgumentList *TAList =
993a7dea167SDimitry Andric                                     FD->getTemplateSpecializationArgs())
9945ffd83dbSDimitry Andric       describeTemplateParameters(Out, TAList->asArray(), FD->getLangOpts(), "<",
9955ffd83dbSDimitry Andric                                  ">");
996a7dea167SDimitry Andric 
997a7dea167SDimitry Andric   Out << '\'';
998a7dea167SDimitry Andric   return true;
999a7dea167SDimitry Andric }
1000a7dea167SDimitry Andric 
1001a7dea167SDimitry Andric std::shared_ptr<PathDiagnosticEventPiece>
1002a7dea167SDimitry Andric PathDiagnosticCallPiece::getCallEnterEvent() const {
1003a7dea167SDimitry Andric   // We do not produce call enters and call exits for autosynthesized property
1004a7dea167SDimitry Andric   // accessors. We do generally produce them for other functions coming from
1005a7dea167SDimitry Andric   // the body farm because they may call callbacks that bring us back into
1006a7dea167SDimitry Andric   // visible code.
1007a7dea167SDimitry Andric   if (!Callee || IsCalleeAnAutosynthesizedPropertyAccessor)
1008a7dea167SDimitry Andric     return nullptr;
1009a7dea167SDimitry Andric 
1010a7dea167SDimitry Andric   SmallString<256> buf;
1011a7dea167SDimitry Andric   llvm::raw_svector_ostream Out(buf);
1012a7dea167SDimitry Andric 
1013a7dea167SDimitry Andric   Out << "Calling ";
1014a7dea167SDimitry Andric   describeCodeDecl(Out, Callee, /*ExtendedDescription=*/true);
1015a7dea167SDimitry Andric 
1016a7dea167SDimitry Andric   assert(callEnter.asLocation().isValid());
1017a7dea167SDimitry Andric   return std::make_shared<PathDiagnosticEventPiece>(callEnter, Out.str());
1018a7dea167SDimitry Andric }
1019a7dea167SDimitry Andric 
1020a7dea167SDimitry Andric std::shared_ptr<PathDiagnosticEventPiece>
1021a7dea167SDimitry Andric PathDiagnosticCallPiece::getCallEnterWithinCallerEvent() const {
1022a7dea167SDimitry Andric   if (!callEnterWithin.asLocation().isValid())
1023a7dea167SDimitry Andric     return nullptr;
1024a7dea167SDimitry Andric   if (Callee->isImplicit() || !Callee->hasBody())
1025a7dea167SDimitry Andric     return nullptr;
1026a7dea167SDimitry Andric   if (const auto *MD = dyn_cast<CXXMethodDecl>(Callee))
1027a7dea167SDimitry Andric     if (MD->isDefaulted())
1028a7dea167SDimitry Andric       return nullptr;
1029a7dea167SDimitry Andric 
1030a7dea167SDimitry Andric   SmallString<256> buf;
1031a7dea167SDimitry Andric   llvm::raw_svector_ostream Out(buf);
1032a7dea167SDimitry Andric 
1033a7dea167SDimitry Andric   Out << "Entered call";
1034a7dea167SDimitry Andric   describeCodeDecl(Out, Caller, /*ExtendedDescription=*/false, " from ");
1035a7dea167SDimitry Andric 
1036a7dea167SDimitry Andric   return std::make_shared<PathDiagnosticEventPiece>(callEnterWithin, Out.str());
1037a7dea167SDimitry Andric }
1038a7dea167SDimitry Andric 
1039a7dea167SDimitry Andric std::shared_ptr<PathDiagnosticEventPiece>
1040a7dea167SDimitry Andric PathDiagnosticCallPiece::getCallExitEvent() const {
1041a7dea167SDimitry Andric   // We do not produce call enters and call exits for autosynthesized property
1042a7dea167SDimitry Andric   // accessors. We do generally produce them for other functions coming from
1043a7dea167SDimitry Andric   // the body farm because they may call callbacks that bring us back into
1044a7dea167SDimitry Andric   // visible code.
1045a7dea167SDimitry Andric   if (NoExit || IsCalleeAnAutosynthesizedPropertyAccessor)
1046a7dea167SDimitry Andric     return nullptr;
1047a7dea167SDimitry Andric 
1048a7dea167SDimitry Andric   SmallString<256> buf;
1049a7dea167SDimitry Andric   llvm::raw_svector_ostream Out(buf);
1050a7dea167SDimitry Andric 
1051a7dea167SDimitry Andric   if (!CallStackMessage.empty()) {
1052a7dea167SDimitry Andric     Out << CallStackMessage;
1053a7dea167SDimitry Andric   } else {
1054a7dea167SDimitry Andric     bool DidDescribe = describeCodeDecl(Out, Callee,
1055a7dea167SDimitry Andric                                         /*ExtendedDescription=*/false,
1056a7dea167SDimitry Andric                                         "Returning from ");
1057a7dea167SDimitry Andric     if (!DidDescribe)
1058a7dea167SDimitry Andric       Out << "Returning to caller";
1059a7dea167SDimitry Andric   }
1060a7dea167SDimitry Andric 
1061a7dea167SDimitry Andric   assert(callReturn.asLocation().isValid());
1062a7dea167SDimitry Andric   return std::make_shared<PathDiagnosticEventPiece>(callReturn, Out.str());
1063a7dea167SDimitry Andric }
1064a7dea167SDimitry Andric 
1065a7dea167SDimitry Andric static void compute_path_size(const PathPieces &pieces, unsigned &size) {
1066a7dea167SDimitry Andric   for (const auto &I : pieces) {
1067a7dea167SDimitry Andric     const PathDiagnosticPiece *piece = I.get();
1068a7dea167SDimitry Andric     if (const auto *cp = dyn_cast<PathDiagnosticCallPiece>(piece))
1069a7dea167SDimitry Andric       compute_path_size(cp->path, size);
1070a7dea167SDimitry Andric     else
1071a7dea167SDimitry Andric       ++size;
1072a7dea167SDimitry Andric   }
1073a7dea167SDimitry Andric }
1074a7dea167SDimitry Andric 
1075a7dea167SDimitry Andric unsigned PathDiagnostic::full_size() {
1076a7dea167SDimitry Andric   unsigned size = 0;
1077a7dea167SDimitry Andric   compute_path_size(path, size);
1078a7dea167SDimitry Andric   return size;
1079a7dea167SDimitry Andric }
1080a7dea167SDimitry Andric 
1081a7dea167SDimitry Andric //===----------------------------------------------------------------------===//
1082a7dea167SDimitry Andric // FoldingSet profiling methods.
1083a7dea167SDimitry Andric //===----------------------------------------------------------------------===//
1084a7dea167SDimitry Andric 
1085a7dea167SDimitry Andric void PathDiagnosticLocation::Profile(llvm::FoldingSetNodeID &ID) const {
1086e8d8bef9SDimitry Andric   ID.Add(Range.getBegin());
1087e8d8bef9SDimitry Andric   ID.Add(Range.getEnd());
1088e8d8bef9SDimitry Andric   ID.Add(static_cast<const SourceLocation &>(Loc));
1089a7dea167SDimitry Andric }
1090a7dea167SDimitry Andric 
1091a7dea167SDimitry Andric void PathDiagnosticPiece::Profile(llvm::FoldingSetNodeID &ID) const {
1092a7dea167SDimitry Andric   ID.AddInteger((unsigned) getKind());
1093a7dea167SDimitry Andric   ID.AddString(str);
1094a7dea167SDimitry Andric   // FIXME: Add profiling support for code hints.
1095a7dea167SDimitry Andric   ID.AddInteger((unsigned) getDisplayHint());
1096a7dea167SDimitry Andric   ArrayRef<SourceRange> Ranges = getRanges();
1097a7dea167SDimitry Andric   for (const auto &I : Ranges) {
1098e8d8bef9SDimitry Andric     ID.Add(I.getBegin());
1099e8d8bef9SDimitry Andric     ID.Add(I.getEnd());
1100a7dea167SDimitry Andric   }
1101a7dea167SDimitry Andric }
1102a7dea167SDimitry Andric 
1103a7dea167SDimitry Andric void PathDiagnosticCallPiece::Profile(llvm::FoldingSetNodeID &ID) const {
1104a7dea167SDimitry Andric   PathDiagnosticPiece::Profile(ID);
1105a7dea167SDimitry Andric   for (const auto &I : path)
1106a7dea167SDimitry Andric     ID.Add(*I);
1107a7dea167SDimitry Andric }
1108a7dea167SDimitry Andric 
1109a7dea167SDimitry Andric void PathDiagnosticSpotPiece::Profile(llvm::FoldingSetNodeID &ID) const {
1110a7dea167SDimitry Andric   PathDiagnosticPiece::Profile(ID);
1111a7dea167SDimitry Andric   ID.Add(Pos);
1112a7dea167SDimitry Andric }
1113a7dea167SDimitry Andric 
1114a7dea167SDimitry Andric void PathDiagnosticControlFlowPiece::Profile(llvm::FoldingSetNodeID &ID) const {
1115a7dea167SDimitry Andric   PathDiagnosticPiece::Profile(ID);
1116a7dea167SDimitry Andric   for (const auto &I : *this)
1117a7dea167SDimitry Andric     ID.Add(I);
1118a7dea167SDimitry Andric }
1119a7dea167SDimitry Andric 
1120a7dea167SDimitry Andric void PathDiagnosticMacroPiece::Profile(llvm::FoldingSetNodeID &ID) const {
1121a7dea167SDimitry Andric   PathDiagnosticSpotPiece::Profile(ID);
1122a7dea167SDimitry Andric   for (const auto &I : subPieces)
1123a7dea167SDimitry Andric     ID.Add(*I);
1124a7dea167SDimitry Andric }
1125a7dea167SDimitry Andric 
1126a7dea167SDimitry Andric void PathDiagnosticNotePiece::Profile(llvm::FoldingSetNodeID &ID) const {
1127a7dea167SDimitry Andric   PathDiagnosticSpotPiece::Profile(ID);
1128a7dea167SDimitry Andric }
1129a7dea167SDimitry Andric 
1130a7dea167SDimitry Andric void PathDiagnosticPopUpPiece::Profile(llvm::FoldingSetNodeID &ID) const {
1131a7dea167SDimitry Andric   PathDiagnosticSpotPiece::Profile(ID);
1132a7dea167SDimitry Andric }
1133a7dea167SDimitry Andric 
1134a7dea167SDimitry Andric void PathDiagnostic::Profile(llvm::FoldingSetNodeID &ID) const {
1135a7dea167SDimitry Andric   ID.Add(getLocation());
1136e8d8bef9SDimitry Andric   ID.Add(getUniqueingLoc());
1137a7dea167SDimitry Andric   ID.AddString(BugType);
1138a7dea167SDimitry Andric   ID.AddString(VerboseDesc);
1139a7dea167SDimitry Andric   ID.AddString(Category);
1140a7dea167SDimitry Andric }
1141a7dea167SDimitry Andric 
1142a7dea167SDimitry Andric void PathDiagnostic::FullProfile(llvm::FoldingSetNodeID &ID) const {
1143a7dea167SDimitry Andric   Profile(ID);
1144a7dea167SDimitry Andric   for (const auto &I : path)
1145a7dea167SDimitry Andric     ID.Add(*I);
1146a7dea167SDimitry Andric   for (meta_iterator I = meta_begin(), E = meta_end(); I != E; ++I)
1147a7dea167SDimitry Andric     ID.AddString(*I);
1148a7dea167SDimitry Andric }
1149a7dea167SDimitry Andric 
1150a7dea167SDimitry Andric LLVM_DUMP_METHOD void PathPieces::dump() const {
1151a7dea167SDimitry Andric   unsigned index = 0;
1152a7dea167SDimitry Andric   for (PathPieces::const_iterator I = begin(), E = end(); I != E; ++I) {
1153a7dea167SDimitry Andric     llvm::errs() << "[" << index++ << "]  ";
1154a7dea167SDimitry Andric     (*I)->dump();
1155a7dea167SDimitry Andric     llvm::errs() << "\n";
1156a7dea167SDimitry Andric   }
1157a7dea167SDimitry Andric }
1158a7dea167SDimitry Andric 
1159a7dea167SDimitry Andric LLVM_DUMP_METHOD void PathDiagnosticCallPiece::dump() const {
1160a7dea167SDimitry Andric   llvm::errs() << "CALL\n--------------\n";
1161a7dea167SDimitry Andric 
1162a7dea167SDimitry Andric   if (const Stmt *SLoc = getLocation().getStmtOrNull())
1163a7dea167SDimitry Andric     SLoc->dump();
1164a7dea167SDimitry Andric   else if (const auto *ND = dyn_cast_or_null<NamedDecl>(getCallee()))
1165a7dea167SDimitry Andric     llvm::errs() << *ND << "\n";
1166a7dea167SDimitry Andric   else
1167a7dea167SDimitry Andric     getLocation().dump();
1168a7dea167SDimitry Andric }
1169a7dea167SDimitry Andric 
1170a7dea167SDimitry Andric LLVM_DUMP_METHOD void PathDiagnosticEventPiece::dump() const {
1171a7dea167SDimitry Andric   llvm::errs() << "EVENT\n--------------\n";
1172a7dea167SDimitry Andric   llvm::errs() << getString() << "\n";
1173a7dea167SDimitry Andric   llvm::errs() << " ---- at ----\n";
1174a7dea167SDimitry Andric   getLocation().dump();
1175a7dea167SDimitry Andric }
1176a7dea167SDimitry Andric 
1177a7dea167SDimitry Andric LLVM_DUMP_METHOD void PathDiagnosticControlFlowPiece::dump() const {
1178a7dea167SDimitry Andric   llvm::errs() << "CONTROL\n--------------\n";
1179a7dea167SDimitry Andric   getStartLocation().dump();
1180a7dea167SDimitry Andric   llvm::errs() << " ---- to ----\n";
1181a7dea167SDimitry Andric   getEndLocation().dump();
1182a7dea167SDimitry Andric }
1183a7dea167SDimitry Andric 
1184a7dea167SDimitry Andric LLVM_DUMP_METHOD void PathDiagnosticMacroPiece::dump() const {
1185a7dea167SDimitry Andric   llvm::errs() << "MACRO\n--------------\n";
1186a7dea167SDimitry Andric   // FIXME: Print which macro is being invoked.
1187a7dea167SDimitry Andric }
1188a7dea167SDimitry Andric 
1189a7dea167SDimitry Andric LLVM_DUMP_METHOD void PathDiagnosticNotePiece::dump() const {
1190a7dea167SDimitry Andric   llvm::errs() << "NOTE\n--------------\n";
1191a7dea167SDimitry Andric   llvm::errs() << getString() << "\n";
1192a7dea167SDimitry Andric   llvm::errs() << " ---- at ----\n";
1193a7dea167SDimitry Andric   getLocation().dump();
1194a7dea167SDimitry Andric }
1195a7dea167SDimitry Andric 
1196a7dea167SDimitry Andric LLVM_DUMP_METHOD void PathDiagnosticPopUpPiece::dump() const {
1197a7dea167SDimitry Andric   llvm::errs() << "POP-UP\n--------------\n";
1198a7dea167SDimitry Andric   llvm::errs() << getString() << "\n";
1199a7dea167SDimitry Andric   llvm::errs() << " ---- at ----\n";
1200a7dea167SDimitry Andric   getLocation().dump();
1201a7dea167SDimitry Andric }
1202a7dea167SDimitry Andric 
1203a7dea167SDimitry Andric LLVM_DUMP_METHOD void PathDiagnosticLocation::dump() const {
1204a7dea167SDimitry Andric   if (!isValid()) {
1205a7dea167SDimitry Andric     llvm::errs() << "<INVALID>\n";
1206a7dea167SDimitry Andric     return;
1207a7dea167SDimitry Andric   }
1208a7dea167SDimitry Andric 
1209a7dea167SDimitry Andric   switch (K) {
1210a7dea167SDimitry Andric   case RangeK:
1211a7dea167SDimitry Andric     // FIXME: actually print the range.
1212a7dea167SDimitry Andric     llvm::errs() << "<range>\n";
1213a7dea167SDimitry Andric     break;
1214a7dea167SDimitry Andric   case SingleLocK:
1215a7dea167SDimitry Andric     asLocation().dump();
1216a7dea167SDimitry Andric     llvm::errs() << "\n";
1217a7dea167SDimitry Andric     break;
1218a7dea167SDimitry Andric   case StmtK:
1219a7dea167SDimitry Andric     if (S)
1220a7dea167SDimitry Andric       S->dump();
1221a7dea167SDimitry Andric     else
1222a7dea167SDimitry Andric       llvm::errs() << "<NULL STMT>\n";
1223a7dea167SDimitry Andric     break;
1224a7dea167SDimitry Andric   case DeclK:
1225a7dea167SDimitry Andric     if (const auto *ND = dyn_cast_or_null<NamedDecl>(D))
1226a7dea167SDimitry Andric       llvm::errs() << *ND << "\n";
1227a7dea167SDimitry Andric     else if (isa<BlockDecl>(D))
1228a7dea167SDimitry Andric       // FIXME: Make this nicer.
1229a7dea167SDimitry Andric       llvm::errs() << "<block>\n";
1230a7dea167SDimitry Andric     else if (D)
1231a7dea167SDimitry Andric       llvm::errs() << "<unknown decl>\n";
1232a7dea167SDimitry Andric     else
1233a7dea167SDimitry Andric       llvm::errs() << "<NULL DECL>\n";
1234a7dea167SDimitry Andric     break;
1235a7dea167SDimitry Andric   }
1236a7dea167SDimitry Andric }
1237