We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 207c6e7 commit 356aeccCopy full SHA for 356aecc
src/shims/thread.rs
@@ -55,6 +55,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
55
let this = self.eval_context_mut();
56
57
if !this.is_null(this.read_scalar(retval)?.not_undef()?)? {
58
+ // FIXME: implement reading the thread function's return place.
59
throw_unsup_format!("Miri supports pthread_join only with retval==NULL");
60
}
61
0 commit comments