bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Reject #[thread_local] attribute on non-static items

Browse source
This commit is contained in:
Tomasz Miąsko 2022-03-16 00:00:00 +00:00
parent d8e564715e
commit 5e7610378f
3 changed files with 84 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

16
compiler/rustc_passes/src/check_attr.rs
View file

@ -80,6 +80,7 @@ impl CheckAttrVisitor<'_> {
self.check_rustc_must_implement_one_of(attr, span, target)
}
sym::target_feature => self.check_target_feature(hir_id, attr, span, target),
sym::thread_local => self.check_thread_local(attr, span, target),
sym::track_caller => {
self.check_track_caller(hir_id, attr.span, attrs, span, target)
}
@ -521,6 +522,21 @@ impl CheckAttrVisitor<'_> {
}
}
/// Checks if the `#[thread_local]` attribute on `item` is valid. Returns `true` if valid.
fn check_thread_local(&self, attr: &Attribute, span: Span, target: Target) -> bool {
match target {
Target::ForeignStatic | Target::Static => true,
_ => {
self.tcx
.sess
.struct_span_err(attr.span, "attribute should be applied to a static")
.span_label(span, "not a static")
.emit();
false
}
}
}
fn doc_attr_str_error(&self, meta: &NestedMetaItem, attr_name: &str) {
self.tcx
.sess