QA·C Help - 3431

	3431	Macro defines an operator, a punctuator or a control statement keyword.

Macro Definition

Message 3431 is generated when a macro is defined as an operator, a punctuator or a control statement keyword.

The set of operators and punctuators is as follows:

  [  ]  (  )  .  ->

  ++  --  &  *  +  -  ~  !  sizeof

  /  %  <<  >>  <  >  <=  >=  ==  !=  ^  |  &&  ||

  ?  :

  =  *=  /=  %=  +=  -=  <<=  >>=  &=  ^=  |=

  , # ##

  [  ]  (  )  {  }  *  ,  :  =  ;  ...  #

Control statement keywords are as follows:

```
 while     
```
```
 do        
```
```
 for       
```
```
 if        
```
```
 else      
```
```
 switch    
```
```
 case      
```
```
 default   
```
```
 goto      
```
```
 return    
```
```
 break     
```
```
 continue  
```

For example:


/*PRQA S 553,2017 ++*/

#define M01 +                           /* Message 3431 */
#define M02 {                           /* Message 3431 */
#define M03 for                         /* Message 3431 */

MISRA-C:2004 Rules applicable to message 3431:

Rule 19.4 (Required)

C macros shall only expand to a braced initialiser, a constant, a string literal, a parenthesised expression, a type qualifier, a storage class specifier, or a do-while-zero construct.

QA·C Source Code Analyser 8.1
MISRA-C:2004 Compliance Module 3.2
© 2012 Programming Research.
www.programmingresearch.com

Personality Groups | Glossary | Message Index | MISRA-C:2004 Rule Index

Contents