Skip to content

Commit 100b35f

Browse files
Rename rustc_builtin_macros/src/errors.rs into rustc_builtin_macros/src/diagnostics.rs
1 parent e19cf27 commit 100b35f

27 files changed

Lines changed: 180 additions & 154 deletions

compiler/rustc_builtin_macros/src/alloc_error_handler.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ use rustc_expand::base::{Annotatable, ExtCtxt};
66
use rustc_span::{Ident, Span, kw, sym};
77
use thin_vec::{ThinVec, thin_vec};
88

9-
use crate::errors;
9+
use crate::diagnostics;
1010
use crate::util::check_builtin_macro_attribute;
1111

1212
pub(crate) fn expand(
@@ -31,7 +31,7 @@ pub(crate) fn expand(
3131
{
3232
(item, fn_kind.ident, true, ecx.with_def_site_ctxt(fn_kind.sig.span))
3333
} else {
34-
ecx.dcx().emit_err(errors::AllocErrorMustBeFn { span: item.span() });
34+
ecx.dcx().emit_err(diagnostics::AllocErrorMustBeFn { span: item.span() });
3535
return vec![orig_item];
3636
};
3737

compiler/rustc_builtin_macros/src/asm.rs

Lines changed: 20 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ use rustc_span::{ErrorGuaranteed, InnerSpan, Span, Symbol, sym};
1212
use rustc_target::asm::InlineAsmArch;
1313
use smallvec::smallvec;
1414

15-
use crate::errors;
15+
use crate::diagnostics;
1616
use crate::util::{ExprToSpannedString, expr_to_spanned_string};
1717

1818
/// Validated assembly arguments, ready for macro expansion.
@@ -65,7 +65,7 @@ fn validate_asm_args<'a>(
6565
for arg in args {
6666
for attr in arg.attributes.0.iter() {
6767
if !matches!(attr.name(), Some(sym::cfg | sym::cfg_attr)) {
68-
ecx.dcx().emit_err(errors::AsmAttributeNotSupported { span: attr.span() });
68+
ecx.dcx().emit_err(diagnostics::AsmAttributeNotSupported { span: attr.span() });
6969
}
7070
}
7171

@@ -86,7 +86,7 @@ fn validate_asm_args<'a>(
8686
) => {}
8787
ast::ExprKind::MacCall(..) => {}
8888
_ => {
89-
let err = dcx.create_err(errors::AsmExpectedOther {
89+
let err = dcx.create_err(diagnostics::AsmExpectedOther {
9090
span: template.span,
9191
is_inline_asm: matches!(asm_macro, AsmMacro::Asm),
9292
});
@@ -111,12 +111,12 @@ fn validate_asm_args<'a>(
111111

112112
if explicit_reg {
113113
if name.is_some() {
114-
dcx.emit_err(errors::AsmExplicitRegisterName { span });
114+
dcx.emit_err(diagnostics::AsmExplicitRegisterName { span });
115115
}
116116
validated.reg_args.insert(slot);
117117
} else if let Some(name) = name {
118118
if let Some(&prev) = validated.named_args.get(&name) {
119-
dcx.emit_err(errors::AsmDuplicateArg {
119+
dcx.emit_err(diagnostics::AsmDuplicateArg {
120120
span,
121121
name,
122122
prev: validated.operands[prev].1,
@@ -130,7 +130,7 @@ fn validate_asm_args<'a>(
130130
let explicit =
131131
validated.reg_args.iter().map(|p| validated.operands[p].1).collect();
132132

133-
dcx.emit_err(errors::AsmPositionalAfter { span, named, explicit });
133+
dcx.emit_err(diagnostics::AsmPositionalAfter { span, named, explicit });
134134
}
135135
}
136136
AsmArgKind::Options(new_options) => {
@@ -141,15 +141,15 @@ fn validate_asm_args<'a>(
141141

142142
if !asm_macro.is_supported_option(options) {
143143
// Tool-only output.
144-
dcx.emit_err(errors::AsmUnsupportedOption {
144+
dcx.emit_err(diagnostics::AsmUnsupportedOption {
145145
span,
146146
symbol,
147147
span_with_comma,
148148
macro_name: asm_macro.macro_name(),
149149
});
150150
} else if validated.options.contains(options) {
151151
// Tool-only output.
152-
dcx.emit_err(errors::AsmOptAlreadyprovided {
152+
dcx.emit_err(diagnostics::AsmOptAlreadyprovided {
153153
span,
154154
symbol,
155155
span_with_comma,
@@ -178,21 +178,21 @@ fn validate_asm_args<'a>(
178178
&& validated.options.contains(ast::InlineAsmOptions::READONLY)
179179
{
180180
let spans = validated.options_spans.clone();
181-
dcx.emit_err(errors::AsmMutuallyExclusive { spans, opt1: "nomem", opt2: "readonly" });
181+
dcx.emit_err(diagnostics::AsmMutuallyExclusive { spans, opt1: "nomem", opt2: "readonly" });
182182
}
183183
if validated.options.contains(ast::InlineAsmOptions::PURE)
184184
&& validated.options.contains(ast::InlineAsmOptions::NORETURN)
185185
{
186186
let spans = validated.options_spans.clone();
187-
dcx.emit_err(errors::AsmMutuallyExclusive { spans, opt1: "pure", opt2: "noreturn" });
187+
dcx.emit_err(diagnostics::AsmMutuallyExclusive { spans, opt1: "pure", opt2: "noreturn" });
188188
}
189189
if validated.options.contains(ast::InlineAsmOptions::PURE)
190190
&& !validated
191191
.options
192192
.intersects(ast::InlineAsmOptions::NOMEM | ast::InlineAsmOptions::READONLY)
193193
{
194194
let spans = validated.options_spans.clone();
195-
dcx.emit_err(errors::AsmPureCombine { spans });
195+
dcx.emit_err(diagnostics::AsmPureCombine { spans });
196196
}
197197

198198
let mut have_real_output = false;
@@ -223,24 +223,24 @@ fn validate_asm_args<'a>(
223223
}
224224
}
225225
if validated.options.contains(ast::InlineAsmOptions::PURE) && !have_real_output {
226-
dcx.emit_err(errors::AsmPureNoOutput { spans: validated.options_spans.clone() });
226+
dcx.emit_err(diagnostics::AsmPureNoOutput { spans: validated.options_spans.clone() });
227227
}
228228
if validated.options.contains(ast::InlineAsmOptions::NORETURN)
229229
&& !outputs_sp.is_empty()
230230
&& labels_sp.is_empty()
231231
{
232-
let err = dcx.create_err(errors::AsmNoReturn { outputs_sp });
232+
let err = dcx.create_err(diagnostics::AsmNoReturn { outputs_sp });
233233
// Bail out now since this is likely to confuse MIR
234234
return Err(err);
235235
}
236236
if validated.options.contains(ast::InlineAsmOptions::MAY_UNWIND) && !labels_sp.is_empty() {
237-
dcx.emit_err(errors::AsmMayUnwind { labels_sp });
237+
dcx.emit_err(diagnostics::AsmMayUnwind { labels_sp });
238238
}
239239

240240
if !validated.clobber_abis.is_empty() {
241241
match asm_macro {
242242
AsmMacro::GlobalAsm | AsmMacro::NakedAsm => {
243-
let err = dcx.create_err(errors::AsmUnsupportedClobberAbi {
243+
let err = dcx.create_err(diagnostics::AsmUnsupportedClobberAbi {
244244
spans: validated.clobber_abis.iter().map(|(_, span)| *span).collect(),
245245
macro_name: asm_macro.macro_name(),
246246
});
@@ -250,7 +250,7 @@ fn validate_asm_args<'a>(
250250
}
251251
AsmMacro::Asm => {
252252
if !regclass_outputs.is_empty() {
253-
dcx.emit_err(errors::AsmClobberNoReg {
253+
dcx.emit_err(diagnostics::AsmClobberNoReg {
254254
spans: regclass_outputs,
255255
clobbers: validated.clobber_abis.iter().map(|(_, span)| *span).collect(),
256256
});
@@ -354,15 +354,15 @@ fn expand_preparsed_asm(
354354
lint::builtin::BAD_ASM_STYLE,
355355
find_span(".intel_syntax"),
356356
ecx.current_expansion.lint_node_id,
357-
errors::AvoidIntelSyntax,
357+
diagnostics::AvoidIntelSyntax,
358358
);
359359
}
360360
if template_str.contains(".att_syntax") {
361361
ecx.psess().buffer_lint(
362362
lint::builtin::BAD_ASM_STYLE,
363363
find_span(".att_syntax"),
364364
ecx.current_expansion.lint_node_id,
365-
errors::AvoidAttSyntax,
365+
diagnostics::AvoidAttSyntax,
366366
);
367367
}
368368
}
@@ -482,7 +482,7 @@ fn expand_preparsed_asm(
482482
None => {
483483
let span = arg.position_span;
484484
ecx.dcx()
485-
.create_err(errors::AsmNoMatchedArgumentName {
485+
.create_err(diagnostics::AsmNoMatchedArgumentName {
486486
name: name.to_owned(),
487487
span: span_in_template(span),
488488
})
@@ -497,7 +497,7 @@ fn expand_preparsed_asm(
497497
let mut modifier = chars.next();
498498
if chars.next().is_some() {
499499
let span = arg.format.ty_span.map(span_in_template).unwrap_or(template_sp);
500-
ecx.dcx().emit_err(errors::AsmModifierInvalid { span });
500+
ecx.dcx().emit_err(diagnostics::AsmModifierInvalid { span });
501501
modifier = None;
502502
}
503503

compiler/rustc_builtin_macros/src/assert.rs

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -11,8 +11,8 @@ use rustc_parse::parser::Parser;
1111
use rustc_span::{DUMMY_SP, Ident, Span, Symbol, sym};
1212
use thin_vec::thin_vec;
1313

14+
use crate::diagnostics;
1415
use crate::edition_panic::use_panic_2021;
15-
use crate::errors;
1616

1717
pub(crate) fn expand_assert<'cx>(
1818
cx: &'cx mut ExtCtxt<'_>,
@@ -114,7 +114,7 @@ fn parse_assert<'a>(cx: &ExtCtxt<'a>, sp: Span, stream: TokenStream) -> PResult<
114114
let mut parser = cx.new_parser_from_tts(stream);
115115

116116
if parser.token == token::Eof {
117-
return Err(cx.dcx().create_err(errors::AssertRequiresBoolean { span: sp }));
117+
return Err(cx.dcx().create_err(diagnostics::AssertRequiresBoolean { span: sp }));
118118
}
119119

120120
let cond_expr = parser.parse_expr()?;
@@ -127,7 +127,8 @@ fn parse_assert<'a>(cx: &ExtCtxt<'a>, sp: Span, stream: TokenStream) -> PResult<
127127
//
128128
// Emit an error about semicolon and suggest removing it.
129129
if parser.token == token::Semi {
130-
cx.dcx().emit_err(errors::AssertRequiresExpression { span: sp, token: parser.token.span });
130+
cx.dcx()
131+
.emit_err(diagnostics::AssertRequiresExpression { span: sp, token: parser.token.span });
131132
parser.bump();
132133
}
133134

@@ -140,7 +141,7 @@ fn parse_assert<'a>(cx: &ExtCtxt<'a>, sp: Span, stream: TokenStream) -> PResult<
140141
let custom_message =
141142
if let token::Literal(token::Lit { kind: token::Str, .. }) = parser.token.kind {
142143
let comma = parser.prev_token.span.shrink_to_hi();
143-
cx.dcx().emit_err(errors::AssertMissingComma { span: parser.token.span, comma });
144+
cx.dcx().emit_err(diagnostics::AssertMissingComma { span: parser.token.span, comma });
144145

145146
parse_custom_message(&mut parser)
146147
} else if parser.eat(exp!(Comma)) {

compiler/rustc_builtin_macros/src/autodiff.rs

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ mod llvm_enzyme {
2424
use thin_vec::{ThinVec, thin_vec};
2525
use tracing::{debug, trace};
2626

27-
use crate::errors;
27+
use crate::diagnostics;
2828

2929
pub(crate) fn outer_normal_attr(
3030
kind: &Box<rustc_ast::NormalAttr>,
@@ -101,7 +101,7 @@ mod llvm_enzyme {
101101
match x.try_into() {
102102
Ok(x) => x,
103103
Err(_) => {
104-
dcx.emit_err(errors::AutoDiffInvalidWidth {
104+
dcx.emit_err(diagnostics::AutoDiffInvalidWidth {
105105
span: meta_item[1].span(),
106106
width: x,
107107
});
@@ -120,7 +120,7 @@ mod llvm_enzyme {
120120
match res {
121121
Ok(x) => activities.push(x),
122122
Err(_) => {
123-
dcx.emit_err(errors::AutoDiffUnknownActivity {
123+
dcx.emit_err(diagnostics::AutoDiffUnknownActivity {
124124
span: x.span(),
125125
act: activity_str,
126126
});
@@ -238,14 +238,14 @@ mod llvm_enzyme {
238238
}
239239
_ => None,
240240
}) else {
241-
dcx.emit_err(errors::AutoDiffInvalidApplication { span: item.span() });
241+
dcx.emit_err(diagnostics::AutoDiffInvalidApplication { span: item.span() });
242242
return vec![item];
243243
};
244244

245245
let meta_item_vec: ThinVec<MetaItemInner> = match meta_item.kind {
246246
ast::MetaItemKind::List(ref vec) => vec.clone(),
247247
_ => {
248-
dcx.emit_err(errors::AutoDiffMissingConfig { span: item.span() });
248+
dcx.emit_err(diagnostics::AutoDiffMissingConfig { span: item.span() });
249249
return vec![item];
250250
}
251251
};
@@ -257,7 +257,7 @@ mod llvm_enzyme {
257257
let mut ts: Vec<TokenTree> = vec![];
258258
if meta_item_vec.len() < 1 {
259259
// At the bare minimum, we need a fnc name.
260-
dcx.emit_err(errors::AutoDiffMissingConfig { span: item.span() });
260+
dcx.emit_err(diagnostics::AutoDiffMissingConfig { span: item.span() });
261261
return vec![item];
262262
}
263263

@@ -658,7 +658,7 @@ mod llvm_enzyme {
658658
let sig_args = sig.decl.inputs.len() + if has_ret { 1 } else { 0 };
659659
let num_activities = x.input_activity.len() + if x.has_ret_activity() { 1 } else { 0 };
660660
if sig_args != num_activities {
661-
dcx.emit_err(errors::AutoDiffInvalidNumberActivities {
661+
dcx.emit_err(diagnostics::AutoDiffInvalidNumberActivities {
662662
span,
663663
expected: sig_args,
664664
found: num_activities,
@@ -679,15 +679,15 @@ mod llvm_enzyme {
679679
let mut errors = false;
680680
for (arg, activity) in sig.decl.inputs.iter().zip(x.input_activity.iter()) {
681681
if !valid_input_activity(x.mode, *activity) {
682-
dcx.emit_err(errors::AutoDiffInvalidApplicationModeAct {
682+
dcx.emit_err(diagnostics::AutoDiffInvalidApplicationModeAct {
683683
span,
684684
mode: x.mode.to_string(),
685685
act: activity.to_string(),
686686
});
687687
errors = true;
688688
}
689689
if !valid_ty_for_activity(&arg.ty, *activity) {
690-
dcx.emit_err(errors::AutoDiffInvalidTypeForActivity {
690+
dcx.emit_err(diagnostics::AutoDiffInvalidTypeForActivity {
691691
span: arg.ty.span,
692692
act: activity.to_string(),
693693
});
@@ -696,7 +696,7 @@ mod llvm_enzyme {
696696
}
697697

698698
if has_ret && !valid_ret_activity(x.mode, x.ret_activity) {
699-
dcx.emit_err(errors::AutoDiffInvalidRetAct {
699+
dcx.emit_err(diagnostics::AutoDiffInvalidRetAct {
700700
span,
701701
mode: x.mode.to_string(),
702702
act: x.ret_activity.to_string(),

compiler/rustc_builtin_macros/src/cfg.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ use rustc_parse::exp;
1616
use rustc_parse::parser::Recovery;
1717
use rustc_span::{ErrorGuaranteed, Span, sym};
1818

19-
use crate::errors;
19+
use crate::diagnostics;
2020

2121
pub(crate) fn expand_cfg(
2222
cx: &mut ExtCtxt<'_>,
@@ -38,7 +38,7 @@ pub(crate) fn expand_cfg(
3838
fn parse_cfg(cx: &ExtCtxt<'_>, span: Span, tts: TokenStream) -> Result<CfgEntry, ErrorGuaranteed> {
3939
let mut parser = cx.new_parser_from_tts(tts);
4040
if parser.token == token::Eof {
41-
return Err(cx.dcx().emit_err(errors::RequiresCfgPattern { span }));
41+
return Err(cx.dcx().emit_err(diagnostics::RequiresCfgPattern { span }));
4242
}
4343

4444
let meta = MetaItemOrLitParser::parse_single(
@@ -70,7 +70,7 @@ fn parse_cfg(cx: &ExtCtxt<'_>, span: Span, tts: TokenStream) -> Result<CfgEntry,
7070
let _ = parser.eat(exp!(Comma));
7171

7272
if !parser.eat(exp!(Eof)) {
73-
return Err(cx.dcx().emit_err(errors::OneCfgPattern { span }));
73+
return Err(cx.dcx().emit_err(diagnostics::OneCfgPattern { span }));
7474
}
7575

7676
Ok(cfg)

compiler/rustc_builtin_macros/src/cfg_accessible.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,12 +6,12 @@ use rustc_expand::base::{Annotatable, ExpandResult, ExtCtxt, Indeterminate, Mult
66
use rustc_feature::AttributeTemplate;
77
use rustc_span::{Span, sym};
88

9-
use crate::errors;
9+
use crate::diagnostics;
1010

1111
pub(crate) struct Expander;
1212

1313
fn validate_input<'a>(ecx: &ExtCtxt<'_>, mi: &'a ast::MetaItem) -> Option<&'a ast::Path> {
14-
use errors::CfgAccessibleInvalid::*;
14+
use diagnostics::CfgAccessibleInvalid::*;
1515
match mi.meta_item_list() {
1616
None => {}
1717
Some([]) => {
@@ -62,7 +62,7 @@ impl MultiItemModifier for Expander {
6262
Ok(true) => ExpandResult::Ready(vec![item]),
6363
Ok(false) => ExpandResult::Ready(Vec::new()),
6464
Err(Indeterminate) if ecx.force_mode => {
65-
ecx.dcx().emit_err(errors::CfgAccessibleIndeterminate { span });
65+
ecx.dcx().emit_err(diagnostics::CfgAccessibleIndeterminate { span });
6666
ExpandResult::Ready(vec![item])
6767
}
6868
Err(Indeterminate) => ExpandResult::Retry(item),

compiler/rustc_builtin_macros/src/cfg_select.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ use rustc_expand::base::{DummyResult, ExpandResult, ExtCtxt, MacResult, MacroExp
66
use rustc_span::{Ident, Span, sym};
77
use smallvec::SmallVec;
88

9-
use crate::errors::CfgSelectNoMatches;
9+
use crate::diagnostics::CfgSelectNoMatches;
1010

1111
/// This intermediate structure is used to emit parse errors for the branches that are not chosen.
1212
/// The `MacResult` instance below parses all branches, emitting any errors it encounters, but only

0 commit comments

Comments
 (0)