下記のような、異なる型の2つの変数の値を
入れ替える関数マクロをつくったとします。

#define SWAP(type, a, b) { type tmp = a; a = b; b = tmp; }

全体を波括弧で囲み、
変数の宣言を可能にしています。

ところが、このマクロを次のように使用すると
コンパイルエラーとなります。

if (x == 0) SWAP(int, x, y);
else {
	/* 何らかの処理 */
}

このように展開されてしまうからです。

if (x == 0) { int tmp = x; x = y; y = tmp; };
else {
	/* 何らかの処理 */
}

このような問題を回避するためには、
マクロをdo-while文で囲むとよいでしょう。

#define SWAP(type, a, b)	\
	do { type tmp = a; a = b; b = tmp; } while (0)