FreeRTOS-Compat: vTaskDelay cannot signal failures
So explicitly discard the nodiscard result of thread_sleep.
diff --git a/sdk/include/FreeRTOS-Compat/task.h b/sdk/include/FreeRTOS-Compat/task.h
index 398ff58..7c8c958 100644
--- a/sdk/include/FreeRTOS-Compat/task.h
+++ b/sdk/include/FreeRTOS-Compat/task.h
@@ -55,7 +55,11 @@
static inline void vTaskDelay(const TickType_t xTicksToDelay)
{
struct Timeout timeout = {0, xTicksToDelay};
- thread_sleep(&timeout, ThreadSleepNoEarlyWake);
+ /*
+ * The FreeRTOS API does not have a way to signal failure of sleep, so we
+ * override the nodiscard annotation on thread_sleep.
+ */
+ (void)thread_sleep(&timeout, ThreadSleepNoEarlyWake);
}
/**
