MISRA-C 2004 规则解读(61S-80S)

61 S：Switch contains default only. 避免switch语句只有default分支而没有case分支。

62 S：Switch case not terminated with break. 建议每个case分支都有break语句。

63 S：Empty parameter list to procedure/function. 函数无入参时，建议增加void修饰：

void static_63(void) /* compliant */
{
/* ... */
}

64 S：Void procedure used in expression. 函数返回值为void类型，却对返回值进行操作，这在vs2008中是编译失败的。

65 S：Void variable passed as parameter. 避免使用void类型修饰函数入参：

void void_para_func(void P1)
{
/* ... */
}

/******************************************************************
* Standard 65 S : Void variable passed as parameter.
* Does not Compile with VC++
******************************************************************/

void static_65( void )
{
void v_ptr;
UINT32_t a;

void_para_func(v_ptr);   /* not compliant */

void_para_func((void)a); /* not compliant */
}

66 S：Function with empty return expression.定义有返回值的函数，却什么也没有返回，这在vs2008中是编译失败的。

UINT32_t static_66 ( void )
{
/* ... */
return;  /* not compliant */
}

67 S：#define used in a block. define语句应当出现在文件开头处，不应当在函数体内使用。

68 S：#undef used. 避免使用#undef语句。

69 S：#pragma used. 避免使用#pragma语句。

70 S：Logical comparison of pointers. 对指针的比较只允许使用（== and !=）

char * x;
char * y;
....
if (x>y)        { /*  Incorrect, Unsafe*/ }
if (x==y)       { /*  Correct usage*/ }

71 S：Pointer assignment to wider scope. 该规则用于检查对象的指针是否被分配给超过其作用域范围的值。 由于局部变量在运算完成后，指针指向的变量空间可能被收回，那么被赋值的外部变量可能指向未知的值。

UINT32_t *ptr;
UINT32_t* static_71( void )
{
static UINT32_t w = 10u;
UINT32_t local = 3U;
UINT32_t *local_ptr = &local;

ptr = &local;     /* Not Compliant */

ptr = local_ptr;  /* Not Compliant */

return &w;       /* Not Compliant if modifier is set to 0 */
}

72 S：Signed bit field less than 2 bits wide.有符号型变量有一位表示符号，至少还需要一位表示值。

73 S：Bit field not signed or unsigned int.位字段被定义成其他类型是危险的：

struct static_73
{ UCHAR  x:1;  /* Not Compliant */
};

74 S：Union declared. 避免使用联合定义数据结构。

75 S：Executable code before an included file. #include语句必须出现在可执行语句之前。

76 S：More than one of # or ## in a macro. 不允许宏定义中出现多个 # 或者 ##：

/* not compliant */
#define SetVariable( Variable, Value ) ( dummy(NewString##Variable, #Value ))

77 S：Macro replacement list needs parentheses. 使用宏定义时，注意使用括号来限定宏运算的边界，避免在宏被替换后出现意想不到的运算组合：

#define increment_NOK(a)    ( a ) + 1

#define increment_OK(b)   ( ( b ) + 1 )

/********************************************************
* Standard 77 S : Macro replacement list needs parentheses.
********************************************************/

void static_77(void)
{
INT32_t result = 1;
result = increment_NOK(result) * 2; /* result = 3 */

result = 1;
result = increment_OK(result) * 2;  /* result = 4 */
}

78 S：Macro parameter not in brackets. 同77 S：

#define abs(x) (((x) >= 0) ? (x) : -(x)) /* Compliant */
#define abs(x) x >= 0 ? x : -x           /* Not compliant */

79 S：Macro contains unacceptable items. 宏定义中避免出现关键字：

/* not compliant */
#define t void

80 S：Pointer indirection exceeds 2 levels. 避免使用二级指针。