From 26af88acedde5d33b2868cac32b800e269bd38ac Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 26 Apr 2024 19:44:38 +0200
Subject: [PATCH] add test for concurrent env var access
---
src/tools/miri/tests/pass/shims/env/var.rs | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/src/tools/miri/tests/pass/shims/env/var.rs b/src/tools/miri/tests/pass/shims/env/var.rs
index 23a3724ff7f..babaf00578a 100644
--- a/src/tools/miri/tests/pass/shims/env/var.rs
+++ b/src/tools/miri/tests/pass/shims/env/var.rs
@@ -1,4 +1,5 @@
use std::env;
+use std::thread;
fn main() {
// Test that miri environment is isolated when communication is disabled.
@@ -23,4 +24,11 @@ fn main() {
env::remove_var("MIRI_TEST");
assert_eq!(env::var("MIRI_TEST"), Err(env::VarError::NotPresent));
println!("{:#?}", env::vars().collect::<Vec<_>>());
+
+ // Do things concurrently, to make sure there's no data race.
+ let t = thread::spawn(|| {
+ env::set_var("MIRI_TEST", "42");
+ });
+ env::set_var("MIRI_TEST", "42");
+ t.join().unwrap();
}