Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 1 | //===- Diagnostic.h - C Language Family Diagnostic Handling -----*- C++ -*-===// |
| 2 | // |
||
| 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
||
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
||
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
||
| 6 | // |
||
| 7 | //===----------------------------------------------------------------------===// |
||
| 8 | // |
||
| 9 | /// \file |
||
| 10 | /// Defines the Diagnostic-related interfaces. |
||
| 11 | // |
||
| 12 | //===----------------------------------------------------------------------===// |
||
| 13 | |||
| 14 | #ifndef LLVM_CLANG_BASIC_DIAGNOSTIC_H |
||
| 15 | #define LLVM_CLANG_BASIC_DIAGNOSTIC_H |
||
| 16 | |||
| 17 | #include "clang/Basic/DiagnosticIDs.h" |
||
| 18 | #include "clang/Basic/DiagnosticOptions.h" |
||
| 19 | #include "clang/Basic/SourceLocation.h" |
||
| 20 | #include "clang/Basic/Specifiers.h" |
||
| 21 | #include "llvm/ADT/ArrayRef.h" |
||
| 22 | #include "llvm/ADT/DenseMap.h" |
||
| 23 | #include "llvm/ADT/IntrusiveRefCntPtr.h" |
||
| 24 | #include "llvm/ADT/SmallVector.h" |
||
| 25 | #include "llvm/ADT/StringRef.h" |
||
| 26 | #include "llvm/ADT/iterator_range.h" |
||
| 27 | #include "llvm/Support/Compiler.h" |
||
| 28 | #include <cassert> |
||
| 29 | #include <cstdint> |
||
| 30 | #include <limits> |
||
| 31 | #include <list> |
||
| 32 | #include <map> |
||
| 33 | #include <memory> |
||
| 34 | #include <optional> |
||
| 35 | #include <string> |
||
| 36 | #include <type_traits> |
||
| 37 | #include <utility> |
||
| 38 | #include <vector> |
||
| 39 | |||
| 40 | namespace llvm { |
||
| 41 | class Error; |
||
| 42 | class raw_ostream; |
||
| 43 | } // namespace llvm |
||
| 44 | |||
| 45 | namespace clang { |
||
| 46 | |||
| 47 | class DeclContext; |
||
| 48 | class DiagnosticBuilder; |
||
| 49 | class DiagnosticConsumer; |
||
| 50 | class IdentifierInfo; |
||
| 51 | class LangOptions; |
||
| 52 | class Preprocessor; |
||
| 53 | class SourceManager; |
||
| 54 | class StoredDiagnostic; |
||
| 55 | |||
| 56 | namespace tok { |
||
| 57 | |||
| 58 | enum TokenKind : unsigned short; |
||
| 59 | |||
| 60 | } // namespace tok |
||
| 61 | |||
| 62 | /// Annotates a diagnostic with some code that should be |
||
| 63 | /// inserted, removed, or replaced to fix the problem. |
||
| 64 | /// |
||
| 65 | /// This kind of hint should be used when we are certain that the |
||
| 66 | /// introduction, removal, or modification of a particular (small!) |
||
| 67 | /// amount of code will correct a compilation error. The compiler |
||
| 68 | /// should also provide full recovery from such errors, such that |
||
| 69 | /// suppressing the diagnostic output can still result in successful |
||
| 70 | /// compilation. |
||
| 71 | class FixItHint { |
||
| 72 | public: |
||
| 73 | /// Code that should be replaced to correct the error. Empty for an |
||
| 74 | /// insertion hint. |
||
| 75 | CharSourceRange RemoveRange; |
||
| 76 | |||
| 77 | /// Code in the specific range that should be inserted in the insertion |
||
| 78 | /// location. |
||
| 79 | CharSourceRange InsertFromRange; |
||
| 80 | |||
| 81 | /// The actual code to insert at the insertion location, as a |
||
| 82 | /// string. |
||
| 83 | std::string CodeToInsert; |
||
| 84 | |||
| 85 | bool BeforePreviousInsertions = false; |
||
| 86 | |||
| 87 | /// Empty code modification hint, indicating that no code |
||
| 88 | /// modification is known. |
||
| 89 | FixItHint() = default; |
||
| 90 | |||
| 91 | bool isNull() const { |
||
| 92 | return !RemoveRange.isValid(); |
||
| 93 | } |
||
| 94 | |||
| 95 | /// Create a code modification hint that inserts the given |
||
| 96 | /// code string at a specific location. |
||
| 97 | static FixItHint CreateInsertion(SourceLocation InsertionLoc, |
||
| 98 | StringRef Code, |
||
| 99 | bool BeforePreviousInsertions = false) { |
||
| 100 | FixItHint Hint; |
||
| 101 | Hint.RemoveRange = |
||
| 102 | CharSourceRange::getCharRange(InsertionLoc, InsertionLoc); |
||
| 103 | Hint.CodeToInsert = std::string(Code); |
||
| 104 | Hint.BeforePreviousInsertions = BeforePreviousInsertions; |
||
| 105 | return Hint; |
||
| 106 | } |
||
| 107 | |||
| 108 | /// Create a code modification hint that inserts the given |
||
| 109 | /// code from \p FromRange at a specific location. |
||
| 110 | static FixItHint CreateInsertionFromRange(SourceLocation InsertionLoc, |
||
| 111 | CharSourceRange FromRange, |
||
| 112 | bool BeforePreviousInsertions = false) { |
||
| 113 | FixItHint Hint; |
||
| 114 | Hint.RemoveRange = |
||
| 115 | CharSourceRange::getCharRange(InsertionLoc, InsertionLoc); |
||
| 116 | Hint.InsertFromRange = FromRange; |
||
| 117 | Hint.BeforePreviousInsertions = BeforePreviousInsertions; |
||
| 118 | return Hint; |
||
| 119 | } |
||
| 120 | |||
| 121 | /// Create a code modification hint that removes the given |
||
| 122 | /// source range. |
||
| 123 | static FixItHint CreateRemoval(CharSourceRange RemoveRange) { |
||
| 124 | FixItHint Hint; |
||
| 125 | Hint.RemoveRange = RemoveRange; |
||
| 126 | return Hint; |
||
| 127 | } |
||
| 128 | static FixItHint CreateRemoval(SourceRange RemoveRange) { |
||
| 129 | return CreateRemoval(CharSourceRange::getTokenRange(RemoveRange)); |
||
| 130 | } |
||
| 131 | |||
| 132 | /// Create a code modification hint that replaces the given |
||
| 133 | /// source range with the given code string. |
||
| 134 | static FixItHint CreateReplacement(CharSourceRange RemoveRange, |
||
| 135 | StringRef Code) { |
||
| 136 | FixItHint Hint; |
||
| 137 | Hint.RemoveRange = RemoveRange; |
||
| 138 | Hint.CodeToInsert = std::string(Code); |
||
| 139 | return Hint; |
||
| 140 | } |
||
| 141 | |||
| 142 | static FixItHint CreateReplacement(SourceRange RemoveRange, |
||
| 143 | StringRef Code) { |
||
| 144 | return CreateReplacement(CharSourceRange::getTokenRange(RemoveRange), Code); |
||
| 145 | } |
||
| 146 | }; |
||
| 147 | |||
| 148 | struct DiagnosticStorage { |
||
| 149 | enum { |
||
| 150 | /// The maximum number of arguments we can hold. We |
||
| 151 | /// currently only support up to 10 arguments (%0-%9). |
||
| 152 | /// |
||
| 153 | /// A single diagnostic with more than that almost certainly has to |
||
| 154 | /// be simplified anyway. |
||
| 155 | MaxArguments = 10 |
||
| 156 | }; |
||
| 157 | |||
| 158 | /// The number of entries in Arguments. |
||
| 159 | unsigned char NumDiagArgs = 0; |
||
| 160 | |||
| 161 | /// Specifies for each argument whether it is in DiagArgumentsStr |
||
| 162 | /// or in DiagArguments. |
||
| 163 | unsigned char DiagArgumentsKind[MaxArguments]; |
||
| 164 | |||
| 165 | /// The values for the various substitution positions. |
||
| 166 | /// |
||
| 167 | /// This is used when the argument is not an std::string. The specific value |
||
| 168 | /// is mangled into an uint64_t and the interpretation depends on exactly |
||
| 169 | /// what sort of argument kind it is. |
||
| 170 | uint64_t DiagArgumentsVal[MaxArguments]; |
||
| 171 | |||
| 172 | /// The values for the various substitution positions that have |
||
| 173 | /// string arguments. |
||
| 174 | std::string DiagArgumentsStr[MaxArguments]; |
||
| 175 | |||
| 176 | /// The list of ranges added to this diagnostic. |
||
| 177 | SmallVector<CharSourceRange, 8> DiagRanges; |
||
| 178 | |||
| 179 | /// If valid, provides a hint with some code to insert, remove, or |
||
| 180 | /// modify at a particular position. |
||
| 181 | SmallVector<FixItHint, 6> FixItHints; |
||
| 182 | |||
| 183 | DiagnosticStorage() = default; |
||
| 184 | }; |
||
| 185 | |||
| 186 | /// Concrete class used by the front-end to report problems and issues. |
||
| 187 | /// |
||
| 188 | /// This massages the diagnostics (e.g. handling things like "report warnings |
||
| 189 | /// as errors" and passes them off to the DiagnosticConsumer for reporting to |
||
| 190 | /// the user. DiagnosticsEngine is tied to one translation unit and one |
||
| 191 | /// SourceManager. |
||
| 192 | class DiagnosticsEngine : public RefCountedBase<DiagnosticsEngine> { |
||
| 193 | public: |
||
| 194 | /// The level of the diagnostic, after it has been through mapping. |
||
| 195 | enum Level { |
||
| 196 | Ignored = DiagnosticIDs::Ignored, |
||
| 197 | Note = DiagnosticIDs::Note, |
||
| 198 | Remark = DiagnosticIDs::Remark, |
||
| 199 | Warning = DiagnosticIDs::Warning, |
||
| 200 | Error = DiagnosticIDs::Error, |
||
| 201 | Fatal = DiagnosticIDs::Fatal |
||
| 202 | }; |
||
| 203 | |||
| 204 | enum ArgumentKind { |
||
| 205 | /// std::string |
||
| 206 | ak_std_string, |
||
| 207 | |||
| 208 | /// const char * |
||
| 209 | ak_c_string, |
||
| 210 | |||
| 211 | /// int |
||
| 212 | ak_sint, |
||
| 213 | |||
| 214 | /// unsigned |
||
| 215 | ak_uint, |
||
| 216 | |||
| 217 | /// enum TokenKind : unsigned |
||
| 218 | ak_tokenkind, |
||
| 219 | |||
| 220 | /// IdentifierInfo |
||
| 221 | ak_identifierinfo, |
||
| 222 | |||
| 223 | /// address space |
||
| 224 | ak_addrspace, |
||
| 225 | |||
| 226 | /// Qualifiers |
||
| 227 | ak_qual, |
||
| 228 | |||
| 229 | /// QualType |
||
| 230 | ak_qualtype, |
||
| 231 | |||
| 232 | /// DeclarationName |
||
| 233 | ak_declarationname, |
||
| 234 | |||
| 235 | /// NamedDecl * |
||
| 236 | ak_nameddecl, |
||
| 237 | |||
| 238 | /// NestedNameSpecifier * |
||
| 239 | ak_nestednamespec, |
||
| 240 | |||
| 241 | /// DeclContext * |
||
| 242 | ak_declcontext, |
||
| 243 | |||
| 244 | /// pair<QualType, QualType> |
||
| 245 | ak_qualtype_pair, |
||
| 246 | |||
| 247 | /// Attr * |
||
| 248 | ak_attr |
||
| 249 | }; |
||
| 250 | |||
| 251 | /// Represents on argument value, which is a union discriminated |
||
| 252 | /// by ArgumentKind, with a value. |
||
| 253 | using ArgumentValue = std::pair<ArgumentKind, intptr_t>; |
||
| 254 | |||
| 255 | private: |
||
| 256 | // Used by __extension__ |
||
| 257 | unsigned char AllExtensionsSilenced = 0; |
||
| 258 | |||
| 259 | // Treat fatal errors like errors. |
||
| 260 | bool FatalsAsError = false; |
||
| 261 | |||
| 262 | // Suppress all diagnostics. |
||
| 263 | bool SuppressAllDiagnostics = false; |
||
| 264 | |||
| 265 | // Elide common types of templates. |
||
| 266 | bool ElideType = true; |
||
| 267 | |||
| 268 | // Print a tree when comparing templates. |
||
| 269 | bool PrintTemplateTree = false; |
||
| 270 | |||
| 271 | // Color printing is enabled. |
||
| 272 | bool ShowColors = false; |
||
| 273 | |||
| 274 | // Which overload candidates to show. |
||
| 275 | OverloadsShown ShowOverloads = Ovl_All; |
||
| 276 | |||
| 277 | // With Ovl_Best, the number of overload candidates to show when we encounter |
||
| 278 | // an error. |
||
| 279 | // |
||
| 280 | // The value here is the number of candidates to show in the first nontrivial |
||
| 281 | // error. Future errors may show a different number of candidates. |
||
| 282 | unsigned NumOverloadsToShow = 32; |
||
| 283 | |||
| 284 | // Cap of # errors emitted, 0 -> no limit. |
||
| 285 | unsigned ErrorLimit = 0; |
||
| 286 | |||
| 287 | // Cap on depth of template backtrace stack, 0 -> no limit. |
||
| 288 | unsigned TemplateBacktraceLimit = 0; |
||
| 289 | |||
| 290 | // Cap on depth of constexpr evaluation backtrace stack, 0 -> no limit. |
||
| 291 | unsigned ConstexprBacktraceLimit = 0; |
||
| 292 | |||
| 293 | IntrusiveRefCntPtr<DiagnosticIDs> Diags; |
||
| 294 | IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts; |
||
| 295 | DiagnosticConsumer *Client = nullptr; |
||
| 296 | std::unique_ptr<DiagnosticConsumer> Owner; |
||
| 297 | SourceManager *SourceMgr = nullptr; |
||
| 298 | |||
| 299 | /// Mapping information for diagnostics. |
||
| 300 | /// |
||
| 301 | /// Mapping info is packed into four bits per diagnostic. The low three |
||
| 302 | /// bits are the mapping (an instance of diag::Severity), or zero if unset. |
||
| 303 | /// The high bit is set when the mapping was established as a user mapping. |
||
| 304 | /// If the high bit is clear, then the low bits are set to the default |
||
| 305 | /// value, and should be mapped with -pedantic, -Werror, etc. |
||
| 306 | /// |
||
| 307 | /// A new DiagState is created and kept around when diagnostic pragmas modify |
||
| 308 | /// the state so that we know what is the diagnostic state at any given |
||
| 309 | /// source location. |
||
| 310 | class DiagState { |
||
| 311 | llvm::DenseMap<unsigned, DiagnosticMapping> DiagMap; |
||
| 312 | |||
| 313 | public: |
||
| 314 | // "Global" configuration state that can actually vary between modules. |
||
| 315 | |||
| 316 | // Ignore all warnings: -w |
||
| 317 | unsigned IgnoreAllWarnings : 1; |
||
| 318 | |||
| 319 | // Enable all warnings. |
||
| 320 | unsigned EnableAllWarnings : 1; |
||
| 321 | |||
| 322 | // Treat warnings like errors. |
||
| 323 | unsigned WarningsAsErrors : 1; |
||
| 324 | |||
| 325 | // Treat errors like fatal errors. |
||
| 326 | unsigned ErrorsAsFatal : 1; |
||
| 327 | |||
| 328 | // Suppress warnings in system headers. |
||
| 329 | unsigned SuppressSystemWarnings : 1; |
||
| 330 | |||
| 331 | // Map extensions to warnings or errors? |
||
| 332 | diag::Severity ExtBehavior = diag::Severity::Ignored; |
||
| 333 | |||
| 334 | DiagState() |
||
| 335 | : IgnoreAllWarnings(false), EnableAllWarnings(false), |
||
| 336 | WarningsAsErrors(false), ErrorsAsFatal(false), |
||
| 337 | SuppressSystemWarnings(false) {} |
||
| 338 | |||
| 339 | using iterator = llvm::DenseMap<unsigned, DiagnosticMapping>::iterator; |
||
| 340 | using const_iterator = |
||
| 341 | llvm::DenseMap<unsigned, DiagnosticMapping>::const_iterator; |
||
| 342 | |||
| 343 | void setMapping(diag::kind Diag, DiagnosticMapping Info) { |
||
| 344 | DiagMap[Diag] = Info; |
||
| 345 | } |
||
| 346 | |||
| 347 | DiagnosticMapping lookupMapping(diag::kind Diag) const { |
||
| 348 | return DiagMap.lookup(Diag); |
||
| 349 | } |
||
| 350 | |||
| 351 | DiagnosticMapping &getOrAddMapping(diag::kind Diag); |
||
| 352 | |||
| 353 | const_iterator begin() const { return DiagMap.begin(); } |
||
| 354 | const_iterator end() const { return DiagMap.end(); } |
||
| 355 | }; |
||
| 356 | |||
| 357 | /// Keeps and automatically disposes all DiagStates that we create. |
||
| 358 | std::list<DiagState> DiagStates; |
||
| 359 | |||
| 360 | /// A mapping from files to the diagnostic states for those files. Lazily |
||
| 361 | /// built on demand for files in which the diagnostic state has not changed. |
||
| 362 | class DiagStateMap { |
||
| 363 | public: |
||
| 364 | /// Add an initial diagnostic state. |
||
| 365 | void appendFirst(DiagState *State); |
||
| 366 | |||
| 367 | /// Add a new latest state point. |
||
| 368 | void append(SourceManager &SrcMgr, SourceLocation Loc, DiagState *State); |
||
| 369 | |||
| 370 | /// Look up the diagnostic state at a given source location. |
||
| 371 | DiagState *lookup(SourceManager &SrcMgr, SourceLocation Loc) const; |
||
| 372 | |||
| 373 | /// Determine whether this map is empty. |
||
| 374 | bool empty() const { return Files.empty(); } |
||
| 375 | |||
| 376 | /// Clear out this map. |
||
| 377 | void clear() { |
||
| 378 | Files.clear(); |
||
| 379 | FirstDiagState = CurDiagState = nullptr; |
||
| 380 | CurDiagStateLoc = SourceLocation(); |
||
| 381 | } |
||
| 382 | |||
| 383 | /// Produce a debugging dump of the diagnostic state. |
||
| 384 | LLVM_DUMP_METHOD void dump(SourceManager &SrcMgr, |
||
| 385 | StringRef DiagName = StringRef()) const; |
||
| 386 | |||
| 387 | /// Grab the most-recently-added state point. |
||
| 388 | DiagState *getCurDiagState() const { return CurDiagState; } |
||
| 389 | |||
| 390 | /// Get the location at which a diagnostic state was last added. |
||
| 391 | SourceLocation getCurDiagStateLoc() const { return CurDiagStateLoc; } |
||
| 392 | |||
| 393 | private: |
||
| 394 | friend class ASTReader; |
||
| 395 | friend class ASTWriter; |
||
| 396 | |||
| 397 | /// Represents a point in source where the diagnostic state was |
||
| 398 | /// modified because of a pragma. |
||
| 399 | /// |
||
| 400 | /// 'Loc' can be null if the point represents the diagnostic state |
||
| 401 | /// modifications done through the command-line. |
||
| 402 | struct DiagStatePoint { |
||
| 403 | DiagState *State; |
||
| 404 | unsigned Offset; |
||
| 405 | |||
| 406 | DiagStatePoint(DiagState *State, unsigned Offset) |
||
| 407 | : State(State), Offset(Offset) {} |
||
| 408 | }; |
||
| 409 | |||
| 410 | /// Description of the diagnostic states and state transitions for a |
||
| 411 | /// particular FileID. |
||
| 412 | struct File { |
||
| 413 | /// The diagnostic state for the parent file. This is strictly redundant, |
||
| 414 | /// as looking up the DecomposedIncludedLoc for the FileID in the Files |
||
| 415 | /// map would give us this, but we cache it here for performance. |
||
| 416 | File *Parent = nullptr; |
||
| 417 | |||
| 418 | /// The offset of this file within its parent. |
||
| 419 | unsigned ParentOffset = 0; |
||
| 420 | |||
| 421 | /// Whether this file has any local (not imported from an AST file) |
||
| 422 | /// diagnostic state transitions. |
||
| 423 | bool HasLocalTransitions = false; |
||
| 424 | |||
| 425 | /// The points within the file where the state changes. There will always |
||
| 426 | /// be at least one of these (the state on entry to the file). |
||
| 427 | llvm::SmallVector<DiagStatePoint, 4> StateTransitions; |
||
| 428 | |||
| 429 | DiagState *lookup(unsigned Offset) const; |
||
| 430 | }; |
||
| 431 | |||
| 432 | /// The diagnostic states for each file. |
||
| 433 | mutable std::map<FileID, File> Files; |
||
| 434 | |||
| 435 | /// The initial diagnostic state. |
||
| 436 | DiagState *FirstDiagState; |
||
| 437 | |||
| 438 | /// The current diagnostic state. |
||
| 439 | DiagState *CurDiagState; |
||
| 440 | |||
| 441 | /// The location at which the current diagnostic state was established. |
||
| 442 | SourceLocation CurDiagStateLoc; |
||
| 443 | |||
| 444 | /// Get the diagnostic state information for a file. |
||
| 445 | File *getFile(SourceManager &SrcMgr, FileID ID) const; |
||
| 446 | }; |
||
| 447 | |||
| 448 | DiagStateMap DiagStatesByLoc; |
||
| 449 | |||
| 450 | /// Keeps the DiagState that was active during each diagnostic 'push' |
||
| 451 | /// so we can get back at it when we 'pop'. |
||
| 452 | std::vector<DiagState *> DiagStateOnPushStack; |
||
| 453 | |||
| 454 | DiagState *GetCurDiagState() const { |
||
| 455 | return DiagStatesByLoc.getCurDiagState(); |
||
| 456 | } |
||
| 457 | |||
| 458 | void PushDiagStatePoint(DiagState *State, SourceLocation L); |
||
| 459 | |||
| 460 | /// Finds the DiagStatePoint that contains the diagnostic state of |
||
| 461 | /// the given source location. |
||
| 462 | DiagState *GetDiagStateForLoc(SourceLocation Loc) const { |
||
| 463 | return SourceMgr ? DiagStatesByLoc.lookup(*SourceMgr, Loc) |
||
| 464 | : DiagStatesByLoc.getCurDiagState(); |
||
| 465 | } |
||
| 466 | |||
| 467 | /// Sticky flag set to \c true when an error is emitted. |
||
| 468 | bool ErrorOccurred; |
||
| 469 | |||
| 470 | /// Sticky flag set to \c true when an "uncompilable error" occurs. |
||
| 471 | /// I.e. an error that was not upgraded from a warning by -Werror. |
||
| 472 | bool UncompilableErrorOccurred; |
||
| 473 | |||
| 474 | /// Sticky flag set to \c true when a fatal error is emitted. |
||
| 475 | bool FatalErrorOccurred; |
||
| 476 | |||
| 477 | /// Indicates that an unrecoverable error has occurred. |
||
| 478 | bool UnrecoverableErrorOccurred; |
||
| 479 | |||
| 480 | /// Counts for DiagnosticErrorTrap to check whether an error occurred |
||
| 481 | /// during a parsing section, e.g. during parsing a function. |
||
| 482 | unsigned TrapNumErrorsOccurred; |
||
| 483 | unsigned TrapNumUnrecoverableErrorsOccurred; |
||
| 484 | |||
| 485 | /// The level of the last diagnostic emitted. |
||
| 486 | /// |
||
| 487 | /// This is used to emit continuation diagnostics with the same level as the |
||
| 488 | /// diagnostic that they follow. |
||
| 489 | DiagnosticIDs::Level LastDiagLevel; |
||
| 490 | |||
| 491 | /// Number of warnings reported |
||
| 492 | unsigned NumWarnings; |
||
| 493 | |||
| 494 | /// Number of errors reported |
||
| 495 | unsigned NumErrors; |
||
| 496 | |||
| 497 | /// A function pointer that converts an opaque diagnostic |
||
| 498 | /// argument to a strings. |
||
| 499 | /// |
||
| 500 | /// This takes the modifiers and argument that was present in the diagnostic. |
||
| 501 | /// |
||
| 502 | /// The PrevArgs array indicates the previous arguments formatted for this |
||
| 503 | /// diagnostic. Implementations of this function can use this information to |
||
| 504 | /// avoid redundancy across arguments. |
||
| 505 | /// |
||
| 506 | /// This is a hack to avoid a layering violation between libbasic and libsema. |
||
| 507 | using ArgToStringFnTy = void (*)( |
||
| 508 | ArgumentKind Kind, intptr_t Val, |
||
| 509 | StringRef Modifier, StringRef Argument, |
||
| 510 | ArrayRef<ArgumentValue> PrevArgs, |
||
| 511 | SmallVectorImpl<char> &Output, |
||
| 512 | void *Cookie, |
||
| 513 | ArrayRef<intptr_t> QualTypeVals); |
||
| 514 | |||
| 515 | void *ArgToStringCookie = nullptr; |
||
| 516 | ArgToStringFnTy ArgToStringFn; |
||
| 517 | |||
| 518 | /// ID of the "delayed" diagnostic, which is a (typically |
||
| 519 | /// fatal) diagnostic that had to be delayed because it was found |
||
| 520 | /// while emitting another diagnostic. |
||
| 521 | unsigned DelayedDiagID; |
||
| 522 | |||
| 523 | /// First string argument for the delayed diagnostic. |
||
| 524 | std::string DelayedDiagArg1; |
||
| 525 | |||
| 526 | /// Second string argument for the delayed diagnostic. |
||
| 527 | std::string DelayedDiagArg2; |
||
| 528 | |||
| 529 | /// Third string argument for the delayed diagnostic. |
||
| 530 | std::string DelayedDiagArg3; |
||
| 531 | |||
| 532 | /// Optional flag value. |
||
| 533 | /// |
||
| 534 | /// Some flags accept values, for instance: -Wframe-larger-than=<value> and |
||
| 535 | /// -Rpass=<value>. The content of this string is emitted after the flag name |
||
| 536 | /// and '='. |
||
| 537 | std::string FlagValue; |
||
| 538 | |||
| 539 | public: |
||
| 540 | explicit DiagnosticsEngine(IntrusiveRefCntPtr<DiagnosticIDs> Diags, |
||
| 541 | IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts, |
||
| 542 | DiagnosticConsumer *client = nullptr, |
||
| 543 | bool ShouldOwnClient = true); |
||
| 544 | DiagnosticsEngine(const DiagnosticsEngine &) = delete; |
||
| 545 | DiagnosticsEngine &operator=(const DiagnosticsEngine &) = delete; |
||
| 546 | ~DiagnosticsEngine(); |
||
| 547 | |||
| 548 | friend void DiagnosticsTestHelper(DiagnosticsEngine &); |
||
| 549 | LLVM_DUMP_METHOD void dump() const; |
||
| 550 | LLVM_DUMP_METHOD void dump(StringRef DiagName) const; |
||
| 551 | |||
| 552 | const IntrusiveRefCntPtr<DiagnosticIDs> &getDiagnosticIDs() const { |
||
| 553 | return Diags; |
||
| 554 | } |
||
| 555 | |||
| 556 | /// Retrieve the diagnostic options. |
||
| 557 | DiagnosticOptions &getDiagnosticOptions() const { return *DiagOpts; } |
||
| 558 | |||
| 559 | using diag_mapping_range = llvm::iterator_range<DiagState::const_iterator>; |
||
| 560 | |||
| 561 | /// Get the current set of diagnostic mappings. |
||
| 562 | diag_mapping_range getDiagnosticMappings() const { |
||
| 563 | const DiagState &DS = *GetCurDiagState(); |
||
| 564 | return diag_mapping_range(DS.begin(), DS.end()); |
||
| 565 | } |
||
| 566 | |||
| 567 | DiagnosticConsumer *getClient() { return Client; } |
||
| 568 | const DiagnosticConsumer *getClient() const { return Client; } |
||
| 569 | |||
| 570 | /// Determine whether this \c DiagnosticsEngine object own its client. |
||
| 571 | bool ownsClient() const { return Owner != nullptr; } |
||
| 572 | |||
| 573 | /// Return the current diagnostic client along with ownership of that |
||
| 574 | /// client. |
||
| 575 | std::unique_ptr<DiagnosticConsumer> takeClient() { return std::move(Owner); } |
||
| 576 | |||
| 577 | bool hasSourceManager() const { return SourceMgr != nullptr; } |
||
| 578 | |||
| 579 | SourceManager &getSourceManager() const { |
||
| 580 | assert(SourceMgr && "SourceManager not set!"); |
||
| 581 | return *SourceMgr; |
||
| 582 | } |
||
| 583 | |||
| 584 | void setSourceManager(SourceManager *SrcMgr) { |
||
| 585 | assert(DiagStatesByLoc.empty() && |
||
| 586 | "Leftover diag state from a different SourceManager."); |
||
| 587 | SourceMgr = SrcMgr; |
||
| 588 | } |
||
| 589 | |||
| 590 | //===--------------------------------------------------------------------===// |
||
| 591 | // DiagnosticsEngine characterization methods, used by a client to customize |
||
| 592 | // how diagnostics are emitted. |
||
| 593 | // |
||
| 594 | |||
| 595 | /// Copies the current DiagMappings and pushes the new copy |
||
| 596 | /// onto the top of the stack. |
||
| 597 | void pushMappings(SourceLocation Loc); |
||
| 598 | |||
| 599 | /// Pops the current DiagMappings off the top of the stack, |
||
| 600 | /// causing the new top of the stack to be the active mappings. |
||
| 601 | /// |
||
| 602 | /// \returns \c true if the pop happens, \c false if there is only one |
||
| 603 | /// DiagMapping on the stack. |
||
| 604 | bool popMappings(SourceLocation Loc); |
||
| 605 | |||
| 606 | /// Set the diagnostic client associated with this diagnostic object. |
||
| 607 | /// |
||
| 608 | /// \param ShouldOwnClient true if the diagnostic object should take |
||
| 609 | /// ownership of \c client. |
||
| 610 | void setClient(DiagnosticConsumer *client, bool ShouldOwnClient = true); |
||
| 611 | |||
| 612 | /// Specify a limit for the number of errors we should |
||
| 613 | /// emit before giving up. |
||
| 614 | /// |
||
| 615 | /// Zero disables the limit. |
||
| 616 | void setErrorLimit(unsigned Limit) { ErrorLimit = Limit; } |
||
| 617 | |||
| 618 | /// Specify the maximum number of template instantiation |
||
| 619 | /// notes to emit along with a given diagnostic. |
||
| 620 | void setTemplateBacktraceLimit(unsigned Limit) { |
||
| 621 | TemplateBacktraceLimit = Limit; |
||
| 622 | } |
||
| 623 | |||
| 624 | /// Retrieve the maximum number of template instantiation |
||
| 625 | /// notes to emit along with a given diagnostic. |
||
| 626 | unsigned getTemplateBacktraceLimit() const { |
||
| 627 | return TemplateBacktraceLimit; |
||
| 628 | } |
||
| 629 | |||
| 630 | /// Specify the maximum number of constexpr evaluation |
||
| 631 | /// notes to emit along with a given diagnostic. |
||
| 632 | void setConstexprBacktraceLimit(unsigned Limit) { |
||
| 633 | ConstexprBacktraceLimit = Limit; |
||
| 634 | } |
||
| 635 | |||
| 636 | /// Retrieve the maximum number of constexpr evaluation |
||
| 637 | /// notes to emit along with a given diagnostic. |
||
| 638 | unsigned getConstexprBacktraceLimit() const { |
||
| 639 | return ConstexprBacktraceLimit; |
||
| 640 | } |
||
| 641 | |||
| 642 | /// When set to true, any unmapped warnings are ignored. |
||
| 643 | /// |
||
| 644 | /// If this and WarningsAsErrors are both set, then this one wins. |
||
| 645 | void setIgnoreAllWarnings(bool Val) { |
||
| 646 | GetCurDiagState()->IgnoreAllWarnings = Val; |
||
| 647 | } |
||
| 648 | bool getIgnoreAllWarnings() const { |
||
| 649 | return GetCurDiagState()->IgnoreAllWarnings; |
||
| 650 | } |
||
| 651 | |||
| 652 | /// When set to true, any unmapped ignored warnings are no longer |
||
| 653 | /// ignored. |
||
| 654 | /// |
||
| 655 | /// If this and IgnoreAllWarnings are both set, then that one wins. |
||
| 656 | void setEnableAllWarnings(bool Val) { |
||
| 657 | GetCurDiagState()->EnableAllWarnings = Val; |
||
| 658 | } |
||
| 659 | bool getEnableAllWarnings() const { |
||
| 660 | return GetCurDiagState()->EnableAllWarnings; |
||
| 661 | } |
||
| 662 | |||
| 663 | /// When set to true, any warnings reported are issued as errors. |
||
| 664 | void setWarningsAsErrors(bool Val) { |
||
| 665 | GetCurDiagState()->WarningsAsErrors = Val; |
||
| 666 | } |
||
| 667 | bool getWarningsAsErrors() const { |
||
| 668 | return GetCurDiagState()->WarningsAsErrors; |
||
| 669 | } |
||
| 670 | |||
| 671 | /// When set to true, any error reported is made a fatal error. |
||
| 672 | void setErrorsAsFatal(bool Val) { GetCurDiagState()->ErrorsAsFatal = Val; } |
||
| 673 | bool getErrorsAsFatal() const { return GetCurDiagState()->ErrorsAsFatal; } |
||
| 674 | |||
| 675 | /// \brief When set to true, any fatal error reported is made an error. |
||
| 676 | /// |
||
| 677 | /// This setting takes precedence over the setErrorsAsFatal setting above. |
||
| 678 | void setFatalsAsError(bool Val) { FatalsAsError = Val; } |
||
| 679 | bool getFatalsAsError() const { return FatalsAsError; } |
||
| 680 | |||
| 681 | /// When set to true mask warnings that come from system headers. |
||
| 682 | void setSuppressSystemWarnings(bool Val) { |
||
| 683 | GetCurDiagState()->SuppressSystemWarnings = Val; |
||
| 684 | } |
||
| 685 | bool getSuppressSystemWarnings() const { |
||
| 686 | return GetCurDiagState()->SuppressSystemWarnings; |
||
| 687 | } |
||
| 688 | |||
| 689 | /// Suppress all diagnostics, to silence the front end when we |
||
| 690 | /// know that we don't want any more diagnostics to be passed along to the |
||
| 691 | /// client |
||
| 692 | void setSuppressAllDiagnostics(bool Val) { SuppressAllDiagnostics = Val; } |
||
| 693 | bool getSuppressAllDiagnostics() const { return SuppressAllDiagnostics; } |
||
| 694 | |||
| 695 | /// Set type eliding, to skip outputting same types occurring in |
||
| 696 | /// template types. |
||
| 697 | void setElideType(bool Val) { ElideType = Val; } |
||
| 698 | bool getElideType() { return ElideType; } |
||
| 699 | |||
| 700 | /// Set tree printing, to outputting the template difference in a |
||
| 701 | /// tree format. |
||
| 702 | void setPrintTemplateTree(bool Val) { PrintTemplateTree = Val; } |
||
| 703 | bool getPrintTemplateTree() { return PrintTemplateTree; } |
||
| 704 | |||
| 705 | /// Set color printing, so the type diffing will inject color markers |
||
| 706 | /// into the output. |
||
| 707 | void setShowColors(bool Val) { ShowColors = Val; } |
||
| 708 | bool getShowColors() { return ShowColors; } |
||
| 709 | |||
| 710 | /// Specify which overload candidates to show when overload resolution |
||
| 711 | /// fails. |
||
| 712 | /// |
||
| 713 | /// By default, we show all candidates. |
||
| 714 | void setShowOverloads(OverloadsShown Val) { |
||
| 715 | ShowOverloads = Val; |
||
| 716 | } |
||
| 717 | OverloadsShown getShowOverloads() const { return ShowOverloads; } |
||
| 718 | |||
| 719 | /// When a call or operator fails, print out up to this many candidate |
||
| 720 | /// overloads as suggestions. |
||
| 721 | /// |
||
| 722 | /// With Ovl_Best, we set a high limit for the first nontrivial overload set |
||
| 723 | /// we print, and a lower limit for later sets. This way the user has a |
||
| 724 | /// chance of diagnosing at least one callsite in their program without |
||
| 725 | /// having to recompile with -fshow-overloads=all. |
||
| 726 | unsigned getNumOverloadCandidatesToShow() const { |
||
| 727 | switch (getShowOverloads()) { |
||
| 728 | case Ovl_All: |
||
| 729 | // INT_MAX rather than UINT_MAX so that we don't have to think about the |
||
| 730 | // effect of implicit conversions on this value. In practice we'll never |
||
| 731 | // hit 2^31 candidates anyway. |
||
| 732 | return std::numeric_limits<int>::max(); |
||
| 733 | case Ovl_Best: |
||
| 734 | return NumOverloadsToShow; |
||
| 735 | } |
||
| 736 | llvm_unreachable("invalid OverloadsShown kind"); |
||
| 737 | } |
||
| 738 | |||
| 739 | /// Call this after showing N overload candidates. This influences the value |
||
| 740 | /// returned by later calls to getNumOverloadCandidatesToShow(). |
||
| 741 | void overloadCandidatesShown(unsigned N) { |
||
| 742 | // Current heuristic: Start out with a large value for NumOverloadsToShow, |
||
| 743 | // and then once we print one nontrivially-large overload set, decrease it |
||
| 744 | // for future calls. |
||
| 745 | if (N > 4) { |
||
| 746 | NumOverloadsToShow = 4; |
||
| 747 | } |
||
| 748 | } |
||
| 749 | |||
| 750 | /// Pretend that the last diagnostic issued was ignored, so any |
||
| 751 | /// subsequent notes will be suppressed, or restore a prior ignoring |
||
| 752 | /// state after ignoring some diagnostics and their notes, possibly in |
||
| 753 | /// the middle of another diagnostic. |
||
| 754 | /// |
||
| 755 | /// This can be used by clients who suppress diagnostics themselves. |
||
| 756 | void setLastDiagnosticIgnored(bool Ignored) { |
||
| 757 | if (LastDiagLevel == DiagnosticIDs::Fatal) |
||
| 758 | FatalErrorOccurred = true; |
||
| 759 | LastDiagLevel = Ignored ? DiagnosticIDs::Ignored : DiagnosticIDs::Warning; |
||
| 760 | } |
||
| 761 | |||
| 762 | /// Determine whether the previous diagnostic was ignored. This can |
||
| 763 | /// be used by clients that want to determine whether notes attached to a |
||
| 764 | /// diagnostic will be suppressed. |
||
| 765 | bool isLastDiagnosticIgnored() const { |
||
| 766 | return LastDiagLevel == DiagnosticIDs::Ignored; |
||
| 767 | } |
||
| 768 | |||
| 769 | /// Controls whether otherwise-unmapped extension diagnostics are |
||
| 770 | /// mapped onto ignore/warning/error. |
||
| 771 | /// |
||
| 772 | /// This corresponds to the GCC -pedantic and -pedantic-errors option. |
||
| 773 | void setExtensionHandlingBehavior(diag::Severity H) { |
||
| 774 | GetCurDiagState()->ExtBehavior = H; |
||
| 775 | } |
||
| 776 | diag::Severity getExtensionHandlingBehavior() const { |
||
| 777 | return GetCurDiagState()->ExtBehavior; |
||
| 778 | } |
||
| 779 | |||
| 780 | /// Counter bumped when an __extension__ block is/ encountered. |
||
| 781 | /// |
||
| 782 | /// When non-zero, all extension diagnostics are entirely silenced, no |
||
| 783 | /// matter how they are mapped. |
||
| 784 | void IncrementAllExtensionsSilenced() { ++AllExtensionsSilenced; } |
||
| 785 | void DecrementAllExtensionsSilenced() { --AllExtensionsSilenced; } |
||
| 786 | bool hasAllExtensionsSilenced() { return AllExtensionsSilenced != 0; } |
||
| 787 | |||
| 788 | /// This allows the client to specify that certain warnings are |
||
| 789 | /// ignored. |
||
| 790 | /// |
||
| 791 | /// Notes can never be mapped, errors can only be mapped to fatal, and |
||
| 792 | /// WARNINGs and EXTENSIONs can be mapped arbitrarily. |
||
| 793 | /// |
||
| 794 | /// \param Loc The source location that this change of diagnostic state should |
||
| 795 | /// take affect. It can be null if we are setting the latest state. |
||
| 796 | void setSeverity(diag::kind Diag, diag::Severity Map, SourceLocation Loc); |
||
| 797 | |||
| 798 | /// Change an entire diagnostic group (e.g. "unknown-pragmas") to |
||
| 799 | /// have the specified mapping. |
||
| 800 | /// |
||
| 801 | /// \returns true (and ignores the request) if "Group" was unknown, false |
||
| 802 | /// otherwise. |
||
| 803 | /// |
||
| 804 | /// \param Flavor The flavor of group to affect. -Rfoo does not affect the |
||
| 805 | /// state of the -Wfoo group and vice versa. |
||
| 806 | /// |
||
| 807 | /// \param Loc The source location that this change of diagnostic state should |
||
| 808 | /// take affect. It can be null if we are setting the state from command-line. |
||
| 809 | bool setSeverityForGroup(diag::Flavor Flavor, StringRef Group, |
||
| 810 | diag::Severity Map, |
||
| 811 | SourceLocation Loc = SourceLocation()); |
||
| 812 | bool setSeverityForGroup(diag::Flavor Flavor, diag::Group Group, |
||
| 813 | diag::Severity Map, |
||
| 814 | SourceLocation Loc = SourceLocation()); |
||
| 815 | |||
| 816 | /// Set the warning-as-error flag for the given diagnostic group. |
||
| 817 | /// |
||
| 818 | /// This function always only operates on the current diagnostic state. |
||
| 819 | /// |
||
| 820 | /// \returns True if the given group is unknown, false otherwise. |
||
| 821 | bool setDiagnosticGroupWarningAsError(StringRef Group, bool Enabled); |
||
| 822 | |||
| 823 | /// Set the error-as-fatal flag for the given diagnostic group. |
||
| 824 | /// |
||
| 825 | /// This function always only operates on the current diagnostic state. |
||
| 826 | /// |
||
| 827 | /// \returns True if the given group is unknown, false otherwise. |
||
| 828 | bool setDiagnosticGroupErrorAsFatal(StringRef Group, bool Enabled); |
||
| 829 | |||
| 830 | /// Add the specified mapping to all diagnostics of the specified |
||
| 831 | /// flavor. |
||
| 832 | /// |
||
| 833 | /// Mainly to be used by -Wno-everything to disable all warnings but allow |
||
| 834 | /// subsequent -W options to enable specific warnings. |
||
| 835 | void setSeverityForAll(diag::Flavor Flavor, diag::Severity Map, |
||
| 836 | SourceLocation Loc = SourceLocation()); |
||
| 837 | |||
| 838 | bool hasErrorOccurred() const { return ErrorOccurred; } |
||
| 839 | |||
| 840 | /// Errors that actually prevent compilation, not those that are |
||
| 841 | /// upgraded from a warning by -Werror. |
||
| 842 | bool hasUncompilableErrorOccurred() const { |
||
| 843 | return UncompilableErrorOccurred; |
||
| 844 | } |
||
| 845 | bool hasFatalErrorOccurred() const { return FatalErrorOccurred; } |
||
| 846 | |||
| 847 | /// Determine whether any kind of unrecoverable error has occurred. |
||
| 848 | bool hasUnrecoverableErrorOccurred() const { |
||
| 849 | return FatalErrorOccurred || UnrecoverableErrorOccurred; |
||
| 850 | } |
||
| 851 | |||
| 852 | unsigned getNumErrors() const { return NumErrors; } |
||
| 853 | unsigned getNumWarnings() const { return NumWarnings; } |
||
| 854 | |||
| 855 | void setNumWarnings(unsigned NumWarnings) { |
||
| 856 | this->NumWarnings = NumWarnings; |
||
| 857 | } |
||
| 858 | |||
| 859 | /// Return an ID for a diagnostic with the specified format string and |
||
| 860 | /// level. |
||
| 861 | /// |
||
| 862 | /// If this is the first request for this diagnostic, it is registered and |
||
| 863 | /// created, otherwise the existing ID is returned. |
||
| 864 | /// |
||
| 865 | /// \param FormatString A fixed diagnostic format string that will be hashed |
||
| 866 | /// and mapped to a unique DiagID. |
||
| 867 | template <unsigned N> |
||
| 868 | unsigned getCustomDiagID(Level L, const char (&FormatString)[N]) { |
||
| 869 | return Diags->getCustomDiagID((DiagnosticIDs::Level)L, |
||
| 870 | StringRef(FormatString, N - 1)); |
||
| 871 | } |
||
| 872 | |||
| 873 | /// Converts a diagnostic argument (as an intptr_t) into the string |
||
| 874 | /// that represents it. |
||
| 875 | void ConvertArgToString(ArgumentKind Kind, intptr_t Val, |
||
| 876 | StringRef Modifier, StringRef Argument, |
||
| 877 | ArrayRef<ArgumentValue> PrevArgs, |
||
| 878 | SmallVectorImpl<char> &Output, |
||
| 879 | ArrayRef<intptr_t> QualTypeVals) const { |
||
| 880 | ArgToStringFn(Kind, Val, Modifier, Argument, PrevArgs, Output, |
||
| 881 | ArgToStringCookie, QualTypeVals); |
||
| 882 | } |
||
| 883 | |||
| 884 | void SetArgToStringFn(ArgToStringFnTy Fn, void *Cookie) { |
||
| 885 | ArgToStringFn = Fn; |
||
| 886 | ArgToStringCookie = Cookie; |
||
| 887 | } |
||
| 888 | |||
| 889 | /// Note that the prior diagnostic was emitted by some other |
||
| 890 | /// \c DiagnosticsEngine, and we may be attaching a note to that diagnostic. |
||
| 891 | void notePriorDiagnosticFrom(const DiagnosticsEngine &Other) { |
||
| 892 | LastDiagLevel = Other.LastDiagLevel; |
||
| 893 | } |
||
| 894 | |||
| 895 | /// Reset the state of the diagnostic object to its initial configuration. |
||
| 896 | /// \param[in] soft - if true, doesn't reset the diagnostic mappings and state |
||
| 897 | void Reset(bool soft = false); |
||
| 898 | |||
| 899 | //===--------------------------------------------------------------------===// |
||
| 900 | // DiagnosticsEngine classification and reporting interfaces. |
||
| 901 | // |
||
| 902 | |||
| 903 | /// Determine whether the diagnostic is known to be ignored. |
||
| 904 | /// |
||
| 905 | /// This can be used to opportunistically avoid expensive checks when it's |
||
| 906 | /// known for certain that the diagnostic has been suppressed at the |
||
| 907 | /// specified location \p Loc. |
||
| 908 | /// |
||
| 909 | /// \param Loc The source location we are interested in finding out the |
||
| 910 | /// diagnostic state. Can be null in order to query the latest state. |
||
| 911 | bool isIgnored(unsigned DiagID, SourceLocation Loc) const { |
||
| 912 | return Diags->getDiagnosticSeverity(DiagID, Loc, *this) == |
||
| 913 | diag::Severity::Ignored; |
||
| 914 | } |
||
| 915 | |||
| 916 | /// Based on the way the client configured the DiagnosticsEngine |
||
| 917 | /// object, classify the specified diagnostic ID into a Level, consumable by |
||
| 918 | /// the DiagnosticConsumer. |
||
| 919 | /// |
||
| 920 | /// To preserve invariant assumptions, this function should not be used to |
||
| 921 | /// influence parse or semantic analysis actions. Instead consider using |
||
| 922 | /// \c isIgnored(). |
||
| 923 | /// |
||
| 924 | /// \param Loc The source location we are interested in finding out the |
||
| 925 | /// diagnostic state. Can be null in order to query the latest state. |
||
| 926 | Level getDiagnosticLevel(unsigned DiagID, SourceLocation Loc) const { |
||
| 927 | return (Level)Diags->getDiagnosticLevel(DiagID, Loc, *this); |
||
| 928 | } |
||
| 929 | |||
| 930 | /// Issue the message to the client. |
||
| 931 | /// |
||
| 932 | /// This actually returns an instance of DiagnosticBuilder which emits the |
||
| 933 | /// diagnostics (through @c ProcessDiag) when it is destroyed. |
||
| 934 | /// |
||
| 935 | /// \param DiagID A member of the @c diag::kind enum. |
||
| 936 | /// \param Loc Represents the source location associated with the diagnostic, |
||
| 937 | /// which can be an invalid location if no position information is available. |
||
| 938 | inline DiagnosticBuilder Report(SourceLocation Loc, unsigned DiagID); |
||
| 939 | inline DiagnosticBuilder Report(unsigned DiagID); |
||
| 940 | |||
| 941 | void Report(const StoredDiagnostic &storedDiag); |
||
| 942 | |||
| 943 | /// Determine whethere there is already a diagnostic in flight. |
||
| 944 | bool isDiagnosticInFlight() const { |
||
| 945 | return CurDiagID != std::numeric_limits<unsigned>::max(); |
||
| 946 | } |
||
| 947 | |||
| 948 | /// Set the "delayed" diagnostic that will be emitted once |
||
| 949 | /// the current diagnostic completes. |
||
| 950 | /// |
||
| 951 | /// If a diagnostic is already in-flight but the front end must |
||
| 952 | /// report a problem (e.g., with an inconsistent file system |
||
| 953 | /// state), this routine sets a "delayed" diagnostic that will be |
||
| 954 | /// emitted after the current diagnostic completes. This should |
||
| 955 | /// only be used for fatal errors detected at inconvenient |
||
| 956 | /// times. If emitting a delayed diagnostic causes a second delayed |
||
| 957 | /// diagnostic to be introduced, that second delayed diagnostic |
||
| 958 | /// will be ignored. |
||
| 959 | /// |
||
| 960 | /// \param DiagID The ID of the diagnostic being delayed. |
||
| 961 | /// |
||
| 962 | /// \param Arg1 A string argument that will be provided to the |
||
| 963 | /// diagnostic. A copy of this string will be stored in the |
||
| 964 | /// DiagnosticsEngine object itself. |
||
| 965 | /// |
||
| 966 | /// \param Arg2 A string argument that will be provided to the |
||
| 967 | /// diagnostic. A copy of this string will be stored in the |
||
| 968 | /// DiagnosticsEngine object itself. |
||
| 969 | /// |
||
| 970 | /// \param Arg3 A string argument that will be provided to the |
||
| 971 | /// diagnostic. A copy of this string will be stored in the |
||
| 972 | /// DiagnosticsEngine object itself. |
||
| 973 | void SetDelayedDiagnostic(unsigned DiagID, StringRef Arg1 = "", |
||
| 974 | StringRef Arg2 = "", StringRef Arg3 = ""); |
||
| 975 | |||
| 976 | /// Clear out the current diagnostic. |
||
| 977 | void Clear() { CurDiagID = std::numeric_limits<unsigned>::max(); } |
||
| 978 | |||
| 979 | /// Return the value associated with this diagnostic flag. |
||
| 980 | StringRef getFlagValue() const { return FlagValue; } |
||
| 981 | |||
| 982 | private: |
||
| 983 | // This is private state used by DiagnosticBuilder. We put it here instead of |
||
| 984 | // in DiagnosticBuilder in order to keep DiagnosticBuilder a small lightweight |
||
| 985 | // object. This implementation choice means that we can only have one |
||
| 986 | // diagnostic "in flight" at a time, but this seems to be a reasonable |
||
| 987 | // tradeoff to keep these objects small. Assertions verify that only one |
||
| 988 | // diagnostic is in flight at a time. |
||
| 989 | friend class Diagnostic; |
||
| 990 | friend class DiagnosticBuilder; |
||
| 991 | friend class DiagnosticErrorTrap; |
||
| 992 | friend class DiagnosticIDs; |
||
| 993 | friend class PartialDiagnostic; |
||
| 994 | |||
| 995 | /// Report the delayed diagnostic. |
||
| 996 | void ReportDelayed(); |
||
| 997 | |||
| 998 | /// The location of the current diagnostic that is in flight. |
||
| 999 | SourceLocation CurDiagLoc; |
||
| 1000 | |||
| 1001 | /// The ID of the current diagnostic that is in flight. |
||
| 1002 | /// |
||
| 1003 | /// This is set to std::numeric_limits<unsigned>::max() when there is no |
||
| 1004 | /// diagnostic in flight. |
||
| 1005 | unsigned CurDiagID; |
||
| 1006 | |||
| 1007 | enum { |
||
| 1008 | /// The maximum number of arguments we can hold. |
||
| 1009 | /// |
||
| 1010 | /// We currently only support up to 10 arguments (%0-%9). A single |
||
| 1011 | /// diagnostic with more than that almost certainly has to be simplified |
||
| 1012 | /// anyway. |
||
| 1013 | MaxArguments = DiagnosticStorage::MaxArguments, |
||
| 1014 | }; |
||
| 1015 | |||
| 1016 | DiagnosticStorage DiagStorage; |
||
| 1017 | |||
| 1018 | DiagnosticMapping makeUserMapping(diag::Severity Map, SourceLocation L) { |
||
| 1019 | bool isPragma = L.isValid(); |
||
| 1020 | DiagnosticMapping Mapping = |
||
| 1021 | DiagnosticMapping::Make(Map, /*IsUser=*/true, isPragma); |
||
| 1022 | |||
| 1023 | // If this is a pragma mapping, then set the diagnostic mapping flags so |
||
| 1024 | // that we override command line options. |
||
| 1025 | if (isPragma) { |
||
| 1026 | Mapping.setNoWarningAsError(true); |
||
| 1027 | Mapping.setNoErrorAsFatal(true); |
||
| 1028 | } |
||
| 1029 | |||
| 1030 | return Mapping; |
||
| 1031 | } |
||
| 1032 | |||
| 1033 | /// Used to report a diagnostic that is finally fully formed. |
||
| 1034 | /// |
||
| 1035 | /// \returns true if the diagnostic was emitted, false if it was suppressed. |
||
| 1036 | bool ProcessDiag() { |
||
| 1037 | return Diags->ProcessDiag(*this); |
||
| 1038 | } |
||
| 1039 | |||
| 1040 | /// @name Diagnostic Emission |
||
| 1041 | /// @{ |
||
| 1042 | protected: |
||
| 1043 | friend class ASTReader; |
||
| 1044 | friend class ASTWriter; |
||
| 1045 | |||
| 1046 | // Sema requires access to the following functions because the current design |
||
| 1047 | // of SFINAE requires it to use its own SemaDiagnosticBuilder, which needs to |
||
| 1048 | // access us directly to ensure we minimize the emitted code for the common |
||
| 1049 | // Sema::Diag() patterns. |
||
| 1050 | friend class Sema; |
||
| 1051 | |||
| 1052 | /// Emit the current diagnostic and clear the diagnostic state. |
||
| 1053 | /// |
||
| 1054 | /// \param Force Emit the diagnostic regardless of suppression settings. |
||
| 1055 | bool EmitCurrentDiagnostic(bool Force = false); |
||
| 1056 | |||
| 1057 | unsigned getCurrentDiagID() const { return CurDiagID; } |
||
| 1058 | |||
| 1059 | SourceLocation getCurrentDiagLoc() const { return CurDiagLoc; } |
||
| 1060 | |||
| 1061 | /// @} |
||
| 1062 | }; |
||
| 1063 | |||
| 1064 | /// RAII class that determines when any errors have occurred |
||
| 1065 | /// between the time the instance was created and the time it was |
||
| 1066 | /// queried. |
||
| 1067 | /// |
||
| 1068 | /// Note that you almost certainly do not want to use this. It's usually |
||
| 1069 | /// meaningless to ask whether a particular scope triggered an error message, |
||
| 1070 | /// because error messages outside that scope can mark things invalid (or cause |
||
| 1071 | /// us to reach an error limit), which can suppress errors within that scope. |
||
| 1072 | class DiagnosticErrorTrap { |
||
| 1073 | DiagnosticsEngine &Diag; |
||
| 1074 | unsigned NumErrors; |
||
| 1075 | unsigned NumUnrecoverableErrors; |
||
| 1076 | |||
| 1077 | public: |
||
| 1078 | explicit DiagnosticErrorTrap(DiagnosticsEngine &Diag) |
||
| 1079 | : Diag(Diag) { reset(); } |
||
| 1080 | |||
| 1081 | /// Determine whether any errors have occurred since this |
||
| 1082 | /// object instance was created. |
||
| 1083 | bool hasErrorOccurred() const { |
||
| 1084 | return Diag.TrapNumErrorsOccurred > NumErrors; |
||
| 1085 | } |
||
| 1086 | |||
| 1087 | /// Determine whether any unrecoverable errors have occurred since this |
||
| 1088 | /// object instance was created. |
||
| 1089 | bool hasUnrecoverableErrorOccurred() const { |
||
| 1090 | return Diag.TrapNumUnrecoverableErrorsOccurred > NumUnrecoverableErrors; |
||
| 1091 | } |
||
| 1092 | |||
| 1093 | /// Set to initial state of "no errors occurred". |
||
| 1094 | void reset() { |
||
| 1095 | NumErrors = Diag.TrapNumErrorsOccurred; |
||
| 1096 | NumUnrecoverableErrors = Diag.TrapNumUnrecoverableErrorsOccurred; |
||
| 1097 | } |
||
| 1098 | }; |
||
| 1099 | |||
| 1100 | /// The streaming interface shared between DiagnosticBuilder and |
||
| 1101 | /// PartialDiagnostic. This class is not intended to be constructed directly |
||
| 1102 | /// but only as base class of DiagnosticBuilder and PartialDiagnostic builder. |
||
| 1103 | /// |
||
| 1104 | /// Any new type of argument accepted by DiagnosticBuilder and PartialDiagnostic |
||
| 1105 | /// should be implemented as a '<<' operator of StreamingDiagnostic, e.g. |
||
| 1106 | /// |
||
| 1107 | /// const StreamingDiagnostic& |
||
| 1108 | /// operator<<(const StreamingDiagnostic&, NewArgType); |
||
| 1109 | /// |
||
| 1110 | class StreamingDiagnostic { |
||
| 1111 | public: |
||
| 1112 | /// An allocator for DiagnosticStorage objects, which uses a small cache to |
||
| 1113 | /// objects, used to reduce malloc()/free() traffic for partial diagnostics. |
||
| 1114 | class DiagStorageAllocator { |
||
| 1115 | static const unsigned NumCached = 16; |
||
| 1116 | DiagnosticStorage Cached[NumCached]; |
||
| 1117 | DiagnosticStorage *FreeList[NumCached]; |
||
| 1118 | unsigned NumFreeListEntries; |
||
| 1119 | |||
| 1120 | public: |
||
| 1121 | DiagStorageAllocator(); |
||
| 1122 | ~DiagStorageAllocator(); |
||
| 1123 | |||
| 1124 | /// Allocate new storage. |
||
| 1125 | DiagnosticStorage *Allocate() { |
||
| 1126 | if (NumFreeListEntries == 0) |
||
| 1127 | return new DiagnosticStorage; |
||
| 1128 | |||
| 1129 | DiagnosticStorage *Result = FreeList[--NumFreeListEntries]; |
||
| 1130 | Result->NumDiagArgs = 0; |
||
| 1131 | Result->DiagRanges.clear(); |
||
| 1132 | Result->FixItHints.clear(); |
||
| 1133 | return Result; |
||
| 1134 | } |
||
| 1135 | |||
| 1136 | /// Free the given storage object. |
||
| 1137 | void Deallocate(DiagnosticStorage *S) { |
||
| 1138 | if (S >= Cached && S <= Cached + NumCached) { |
||
| 1139 | FreeList[NumFreeListEntries++] = S; |
||
| 1140 | return; |
||
| 1141 | } |
||
| 1142 | |||
| 1143 | delete S; |
||
| 1144 | } |
||
| 1145 | }; |
||
| 1146 | |||
| 1147 | protected: |
||
| 1148 | mutable DiagnosticStorage *DiagStorage = nullptr; |
||
| 1149 | |||
| 1150 | /// Allocator used to allocate storage for this diagnostic. |
||
| 1151 | DiagStorageAllocator *Allocator = nullptr; |
||
| 1152 | |||
| 1153 | public: |
||
| 1154 | /// Retrieve storage for this particular diagnostic. |
||
| 1155 | DiagnosticStorage *getStorage() const { |
||
| 1156 | if (DiagStorage) |
||
| 1157 | return DiagStorage; |
||
| 1158 | |||
| 1159 | assert(Allocator); |
||
| 1160 | DiagStorage = Allocator->Allocate(); |
||
| 1161 | return DiagStorage; |
||
| 1162 | } |
||
| 1163 | |||
| 1164 | void freeStorage() { |
||
| 1165 | if (!DiagStorage) |
||
| 1166 | return; |
||
| 1167 | |||
| 1168 | // The hot path for PartialDiagnostic is when we just used it to wrap an ID |
||
| 1169 | // (typically so we have the flexibility of passing a more complex |
||
| 1170 | // diagnostic into the callee, but that does not commonly occur). |
||
| 1171 | // |
||
| 1172 | // Split this out into a slow function for silly compilers (*cough*) which |
||
| 1173 | // can't do decent partial inlining. |
||
| 1174 | freeStorageSlow(); |
||
| 1175 | } |
||
| 1176 | |||
| 1177 | void freeStorageSlow() { |
||
| 1178 | if (!Allocator) |
||
| 1179 | return; |
||
| 1180 | Allocator->Deallocate(DiagStorage); |
||
| 1181 | DiagStorage = nullptr; |
||
| 1182 | } |
||
| 1183 | |||
| 1184 | void AddTaggedVal(uint64_t V, DiagnosticsEngine::ArgumentKind Kind) const { |
||
| 1185 | if (!DiagStorage) |
||
| 1186 | DiagStorage = getStorage(); |
||
| 1187 | |||
| 1188 | assert(DiagStorage->NumDiagArgs < DiagnosticStorage::MaxArguments && |
||
| 1189 | "Too many arguments to diagnostic!"); |
||
| 1190 | DiagStorage->DiagArgumentsKind[DiagStorage->NumDiagArgs] = Kind; |
||
| 1191 | DiagStorage->DiagArgumentsVal[DiagStorage->NumDiagArgs++] = V; |
||
| 1192 | } |
||
| 1193 | |||
| 1194 | void AddString(StringRef V) const { |
||
| 1195 | if (!DiagStorage) |
||
| 1196 | DiagStorage = getStorage(); |
||
| 1197 | |||
| 1198 | assert(DiagStorage->NumDiagArgs < DiagnosticStorage::MaxArguments && |
||
| 1199 | "Too many arguments to diagnostic!"); |
||
| 1200 | DiagStorage->DiagArgumentsKind[DiagStorage->NumDiagArgs] = |
||
| 1201 | DiagnosticsEngine::ak_std_string; |
||
| 1202 | DiagStorage->DiagArgumentsStr[DiagStorage->NumDiagArgs++] = std::string(V); |
||
| 1203 | } |
||
| 1204 | |||
| 1205 | void AddSourceRange(const CharSourceRange &R) const { |
||
| 1206 | if (!DiagStorage) |
||
| 1207 | DiagStorage = getStorage(); |
||
| 1208 | |||
| 1209 | DiagStorage->DiagRanges.push_back(R); |
||
| 1210 | } |
||
| 1211 | |||
| 1212 | void AddFixItHint(const FixItHint &Hint) const { |
||
| 1213 | if (Hint.isNull()) |
||
| 1214 | return; |
||
| 1215 | |||
| 1216 | if (!DiagStorage) |
||
| 1217 | DiagStorage = getStorage(); |
||
| 1218 | |||
| 1219 | DiagStorage->FixItHints.push_back(Hint); |
||
| 1220 | } |
||
| 1221 | |||
| 1222 | /// Conversion of StreamingDiagnostic to bool always returns \c true. |
||
| 1223 | /// |
||
| 1224 | /// This allows is to be used in boolean error contexts (where \c true is |
||
| 1225 | /// used to indicate that an error has occurred), like: |
||
| 1226 | /// \code |
||
| 1227 | /// return Diag(...); |
||
| 1228 | /// \endcode |
||
| 1229 | operator bool() const { return true; } |
||
| 1230 | |||
| 1231 | protected: |
||
| 1232 | StreamingDiagnostic() = default; |
||
| 1233 | |||
| 1234 | /// Construct with an external storage not owned by itself. The allocator |
||
| 1235 | /// is a null pointer in this case. |
||
| 1236 | explicit StreamingDiagnostic(DiagnosticStorage *Storage) |
||
| 1237 | : DiagStorage(Storage) {} |
||
| 1238 | |||
| 1239 | /// Construct with a storage allocator which will manage the storage. The |
||
| 1240 | /// allocator is not a null pointer in this case. |
||
| 1241 | explicit StreamingDiagnostic(DiagStorageAllocator &Alloc) |
||
| 1242 | : Allocator(&Alloc) {} |
||
| 1243 | |||
| 1244 | StreamingDiagnostic(const StreamingDiagnostic &Diag) = default; |
||
| 1245 | StreamingDiagnostic(StreamingDiagnostic &&Diag) = default; |
||
| 1246 | |||
| 1247 | ~StreamingDiagnostic() { freeStorage(); } |
||
| 1248 | }; |
||
| 1249 | |||
| 1250 | //===----------------------------------------------------------------------===// |
||
| 1251 | // DiagnosticBuilder |
||
| 1252 | //===----------------------------------------------------------------------===// |
||
| 1253 | |||
| 1254 | /// A little helper class used to produce diagnostics. |
||
| 1255 | /// |
||
| 1256 | /// This is constructed by the DiagnosticsEngine::Report method, and |
||
| 1257 | /// allows insertion of extra information (arguments and source ranges) into |
||
| 1258 | /// the currently "in flight" diagnostic. When the temporary for the builder |
||
| 1259 | /// is destroyed, the diagnostic is issued. |
||
| 1260 | /// |
||
| 1261 | /// Note that many of these will be created as temporary objects (many call |
||
| 1262 | /// sites), so we want them to be small and we never want their address taken. |
||
| 1263 | /// This ensures that compilers with somewhat reasonable optimizers will promote |
||
| 1264 | /// the common fields to registers, eliminating increments of the NumArgs field, |
||
| 1265 | /// for example. |
||
| 1266 | class DiagnosticBuilder : public StreamingDiagnostic { |
||
| 1267 | friend class DiagnosticsEngine; |
||
| 1268 | friend class PartialDiagnostic; |
||
| 1269 | |||
| 1270 | mutable DiagnosticsEngine *DiagObj = nullptr; |
||
| 1271 | |||
| 1272 | /// Status variable indicating if this diagnostic is still active. |
||
| 1273 | /// |
||
| 1274 | // NOTE: This field is redundant with DiagObj (IsActive iff (DiagObj == 0)), |
||
| 1275 | // but LLVM is not currently smart enough to eliminate the null check that |
||
| 1276 | // Emit() would end up with if we used that as our status variable. |
||
| 1277 | mutable bool IsActive = false; |
||
| 1278 | |||
| 1279 | /// Flag indicating that this diagnostic is being emitted via a |
||
| 1280 | /// call to ForceEmit. |
||
| 1281 | mutable bool IsForceEmit = false; |
||
| 1282 | |||
| 1283 | DiagnosticBuilder() = default; |
||
| 1284 | |||
| 1285 | explicit DiagnosticBuilder(DiagnosticsEngine *diagObj) |
||
| 1286 | : StreamingDiagnostic(&diagObj->DiagStorage), DiagObj(diagObj), |
||
| 1287 | IsActive(true) { |
||
| 1288 | assert(diagObj && "DiagnosticBuilder requires a valid DiagnosticsEngine!"); |
||
| 1289 | assert(DiagStorage && |
||
| 1290 | "DiagnosticBuilder requires a valid DiagnosticStorage!"); |
||
| 1291 | DiagStorage->NumDiagArgs = 0; |
||
| 1292 | DiagStorage->DiagRanges.clear(); |
||
| 1293 | DiagStorage->FixItHints.clear(); |
||
| 1294 | } |
||
| 1295 | |||
| 1296 | protected: |
||
| 1297 | /// Clear out the current diagnostic. |
||
| 1298 | void Clear() const { |
||
| 1299 | DiagObj = nullptr; |
||
| 1300 | IsActive = false; |
||
| 1301 | IsForceEmit = false; |
||
| 1302 | } |
||
| 1303 | |||
| 1304 | /// Determine whether this diagnostic is still active. |
||
| 1305 | bool isActive() const { return IsActive; } |
||
| 1306 | |||
| 1307 | /// Force the diagnostic builder to emit the diagnostic now. |
||
| 1308 | /// |
||
| 1309 | /// Once this function has been called, the DiagnosticBuilder object |
||
| 1310 | /// should not be used again before it is destroyed. |
||
| 1311 | /// |
||
| 1312 | /// \returns true if a diagnostic was emitted, false if the |
||
| 1313 | /// diagnostic was suppressed. |
||
| 1314 | bool Emit() { |
||
| 1315 | // If this diagnostic is inactive, then its soul was stolen by the copy ctor |
||
| 1316 | // (or by a subclass, as in SemaDiagnosticBuilder). |
||
| 1317 | if (!isActive()) return false; |
||
| 1318 | |||
| 1319 | // Process the diagnostic. |
||
| 1320 | bool Result = DiagObj->EmitCurrentDiagnostic(IsForceEmit); |
||
| 1321 | |||
| 1322 | // This diagnostic is dead. |
||
| 1323 | Clear(); |
||
| 1324 | |||
| 1325 | return Result; |
||
| 1326 | } |
||
| 1327 | |||
| 1328 | public: |
||
| 1329 | /// Copy constructor. When copied, this "takes" the diagnostic info from the |
||
| 1330 | /// input and neuters it. |
||
| 1331 | DiagnosticBuilder(const DiagnosticBuilder &D) : StreamingDiagnostic() { |
||
| 1332 | DiagObj = D.DiagObj; |
||
| 1333 | DiagStorage = D.DiagStorage; |
||
| 1334 | IsActive = D.IsActive; |
||
| 1335 | IsForceEmit = D.IsForceEmit; |
||
| 1336 | D.Clear(); |
||
| 1337 | } |
||
| 1338 | |||
| 1339 | template <typename T> const DiagnosticBuilder &operator<<(const T &V) const { |
||
| 1340 | assert(isActive() && "Clients must not add to cleared diagnostic!"); |
||
| 1341 | const StreamingDiagnostic &DB = *this; |
||
| 1342 | DB << V; |
||
| 1343 | return *this; |
||
| 1344 | } |
||
| 1345 | |||
| 1346 | // It is necessary to limit this to rvalue reference to avoid calling this |
||
| 1347 | // function with a bitfield lvalue argument since non-const reference to |
||
| 1348 | // bitfield is not allowed. |
||
| 1349 | template <typename T, |
||
| 1350 | typename = std::enable_if_t<!std::is_lvalue_reference<T>::value>> |
||
| 1351 | const DiagnosticBuilder &operator<<(T &&V) const { |
||
| 1352 | assert(isActive() && "Clients must not add to cleared diagnostic!"); |
||
| 1353 | const StreamingDiagnostic &DB = *this; |
||
| 1354 | DB << std::move(V); |
||
| 1355 | return *this; |
||
| 1356 | } |
||
| 1357 | |||
| 1358 | DiagnosticBuilder &operator=(const DiagnosticBuilder &) = delete; |
||
| 1359 | |||
| 1360 | /// Emits the diagnostic. |
||
| 1361 | ~DiagnosticBuilder() { Emit(); } |
||
| 1362 | |||
| 1363 | /// Forces the diagnostic to be emitted. |
||
| 1364 | const DiagnosticBuilder &setForceEmit() const { |
||
| 1365 | IsForceEmit = true; |
||
| 1366 | return *this; |
||
| 1367 | } |
||
| 1368 | |||
| 1369 | void addFlagValue(StringRef V) const { DiagObj->FlagValue = std::string(V); } |
||
| 1370 | }; |
||
| 1371 | |||
| 1372 | struct AddFlagValue { |
||
| 1373 | StringRef Val; |
||
| 1374 | |||
| 1375 | explicit AddFlagValue(StringRef V) : Val(V) {} |
||
| 1376 | }; |
||
| 1377 | |||
| 1378 | /// Register a value for the flag in the current diagnostic. This |
||
| 1379 | /// value will be shown as the suffix "=value" after the flag name. It is |
||
| 1380 | /// useful in cases where the diagnostic flag accepts values (e.g., |
||
| 1381 | /// -Rpass or -Wframe-larger-than). |
||
| 1382 | inline const DiagnosticBuilder &operator<<(const DiagnosticBuilder &DB, |
||
| 1383 | const AddFlagValue V) { |
||
| 1384 | DB.addFlagValue(V.Val); |
||
| 1385 | return DB; |
||
| 1386 | } |
||
| 1387 | |||
| 1388 | inline const StreamingDiagnostic &operator<<(const StreamingDiagnostic &DB, |
||
| 1389 | StringRef S) { |
||
| 1390 | DB.AddString(S); |
||
| 1391 | return DB; |
||
| 1392 | } |
||
| 1393 | |||
| 1394 | inline const StreamingDiagnostic &operator<<(const StreamingDiagnostic &DB, |
||
| 1395 | const char *Str) { |
||
| 1396 | DB.AddTaggedVal(reinterpret_cast<intptr_t>(Str), |
||
| 1397 | DiagnosticsEngine::ak_c_string); |
||
| 1398 | return DB; |
||
| 1399 | } |
||
| 1400 | |||
| 1401 | inline const StreamingDiagnostic &operator<<(const StreamingDiagnostic &DB, |
||
| 1402 | int I) { |
||
| 1403 | DB.AddTaggedVal(I, DiagnosticsEngine::ak_sint); |
||
| 1404 | return DB; |
||
| 1405 | } |
||
| 1406 | |||
| 1407 | inline const StreamingDiagnostic &operator<<(const StreamingDiagnostic &DB, |
||
| 1408 | long I) { |
||
| 1409 | DB.AddTaggedVal(I, DiagnosticsEngine::ak_sint); |
||
| 1410 | return DB; |
||
| 1411 | } |
||
| 1412 | |||
| 1413 | inline const StreamingDiagnostic &operator<<(const StreamingDiagnostic &DB, |
||
| 1414 | long long I) { |
||
| 1415 | DB.AddTaggedVal(I, DiagnosticsEngine::ak_sint); |
||
| 1416 | return DB; |
||
| 1417 | } |
||
| 1418 | |||
| 1419 | // We use enable_if here to prevent that this overload is selected for |
||
| 1420 | // pointers or other arguments that are implicitly convertible to bool. |
||
| 1421 | template <typename T> |
||
| 1422 | inline std::enable_if_t<std::is_same<T, bool>::value, |
||
| 1423 | const StreamingDiagnostic &> |
||
| 1424 | operator<<(const StreamingDiagnostic &DB, T I) { |
||
| 1425 | DB.AddTaggedVal(I, DiagnosticsEngine::ak_sint); |
||
| 1426 | return DB; |
||
| 1427 | } |
||
| 1428 | |||
| 1429 | inline const StreamingDiagnostic &operator<<(const StreamingDiagnostic &DB, |
||
| 1430 | unsigned I) { |
||
| 1431 | DB.AddTaggedVal(I, DiagnosticsEngine::ak_uint); |
||
| 1432 | return DB; |
||
| 1433 | } |
||
| 1434 | |||
| 1435 | inline const StreamingDiagnostic &operator<<(const StreamingDiagnostic &DB, |
||
| 1436 | unsigned long I) { |
||
| 1437 | DB.AddTaggedVal(I, DiagnosticsEngine::ak_uint); |
||
| 1438 | return DB; |
||
| 1439 | } |
||
| 1440 | |||
| 1441 | inline const StreamingDiagnostic &operator<<(const StreamingDiagnostic &DB, |
||
| 1442 | unsigned long long I) { |
||
| 1443 | DB.AddTaggedVal(I, DiagnosticsEngine::ak_uint); |
||
| 1444 | return DB; |
||
| 1445 | } |
||
| 1446 | |||
| 1447 | inline const StreamingDiagnostic &operator<<(const StreamingDiagnostic &DB, |
||
| 1448 | tok::TokenKind I) { |
||
| 1449 | DB.AddTaggedVal(static_cast<unsigned>(I), DiagnosticsEngine::ak_tokenkind); |
||
| 1450 | return DB; |
||
| 1451 | } |
||
| 1452 | |||
| 1453 | inline const StreamingDiagnostic &operator<<(const StreamingDiagnostic &DB, |
||
| 1454 | const IdentifierInfo *II) { |
||
| 1455 | DB.AddTaggedVal(reinterpret_cast<intptr_t>(II), |
||
| 1456 | DiagnosticsEngine::ak_identifierinfo); |
||
| 1457 | return DB; |
||
| 1458 | } |
||
| 1459 | |||
| 1460 | // Adds a DeclContext to the diagnostic. The enable_if template magic is here |
||
| 1461 | // so that we only match those arguments that are (statically) DeclContexts; |
||
| 1462 | // other arguments that derive from DeclContext (e.g., RecordDecls) will not |
||
| 1463 | // match. |
||
| 1464 | template <typename T> |
||
| 1465 | inline std::enable_if_t< |
||
| 1466 | std::is_same<std::remove_const_t<T>, DeclContext>::value, |
||
| 1467 | const StreamingDiagnostic &> |
||
| 1468 | operator<<(const StreamingDiagnostic &DB, T *DC) { |
||
| 1469 | DB.AddTaggedVal(reinterpret_cast<intptr_t>(DC), |
||
| 1470 | DiagnosticsEngine::ak_declcontext); |
||
| 1471 | return DB; |
||
| 1472 | } |
||
| 1473 | |||
| 1474 | inline const StreamingDiagnostic &operator<<(const StreamingDiagnostic &DB, |
||
| 1475 | SourceLocation L) { |
||
| 1476 | DB.AddSourceRange(CharSourceRange::getTokenRange(L)); |
||
| 1477 | return DB; |
||
| 1478 | } |
||
| 1479 | |||
| 1480 | inline const StreamingDiagnostic &operator<<(const StreamingDiagnostic &DB, |
||
| 1481 | SourceRange R) { |
||
| 1482 | DB.AddSourceRange(CharSourceRange::getTokenRange(R)); |
||
| 1483 | return DB; |
||
| 1484 | } |
||
| 1485 | |||
| 1486 | inline const StreamingDiagnostic &operator<<(const StreamingDiagnostic &DB, |
||
| 1487 | ArrayRef<SourceRange> Ranges) { |
||
| 1488 | for (SourceRange R : Ranges) |
||
| 1489 | DB.AddSourceRange(CharSourceRange::getTokenRange(R)); |
||
| 1490 | return DB; |
||
| 1491 | } |
||
| 1492 | |||
| 1493 | inline const StreamingDiagnostic &operator<<(const StreamingDiagnostic &DB, |
||
| 1494 | const CharSourceRange &R) { |
||
| 1495 | DB.AddSourceRange(R); |
||
| 1496 | return DB; |
||
| 1497 | } |
||
| 1498 | |||
| 1499 | inline const StreamingDiagnostic &operator<<(const StreamingDiagnostic &DB, |
||
| 1500 | const FixItHint &Hint) { |
||
| 1501 | DB.AddFixItHint(Hint); |
||
| 1502 | return DB; |
||
| 1503 | } |
||
| 1504 | |||
| 1505 | inline const StreamingDiagnostic &operator<<(const StreamingDiagnostic &DB, |
||
| 1506 | ArrayRef<FixItHint> Hints) { |
||
| 1507 | for (const FixItHint &Hint : Hints) |
||
| 1508 | DB.AddFixItHint(Hint); |
||
| 1509 | return DB; |
||
| 1510 | } |
||
| 1511 | |||
| 1512 | inline const StreamingDiagnostic & |
||
| 1513 | operator<<(const StreamingDiagnostic &DB, |
||
| 1514 | const std::optional<SourceRange> &Opt) { |
||
| 1515 | if (Opt) |
||
| 1516 | DB << *Opt; |
||
| 1517 | return DB; |
||
| 1518 | } |
||
| 1519 | |||
| 1520 | inline const StreamingDiagnostic & |
||
| 1521 | operator<<(const StreamingDiagnostic &DB, |
||
| 1522 | const std::optional<CharSourceRange> &Opt) { |
||
| 1523 | if (Opt) |
||
| 1524 | DB << *Opt; |
||
| 1525 | return DB; |
||
| 1526 | } |
||
| 1527 | |||
| 1528 | inline const StreamingDiagnostic & |
||
| 1529 | operator<<(const StreamingDiagnostic &DB, const std::optional<FixItHint> &Opt) { |
||
| 1530 | if (Opt) |
||
| 1531 | DB << *Opt; |
||
| 1532 | return DB; |
||
| 1533 | } |
||
| 1534 | |||
| 1535 | /// A nullability kind paired with a bit indicating whether it used a |
||
| 1536 | /// context-sensitive keyword. |
||
| 1537 | using DiagNullabilityKind = std::pair<NullabilityKind, bool>; |
||
| 1538 | |||
| 1539 | const StreamingDiagnostic &operator<<(const StreamingDiagnostic &DB, |
||
| 1540 | DiagNullabilityKind nullability); |
||
| 1541 | |||
| 1542 | inline DiagnosticBuilder DiagnosticsEngine::Report(SourceLocation Loc, |
||
| 1543 | unsigned DiagID) { |
||
| 1544 | assert(CurDiagID == std::numeric_limits<unsigned>::max() && |
||
| 1545 | "Multiple diagnostics in flight at once!"); |
||
| 1546 | CurDiagLoc = Loc; |
||
| 1547 | CurDiagID = DiagID; |
||
| 1548 | FlagValue.clear(); |
||
| 1549 | return DiagnosticBuilder(this); |
||
| 1550 | } |
||
| 1551 | |||
| 1552 | const StreamingDiagnostic &operator<<(const StreamingDiagnostic &DB, |
||
| 1553 | llvm::Error &&E); |
||
| 1554 | |||
| 1555 | inline DiagnosticBuilder DiagnosticsEngine::Report(unsigned DiagID) { |
||
| 1556 | return Report(SourceLocation(), DiagID); |
||
| 1557 | } |
||
| 1558 | |||
| 1559 | //===----------------------------------------------------------------------===// |
||
| 1560 | // Diagnostic |
||
| 1561 | //===----------------------------------------------------------------------===// |
||
| 1562 | |||
| 1563 | /// A little helper class (which is basically a smart pointer that forwards |
||
| 1564 | /// info from DiagnosticsEngine) that allows clients to enquire about the |
||
| 1565 | /// currently in-flight diagnostic. |
||
| 1566 | class Diagnostic { |
||
| 1567 | const DiagnosticsEngine *DiagObj; |
||
| 1568 | StringRef StoredDiagMessage; |
||
| 1569 | |||
| 1570 | public: |
||
| 1571 | explicit Diagnostic(const DiagnosticsEngine *DO) : DiagObj(DO) {} |
||
| 1572 | Diagnostic(const DiagnosticsEngine *DO, StringRef storedDiagMessage) |
||
| 1573 | : DiagObj(DO), StoredDiagMessage(storedDiagMessage) {} |
||
| 1574 | |||
| 1575 | const DiagnosticsEngine *getDiags() const { return DiagObj; } |
||
| 1576 | unsigned getID() const { return DiagObj->CurDiagID; } |
||
| 1577 | const SourceLocation &getLocation() const { return DiagObj->CurDiagLoc; } |
||
| 1578 | bool hasSourceManager() const { return DiagObj->hasSourceManager(); } |
||
| 1579 | SourceManager &getSourceManager() const { return DiagObj->getSourceManager();} |
||
| 1580 | |||
| 1581 | unsigned getNumArgs() const { return DiagObj->DiagStorage.NumDiagArgs; } |
||
| 1582 | |||
| 1583 | /// Return the kind of the specified index. |
||
| 1584 | /// |
||
| 1585 | /// Based on the kind of argument, the accessors below can be used to get |
||
| 1586 | /// the value. |
||
| 1587 | /// |
||
| 1588 | /// \pre Idx < getNumArgs() |
||
| 1589 | DiagnosticsEngine::ArgumentKind getArgKind(unsigned Idx) const { |
||
| 1590 | assert(Idx < getNumArgs() && "Argument index out of range!"); |
||
| 1591 | return (DiagnosticsEngine::ArgumentKind) |
||
| 1592 | DiagObj->DiagStorage.DiagArgumentsKind[Idx]; |
||
| 1593 | } |
||
| 1594 | |||
| 1595 | /// Return the provided argument string specified by \p Idx. |
||
| 1596 | /// \pre getArgKind(Idx) == DiagnosticsEngine::ak_std_string |
||
| 1597 | const std::string &getArgStdStr(unsigned Idx) const { |
||
| 1598 | assert(getArgKind(Idx) == DiagnosticsEngine::ak_std_string && |
||
| 1599 | "invalid argument accessor!"); |
||
| 1600 | return DiagObj->DiagStorage.DiagArgumentsStr[Idx]; |
||
| 1601 | } |
||
| 1602 | |||
| 1603 | /// Return the specified C string argument. |
||
| 1604 | /// \pre getArgKind(Idx) == DiagnosticsEngine::ak_c_string |
||
| 1605 | const char *getArgCStr(unsigned Idx) const { |
||
| 1606 | assert(getArgKind(Idx) == DiagnosticsEngine::ak_c_string && |
||
| 1607 | "invalid argument accessor!"); |
||
| 1608 | return reinterpret_cast<const char *>( |
||
| 1609 | DiagObj->DiagStorage.DiagArgumentsVal[Idx]); |
||
| 1610 | } |
||
| 1611 | |||
| 1612 | /// Return the specified signed integer argument. |
||
| 1613 | /// \pre getArgKind(Idx) == DiagnosticsEngine::ak_sint |
||
| 1614 | int64_t getArgSInt(unsigned Idx) const { |
||
| 1615 | assert(getArgKind(Idx) == DiagnosticsEngine::ak_sint && |
||
| 1616 | "invalid argument accessor!"); |
||
| 1617 | return (int64_t)DiagObj->DiagStorage.DiagArgumentsVal[Idx]; |
||
| 1618 | } |
||
| 1619 | |||
| 1620 | /// Return the specified unsigned integer argument. |
||
| 1621 | /// \pre getArgKind(Idx) == DiagnosticsEngine::ak_uint |
||
| 1622 | uint64_t getArgUInt(unsigned Idx) const { |
||
| 1623 | assert(getArgKind(Idx) == DiagnosticsEngine::ak_uint && |
||
| 1624 | "invalid argument accessor!"); |
||
| 1625 | return DiagObj->DiagStorage.DiagArgumentsVal[Idx]; |
||
| 1626 | } |
||
| 1627 | |||
| 1628 | /// Return the specified IdentifierInfo argument. |
||
| 1629 | /// \pre getArgKind(Idx) == DiagnosticsEngine::ak_identifierinfo |
||
| 1630 | const IdentifierInfo *getArgIdentifier(unsigned Idx) const { |
||
| 1631 | assert(getArgKind(Idx) == DiagnosticsEngine::ak_identifierinfo && |
||
| 1632 | "invalid argument accessor!"); |
||
| 1633 | return reinterpret_cast<IdentifierInfo *>( |
||
| 1634 | DiagObj->DiagStorage.DiagArgumentsVal[Idx]); |
||
| 1635 | } |
||
| 1636 | |||
| 1637 | /// Return the specified non-string argument in an opaque form. |
||
| 1638 | /// \pre getArgKind(Idx) != DiagnosticsEngine::ak_std_string |
||
| 1639 | uint64_t getRawArg(unsigned Idx) const { |
||
| 1640 | assert(getArgKind(Idx) != DiagnosticsEngine::ak_std_string && |
||
| 1641 | "invalid argument accessor!"); |
||
| 1642 | return DiagObj->DiagStorage.DiagArgumentsVal[Idx]; |
||
| 1643 | } |
||
| 1644 | |||
| 1645 | /// Return the number of source ranges associated with this diagnostic. |
||
| 1646 | unsigned getNumRanges() const { |
||
| 1647 | return DiagObj->DiagStorage.DiagRanges.size(); |
||
| 1648 | } |
||
| 1649 | |||
| 1650 | /// \pre Idx < getNumRanges() |
||
| 1651 | const CharSourceRange &getRange(unsigned Idx) const { |
||
| 1652 | assert(Idx < getNumRanges() && "Invalid diagnostic range index!"); |
||
| 1653 | return DiagObj->DiagStorage.DiagRanges[Idx]; |
||
| 1654 | } |
||
| 1655 | |||
| 1656 | /// Return an array reference for this diagnostic's ranges. |
||
| 1657 | ArrayRef<CharSourceRange> getRanges() const { |
||
| 1658 | return DiagObj->DiagStorage.DiagRanges; |
||
| 1659 | } |
||
| 1660 | |||
| 1661 | unsigned getNumFixItHints() const { |
||
| 1662 | return DiagObj->DiagStorage.FixItHints.size(); |
||
| 1663 | } |
||
| 1664 | |||
| 1665 | const FixItHint &getFixItHint(unsigned Idx) const { |
||
| 1666 | assert(Idx < getNumFixItHints() && "Invalid index!"); |
||
| 1667 | return DiagObj->DiagStorage.FixItHints[Idx]; |
||
| 1668 | } |
||
| 1669 | |||
| 1670 | ArrayRef<FixItHint> getFixItHints() const { |
||
| 1671 | return DiagObj->DiagStorage.FixItHints; |
||
| 1672 | } |
||
| 1673 | |||
| 1674 | /// Format this diagnostic into a string, substituting the |
||
| 1675 | /// formal arguments into the %0 slots. |
||
| 1676 | /// |
||
| 1677 | /// The result is appended onto the \p OutStr array. |
||
| 1678 | void FormatDiagnostic(SmallVectorImpl<char> &OutStr) const; |
||
| 1679 | |||
| 1680 | /// Format the given format-string into the output buffer using the |
||
| 1681 | /// arguments stored in this diagnostic. |
||
| 1682 | void FormatDiagnostic(const char *DiagStr, const char *DiagEnd, |
||
| 1683 | SmallVectorImpl<char> &OutStr) const; |
||
| 1684 | }; |
||
| 1685 | |||
| 1686 | /** |
||
| 1687 | * Represents a diagnostic in a form that can be retained until its |
||
| 1688 | * corresponding source manager is destroyed. |
||
| 1689 | */ |
||
| 1690 | class StoredDiagnostic { |
||
| 1691 | unsigned ID; |
||
| 1692 | DiagnosticsEngine::Level Level; |
||
| 1693 | FullSourceLoc Loc; |
||
| 1694 | std::string Message; |
||
| 1695 | std::vector<CharSourceRange> Ranges; |
||
| 1696 | std::vector<FixItHint> FixIts; |
||
| 1697 | |||
| 1698 | public: |
||
| 1699 | StoredDiagnostic() = default; |
||
| 1700 | StoredDiagnostic(DiagnosticsEngine::Level Level, const Diagnostic &Info); |
||
| 1701 | StoredDiagnostic(DiagnosticsEngine::Level Level, unsigned ID, |
||
| 1702 | StringRef Message); |
||
| 1703 | StoredDiagnostic(DiagnosticsEngine::Level Level, unsigned ID, |
||
| 1704 | StringRef Message, FullSourceLoc Loc, |
||
| 1705 | ArrayRef<CharSourceRange> Ranges, |
||
| 1706 | ArrayRef<FixItHint> Fixits); |
||
| 1707 | |||
| 1708 | /// Evaluates true when this object stores a diagnostic. |
||
| 1709 | explicit operator bool() const { return !Message.empty(); } |
||
| 1710 | |||
| 1711 | unsigned getID() const { return ID; } |
||
| 1712 | DiagnosticsEngine::Level getLevel() const { return Level; } |
||
| 1713 | const FullSourceLoc &getLocation() const { return Loc; } |
||
| 1714 | StringRef getMessage() const { return Message; } |
||
| 1715 | |||
| 1716 | void setLocation(FullSourceLoc Loc) { this->Loc = Loc; } |
||
| 1717 | |||
| 1718 | using range_iterator = std::vector<CharSourceRange>::const_iterator; |
||
| 1719 | |||
| 1720 | range_iterator range_begin() const { return Ranges.begin(); } |
||
| 1721 | range_iterator range_end() const { return Ranges.end(); } |
||
| 1722 | unsigned range_size() const { return Ranges.size(); } |
||
| 1723 | |||
| 1724 | ArrayRef<CharSourceRange> getRanges() const { return llvm::ArrayRef(Ranges); } |
||
| 1725 | |||
| 1726 | using fixit_iterator = std::vector<FixItHint>::const_iterator; |
||
| 1727 | |||
| 1728 | fixit_iterator fixit_begin() const { return FixIts.begin(); } |
||
| 1729 | fixit_iterator fixit_end() const { return FixIts.end(); } |
||
| 1730 | unsigned fixit_size() const { return FixIts.size(); } |
||
| 1731 | |||
| 1732 | ArrayRef<FixItHint> getFixIts() const { return llvm::ArrayRef(FixIts); } |
||
| 1733 | }; |
||
| 1734 | |||
| 1735 | // Simple debug printing of StoredDiagnostic. |
||
| 1736 | llvm::raw_ostream &operator<<(llvm::raw_ostream &OS, const StoredDiagnostic &); |
||
| 1737 | |||
| 1738 | /// Abstract interface, implemented by clients of the front-end, which |
||
| 1739 | /// formats and prints fully processed diagnostics. |
||
| 1740 | class DiagnosticConsumer { |
||
| 1741 | protected: |
||
| 1742 | unsigned NumWarnings = 0; ///< Number of warnings reported |
||
| 1743 | unsigned NumErrors = 0; ///< Number of errors reported |
||
| 1744 | |||
| 1745 | public: |
||
| 1746 | DiagnosticConsumer() = default; |
||
| 1747 | virtual ~DiagnosticConsumer(); |
||
| 1748 | |||
| 1749 | unsigned getNumErrors() const { return NumErrors; } |
||
| 1750 | unsigned getNumWarnings() const { return NumWarnings; } |
||
| 1751 | virtual void clear() { NumWarnings = NumErrors = 0; } |
||
| 1752 | |||
| 1753 | /// Callback to inform the diagnostic client that processing |
||
| 1754 | /// of a source file is beginning. |
||
| 1755 | /// |
||
| 1756 | /// Note that diagnostics may be emitted outside the processing of a source |
||
| 1757 | /// file, for example during the parsing of command line options. However, |
||
| 1758 | /// diagnostics with source range information are required to only be emitted |
||
| 1759 | /// in between BeginSourceFile() and EndSourceFile(). |
||
| 1760 | /// |
||
| 1761 | /// \param LangOpts The language options for the source file being processed. |
||
| 1762 | /// \param PP The preprocessor object being used for the source; this is |
||
| 1763 | /// optional, e.g., it may not be present when processing AST source files. |
||
| 1764 | virtual void BeginSourceFile(const LangOptions &LangOpts, |
||
| 1765 | const Preprocessor *PP = nullptr) {} |
||
| 1766 | |||
| 1767 | /// Callback to inform the diagnostic client that processing |
||
| 1768 | /// of a source file has ended. |
||
| 1769 | /// |
||
| 1770 | /// The diagnostic client should assume that any objects made available via |
||
| 1771 | /// BeginSourceFile() are inaccessible. |
||
| 1772 | virtual void EndSourceFile() {} |
||
| 1773 | |||
| 1774 | /// Callback to inform the diagnostic client that processing of all |
||
| 1775 | /// source files has ended. |
||
| 1776 | virtual void finish() {} |
||
| 1777 | |||
| 1778 | /// Indicates whether the diagnostics handled by this |
||
| 1779 | /// DiagnosticConsumer should be included in the number of diagnostics |
||
| 1780 | /// reported by DiagnosticsEngine. |
||
| 1781 | /// |
||
| 1782 | /// The default implementation returns true. |
||
| 1783 | virtual bool IncludeInDiagnosticCounts() const; |
||
| 1784 | |||
| 1785 | /// Handle this diagnostic, reporting it to the user or |
||
| 1786 | /// capturing it to a log as needed. |
||
| 1787 | /// |
||
| 1788 | /// The default implementation just keeps track of the total number of |
||
| 1789 | /// warnings and errors. |
||
| 1790 | virtual void HandleDiagnostic(DiagnosticsEngine::Level DiagLevel, |
||
| 1791 | const Diagnostic &Info); |
||
| 1792 | }; |
||
| 1793 | |||
| 1794 | /// A diagnostic client that ignores all diagnostics. |
||
| 1795 | class IgnoringDiagConsumer : public DiagnosticConsumer { |
||
| 1796 | virtual void anchor(); |
||
| 1797 | |||
| 1798 | void HandleDiagnostic(DiagnosticsEngine::Level DiagLevel, |
||
| 1799 | const Diagnostic &Info) override { |
||
| 1800 | // Just ignore it. |
||
| 1801 | } |
||
| 1802 | }; |
||
| 1803 | |||
| 1804 | /// Diagnostic consumer that forwards diagnostics along to an |
||
| 1805 | /// existing, already-initialized diagnostic consumer. |
||
| 1806 | /// |
||
| 1807 | class ForwardingDiagnosticConsumer : public DiagnosticConsumer { |
||
| 1808 | DiagnosticConsumer &Target; |
||
| 1809 | |||
| 1810 | public: |
||
| 1811 | ForwardingDiagnosticConsumer(DiagnosticConsumer &Target) : Target(Target) {} |
||
| 1812 | ~ForwardingDiagnosticConsumer() override; |
||
| 1813 | |||
| 1814 | void HandleDiagnostic(DiagnosticsEngine::Level DiagLevel, |
||
| 1815 | const Diagnostic &Info) override; |
||
| 1816 | void clear() override; |
||
| 1817 | |||
| 1818 | bool IncludeInDiagnosticCounts() const override; |
||
| 1819 | }; |
||
| 1820 | |||
| 1821 | // Struct used for sending info about how a type should be printed. |
||
| 1822 | struct TemplateDiffTypes { |
||
| 1823 | intptr_t FromType; |
||
| 1824 | intptr_t ToType; |
||
| 1825 | unsigned PrintTree : 1; |
||
| 1826 | unsigned PrintFromType : 1; |
||
| 1827 | unsigned ElideType : 1; |
||
| 1828 | unsigned ShowColors : 1; |
||
| 1829 | |||
| 1830 | // The printer sets this variable to true if the template diff was used. |
||
| 1831 | unsigned TemplateDiffUsed : 1; |
||
| 1832 | }; |
||
| 1833 | |||
| 1834 | /// Special character that the diagnostic printer will use to toggle the bold |
||
| 1835 | /// attribute. The character itself will be not be printed. |
||
| 1836 | const char ToggleHighlight = 127; |
||
| 1837 | |||
| 1838 | /// ProcessWarningOptions - Initialize the diagnostic client and process the |
||
| 1839 | /// warning options specified on the command line. |
||
| 1840 | void ProcessWarningOptions(DiagnosticsEngine &Diags, |
||
| 1841 | const DiagnosticOptions &Opts, |
||
| 1842 | bool ReportDiags = true); |
||
| 1843 | |||
| 1844 | } // namespace clang |
||
| 1845 | |||
| 1846 | #endif // LLVM_CLANG_BASIC_DIAGNOSTIC_H |