[완료] io.h의 __raw_readl을 어떻게 이해할지 알려주시면 감사하겠습니다.

앞서 답변 드린 내용과 마찬가지로 "(void)0"의 정체 역시 검색 엔진을 통해 어렵지 않게 정보를 얻으실 수 있습니다. :-)

요약하자면 place-holder입니다.

자... __chk_io_ptr() 함수를 호출한 후 주어진 주소를 dereference 하는 함수 형태 매크로를 만들고 싶다고 해보겠습니다.

#define __raw_readl(a) (__chk_io_ptr(a), *(unsigned int *)(a))

정도면 무난하겠지요. 그런데 __CHECKER__ 심볼이 없을 때는 __chk_io_ptr() 함수 호출을 하지 않게 하고 싶습니다. 어떻게 해야 할까요? 간단하게 생각하면 다음처럼 할 수 있을 겁니다.

#ifdef __CHECKER__
#define __raw_readl(a) (__chk_io_ptr(a), *(unsigned int *)(a))
#else
#define __raw_readl(a) (*(unsigned int *)(a))
#endif

하지만 이런 종류의 매크로가 많다면 좀 귀찮은 작업이 됩니다. 게다가 dereference 코드가 중복돼 있는 것도 아름답지 않아 보입니다.

그렇다면... __CHECKER__ 심볼이 정의돼 있지 않을 때에는 __chk_io_ptr()이 아무 것도 하지 않는 expression이 되도록 하면 어떨까요?

#ifdef __CHECKER__
extern void __chk_io_ptr(void *ptr);
#else
#define __chk_io_ptr(x) (0)
#endif
 
#define __raw_readl(a) (__chk_io_ptr(a), *(unsigned int *)(a))

(0이라는 값 자체는 중요하지 않습니다. __chk_io_ptr(x)을 (0) 대신 (42) 등으로 정의해도 다르지 않습니다.)

근데 이렇게 하면 __CHECKER__가 정의돼 있지 않을 때, 즉 __raw_readl(a)이 다음과 같이 확장될 때:

((0), *(unsigned int *)(a))

-Wall 옵션을 써서 (더 정확히는 -Wunused-value 옵션을 써서) 컴파일 하면 "left-hand operand of comma expression has no effect"라는 경고가 나옵니다. 분명 의도한 대로 작성한 적법한 코드이긴 한데 컴파일러는 뭐라뭐라 그러고... 그런데 앞에다 "(void)"를 붙이면? 와~ 컴파일러 경고가 사라졌습니다.

왜 컴파일러가 "0, ..."에 대해선 쫑알대면서 "(void)0, ..."에는 조용한지에 대해선 제가 아는 게 얕아 말씀을 못 드립니다~