]>
Commit | Line | Data |
---|---|---|
e74abb32 XL |
1 | //! Contains `ParseSess` which holds state living beyond what one `Parser` might. |
2 | //! It also serves as an input to the parser itself. | |
3 | ||
5099ac24 | 4 | use crate::config::CheckCfg; |
f2b60f7d FG |
5 | use crate::errors::{FeatureDiagnosticForIssue, FeatureDiagnosticHelp, FeatureGateError}; |
6 | use crate::lint::{ | |
7 | builtin::UNSTABLE_SYNTAX_PRE_EXPANSION, BufferedEarlyLint, BuiltinLintDiagnostics, Lint, LintId, | |
8 | }; | |
74b04a01 | 9 | use rustc_ast::node_id::NodeId; |
f2b60f7d | 10 | use rustc_data_structures::fx::{FxHashMap, FxHashSet, FxIndexSet}; |
fc512014 | 11 | use rustc_data_structures::sync::{Lock, Lrc}; |
dfeec247 | 12 | use rustc_errors::{emitter::SilentEmitter, ColorConfig, Handler}; |
04454e1e | 13 | use rustc_errors::{ |
2b03887a FG |
14 | fallback_fluent_bundle, Diagnostic, DiagnosticBuilder, DiagnosticId, DiagnosticMessage, |
15 | EmissionGuarantee, ErrorGuaranteed, IntoDiagnostic, MultiSpan, Noted, StashKey, | |
04454e1e | 16 | }; |
dfeec247 XL |
17 | use rustc_feature::{find_feature_issue, GateIssue, UnstableFeatures}; |
18 | use rustc_span::edition::Edition; | |
19 | use rustc_span::hygiene::ExpnId; | |
20 | use rustc_span::source_map::{FilePathMapping, SourceMap}; | |
04454e1e | 21 | use rustc_span::{Span, Symbol}; |
e74abb32 | 22 | |
f2b60f7d | 23 | use rustc_ast::attr::AttrIdGenerator; |
e74abb32 XL |
24 | use std::str; |
25 | ||
60c5eb7d XL |
26 | /// The set of keys (and, optionally, values) that define the compilation |
27 | /// environment of the crate, used to drive conditional compilation. | |
f2b60f7d | 28 | pub type CrateConfig = FxIndexSet<(Symbol, Option<Symbol>)>; |
5099ac24 | 29 | pub type CrateCheckConfig = CheckCfg<Symbol>; |
60c5eb7d | 30 | |
e74abb32 XL |
31 | /// Collected spans during parsing for places where a certain feature was |
32 | /// used and should be feature gated accordingly in `check_crate`. | |
33 | #[derive(Default)] | |
60c5eb7d XL |
34 | pub struct GatedSpans { |
35 | pub spans: Lock<FxHashMap<Symbol, Vec<Span>>>, | |
36 | } | |
37 | ||
38 | impl GatedSpans { | |
39 | /// Feature gate the given `span` under the given `feature` | |
40 | /// which is same `Symbol` used in `active.rs`. | |
41 | pub fn gate(&self, feature: Symbol, span: Span) { | |
dfeec247 | 42 | self.spans.borrow_mut().entry(feature).or_default().push(span); |
60c5eb7d XL |
43 | } |
44 | ||
45 | /// Ungate the last span under the given `feature`. | |
46 | /// Panics if the given `span` wasn't the last one. | |
47 | /// | |
48 | /// Using this is discouraged unless you have a really good reason to. | |
49 | pub fn ungate_last(&self, feature: Symbol, span: Span) { | |
dfeec247 | 50 | let removed_span = self.spans.borrow_mut().entry(feature).or_default().pop().unwrap(); |
60c5eb7d XL |
51 | debug_assert_eq!(span, removed_span); |
52 | } | |
53 | ||
54 | /// Is the provided `feature` gate ungated currently? | |
55 | /// | |
56 | /// Using this is discouraged unless you have a really good reason to. | |
57 | pub fn is_ungated(&self, feature: Symbol) -> bool { | |
dfeec247 | 58 | self.spans.borrow().get(&feature).map_or(true, |spans| spans.is_empty()) |
60c5eb7d XL |
59 | } |
60 | ||
61 | /// Prepend the given set of `spans` onto the set in `self`. | |
62 | pub fn merge(&self, mut spans: FxHashMap<Symbol, Vec<Span>>) { | |
63 | let mut inner = self.spans.borrow_mut(); | |
64 | for (gate, mut gate_spans) in inner.drain() { | |
65 | spans.entry(gate).or_default().append(&mut gate_spans); | |
66 | } | |
67 | *inner = spans; | |
68 | } | |
e74abb32 XL |
69 | } |
70 | ||
f9f354fc XL |
71 | #[derive(Default)] |
72 | pub struct SymbolGallery { | |
3dfed10e XL |
73 | /// All symbols occurred and their first occurrence span. |
74 | pub symbols: Lock<FxHashMap<Symbol, Span>>, | |
f9f354fc XL |
75 | } |
76 | ||
77 | impl SymbolGallery { | |
78 | /// Insert a symbol and its span into symbol gallery. | |
5e7ed085 | 79 | /// If the symbol has occurred before, ignore the new occurrence. |
f9f354fc XL |
80 | pub fn insert(&self, symbol: Symbol, span: Span) { |
81 | self.symbols.lock().entry(symbol).or_insert(span); | |
82 | } | |
83 | } | |
84 | ||
dfeec247 XL |
85 | /// Construct a diagnostic for a language feature error due to the given `span`. |
86 | /// The `feature`'s `Symbol` is the one you used in `active.rs` and `rustc_span::symbols`. | |
87 | pub fn feature_err<'a>( | |
88 | sess: &'a ParseSess, | |
89 | feature: Symbol, | |
90 | span: impl Into<MultiSpan>, | |
9ffffee4 | 91 | explain: impl Into<DiagnosticMessage>, |
5e7ed085 | 92 | ) -> DiagnosticBuilder<'a, ErrorGuaranteed> { |
dfeec247 XL |
93 | feature_err_issue(sess, feature, span, GateIssue::Language, explain) |
94 | } | |
95 | ||
96 | /// Construct a diagnostic for a feature gate error. | |
97 | /// | |
98 | /// This variant allows you to control whether it is a library or language feature. | |
99 | /// Almost always, you want to use this for a language feature. If so, prefer `feature_err`. | |
487cf647 | 100 | #[track_caller] |
dfeec247 XL |
101 | pub fn feature_err_issue<'a>( |
102 | sess: &'a ParseSess, | |
103 | feature: Symbol, | |
104 | span: impl Into<MultiSpan>, | |
105 | issue: GateIssue, | |
9ffffee4 | 106 | explain: impl Into<DiagnosticMessage>, |
5e7ed085 | 107 | ) -> DiagnosticBuilder<'a, ErrorGuaranteed> { |
f2b60f7d FG |
108 | let span = span.into(); |
109 | ||
110 | // Cancel an earlier warning for this same error, if it exists. | |
111 | if let Some(span) = span.primary_span() { | |
112 | sess.span_diagnostic | |
113 | .steal_diagnostic(span, StashKey::EarlySyntaxWarning) | |
114 | .map(|err| err.cancel()); | |
115 | } | |
116 | ||
9ffffee4 | 117 | let mut err = sess.create_err(FeatureGateError { span, explain: explain.into() }); |
5e7ed085 FG |
118 | add_feature_diagnostics_for_issue(&mut err, sess, feature, issue); |
119 | err | |
120 | } | |
121 | ||
f2b60f7d FG |
122 | /// Construct a future incompatibility diagnostic for a feature gate. |
123 | /// | |
124 | /// This diagnostic is only a warning and *does not cause compilation to fail*. | |
9c376795 | 125 | pub fn feature_warn(sess: &ParseSess, feature: Symbol, span: Span, explain: &str) { |
f2b60f7d FG |
126 | feature_warn_issue(sess, feature, span, GateIssue::Language, explain); |
127 | } | |
128 | ||
129 | /// Construct a future incompatibility diagnostic for a feature gate. | |
130 | /// | |
131 | /// This diagnostic is only a warning and *does not cause compilation to fail*. | |
132 | /// | |
133 | /// This variant allows you to control whether it is a library or language feature. | |
134 | /// Almost always, you want to use this for a language feature. If so, prefer `feature_warn`. | |
135 | #[allow(rustc::diagnostic_outside_of_impl)] | |
136 | #[allow(rustc::untranslatable_diagnostic)] | |
9c376795 FG |
137 | pub fn feature_warn_issue( |
138 | sess: &ParseSess, | |
f2b60f7d FG |
139 | feature: Symbol, |
140 | span: Span, | |
141 | issue: GateIssue, | |
142 | explain: &str, | |
143 | ) { | |
144 | let mut err = sess.span_diagnostic.struct_span_warn(span, explain); | |
145 | add_feature_diagnostics_for_issue(&mut err, sess, feature, issue); | |
146 | ||
147 | // Decorate this as a future-incompatibility lint as in rustc_middle::lint::struct_lint_level | |
148 | let lint = UNSTABLE_SYNTAX_PRE_EXPANSION; | |
149 | let future_incompatible = lint.future_incompatible.as_ref().unwrap(); | |
150 | err.code(DiagnosticId::Lint { | |
151 | name: lint.name_lower(), | |
152 | has_future_breakage: false, | |
153 | is_force_warn: false, | |
154 | }); | |
155 | err.warn(lint.desc); | |
156 | err.note(format!("for more information, see {}", future_incompatible.reference)); | |
157 | ||
158 | // A later feature_err call can steal and cancel this warning. | |
159 | err.stash(span, StashKey::EarlySyntaxWarning); | |
160 | } | |
161 | ||
5e7ed085 | 162 | /// Adds the diagnostics for a feature to an existing error. |
9c376795 | 163 | pub fn add_feature_diagnostics(err: &mut Diagnostic, sess: &ParseSess, feature: Symbol) { |
5e7ed085 FG |
164 | add_feature_diagnostics_for_issue(err, sess, feature, GateIssue::Language); |
165 | } | |
dfeec247 | 166 | |
5e7ed085 FG |
167 | /// Adds the diagnostics for a feature to an existing error. |
168 | /// | |
169 | /// This variant allows you to control whether it is a library or language feature. | |
170 | /// Almost always, you want to use this for a language feature. If so, prefer | |
171 | /// `add_feature_diagnostics`. | |
9c376795 | 172 | pub fn add_feature_diagnostics_for_issue( |
5e7ed085 | 173 | err: &mut Diagnostic, |
9c376795 | 174 | sess: &ParseSess, |
5e7ed085 FG |
175 | feature: Symbol, |
176 | issue: GateIssue, | |
177 | ) { | |
dfeec247 | 178 | if let Some(n) = find_feature_issue(feature, issue) { |
f2b60f7d | 179 | err.subdiagnostic(FeatureDiagnosticForIssue { n }); |
dfeec247 XL |
180 | } |
181 | ||
182 | // #23973: do not suggest `#![feature(...)]` if we are in beta/stable | |
183 | if sess.unstable_features.is_nightly_build() { | |
f2b60f7d | 184 | err.subdiagnostic(FeatureDiagnosticHelp { feature }); |
dfeec247 | 185 | } |
dfeec247 XL |
186 | } |
187 | ||
e74abb32 XL |
188 | /// Info about a parsing session. |
189 | pub struct ParseSess { | |
190 | pub span_diagnostic: Handler, | |
60c5eb7d | 191 | pub unstable_features: UnstableFeatures, |
e74abb32 | 192 | pub config: CrateConfig, |
5099ac24 | 193 | pub check_config: CrateCheckConfig, |
e74abb32 | 194 | pub edition: Edition, |
3c0e092e XL |
195 | /// Places where raw identifiers were used. This is used to avoid complaining about idents |
196 | /// clashing with keywords in new editions. | |
e74abb32 | 197 | pub raw_identifier_spans: Lock<Vec<Span>>, |
3c0e092e XL |
198 | /// Places where identifiers that contain invalid Unicode codepoints but that look like they |
199 | /// should be. Useful to avoid bad tokenization when encountering emoji. We group them to | |
200 | /// provide a single error per unique incorrect identifier. | |
201 | pub bad_unicode_identifiers: Lock<FxHashMap<Symbol, Vec<Span>>>, | |
e74abb32 XL |
202 | source_map: Lrc<SourceMap>, |
203 | pub buffered_lints: Lock<Vec<BufferedEarlyLint>>, | |
204 | /// Contains the spans of block expressions that could have been incomplete based on the | |
205 | /// operation token that followed it, but that the parser cannot identify without further | |
206 | /// analysis. | |
207 | pub ambiguous_block_expr_parse: Lock<FxHashMap<Span, Span>>, | |
60c5eb7d | 208 | pub gated_spans: GatedSpans, |
f9f354fc | 209 | pub symbol_gallery: SymbolGallery, |
e74abb32 XL |
210 | /// The parser has reached `Eof` due to an unclosed brace. Used to silence unnecessary errors. |
211 | pub reached_eof: Lock<bool>, | |
f035d41b XL |
212 | /// Environment variables accessed during the build and their values when they exist. |
213 | pub env_depinfo: Lock<FxHashSet<(Symbol, Option<Symbol>)>>, | |
136023e0 XL |
214 | /// File paths accessed during the build. |
215 | pub file_depinfo: Lock<FxHashSet<Symbol>>, | |
3dfed10e XL |
216 | /// All the type ascriptions expressions that have had a suggestion for likely path typo. |
217 | pub type_ascription_path_suggestions: Lock<FxHashSet<Span>>, | |
5869c6ff XL |
218 | /// Whether cfg(version) should treat the current release as incomplete |
219 | pub assume_incomplete_release: bool, | |
17df50a5 XL |
220 | /// Spans passed to `proc_macro::quote_span`. Each span has a numerical |
221 | /// identifier represented by its position in the vector. | |
222 | pub proc_macro_quoted_spans: Lock<Vec<Span>>, | |
f2b60f7d FG |
223 | /// Used to generate new `AttrId`s. Every `AttrId` is unique. |
224 | pub attr_id_generator: AttrIdGenerator, | |
e74abb32 XL |
225 | } |
226 | ||
227 | impl ParseSess { | |
cdc7bbd5 | 228 | /// Used for testing. |
9ffffee4 FG |
229 | pub fn new(locale_resources: Vec<&'static str>, file_path_mapping: FilePathMapping) -> Self { |
230 | let fallback_bundle = fallback_fluent_bundle(locale_resources, false); | |
74b04a01 | 231 | let sm = Lrc::new(SourceMap::new(file_path_mapping)); |
04454e1e FG |
232 | let handler = Handler::with_tty_emitter( |
233 | ColorConfig::Auto, | |
234 | true, | |
235 | None, | |
236 | Some(sm.clone()), | |
237 | None, | |
238 | fallback_bundle, | |
239 | ); | |
74b04a01 | 240 | ParseSess::with_span_handler(handler, sm) |
e74abb32 XL |
241 | } |
242 | ||
dfeec247 | 243 | pub fn with_span_handler(handler: Handler, source_map: Lrc<SourceMap>) -> Self { |
e74abb32 XL |
244 | Self { |
245 | span_diagnostic: handler, | |
fc512014 | 246 | unstable_features: UnstableFeatures::from_environment(None), |
f2b60f7d | 247 | config: FxIndexSet::default(), |
5099ac24 | 248 | check_config: CrateCheckConfig::default(), |
e74abb32 | 249 | edition: ExpnId::root().expn_data().edition, |
e74abb32 | 250 | raw_identifier_spans: Lock::new(Vec::new()), |
3c0e092e | 251 | bad_unicode_identifiers: Lock::new(Default::default()), |
e74abb32 XL |
252 | source_map, |
253 | buffered_lints: Lock::new(vec![]), | |
254 | ambiguous_block_expr_parse: Lock::new(FxHashMap::default()), | |
e74abb32 | 255 | gated_spans: GatedSpans::default(), |
f9f354fc | 256 | symbol_gallery: SymbolGallery::default(), |
e74abb32 | 257 | reached_eof: Lock::new(false), |
f035d41b | 258 | env_depinfo: Default::default(), |
136023e0 | 259 | file_depinfo: Default::default(), |
3dfed10e | 260 | type_ascription_path_suggestions: Default::default(), |
5869c6ff | 261 | assume_incomplete_release: false, |
17df50a5 | 262 | proc_macro_quoted_spans: Default::default(), |
f2b60f7d | 263 | attr_id_generator: AttrIdGenerator::new(), |
e74abb32 XL |
264 | } |
265 | } | |
266 | ||
3c0e092e | 267 | pub fn with_silent_emitter(fatal_note: Option<String>) -> Self { |
9ffffee4 | 268 | let fallback_bundle = fallback_fluent_bundle(Vec::new(), false); |
74b04a01 | 269 | let sm = Lrc::new(SourceMap::new(FilePathMapping::empty())); |
04454e1e FG |
270 | let fatal_handler = |
271 | Handler::with_tty_emitter(ColorConfig::Auto, false, None, None, None, fallback_bundle); | |
3c0e092e XL |
272 | let handler = Handler::with_emitter( |
273 | false, | |
274 | None, | |
275 | Box::new(SilentEmitter { fatal_handler, fatal_note }), | |
276 | ); | |
74b04a01 | 277 | ParseSess::with_span_handler(handler, sm) |
60c5eb7d XL |
278 | } |
279 | ||
e74abb32 XL |
280 | #[inline] |
281 | pub fn source_map(&self) -> &SourceMap { | |
282 | &self.source_map | |
283 | } | |
284 | ||
f9f354fc XL |
285 | pub fn clone_source_map(&self) -> Lrc<SourceMap> { |
286 | self.source_map.clone() | |
287 | } | |
288 | ||
e74abb32 XL |
289 | pub fn buffer_lint( |
290 | &self, | |
dfeec247 | 291 | lint: &'static Lint, |
e74abb32 | 292 | span: impl Into<MultiSpan>, |
dfeec247 | 293 | node_id: NodeId, |
e74abb32 XL |
294 | msg: &str, |
295 | ) { | |
296 | self.buffered_lints.with_lock(|buffered_lints| { | |
dfeec247 | 297 | buffered_lints.push(BufferedEarlyLint { |
e74abb32 | 298 | span: span.into(), |
dfeec247 | 299 | node_id, |
e74abb32 | 300 | msg: msg.into(), |
dfeec247 XL |
301 | lint_id: LintId::of(lint), |
302 | diagnostic: BuiltinLintDiagnostics::Normal, | |
e74abb32 XL |
303 | }); |
304 | }); | |
305 | } | |
306 | ||
74b04a01 XL |
307 | pub fn buffer_lint_with_diagnostic( |
308 | &self, | |
309 | lint: &'static Lint, | |
310 | span: impl Into<MultiSpan>, | |
311 | node_id: NodeId, | |
312 | msg: &str, | |
313 | diagnostic: BuiltinLintDiagnostics, | |
314 | ) { | |
315 | self.buffered_lints.with_lock(|buffered_lints| { | |
316 | buffered_lints.push(BufferedEarlyLint { | |
317 | span: span.into(), | |
318 | node_id, | |
319 | msg: msg.into(), | |
320 | lint_id: LintId::of(lint), | |
321 | diagnostic, | |
322 | }); | |
323 | }); | |
324 | } | |
325 | ||
17df50a5 XL |
326 | pub fn save_proc_macro_span(&self, span: Span) -> usize { |
327 | let mut spans = self.proc_macro_quoted_spans.lock(); | |
328 | spans.push(span); | |
329 | return spans.len() - 1; | |
330 | } | |
331 | ||
332 | pub fn proc_macro_quoted_spans(&self) -> Vec<Span> { | |
333 | self.proc_macro_quoted_spans.lock().clone() | |
334 | } | |
04454e1e | 335 | |
487cf647 | 336 | #[track_caller] |
04454e1e FG |
337 | pub fn create_err<'a>( |
338 | &'a self, | |
2b03887a | 339 | err: impl IntoDiagnostic<'a>, |
04454e1e | 340 | ) -> DiagnosticBuilder<'a, ErrorGuaranteed> { |
f2b60f7d | 341 | err.into_diagnostic(&self.span_diagnostic) |
04454e1e FG |
342 | } |
343 | ||
487cf647 | 344 | #[track_caller] |
2b03887a | 345 | pub fn emit_err<'a>(&'a self, err: impl IntoDiagnostic<'a>) -> ErrorGuaranteed { |
04454e1e FG |
346 | self.create_err(err).emit() |
347 | } | |
348 | ||
487cf647 | 349 | #[track_caller] |
04454e1e FG |
350 | pub fn create_warning<'a>( |
351 | &'a self, | |
2b03887a | 352 | warning: impl IntoDiagnostic<'a, ()>, |
04454e1e | 353 | ) -> DiagnosticBuilder<'a, ()> { |
f2b60f7d | 354 | warning.into_diagnostic(&self.span_diagnostic) |
04454e1e FG |
355 | } |
356 | ||
487cf647 | 357 | #[track_caller] |
2b03887a | 358 | pub fn emit_warning<'a>(&'a self, warning: impl IntoDiagnostic<'a, ()>) { |
04454e1e FG |
359 | self.create_warning(warning).emit() |
360 | } | |
361 | ||
2b03887a FG |
362 | pub fn create_note<'a>( |
363 | &'a self, | |
364 | note: impl IntoDiagnostic<'a, Noted>, | |
365 | ) -> DiagnosticBuilder<'a, Noted> { | |
366 | note.into_diagnostic(&self.span_diagnostic) | |
367 | } | |
368 | ||
369 | pub fn emit_note<'a>(&'a self, note: impl IntoDiagnostic<'a, Noted>) -> Noted { | |
370 | self.create_note(note).emit() | |
371 | } | |
372 | ||
f2b60f7d FG |
373 | pub fn create_fatal<'a>( |
374 | &'a self, | |
2b03887a | 375 | fatal: impl IntoDiagnostic<'a, !>, |
f2b60f7d FG |
376 | ) -> DiagnosticBuilder<'a, !> { |
377 | fatal.into_diagnostic(&self.span_diagnostic) | |
378 | } | |
379 | ||
2b03887a | 380 | pub fn emit_fatal<'a>(&'a self, fatal: impl IntoDiagnostic<'a, !>) -> ! { |
f2b60f7d FG |
381 | self.create_fatal(fatal).emit() |
382 | } | |
383 | ||
064997fb | 384 | #[rustc_lint_diagnostics] |
487cf647 | 385 | #[track_caller] |
04454e1e FG |
386 | pub fn struct_err( |
387 | &self, | |
388 | msg: impl Into<DiagnosticMessage>, | |
389 | ) -> DiagnosticBuilder<'_, ErrorGuaranteed> { | |
390 | self.span_diagnostic.struct_err(msg) | |
391 | } | |
392 | ||
064997fb | 393 | #[rustc_lint_diagnostics] |
04454e1e FG |
394 | pub fn struct_warn(&self, msg: impl Into<DiagnosticMessage>) -> DiagnosticBuilder<'_, ()> { |
395 | self.span_diagnostic.struct_warn(msg) | |
396 | } | |
f2b60f7d FG |
397 | |
398 | #[rustc_lint_diagnostics] | |
f2b60f7d FG |
399 | pub fn struct_fatal(&self, msg: impl Into<DiagnosticMessage>) -> DiagnosticBuilder<'_, !> { |
400 | self.span_diagnostic.struct_fatal(msg) | |
401 | } | |
402 | ||
403 | #[rustc_lint_diagnostics] | |
f2b60f7d FG |
404 | pub fn struct_diagnostic<G: EmissionGuarantee>( |
405 | &self, | |
406 | msg: impl Into<DiagnosticMessage>, | |
407 | ) -> DiagnosticBuilder<'_, G> { | |
408 | self.span_diagnostic.struct_diagnostic(msg) | |
409 | } | |
e74abb32 | 410 | } |