Exponenta Banner
exponenta event banner

MISRA C:2012 Rule 13.4

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

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

Описание

Примечание

Используйте Bug Finder вместо Code Prover для проверки правил кодирования. Поддержка кодирования правил, регистрируясь в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.

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

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

Объяснение

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

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

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

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

Вопросы совместимости

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

Не рекомендуемый запуск в R2021b

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

|

Темы

Введенный в R2014b

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

Поддержка