Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 1 | //===--- DiagnosticIDs.h - Diagnostic IDs 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 IDs-related interfaces. |
||
| 11 | /// |
||
| 12 | //===----------------------------------------------------------------------===// |
||
| 13 | |||
| 14 | #ifndef LLVM_CLANG_BASIC_DIAGNOSTICIDS_H |
||
| 15 | #define LLVM_CLANG_BASIC_DIAGNOSTICIDS_H |
||
| 16 | |||
| 17 | #include "clang/Basic/LLVM.h" |
||
| 18 | #include "llvm/ADT/IntrusiveRefCntPtr.h" |
||
| 19 | #include "llvm/ADT/StringRef.h" |
||
| 20 | #include <optional> |
||
| 21 | #include <vector> |
||
| 22 | |||
| 23 | namespace clang { |
||
| 24 | class DiagnosticsEngine; |
||
| 25 | class SourceLocation; |
||
| 26 | |||
| 27 | // Import the diagnostic enums themselves. |
||
| 28 | namespace diag { |
||
| 29 | enum class Group; |
||
| 30 | |||
| 31 | // Size of each of the diagnostic categories. |
||
| 32 | enum { |
||
| 33 | DIAG_SIZE_COMMON = 300, |
||
| 34 | DIAG_SIZE_DRIVER = 300, |
||
| 35 | DIAG_SIZE_FRONTEND = 150, |
||
| 36 | DIAG_SIZE_SERIALIZATION = 120, |
||
| 37 | DIAG_SIZE_LEX = 400, |
||
| 38 | DIAG_SIZE_PARSE = 700, |
||
| 39 | DIAG_SIZE_AST = 250, |
||
| 40 | DIAG_SIZE_COMMENT = 100, |
||
| 41 | DIAG_SIZE_CROSSTU = 100, |
||
| 42 | DIAG_SIZE_SEMA = 4500, |
||
| 43 | DIAG_SIZE_ANALYSIS = 100, |
||
| 44 | DIAG_SIZE_REFACTORING = 1000, |
||
| 45 | }; |
||
| 46 | // Start position for diagnostics. |
||
| 47 | enum { |
||
| 48 | DIAG_START_COMMON = 0, |
||
| 49 | DIAG_START_DRIVER = DIAG_START_COMMON + static_cast<int>(DIAG_SIZE_COMMON), |
||
| 50 | DIAG_START_FRONTEND = DIAG_START_DRIVER + static_cast<int>(DIAG_SIZE_DRIVER), |
||
| 51 | DIAG_START_SERIALIZATION = DIAG_START_FRONTEND + static_cast<int>(DIAG_SIZE_FRONTEND), |
||
| 52 | DIAG_START_LEX = DIAG_START_SERIALIZATION + static_cast<int>(DIAG_SIZE_SERIALIZATION), |
||
| 53 | DIAG_START_PARSE = DIAG_START_LEX + static_cast<int>(DIAG_SIZE_LEX), |
||
| 54 | DIAG_START_AST = DIAG_START_PARSE + static_cast<int>(DIAG_SIZE_PARSE), |
||
| 55 | DIAG_START_COMMENT = DIAG_START_AST + static_cast<int>(DIAG_SIZE_AST), |
||
| 56 | DIAG_START_CROSSTU = DIAG_START_COMMENT + static_cast<int>(DIAG_SIZE_COMMENT), |
||
| 57 | DIAG_START_SEMA = DIAG_START_CROSSTU + static_cast<int>(DIAG_SIZE_CROSSTU), |
||
| 58 | DIAG_START_ANALYSIS = DIAG_START_SEMA + static_cast<int>(DIAG_SIZE_SEMA), |
||
| 59 | DIAG_START_REFACTORING = DIAG_START_ANALYSIS + static_cast<int>(DIAG_SIZE_ANALYSIS), |
||
| 60 | DIAG_UPPER_LIMIT = DIAG_START_REFACTORING + static_cast<int>(DIAG_SIZE_REFACTORING) |
||
| 61 | }; |
||
| 62 | |||
| 63 | class CustomDiagInfo; |
||
| 64 | |||
| 65 | /// All of the diagnostics that can be emitted by the frontend. |
||
| 66 | typedef unsigned kind; |
||
| 67 | |||
| 68 | // Get typedefs for common diagnostics. |
||
| 69 | enum { |
||
| 70 | #define DIAG(ENUM, FLAGS, DEFAULT_MAPPING, DESC, GROUP, SFINAE, CATEGORY, \ |
||
| 71 | NOWERROR, SHOWINSYSHEADER, SHOWINSYSMACRO, DEFFERABLE) \ |
||
| 72 | ENUM, |
||
| 73 | #define COMMONSTART |
||
| 74 | #include "clang/Basic/DiagnosticCommonKinds.inc" |
||
| 75 | NUM_BUILTIN_COMMON_DIAGNOSTICS |
||
| 76 | #undef DIAG |
||
| 77 | }; |
||
| 78 | |||
| 79 | /// Enum values that allow the client to map NOTEs, WARNINGs, and EXTENSIONs |
||
| 80 | /// to either Ignore (nothing), Remark (emit a remark), Warning |
||
| 81 | /// (emit a warning) or Error (emit as an error). It allows clients to |
||
| 82 | /// map ERRORs to Error or Fatal (stop emitting diagnostics after this one). |
||
| 83 | enum class Severity { |
||
| 84 | // NOTE: 0 means "uncomputed". |
||
| 85 | Ignored = 1, ///< Do not present this diagnostic, ignore it. |
||
| 86 | Remark = 2, ///< Present this diagnostic as a remark. |
||
| 87 | Warning = 3, ///< Present this diagnostic as a warning. |
||
| 88 | Error = 4, ///< Present this diagnostic as an error. |
||
| 89 | Fatal = 5 ///< Present this diagnostic as a fatal error. |
||
| 90 | }; |
||
| 91 | |||
| 92 | /// Flavors of diagnostics we can emit. Used to filter for a particular |
||
| 93 | /// kind of diagnostic (for instance, for -W/-R flags). |
||
| 94 | enum class Flavor { |
||
| 95 | WarningOrError, ///< A diagnostic that indicates a problem or potential |
||
| 96 | ///< problem. Can be made fatal by -Werror. |
||
| 97 | Remark ///< A diagnostic that indicates normal progress through |
||
| 98 | ///< compilation. |
||
| 99 | }; |
||
| 100 | } |
||
| 101 | |||
| 102 | class DiagnosticMapping { |
||
| 103 | unsigned Severity : 3; |
||
| 104 | unsigned IsUser : 1; |
||
| 105 | unsigned IsPragma : 1; |
||
| 106 | unsigned HasNoWarningAsError : 1; |
||
| 107 | unsigned HasNoErrorAsFatal : 1; |
||
| 108 | unsigned WasUpgradedFromWarning : 1; |
||
| 109 | |||
| 110 | public: |
||
| 111 | static DiagnosticMapping Make(diag::Severity Severity, bool IsUser, |
||
| 112 | bool IsPragma) { |
||
| 113 | DiagnosticMapping Result; |
||
| 114 | Result.Severity = (unsigned)Severity; |
||
| 115 | Result.IsUser = IsUser; |
||
| 116 | Result.IsPragma = IsPragma; |
||
| 117 | Result.HasNoWarningAsError = 0; |
||
| 118 | Result.HasNoErrorAsFatal = 0; |
||
| 119 | Result.WasUpgradedFromWarning = 0; |
||
| 120 | return Result; |
||
| 121 | } |
||
| 122 | |||
| 123 | diag::Severity getSeverity() const { return (diag::Severity)Severity; } |
||
| 124 | void setSeverity(diag::Severity Value) { Severity = (unsigned)Value; } |
||
| 125 | |||
| 126 | bool isUser() const { return IsUser; } |
||
| 127 | bool isPragma() const { return IsPragma; } |
||
| 128 | |||
| 129 | bool isErrorOrFatal() const { |
||
| 130 | return getSeverity() == diag::Severity::Error || |
||
| 131 | getSeverity() == diag::Severity::Fatal; |
||
| 132 | } |
||
| 133 | |||
| 134 | bool hasNoWarningAsError() const { return HasNoWarningAsError; } |
||
| 135 | void setNoWarningAsError(bool Value) { HasNoWarningAsError = Value; } |
||
| 136 | |||
| 137 | bool hasNoErrorAsFatal() const { return HasNoErrorAsFatal; } |
||
| 138 | void setNoErrorAsFatal(bool Value) { HasNoErrorAsFatal = Value; } |
||
| 139 | |||
| 140 | /// Whether this mapping attempted to map the diagnostic to a warning, but |
||
| 141 | /// was overruled because the diagnostic was already mapped to an error or |
||
| 142 | /// fatal error. |
||
| 143 | bool wasUpgradedFromWarning() const { return WasUpgradedFromWarning; } |
||
| 144 | void setUpgradedFromWarning(bool Value) { WasUpgradedFromWarning = Value; } |
||
| 145 | |||
| 146 | /// Serialize this mapping as a raw integer. |
||
| 147 | unsigned serialize() const { |
||
| 148 | return (IsUser << 7) | (IsPragma << 6) | (HasNoWarningAsError << 5) | |
||
| 149 | (HasNoErrorAsFatal << 4) | (WasUpgradedFromWarning << 3) | Severity; |
||
| 150 | } |
||
| 151 | /// Deserialize a mapping. |
||
| 152 | static DiagnosticMapping deserialize(unsigned Bits) { |
||
| 153 | DiagnosticMapping Result; |
||
| 154 | Result.IsUser = (Bits >> 7) & 1; |
||
| 155 | Result.IsPragma = (Bits >> 6) & 1; |
||
| 156 | Result.HasNoWarningAsError = (Bits >> 5) & 1; |
||
| 157 | Result.HasNoErrorAsFatal = (Bits >> 4) & 1; |
||
| 158 | Result.WasUpgradedFromWarning = (Bits >> 3) & 1; |
||
| 159 | Result.Severity = Bits & 0x7; |
||
| 160 | return Result; |
||
| 161 | } |
||
| 162 | }; |
||
| 163 | |||
| 164 | /// Used for handling and querying diagnostic IDs. |
||
| 165 | /// |
||
| 166 | /// Can be used and shared by multiple Diagnostics for multiple translation units. |
||
| 167 | class DiagnosticIDs : public RefCountedBase<DiagnosticIDs> { |
||
| 168 | public: |
||
| 169 | /// The level of the diagnostic, after it has been through mapping. |
||
| 170 | enum Level { |
||
| 171 | Ignored, Note, Remark, Warning, Error, Fatal |
||
| 172 | }; |
||
| 173 | |||
| 174 | private: |
||
| 175 | /// Information for uniquing and looking up custom diags. |
||
| 176 | std::unique_ptr<diag::CustomDiagInfo> CustomDiagInfo; |
||
| 177 | |||
| 178 | public: |
||
| 179 | DiagnosticIDs(); |
||
| 180 | ~DiagnosticIDs(); |
||
| 181 | |||
| 182 | /// Return an ID for a diagnostic with the specified format string and |
||
| 183 | /// level. |
||
| 184 | /// |
||
| 185 | /// If this is the first request for this diagnostic, it is registered and |
||
| 186 | /// created, otherwise the existing ID is returned. |
||
| 187 | |||
| 188 | // FIXME: Replace this function with a create-only facilty like |
||
| 189 | // createCustomDiagIDFromFormatString() to enforce safe usage. At the time of |
||
| 190 | // writing, nearly all callers of this function were invalid. |
||
| 191 | unsigned getCustomDiagID(Level L, StringRef FormatString); |
||
| 192 | |||
| 193 | //===--------------------------------------------------------------------===// |
||
| 194 | // Diagnostic classification and reporting interfaces. |
||
| 195 | // |
||
| 196 | |||
| 197 | /// Given a diagnostic ID, return a description of the issue. |
||
| 198 | StringRef getDescription(unsigned DiagID) const; |
||
| 199 | |||
| 200 | /// Return true if the unmapped diagnostic levelof the specified |
||
| 201 | /// diagnostic ID is a Warning or Extension. |
||
| 202 | /// |
||
| 203 | /// This only works on builtin diagnostics, not custom ones, and is not |
||
| 204 | /// legal to call on NOTEs. |
||
| 205 | static bool isBuiltinWarningOrExtension(unsigned DiagID); |
||
| 206 | |||
| 207 | /// Return true if the specified diagnostic is mapped to errors by |
||
| 208 | /// default. |
||
| 209 | static bool isDefaultMappingAsError(unsigned DiagID); |
||
| 210 | |||
| 211 | /// Determine whether the given built-in diagnostic ID is a Note. |
||
| 212 | static bool isBuiltinNote(unsigned DiagID); |
||
| 213 | |||
| 214 | /// Determine whether the given built-in diagnostic ID is for an |
||
| 215 | /// extension of some sort. |
||
| 216 | static bool isBuiltinExtensionDiag(unsigned DiagID) { |
||
| 217 | bool ignored; |
||
| 218 | return isBuiltinExtensionDiag(DiagID, ignored); |
||
| 219 | } |
||
| 220 | |||
| 221 | /// Determine whether the given built-in diagnostic ID is for an |
||
| 222 | /// extension of some sort, and whether it is enabled by default. |
||
| 223 | /// |
||
| 224 | /// This also returns EnabledByDefault, which is set to indicate whether the |
||
| 225 | /// diagnostic is ignored by default (in which case -pedantic enables it) or |
||
| 226 | /// treated as a warning/error by default. |
||
| 227 | /// |
||
| 228 | static bool isBuiltinExtensionDiag(unsigned DiagID, bool &EnabledByDefault); |
||
| 229 | |||
| 230 | /// Given a group ID, returns the flag that toggles the group. |
||
| 231 | /// For example, for Group::DeprecatedDeclarations, returns |
||
| 232 | /// "deprecated-declarations". |
||
| 233 | static StringRef getWarningOptionForGroup(diag::Group); |
||
| 234 | |||
| 235 | /// Given a diagnostic group ID, return its documentation. |
||
| 236 | static StringRef getWarningOptionDocumentation(diag::Group GroupID); |
||
| 237 | |||
| 238 | /// Given a group ID, returns the flag that toggles the group. |
||
| 239 | /// For example, for "deprecated-declarations", returns |
||
| 240 | /// Group::DeprecatedDeclarations. |
||
| 241 | static std::optional<diag::Group> getGroupForWarningOption(StringRef); |
||
| 242 | |||
| 243 | /// Return the lowest-level group that contains the specified diagnostic. |
||
| 244 | static std::optional<diag::Group> getGroupForDiag(unsigned DiagID); |
||
| 245 | |||
| 246 | /// Return the lowest-level warning option that enables the specified |
||
| 247 | /// diagnostic. |
||
| 248 | /// |
||
| 249 | /// If there is no -Wfoo flag that controls the diagnostic, this returns null. |
||
| 250 | static StringRef getWarningOptionForDiag(unsigned DiagID); |
||
| 251 | |||
| 252 | /// Return the category number that a specified \p DiagID belongs to, |
||
| 253 | /// or 0 if no category. |
||
| 254 | static unsigned getCategoryNumberForDiag(unsigned DiagID); |
||
| 255 | |||
| 256 | /// Return the number of diagnostic categories. |
||
| 257 | static unsigned getNumberOfCategories(); |
||
| 258 | |||
| 259 | /// Given a category ID, return the name of the category. |
||
| 260 | static StringRef getCategoryNameFromID(unsigned CategoryID); |
||
| 261 | |||
| 262 | /// Return true if a given diagnostic falls into an ARC diagnostic |
||
| 263 | /// category. |
||
| 264 | static bool isARCDiagnostic(unsigned DiagID); |
||
| 265 | |||
| 266 | /// Enumeration describing how the emission of a diagnostic should |
||
| 267 | /// be treated when it occurs during C++ template argument deduction. |
||
| 268 | enum SFINAEResponse { |
||
| 269 | /// The diagnostic should not be reported, but it should cause |
||
| 270 | /// template argument deduction to fail. |
||
| 271 | /// |
||
| 272 | /// The vast majority of errors that occur during template argument |
||
| 273 | /// deduction fall into this category. |
||
| 274 | SFINAE_SubstitutionFailure, |
||
| 275 | |||
| 276 | /// The diagnostic should be suppressed entirely. |
||
| 277 | /// |
||
| 278 | /// Warnings generally fall into this category. |
||
| 279 | SFINAE_Suppress, |
||
| 280 | |||
| 281 | /// The diagnostic should be reported. |
||
| 282 | /// |
||
| 283 | /// The diagnostic should be reported. Various fatal errors (e.g., |
||
| 284 | /// template instantiation depth exceeded) fall into this category. |
||
| 285 | SFINAE_Report, |
||
| 286 | |||
| 287 | /// The diagnostic is an access-control diagnostic, which will be |
||
| 288 | /// substitution failures in some contexts and reported in others. |
||
| 289 | SFINAE_AccessControl |
||
| 290 | }; |
||
| 291 | |||
| 292 | /// Determines whether the given built-in diagnostic ID is |
||
| 293 | /// for an error that is suppressed if it occurs during C++ template |
||
| 294 | /// argument deduction. |
||
| 295 | /// |
||
| 296 | /// When an error is suppressed due to SFINAE, the template argument |
||
| 297 | /// deduction fails but no diagnostic is emitted. Certain classes of |
||
| 298 | /// errors, such as those errors that involve C++ access control, |
||
| 299 | /// are not SFINAE errors. |
||
| 300 | static SFINAEResponse getDiagnosticSFINAEResponse(unsigned DiagID); |
||
| 301 | |||
| 302 | /// Whether the diagnostic message can be deferred. |
||
| 303 | /// |
||
| 304 | /// For single source offloading languages, a diagnostic message occurred |
||
| 305 | /// in a device host function may be deferred until the function is sure |
||
| 306 | /// to be emitted. |
||
| 307 | static bool isDeferrable(unsigned DiagID); |
||
| 308 | |||
| 309 | /// Get the string of all diagnostic flags. |
||
| 310 | /// |
||
| 311 | /// \returns A list of all diagnostics flags as they would be written in a |
||
| 312 | /// command line invocation including their `no-` variants. For example: |
||
| 313 | /// `{"-Wempty-body", "-Wno-empty-body", ...}` |
||
| 314 | static std::vector<std::string> getDiagnosticFlags(); |
||
| 315 | |||
| 316 | /// Get the set of all diagnostic IDs in the group with the given name. |
||
| 317 | /// |
||
| 318 | /// \param[out] Diags - On return, the diagnostics in the group. |
||
| 319 | /// \returns \c true if the given group is unknown, \c false otherwise. |
||
| 320 | bool getDiagnosticsInGroup(diag::Flavor Flavor, StringRef Group, |
||
| 321 | SmallVectorImpl<diag::kind> &Diags) const; |
||
| 322 | |||
| 323 | /// Get the set of all diagnostic IDs. |
||
| 324 | static void getAllDiagnostics(diag::Flavor Flavor, |
||
| 325 | std::vector<diag::kind> &Diags); |
||
| 326 | |||
| 327 | /// Get the diagnostic option with the closest edit distance to the |
||
| 328 | /// given group name. |
||
| 329 | static StringRef getNearestOption(diag::Flavor Flavor, StringRef Group); |
||
| 330 | |||
| 331 | private: |
||
| 332 | /// Classify the specified diagnostic ID into a Level, consumable by |
||
| 333 | /// the DiagnosticClient. |
||
| 334 | /// |
||
| 335 | /// The classification is based on the way the client configured the |
||
| 336 | /// DiagnosticsEngine object. |
||
| 337 | /// |
||
| 338 | /// \param Loc The source location for which we are interested in finding out |
||
| 339 | /// the diagnostic state. Can be null in order to query the latest state. |
||
| 340 | DiagnosticIDs::Level |
||
| 341 | getDiagnosticLevel(unsigned DiagID, SourceLocation Loc, |
||
| 342 | const DiagnosticsEngine &Diag) const LLVM_READONLY; |
||
| 343 | |||
| 344 | diag::Severity |
||
| 345 | getDiagnosticSeverity(unsigned DiagID, SourceLocation Loc, |
||
| 346 | const DiagnosticsEngine &Diag) const LLVM_READONLY; |
||
| 347 | |||
| 348 | /// Used to report a diagnostic that is finally fully formed. |
||
| 349 | /// |
||
| 350 | /// \returns \c true if the diagnostic was emitted, \c false if it was |
||
| 351 | /// suppressed. |
||
| 352 | bool ProcessDiag(DiagnosticsEngine &Diag) const; |
||
| 353 | |||
| 354 | /// Used to emit a diagnostic that is finally fully formed, |
||
| 355 | /// ignoring suppression. |
||
| 356 | void EmitDiag(DiagnosticsEngine &Diag, Level DiagLevel) const; |
||
| 357 | |||
| 358 | /// Whether the diagnostic may leave the AST in a state where some |
||
| 359 | /// invariants can break. |
||
| 360 | bool isUnrecoverable(unsigned DiagID) const; |
||
| 361 | |||
| 362 | friend class DiagnosticsEngine; |
||
| 363 | }; |
||
| 364 | |||
| 365 | } // end namespace clang |
||
| 366 | |||
| 367 | #endif |