Exponenta Banner

MISRA C:2012 Rule 13.4

Результат оператора назначения не должен использоваться

развернуть все на странице

Описание

Определение правила

Результат оператора назначения не должен использоваться.

Объяснение

Правило нарушается, если в одной строке кода происходит следующее:

  • Оператор назначения действует на переменную.

  • Другое чтение или операция выполняется по результатам назначения.

Для примера, линия a[x]=a[x=y]; нарушает это правило. The [] оператор действует на результат присвоения 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 */

}

В этом примере правило нарушается при использовании результата назначения.

Проверяйте информацию

Группа: Побочные эффекты
Категория: Консультационные
Категория СМЖЛ: Консультационная

См. также

|

Темы

Введенный в R2014b

Документация Polyspace Code Prover

Поддержка