mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Refactor --print=check-cfg test

Browse Source
This commit is contained in:
Urgau 2024-05-31 17:02:27 +02:00
parent 2a2c29aafa
commit a7e7848833
1 changed files with 86 additions and 64 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

150
tests/run-make/print-check-cfg/rmake.rs
View File

@ -8,61 +8,70 @@
use run_make_support::rustc; use run_make_support::rustc;
struct CheckCfg {
args: &'static [&'static str],
contains: Contains,
}
enum Contains {
Some { contains: &'static [&'static str], doesnt_contain: &'static [&'static str] },
Only(&'static str),
}
fn main() { fn main() {
check( check(CheckCfg { args: &[], contains: Contains::Only("any()=any()") });
/*args*/ &[], check(CheckCfg {
/*has_any*/ false, args: &["--check-cfg=cfg()"],
/*has_any_any*/ true, contains: Contains::Some {
/*contains*/ &[], contains: &["unix", "miri"],
); doesnt_contain: &["any()", "any()=any()"],
check( },
/*args*/ &["--check-cfg=cfg()"], });
/*has_any*/ false, check(CheckCfg {
/*has_any_any*/ false, args: &["--check-cfg=cfg(any())"],
/*contains*/ &["unix", "miri"], contains: Contains::Some {
); contains: &["any()", "unix", r#"target_feature="crt-static""#],
check( doesnt_contain: &["any()=any()"],
/*args*/ &["--check-cfg=cfg(any())"], },
/*has_any*/ true, });
/*has_any_any*/ false, check(CheckCfg {
/*contains*/ &["windows", "test"], args: &["--check-cfg=cfg(feature)"],
); contains: Contains::Some {
check( contains: &["unix", "miri", "feature"],
/*args*/ &["--check-cfg=cfg(feature)"], doesnt_contain: &["any()", "any()=any()", "feature=none()", "feature="],
/*has_any*/ false, },
/*has_any_any*/ false, });
/*contains*/ &["unix", "miri", "feature"], check(CheckCfg {
); args: &[r#"--check-cfg=cfg(feature, values(none(), "", "test", "lol"))"#],
check( contains: Contains::Some {
/*args*/ &[r#"--check-cfg=cfg(feature, values(none(), "", "test", "lol"))"#], contains: &["feature", "feature=\"\"", "feature=\"test\"", "feature=\"lol\""],
/*has_any*/ false, doesnt_contain: &["any()", "any()=any()", "feature=none()", "feature="],
/*has_any_any*/ false, },
/*contains*/ &["feature", "feature=\"\"", "feature=\"test\"", "feature=\"lol\""], });
); check(CheckCfg {
check( args: &[
/*args*/
&[
r#"--check-cfg=cfg(feature, values(any()))"#, r#"--check-cfg=cfg(feature, values(any()))"#,
r#"--check-cfg=cfg(feature, values("tmp"))"#, r#"--check-cfg=cfg(feature, values("tmp"))"#,
], ],
/*has_any*/ false, contains: Contains::Some {
/*has_any_any*/ false, contains: &["unix", "miri", "feature=any()"],
/*contains*/ &["unix", "miri", "feature=any()"], doesnt_contain: &["any()", "any()=any()", "feature", "feature=", "feature=\"tmp\""],
); },
check( });
/*args*/ check(CheckCfg {
&[ args: &[
r#"--check-cfg=cfg(has_foo, has_bar)"#, r#"--check-cfg=cfg(has_foo, has_bar)"#,
r#"--check-cfg=cfg(feature, values("tmp"))"#, r#"--check-cfg=cfg(feature, values("tmp"))"#,
r#"--check-cfg=cfg(feature, values("tmp"))"#, r#"--check-cfg=cfg(feature, values("tmp"))"#,
], ],
/*has_any*/ false, contains: Contains::Some {
/*has_any_any*/ false, contains: &["has_foo", "has_bar", "feature=\"tmp\""],
/*contains*/ &["has_foo", "has_bar", "feature=\"tmp\""], doesnt_contain: &["any()", "any()=any()", "feature"],
); },
});
} }
fn check(args: &[&str], has_any: bool, has_any_any: bool, contains: &[&str]) { fn check(CheckCfg { args, contains }: CheckCfg) {
let output = rustc() let output = rustc()
.input("lib.rs") .input("lib.rs")
.arg("-Zunstable-options") .arg("-Zunstable-options")
@ -72,18 +81,11 @@ fn check(args: &[&str], has_any: bool, has_any_any: bool, contains: &[&str]) {
let stdout = String::from_utf8(output.stdout).unwrap(); let stdout = String::from_utf8(output.stdout).unwrap();
let mut found_any = false;
let mut found_any_any = false;
let mut found = HashSet::<String>::new(); let mut found = HashSet::<String>::new();
let mut recorded = HashSet::<String>::new();
for l in stdout.lines() { for l in stdout.lines() {
assert!(l == l.trim()); assert!(l == l.trim());
if l == "any()" { if let Some((left, right)) = l.split_once('=') {
found_any = true;
} else if l == "any()=any()" {
found_any_any = true;
} else if let Some((left, right)) = l.split_once('=') {
if right != "any()" && right != "" { if right != "any()" && right != "" {
assert!(right.starts_with("\"")); assert!(right.starts_with("\""));
assert!(right.ends_with("\"")); assert!(right.ends_with("\""));
@ -92,17 +94,37 @@ fn check(args: &[&str], has_any: bool, has_any_any: bool, contains: &[&str]) {
} else { } else {
assert!(!l.contains("\"")); assert!(!l.contains("\""));
} }
assert!(recorded.insert(l.to_string()), "{}", &l); assert!(found.insert(l.to_string()), "{}", &l);
if contains.contains(&l) {
assert!(found.insert(l.to_string()), "{}", &l);
}
} }
let should_found = HashSet::<String>::from_iter(contains.iter().map(|s| s.to_string())); match contains {
let diff: Vec<_> = should_found.difference(&found).collect(); Contains::Some { contains, doesnt_contain } => {
{
assert_eq!(found_any, has_any); let should_found =
assert_eq!(found_any_any, has_any_any); HashSet::<String>::from_iter(contains.iter().map(|s| s.to_string()));
assert_eq!(found_any_any, recorded.len() == 1); let diff: Vec<_> = should_found.difference(&found).collect();
assert!(diff.is_empty(), "{:?} != {:?} (~ {:?})", &should_found, &found, &diff); assert!(
diff.is_empty(),
"should found: {:?}, didn't found {:?}",
&should_found,
&diff
);
}
{
let should_not_find =
HashSet::<String>::from_iter(doesnt_contain.iter().map(|s| s.to_string()));
let diff: Vec<_> = should_not_find.intersection(&found).collect();
assert!(
diff.is_empty(),
"should not find {:?}, did found {:?}",
&should_not_find,
&diff
);
}
}
Contains::Only(only) => {
assert!(found.contains(&only.to_string()), "{:?} != {:?}", &only, &found);
assert!(found.len() == 1, "len: {}, instead of 1", found.len());
}
}
} }