1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
// slang-diagnostics.cpp
#include "slang-diagnostics.h"
#include "../core/slang-memory-arena.h"
#include "../core/slang-dictionary.h"
#include "../core/slang-string-util.h"
#include "../core/slang-char-util.h"
#include "../compiler-core/slang-name.h"
#include "../compiler-core/slang-core-diagnostics.h"
namespace Slang
{
namespace Diagnostics
{
#define DIAGNOSTIC(id, severity, name, messageFormat) const DiagnosticInfo name = { id, Severity::severity, #name, messageFormat };
#include "slang-diagnostic-defs.h"
#undef DIAGNOSTIC
}
static const DiagnosticInfo* const kCompilerDiagnostics[] =
{
#define DIAGNOSTIC(id, severity, name, messageFormat) &Diagnostics::name,
#include "slang-diagnostic-defs.h"
#undef DIAGNOSTIC
};
static DiagnosticsLookup* _newDiagnosticsLookup()
{
DiagnosticsLookup* lookup = new DiagnosticsLookup(kCompilerDiagnostics, SLANG_COUNT_OF(kCompilerDiagnostics));
// Add all the diagnostics in 'core'
DiagnosticsLookup* coreLookup = getCoreDiagnosticsLookup();
if (coreLookup)
{
for (auto diagnostic : coreLookup->getDiagnostics())
{
lookup->add(diagnostic);
}
}
// Add the alias
lookup->addAlias("overlappingBindings", "parameterBindingsOverlap");
return lookup;
}
static DiagnosticsLookup* _getDiagnosticLookupSingleton()
{
static RefPtr<DiagnosticsLookup> s_lookup = _newDiagnosticsLookup();
return s_lookup;
}
DiagnosticInfo const* findDiagnosticByName(UnownedStringSlice const& name)
{
return _getDiagnosticLookupSingleton()->findDiagnosticByName(name);
}
const DiagnosticsLookup* getDiagnosticsLookup()
{
return _getDiagnosticLookupSingleton();
}
SlangResult overrideDiagnostic(DiagnosticSink* sink, DiagnosticSink* outDiagnostic, const UnownedStringSlice& identifier, Severity originalSeverity, Severity overrideSeverity)
{
auto diagnosticsLookup = getDiagnosticsLookup();
const DiagnosticInfo* diagnostic = nullptr;
Int diagnosticId = -1;
// If it starts with a digit we assume it a number
if (identifier.getLength() > 0 && (CharUtil::isDigit(identifier[0]) || identifier[0] == '-'))
{
if (SLANG_FAILED(StringUtil::parseInt(identifier, diagnosticId)))
{
outDiagnostic->diagnose(SourceLoc(), Diagnostics::unknownDiagnosticName, identifier);
return SLANG_FAIL;
}
// If we use numbers, we don't worry if we can't find a diagnostic
// and silently ignore. This was the previous behavior, and perhaps
// provides a way to safely disable warnings, without worrying about
// the version of the compiler.
diagnostic = diagnosticsLookup->getDiagnosticById(diagnosticId);
}
else
{
diagnostic = diagnosticsLookup->findDiagnosticByName(identifier);
if (!diagnostic)
{
outDiagnostic->diagnose(SourceLoc(), Diagnostics::unknownDiagnosticName, identifier);
return SLANG_FAIL;
}
diagnosticId = diagnostic->id;
}
// If we are only allowing certain original severities check it's the right type
if (diagnostic && originalSeverity != Severity::Disable && diagnostic->severity != originalSeverity)
{
// Strictly speaking the diagnostic name is known, but it's not the right severity
// to be converted from, so it is an 'unknown name' in the context of severity...
// Or perhaps we want another diagnostic
outDiagnostic->diagnose(SourceLoc(), Diagnostics::unknownDiagnosticName, identifier);
return SLANG_FAIL;
}
// Override the diagnostic severity in the sink
sink->overrideDiagnosticSeverity(int(diagnosticId), overrideSeverity, diagnostic);
return SLANG_OK;
}
SlangResult overrideDiagnostics(DiagnosticSink* sink, DiagnosticSink* outDiagnostic, const UnownedStringSlice& identifierList, Severity originalSeverity, Severity overrideSeverity)
{
List<UnownedStringSlice> slices;
StringUtil::split(identifierList, ',', slices);
for (const auto& slice : slices)
{
SLANG_RETURN_ON_FAIL(overrideDiagnostic(sink, outDiagnostic, slice, originalSeverity, overrideSeverity));
}
return SLANG_OK;
}
} // namespace Slang
|
