Проблема возникает, когда операнд правой руки логического оператора & & или | | содержит побочные эффекты. При оценке выражение с побочным эффектом модифицирует по крайней мере одну из переменных в выражении.

Проверка не рассматривает изменчивые доступы и функциональные вызовы как потенциальные побочные эффекты.

При оценке выражение с побочным эффектом модифицирует по крайней мере одну из переменных в выражении. Например, n++ - выражение с побочным эффектом.

Правый операнд a:

В других случаях правые операнды не оцениваются, поэтому побочные эффекты выражения не имеют места. Если ваша программа полагается на побочные эффекты, вы можете увидеть неожиданные результаты в этих случаях.

Если необходимо вычислить выражение в правом операнде, выполните вычисление в отдельном операторе.

Например, вместо:

if(isOK && n++) {}

n++;
if(isOK && n) {}

Эта проблема возникает, когда sizeof, alignof или decltype оперирует выражением с побочным эффектом. При оценке выражение с побочным эффектом модифицирует по крайней мере одну из переменных в выражении.

Например, средство проверки дефектов не помечает sizeof(n+1) потому что n+1 не изменяет n. Флаги средства проверки sizeof(n++) потому что n++ предназначен для изменения n.

Побочные эффекты в alignof оператор или decltype оператор не продолжает работу. Выражение в sizeof оператор вычисляется только в том случае, если он необходим для вычисления размера массива переменной длины, например, sizeof(a[n++]).

Если выражение с побочным эффектом не вычисляется, изменение переменной из побочного эффекта не происходит. Если вы полагаетесь на изменение, вы можете увидеть неожиданные результаты.

Вычислите выражение с побочным эффектом в отдельном операторе, а затем используйте результат в sizeof, _Alignof, или _Generic оператор.

Например, вместо:

a = sizeof(n++);

n++;
a = sizeof(n);

Средство проверки рассматривает вызов функции как выражение с побочным эффектом. Даже если функция не имеет побочных эффектов сейчас, это может иметь побочные эффекты на более поздних дополнениях. Код более удобен для обслуживания при вызове функции за пределами sizeof оператор. При вызове функции в decltypeнапример, чтобы выбрать правильную перегрузку функции и затем определить ее тип возврата, средство проверки рассматривает такой вызов как исключение.

#include <stdio.h>

void func(void) {
    unsigned int a = 1U;
    unsigned int b = (unsigned int)sizeof(++a);
    printf ("%u, %u\n", a, b);
}

В этом примере: sizeof работает на ++a, которая предназначена для изменения a. Поскольку выражение не вычисляется, изменение не происходит. printf оператор показывает, что a по-прежнему имеет значение 1.

Одной из возможных корректировок является сначала выполнение приращения, а затем предоставление результата sizeof оператор.

#include <stdio.h>

void func(void) {
    unsigned int a = 1U;
    ++a;
    unsigned int b = (unsigned int)sizeof (a); 
    printf ("%u, %u\n", a, b);
}