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

suppress coverity error

pull/10417/head
paul-szczepanek-arm 2019-04-16 14:19:31 +01:00
parent 0b7d9af4dd
commit 482e9c390c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
features/FEATURE_BLE/targets/TARGET_CORDIO/stack_adaptation/wsf_os.c
View File

@ -121,7 +121,7 @@ void WsfTaskUnlock(void)
void WsfSetEvent(wsfHandlerId_t handlerId, wsfEventMask_t event)
{
WSF_CS_INIT(cs);
// coverity[CONSTANT_EXPRESSION_RESULT]
WSF_ASSERT(WSF_HANDLER_FROM_ID(handlerId) < WSF_MAX_HANDLERS);
WSF_TRACE_INFO2("WsfSetEvent handlerId:%u event:%u", handlerId, event);