Macros & 14.3 II

[gs]

Since, according to http://www.misra-c2.com/forum/viewtopic.php?t=264, the following code is not permitted:

Code:

#if debugging
#define ASSERT(x)    asserttest(x)
#else
#define ASSERT(x)
#endif

void f(int *p)
    {
    ASSERT(p != 0);
    }

How would one make code well formed with respect to assertion macros?

[misra-c]

Moving the semicolon to the macro definition removes the null statement issue.

Code:

#if debugging
#define ASSERT(x)    asserttest(x); /* not compliant with 19.4. */
#else
#define ASSERT(x)
#endif

void f(int *p)
{
    ASSERT(p != 0)
}