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

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

Когда оценено, выражение с побочным эффектом изменяет по крайней мере одну из переменных в выражении. Например, 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);
}