[SjuulJanssen]

"A recommended use of assertions is to follow the following pattern:" if (!c_assert(p >= 0) == true) { return ERROR; }

Why not: if (!c_assert(p >= 0)) { return ERROR; }

[vbtemp]

Because the whole point is to be maximally explicit and not implicit.

[jbester]

It's one of the MISRA rules - implicit comparisons aren't allowed.