ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #13963 from evedon/warnings 

Fix ThisThread warnings
pull/14001/head
Martin Kojtal 2020-12-03 08:52:17 +00:00 committed by GitHub
parent 56f731027e 786c64af06
commit 53293dfeaa
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
rtos/source/ThisThread.cpp
View File

@ -223,6 +223,7 @@ void ThisThread::sleep_for(Clock::duration_u32 rel_time)
#if MBED_CONF_RTOS_PRESENT
osStatus_t status = osDelay(rel_time.count());
MBED_ASSERT(status == osOK);
(void) status;
#else
thread_sleep_for(rel_time.count());
#endif
@ -242,10 +243,12 @@ void ThisThread::sleep_until(Clock::time_point abs_time)
if (abs_time - now > wait_for_u32_max) {
osStatus_t status = osDelay(wait_for_u32_max.count());
MBED_ASSERT(status == osOK);
(void) status;
continue;
} else {
osStatus_t status = osDelay((abs_time - now).count());
MBED_ASSERT(status == osOK);
(void) status;
break;
}
}