My company is developing a static analysis tool about Misra rules, and we just run our tool on some open source projects, like FreeRTOS. And we found some errors.
Misra 14.4 rule is “The controlling expression of an if statement and the controlling expression of an iteration-statement shall have essentially Boolean type.”
Some macros reported that violate this rule are defined in FreeRTOS/FreeRTOS-Plus/Source/FreeRTOS-Plus-Trace/Include/trcKernelPort.h,
#undef traceEVENT_GROUP_CREATE_FAILED
#define traceEVENT_GROUP_CREATE_FAILED() \
if (TRACE_GET_OBJECT_FILTER(TASK, TRACE_GET_CURRENT_TASK()) & CurrentFilterMask) \
prvTraceStoreEvent0(PSF_EVENT_EVENTGROUP_CREATE_FAILED);