MISRA C:2012 Rule 13.4

The result of an assignment operator should not be used

全页展开

描述

规则定义

The result of an assignment operator should not be used ¹ .

理由

如果在同一个表达式中发生以下情况，则违反该规则：

赋值运算符作用于一个变量。
对赋值的结果执行另一次读取或操作。

例如，表达式 a[x]=a[x=y]; 违反了此规则。[] 运算符作用于赋值运算 x=y 的结果。

故障排除

如果您预期会出现违规，但未看到该违规，请参阅诊断为何编码规范违规未按预期显示。

示例

全部展开

作业使用结果

int x, y, b, c, d;
int a[10];
unsigned int bool_var, false=0, true=1;

int foo(void) {

    x = y;            /* Compliant - x is not used */

    a[x] = a[x = y];  /* Non-compliant - Value of x=y is used */

    if ( bool_var = false )/* Non-compliant - bool_var=false is used */
{}


    if ( bool_var == false ) {}   /* Compliant */

    if ( ( 0u == 0u ) || ( bool_var = true ) )/* Non-compliant */
                    /*- even though (bool_var=true) is not evaluated */
 {} 
    

    if ( ( x = f () ) != 0 )/* Non-compliant - value of x=f() is used */
 {} 
    a[b += c] = a[b];/* Non-compliant - value of b += c is used */
    b = c = d = 0; /* Non-compliant - value of d=0 and c=d=0 are used */

}

在此示例中，当使用赋值的结果时，规则被违反。

检查信息

组：副作用

类别：建议

AGC 类别：建议

版本历史记录

在 R2014b 中推出

全部展开

R2024b: 更准确的分析可减少误报违规情况。

Polyspace^® 执行更准确的分析，报告更少的误报违规情况。例如：

Polyspace 忽略之前导致误报的编译器生成的工件。

Polyspace 识别三元运算符 (?:) 中的赋值运算。在此示例中，赋值运算 (OBJ = X) 和 (OBJ_1 = X) 都是合规的。

#define U8_T unsigned char
#define S16 signed char

#define SET_CC(obj,id,x) ( ((U8_T)id == (U8_T)0) ? ((obj)=x) : ((obj##_1)=x) ) /*Compliant*/

#define ID 0

S16 OBJ;
S16 OBJ_1;
S16 X;

void g3245608_bis(S16 p) {
	((U8_T)ID == (U8_T)0) ?
	(OBJ = X)                        /*Compliant*/
	:
	(OBJ_1 = X);                     /*Compliant*/
}

赋值运算符的结果在三元运算中不被使用。

另请参阅

MISRA C:2012 Rule 13.2 | 检查 MISRA C:2012 (-misra3)

主题

检查并审查编码标准违规

The MISRA coding standards referenced in the Polyspace Bug Finder™ documentation are from the following MISRA standards:

MISRA C:2004
MISRA C:2012
MISRA C:2023
MISRA C++:2008
MISRA C++:2023

MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.