rust-lang/rust
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

Refactor feature gate checking code

Browse Source 
Tries to clarify the filtering of active features and make the code more
expressive.
This commit is contained in:
Pascal Hertleif
2019-08-24 17:50:21 +02:00
parent c9d9616e82
commit 94e8ff4f0b
1 changed files with 22 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

36
src/libsyntax/feature_gate/check.rs
View File

@@ -732,13 +732,9 @@ pub fn get_features(span_handler: &Handler, krate_attrs: &[ast::Attribute],
} }
} }
for &(name, .., f_edition, set) in ACTIVE_FEATURES { for feature in active_features_up_to(crate_edition) {
if let Some(f_edition) = f_edition { feature.set(&mut features, DUMMY_SP);
if f_edition <= crate_edition { edition_enabled_features.insert(feature.name, crate_edition);
set(&mut features, DUMMY_SP);
edition_enabled_features.insert(name, crate_edition);
}
}
} }
// Process the edition umbrella feature-gates first, to ensure // Process the edition umbrella feature-gates first, to ensure
@@ -760,20 +756,17 @@ pub fn get_features(span_handler: &Handler, krate_attrs: &[ast::Attribute],
let name = mi.name_or_empty(); let name = mi.name_or_empty();
if let Some(edition) = ALL_EDITIONS.iter().find(|e| name == e.feature_name()) { let edition = ALL_EDITIONS.iter().find(|e| name == e.feature_name()).copied();
if *edition <= crate_edition { if let Some(edition) = edition {
if edition <= crate_edition {
continue; continue;
} }
for &(name, .., f_edition, set) in ACTIVE_FEATURES { for feature in active_features_up_to(edition) {
if let Some(f_edition) = f_edition {
if f_edition <= *edition {
// FIXME(Manishearth) there is currently no way to set // FIXME(Manishearth) there is currently no way to set
// lib features by edition // lib features by edition
set(&mut features, DUMMY_SP); feature.set(&mut features, DUMMY_SP);
edition_enabled_features.insert(name, *edition); edition_enabled_features.insert(feature.name, edition);
}
}
} }
} }
} }
@@ -867,6 +860,17 @@ pub fn get_features(span_handler: &Handler, krate_attrs: &[ast::Attribute],
features features
} }
fn active_features_up_to(edition: Edition) -> impl Iterator<Item=&'static Feature> {
ACTIVE_FEATURES.iter()
.filter(move |feature| {
if let Some(feature_edition) = feature.edition {
feature_edition <= edition
} else {
false
}
})
}
pub fn check_crate(krate: &ast::Crate, pub fn check_crate(krate: &ast::Crate,
sess: &ParseSess, sess: &ParseSess,
features: &Features, features: &Features,