assert() 함수 구현시 do while(0)을 사용하는 이유는?

아하 그렇군요, 답변 감사합니다.

매크로 안에 정의 내용이 여러 문장이 되면

매크로가 사용되는 소스에서 조건이 이상하게 걸릴 수가 있어서

이를 방지하는 것이군요

1. 정의된 매크로

#define FOO(x) \
        printf("arg is %s\n", x); \
        do_something_useful(x);

2. 사용 예

if (blah == 2)
                FOO(blah);

3. 실제 내용

if (blah == 2)
                printf("arg is %s\n", blah);
                do_something_useful(blah);;

4. 수정된 매크로

#define FOO(x) do {\
        printf("arg is %s\n", x); \
        do_something_useful(x);
       while(0)

5. 수정된 매크로가 적용된 결과

if (blah == 2)
                do {
                        printf("arg is %s\n", blah);
                        do_something_useful(blah);
                } while (0);