Skip to content

Commit 672452d

Browse files
jdonszelmannjdonszelmann
committed
use consistent attr errors in all attribute parsers
1 parent ee976bb commit 672452d

23 files changed

+308
-154
lines changed

‎compiler/rustc_attr_parsing/messages.ftl‎

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -27,8 +27,6 @@ attr_parsing_ill_formed_attribute_input = {$num_suggestions ->
2727
[1] attribute must be of the form {$suggestions}
2828
*[other] valid forms for the attribute are {$suggestions}
2929
}
30-
attr_parsing_incorrect_meta_item = expected a quoted string literal
31-
attr_parsing_incorrect_meta_item_suggestion = consider surrounding this with quotes
3230
3331
attr_parsing_incorrect_repr_format_align_one_arg =
3432
incorrect `repr(align)` attribute format: `align` takes exactly one argument in parentheses
@@ -85,9 +83,6 @@ attr_parsing_missing_note =
8583
attr_parsing_missing_since =
8684
missing 'since'
8785
88-
attr_parsing_multiple_item =
89-
multiple '{$item}' items
90-
9186
attr_parsing_multiple_stability_levels =
9287
multiple stability levels
9388

‎compiler/rustc_attr_parsing/src/attributes/confusables.rs‎

Lines changed: 2 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -19,9 +19,7 @@ impl<S: Stage> AttributeParser<S> for ConfusablesParser {
1919
template!(List: r#""name1", "name2", ..."#),
2020
|this, cx, args| {
2121
let Some(list) = args.list() else {
22-
// FIXME(jdonszelmann): error when not a list? Bring validation code here.
23-
// NOTE: currently subsequent attributes are silently ignored using
24-
// tcx.get_attr().
22+
cx.expected_list(cx.attr_span);
2523
return;
2624
};
2725

@@ -33,13 +31,7 @@ impl<S: Stage> AttributeParser<S> for ConfusablesParser {
3331
let span = param.span();
3432

3533
let Some(lit) = param.lit() else {
36-
cx.emit_err(session_diagnostics::IncorrectMetaItem {
37-
span,
38-
suggestion: Some(session_diagnostics::IncorrectMetaItemSuggestion {
39-
lo: span.shrink_to_lo(),
40-
hi: span.shrink_to_hi(),
41-
}),
42-
});
34+
cx.expected_string_literal(span);
4335
continue;
4436
};
4537

‎compiler/rustc_attr_parsing/src/attributes/deprecation.rs‎

Lines changed: 7 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@ fn get<S: Stage>(
1919
item: &Option<Symbol>,
2020
) -> Option<Symbol> {
2121
if item.is_some() {
22-
cx.emit_err(session_diagnostics::MultipleItem { span: param_span, item: name.to_string() });
22+
cx.duplicate_key(param_span, name);
2323
return None;
2424
}
2525
if let Some(v) = arg.name_value() {
@@ -36,8 +36,7 @@ fn get<S: Stage>(
3636
None
3737
}
3838
} else {
39-
// FIXME(jdonszelmann): suggestion?
40-
cx.emit_err(session_diagnostics::IncorrectMetaItem { span: param_span, suggestion: None });
39+
cx.expected_name_value(param_span, Some(name));
4140
None
4241
}
4342
}
@@ -99,15 +98,15 @@ impl<S: Stage> SingleAttributeParser<S> for DeprecationParser {
9998
suggestion = Some(get(cx, name, param_span, param.args(), &suggestion)?);
10099
}
101100
_ => {
102-
cx.emit_err(session_diagnostics::UnknownMetaItem {
103-
span: param_span,
104-
item: param.path().to_string(),
105-
expected: if features.deprecated_suggestion() {
101+
cx.unknown_key(
102+
param_span,
103+
param.path().to_string(),
104+
if features.deprecated_suggestion() {
106105
&["since", "note", "suggestion"]
107106
} else {
108107
&["since", "note"]
109108
},
110-
});
109+
);
111110
return None;
112111
}
113112
}

‎compiler/rustc_attr_parsing/src/attributes/inline.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ impl<S: Stage> SingleAttributeParser<S> for InlineParser {
2929
return None;
3030
};
3131

32-
match l.meta_item().and_then(|i| i.path().word().map(|i| i.name)) {
32+
match l.meta_item().and_then(|i| i.path().word_sym()) {
3333
Some(sym::always) => {
3434
Some(AttributeKind::Inline(InlineAttr::Always, cx.attr_span))
3535
}

‎compiler/rustc_attr_parsing/src/attributes/stability.rs‎

Lines changed: 22 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ use rustc_attr_data_structures::{
66
};
77
use rustc_errors::ErrorGuaranteed;
88
use rustc_feature::{AttributeTemplate, template};
9-
use rustc_span::{Span, Symbol, sym};
9+
use rustc_span::{Ident, Span, Symbol, sym};
1010

1111
use super::util::parse_version;
1212
use super::{AcceptMapping, AttributeOrder, AttributeParser, OnDuplicate, SingleAttributeParser};
@@ -217,23 +217,18 @@ fn insert_value_into_option_or_error<S: Stage>(
217217
cx: &AcceptContext<'_, '_, S>,
218218
param: &MetaItemParser<'_>,
219219
item: &mut Option<Symbol>,
220+
name: Ident,
220221
) -> Option<()> {
221222
if item.is_some() {
222-
cx.emit_err(session_diagnostics::MultipleItem {
223-
span: param.span(),
224-
item: param.path().to_string(),
225-
});
223+
cx.duplicate_key(name.span, name.name);
226224
None
227225
} else if let Some(v) = param.args().name_value()
228226
&& let Some(s) = v.value_as_str()
229227
{
230228
*item = Some(s);
231229
Some(())
232230
} else {
233-
cx.emit_err(session_diagnostics::IncorrectMetaItem {
234-
span: param.span(),
235-
suggestion: None,
236-
});
231+
cx.expected_name_value(param.span(), Some(name.name));
237232
None
238233
}
239234
}
@@ -259,9 +254,14 @@ pub(crate) fn parse_stability<S: Stage>(
259254
return None;
260255
};
261256

262-
match param.path().word_sym() {
263-
Some(sym::feature) => insert_value_into_option_or_error(cx, &param, &mut feature)?,
264-
Some(sym::since) => insert_value_into_option_or_error(cx, &param, &mut since)?,
257+
let word = param.path().word();
258+
match word.map(|i| i.name) {
259+
Some(sym::feature) => {
260+
insert_value_into_option_or_error(cx, &param, &mut feature, word.unwrap())?
261+
}
262+
Some(sym::since) => {
263+
insert_value_into_option_or_error(cx, &param, &mut since, word.unwrap())?
264+
}
265265
_ => {
266266
cx.emit_err(session_diagnostics::UnknownMetaItem {
267267
span: param_span,
@@ -328,11 +328,16 @@ pub(crate) fn parse_unstability<S: Stage>(
328328
return None;
329329
};
330330

331-
match param.path().word_sym() {
332-
Some(sym::feature) => insert_value_into_option_or_error(cx, &param, &mut feature)?,
333-
Some(sym::reason) => insert_value_into_option_or_error(cx, &param, &mut reason)?,
331+
let word = param.path().word();
332+
match word.map(|i| i.name) {
333+
Some(sym::feature) => {
334+
insert_value_into_option_or_error(cx, &param, &mut feature, word.unwrap())?
335+
}
336+
Some(sym::reason) => {
337+
insert_value_into_option_or_error(cx, &param, &mut reason, word.unwrap())?
338+
}
334339
Some(sym::issue) => {
335-
insert_value_into_option_or_error(cx, &param, &mut issue)?;
340+
insert_value_into_option_or_error(cx, &param, &mut issue, word.unwrap())?;
336341

337342
// These unwraps are safe because `insert_value_into_option_or_error` ensures the meta item
338343
// is a name/value pair string literal.
@@ -362,7 +367,7 @@ pub(crate) fn parse_unstability<S: Stage>(
362367
is_soft = true;
363368
}
364369
Some(sym::implied_by) => {
365-
insert_value_into_option_or_error(cx, &param, &mut implied_by)?
370+
insert_value_into_option_or_error(cx, &param, &mut implied_by, word.unwrap())?
366371
}
367372
Some(sym::old_name) => insert_value_into_option_or_error(cx, &param, &mut old_name)?,
368373
_ => {

‎compiler/rustc_attr_parsing/src/attributes/transparency.rs‎

Lines changed: 10 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -22,12 +22,19 @@ impl<S: Stage> SingleAttributeParser<S> for TransparencyParser {
2222
template!(NameValueStr: "transparent|semitransparent|opaque");
2323

2424
fn convert(cx: &mut AcceptContext<'_, '_, S>, args: &ArgParser<'_>) -> Option<AttributeKind> {
25-
match args.name_value().and_then(|nv| nv.value_as_str()) {
25+
let Some(nv) = args.name_value() else {
26+
cx.expected_name_value(cx.attr_span, None);
27+
return None;
28+
};
29+
match nv.value_as_str() {
2630
Some(sym::transparent) => Some(Transparency::Transparent),
2731
Some(sym::semiopaque | sym::semitransparent) => Some(Transparency::SemiOpaque),
2832
Some(sym::opaque) => Some(Transparency::Opaque),
29-
Some(other) => {
30-
cx.dcx().span_err(cx.attr_span, format!("unknown macro transparency: `{other}`"));
33+
Some(_) => {
34+
cx.expected_specific_argument_strings(
35+
nv.value_span,
36+
vec!["transparent", "semitransparent", "opaque"],
37+
);
3138
None
3239
}
3340
None => None,

‎compiler/rustc_attr_parsing/src/context.rs‎

Lines changed: 64 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@ use crate::attributes::stability::{
2727
use crate::attributes::transparency::TransparencyParser;
2828
use crate::attributes::{AttributeParser as _, Combine, Single};
2929
use crate::parser::{ArgParser, MetaItemParser};
30-
use crate::session_diagnostics::{AttributeParseError, AttributeParseErrorReason};
30+
use crate::session_diagnostics::{AttributeParseError, AttributeParseErrorReason, UnknownMetaItem};
3131

3232
macro_rules! group_type {
3333
($stage: ty) => {
@@ -191,8 +191,16 @@ impl<'f, 'sess: 'f, S: Stage> AcceptContext<'f, 'sess, S> {
191191
(self.emit_lint)(AttributeLint { id, span, kind: lint });
192192
}
193193

194+
pub(crate) fn unknown_key(
195+
&self,
196+
span: Span,
197+
found: String,
198+
options: &'static [&'static str],
199+
) -> ErrorGuaranteed {
200+
self.emit_err(UnknownMetaItem { span, item: found, expected: options })
201+
}
202+
194203
pub(crate) fn expected_string_literal(&self, span: Span) -> ErrorGuaranteed {
195-
// 539?
196204
self.emit_err(AttributeParseError {
197205
span,
198206
attr_span: self.attr_span,
@@ -202,12 +210,40 @@ impl<'f, 'sess: 'f, S: Stage> AcceptContext<'f, 'sess, S> {
202210
})
203211
}
204212

205-
// pub(crate) fn expected_any_arguments(&self, span: Span) -> ErrorGuaranteed {
206-
//
207-
// }
213+
pub(crate) fn expected_list(&self, span: Span) -> ErrorGuaranteed {
214+
self.emit_err(AttributeParseError {
215+
span,
216+
attr_span: self.attr_span,
217+
template: self.template.clone(),
218+
attribute: self.attr_path.clone(),
219+
reason: AttributeParseErrorReason::ExpectedList,
220+
})
221+
}
222+
223+
/// emit an error that a `name = value` pair was expected at this span. The symbol can be given for
224+
/// a nicer error message talking about the specific name that was found lacking a value.
225+
pub(crate) fn expected_name_value(&self, span: Span, name: Option<Symbol>) -> ErrorGuaranteed {
226+
self.emit_err(AttributeParseError {
227+
span,
228+
attr_span: self.attr_span,
229+
template: self.template.clone(),
230+
attribute: self.attr_path.clone(),
231+
reason: AttributeParseErrorReason::ExpectedNameValue(name),
232+
})
233+
}
234+
235+
/// emit an error that a `name = value` pair was found where that name was already seen.
236+
pub(crate) fn duplicate_key(&self, span: Span, key: Symbol) -> ErrorGuaranteed {
237+
self.emit_err(AttributeParseError {
238+
span,
239+
attr_span: self.attr_span,
240+
template: self.template.clone(),
241+
attribute: self.attr_path.clone(),
242+
reason: AttributeParseErrorReason::DuplicateKey(key),
243+
})
244+
}
208245

209246
pub(crate) fn expected_single_argument(&self, span: Span) -> ErrorGuaranteed {
210-
// E534?
211247
self.emit_err(AttributeParseError {
212248
span,
213249
attr_span: self.attr_span,
@@ -220,15 +256,34 @@ impl<'f, 'sess: 'f, S: Stage> AcceptContext<'f, 'sess, S> {
220256
pub(crate) fn expected_specific_argument(
221257
&self,
222258
span: Span,
223-
options: Vec<&'static str>,
259+
possibilities: Vec<&'static str>,
260+
) -> ErrorGuaranteed {
261+
self.emit_err(AttributeParseError {
262+
span,
263+
attr_span: self.attr_span,
264+
template: self.template.clone(),
265+
attribute: self.attr_path.clone(),
266+
reason: AttributeParseErrorReason::ExpectedSpecificArgument {
267+
possibilities,
268+
strings: false,
269+
},
270+
})
271+
}
272+
273+
pub(crate) fn expected_specific_argument_strings(
274+
&self,
275+
span: Span,
276+
possibilities: Vec<&'static str>,
224277
) -> ErrorGuaranteed {
225-
// E535?
226278
self.emit_err(AttributeParseError {
227279
span,
228280
attr_span: self.attr_span,
229281
template: self.template.clone(),
230282
attribute: self.attr_path.clone(),
231-
reason: AttributeParseErrorReason::ExpectedSpecificArgument(options),
283+
reason: AttributeParseErrorReason::ExpectedSpecificArgument {
284+
possibilities,
285+
strings: true,
286+
},
232287
})
233288
}
234289
}

0 commit comments

Comments
 (0)