Здравствуйте, kov_serg, Вы писали:

_>Внесём еще правок
_>

_>#define SUM(V,Y) ((V)+(Y))
_>

_>И да для SUM(i++,i++) будут сайд эффекты.

Будет UB. В старых терминах — множественная модификация переменной между двумя точками следования. Сейчас термины уже другие (sequenced before, sequenced after, etc.), но UB никуда не делось.

А сайд эффекты, это когда:

#define MIN(V,Y) ((V)<(Y) ? (V) : (Y))
// . . .
MIN(++a, ++b)