Merge pull request #10417 from paul-szczepanek-arm/fix-coverity

0xc0170 · web-flow · commit 658a41c01592 · 2019-04-18T08:16:14.000+01:00
suppress coverity error
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);`