From 8d24cba72d6a36533d6858da0e9e2ab9406a420f Mon Sep 17 00:00:00 2001 From: Dario Nieuwenhuis Date: Mon, 1 Aug 2022 12:26:37 +0200 Subject: executor: miri fixes --- embassy-executor/src/executor/raw/run_queue.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'embassy-executor/src/executor/raw/run_queue.rs') diff --git a/embassy-executor/src/executor/raw/run_queue.rs b/embassy-executor/src/executor/raw/run_queue.rs index 31615da7e..ed8c82a5c 100644 --- a/embassy-executor/src/executor/raw/run_queue.rs +++ b/embassy-executor/src/executor/raw/run_queue.rs @@ -46,10 +46,10 @@ impl RunQueue { /// /// `item` must NOT be already enqueued in any queue. #[inline(always)] - pub(crate) unsafe fn enqueue(&self, _cs: CriticalSection, task: *mut TaskHeader) -> bool { + pub(crate) unsafe fn enqueue(&self, _cs: CriticalSection, task: NonNull) -> bool { let prev = self.head.load(Ordering::Relaxed); - (*task).run_queue_item.next.store(prev, Ordering::Relaxed); - self.head.store(task, Ordering::Relaxed); + task.as_ref().run_queue_item.next.store(prev, Ordering::Relaxed); + self.head.store(task.as_ptr(), Ordering::Relaxed); prev.is_null() } -- cgit