Exponenta Banner

Правило 13.4 MISRA C:2012

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

расширьте все на странице

Описание

Управляйте определением

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

Объяснение

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

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

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

Например, строка 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: консультация
Язык: C90, C99

Смотрите также

Темы

Введенный в R2014b

Документация Polyspace Code Prover
Поддержка