The arguments to a macro must not include preprocessor directives, such as #define
, #ifdef
, and #include
. Doing so results in undefined behavior, according to the C Standard, 6.10.35, paragraph paragraph 11 [ISO/IEC 9899:20112024]:
The sequence of preprocessing tokens bounded by the outside-most matching parentheses forms the list of arguments for the function-like macro. The individual arguments within the list are separated by comma preprocessing tokens, but comma preprocessing tokens between matching inner parentheses do not separate arguments. If there are sequences of preprocessing tokens within the list of arguments that would otherwise act as preprocessing directives, the behavior is undefined.
...
This rule also applies to the use of preprocessor directives in arguments to a any function where it is unknown whether or not the function is implemented using a macro. For example, This includes all standard library functions, such as memcpy()
, printf()
, and assert()
, because any standard library function may be implemented as macrosa macro. (C24, 7.1.4, paragraph 1).
Noncompliant Code Example
...
Tool | Version | Checker | Description | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Astrée |
| macro-argument-hash | Fully checked | ||||||||||||||||
Axivion Bauhaus Suite |
| CertC-PRE32 | Fully implemented | ||||||||||||||||
CodeSonar |
| LANG.PREPROC.MACROARG | Preprocessing directives in macro argument | ||||||||||||||||
| CC2.PRE32 | Fully implemented | |||||||||||||||||
Helix QAC |
| C0853 C++1072 | Fully implemented | ||||||||||||||||
Klocwork |
| MISRA.EXPANSION.DIRECTIVE | Fully implemented | ||||||||||||||||
LDRA tool suite |
| 341 S | Fully implemented | ||||||||||||||||
Parasoft C/C++test |
| CERT_C-PRE32-a | Arguments to a function-like macro shall not contain tokens that look like preprocessing directives | ||||||||||||||||
PC-lint Plus |
| 436, 9501 | Fully supported | ||||||||||||||||
| CERT C: Rule PRE32-C | Checks for preprocessor directive in macro argument | PRQA QA-C | ||||||||||||||||
Include Page | PRQA QA-C_v | PRQA QA-C_v | 0853 | PRQA QA-C++ | |||||||||||||||
Include Page | cplusplus:PRQA QA-C++_V | cplusplus:PRQA QA-C++_V | (rule fully covered) | ||||||||||||||||
1072 | RuleChecker |
| macro-argument-hash | Fully checked |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...
[GCC Bugs] | "Non-bugs" |
[ISO/IEC 9899:20112024] | 6.10.35, "Macro Replacement" |
...