Add comment about using stack/heap allocated mutexes.

Patrick-6 · Patrick-6 · commit e00e070dd53a · 2025-10-07T12:59:13.000+02:00
diff --git a/tests/genmc/pass/shims/mutex_simple.rs b/tests/genmc/pass/shims/mutex_simple.rs
@@ -32,6 +32,8 @@ fn miri_start(_argc: isize, _argv: *const *const u8) -> isize {
 }
 
 fn main_() {
+    // FIXME(genmc): Try using stack/heap allocated Mutexes once GenMC has mixed-size access support.
+
     let mut guard = LOCK.lock().unwrap();
     for &v in guard.iter() {
         assert!(v == 1234); // Check that mutex values are initialized correctly

Original file line number	Diff line number	Diff line change
`@@ -32,6 +32,8 @@ fn miri_start(_argc: isize, _argv: const const u8) -> isize {`
`32`	`32`	`}`
`33`	`33`
`34`	`34`	`fn main_() {`
	`35`	`+ // FIXME(genmc): Try using stack/heap allocated Mutexes once GenMC has mixed-size access support.`
	`36`	`+`
`35`	`37`	`let mut guard = LOCK.lock().unwrap();`
`36`	`38`	`for &v in guard.iter() {`
`37`	`39`	`assert!(v == 1234); // Check that mutex values are initialized correctly`