Page 1 of 1

A question on Dir-4.9, in a case when a function-like macro and a function are not interchangeable.

Posted: Fri Jun 21, 2019 8:26 am
by mz99
Is the use of the function-like macro compliant (shown in Example 1 and 2 below) with Dir-4.9, in a case when a function-like macro and a function are not interchangeable?

Example 1:
-----------------------------------------------
#define ASSIGN( a, b ) ( ( a ) = ( b ) )
-----------------------------------------------

Example 2:
-----------------------------------------------
#define MACRO( a, b )

int32_t var1;
MACRO(var1,var2)
-----------------------------------------------

The macros are not interchangeable with functions,
because in Example 1, the arguments can't be modified if it is defined as a function,
and in Example 2, compile error occurs because var2 is not defined.

Re: A question on Dir-4.9, in a case when a function-like macro and a function are not interchangeable.

Posted: Wed Sep 25, 2019 11:34 am
by misra-c
The amplification for directive 4.9 states that the guideline "applies only where a function is permitted by the syntax and constraints of the language standard."

Your examples cannot be re-written as functions and therefore directive 4.9 does not apply. There are no violations of directive 4.9.