From 356aecce7f3c438db6804a72a5022a2537d35104 Mon Sep 17 00:00:00 2001 From: Vytautas Astrauskas Date: Sun, 26 Apr 2020 21:25:46 -0700 Subject: [PATCH] Add a FIXME. --- src/shims/thread.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/shims/thread.rs b/src/shims/thread.rs index c2ef2722378..27e99808529 100644 --- a/src/shims/thread.rs +++ b/src/shims/thread.rs @@ -55,6 +55,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx let this = self.eval_context_mut(); if !this.is_null(this.read_scalar(retval)?.not_undef()?)? { + // FIXME: implement reading the thread function's return place. throw_unsup_format!("Miri supports pthread_join only with retval==NULL"); }