Add pthread_attr_get_np shim

b-NC · b-NC · commit 30b7a787e71d · 2022-06-13T21:28:29.000+02:00
diff --git a/src/shims/unix/freebsd/foreign_items.rs b/src/shims/unix/freebsd/foreign_items.rs
@@ -39,6 +39,13 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
                 // Return success (`0`).
                 this.write_null(dest)?;
             }
+
+            // Linux's `pthread_getattr_np` equivalent
+            "pthread_attr_get_np" if this.frame_in_std() => {
+                let [_thread, _attr] =
+                    this.check_shim(abi, Abi::C { unwind: false }, link_name, args)?;
+                this.write_null(dest)?;
+            }
             _ => return Ok(EmulateByNameResult::NotSupported),
         }
         Ok(EmulateByNameResult::NeedsJumping)

Original file line number	Diff line number	Diff line change
`@@ -39,6 +39,13 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx`
`39`	`39`	// Return success (`0`).
`40`	`40`	`this.write_null(dest)?;`
`41`	`41`	`}`
	`42`	`+`
	`43`	+ // Linux's `pthread_getattr_np` equivalent
	`44`	`+ "pthread_attr_get_np" if this.frame_in_std() => {`
	`45`	`+ let [_thread, _attr] =`
	`46`	`+ this.check_shim(abi, Abi::C { unwind: false }, link_name, args)?;`
	`47`	`+ this.write_null(dest)?;`
	`48`	`+ }`
`42`	`49`	`_ => return Ok(EmulateByNameResult::NotSupported),`
`43`	`50`	`}`
`44`	`51`	`Ok(EmulateByNameResult::NeedsJumping)`