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

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

Например, в вызове MACRO(++n)ожидается только один шаг переменной n. Если MACRO является небезопасным макросом, шаг происходит более одного раза или не происходит вообще.

Шашка помечает выражения со побочными эффектами в assert макрос, потому что assert макрос отключен в неотладке. Чтобы скомпилироваться в неотладке, вы задаете NDEBUG макрос во время компиляции. Например, в GCC вы используете флаг -DNDEBUG.

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

Для образца вместо:

MACRO(++n);

++n;
MACRO(n);

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

#define ABS(x) (((x) < 0) ? -(x) : (x))
  
void func(int n) {
  /* Validate that n is within the desired range */
  int m = ABS(++n);
 
  /* ... */
}

В этом примере ABS макрос оценивает его аргумент дважды. Вторая оценка может привести к непреднамеренному шагу.

Одна из возможных коррекций состоит в том, чтобы сначала выполнить шаг, а затем передать результат макросу.

#define ABS(x) (((x) < 0) ? -(x) : (x))
  
void func(int n) {
  /* Validate that n is within the desired range */
  ++n;
  int m = ABS(n);
 
  /* ... */
}

Другой возможной коррекцией является вычисление выражения в встроенной функции.

static inline int iabs(int x) {
  return (((x) < 0) ? -(x) : (x));
}
  
void func(int n) {
  /* Validate that n is within the desired range */
 
int m = iabs(++n);
 
  /* ... */
}