MISRA C:2012 Rule 20.6

Tokens that look like a preprocessing directive shall not occur within a macro argument

Description

Rule Definition

Tokens that look like a preprocessing directive shall not occur within a macro argument¹ .

Rationale

An argument containing sequences of tokens that otherwise act as preprocessing directives leads to undefined behavior.

Polyspace Implementation

Polyspace^® looks for the # character in a macro arguments (outside a string or character constant).

Troubleshooting

If you expect a rule violation but do not see it, refer to Diagnose Why Coding Standard Violations Do Not Appear as Expected.

Examples

Macro Expansion Causing Non-Compliance

#define M( A ) printf ( #A )

#include <stdio.h>

void foo(void){
    M(
#ifdef SW         /* Non-compliant */
    "Message 1"
#else
    "Message 2"   /* Compliant - SW not defined */
#endif            
    );
}

This example shows a macro definition and the macro usage. #ifdef SW is noncompliant because it look like a preprocessing directive. Polyspace does not flag #else "Message 2" because after macro expansion, Polyspace knows SW is not defined. The expanded macro is printf ("\"Message 2\"");

Check Information

Group: Preprocessing Directives

Category: Required

AGC Category: Required