suppress coverity error

paul-szczepanek-arm · paul-szczepanek-arm · commit 482e9c390cb0 · 2019-04-16T14:19:31.000+01:00
diff --git a/features/FEATURE_BLE/targets/TARGET_CORDIO/stack_adaptation/wsf_os.c b/features/FEATURE_BLE/targets/TARGET_CORDIO/stack_adaptation/wsf_os.c
@@ -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);

Original file line number	Diff line number	Diff line change
`@@ -121,7 +121,7 @@ void WsfTaskUnlock(void)`
`121`	`121`	`void WsfSetEvent(wsfHandlerId_t handlerId, wsfEventMask_t event)`
`122`	`122`	`{`
`123`	`123`	`WSF_CS_INIT(cs);`
`124`		`-`
	`124`	`+ // coverity[CONSTANT_EXPRESSION_RESULT]`
`125`	`125`	`WSF_ASSERT(WSF_HANDLER_FROM_ID(handlerId) < WSF_MAX_HANDLERS);`
`126`	`126`
`127`	`127`	`WSF_TRACE_INFO2("WsfSetEvent handlerId:%u event:%u", handlerId, event);`