#define LWIP_UNUSED_ARG(x) (void)(x), это вообще законно?

[Klapatun]

Доброго времени суток,
Листал я как-то код одной библиотеки и попалась мне на глаза подобная строчка

/** Eliminates compiler warning about unused arguments (GCC -Wextra -Wunused). */
#ifndef LWIP_UNUSED_ARG
#define LWIP_UNUSED_ARG(x) (void)x
#endif /* LWIP_UNUSED_ARG */

Из комментария понятно, что этот макрос делает, но не понятно как...
В недоумение меня ввело именно (void)x, я всегда считал, что приведение переменной к void равносильно вызову сатаны и вообще противоречит законам мироздания, а тут такое...
Буду очень сильно благодарен, если кто-нибудь расскажет, как это работает и почему?

[p51x]

Сообщение от Klapatun

я всегда считал, что приведение переменной к void равносильно вызову сатаны и вообще противоречит законам мироздания, а тут такое...

Начните учить язык.

4 Any expression can be explicitly converted to type cv void." The
expression value is discarded. [Note: however, if the value is in a
temporary variable (_class.temporary_), the destructor for that vari-
able is not executed until the usual time, and the value of the vari-
able is preserved for the purpose of executing the destructor. ] The
lvalue-to-rvalue (_conv.lval_), array-to-pointer (_conv.array_), and
function-to-pointer (_conv.func_) standard conversions are not applied
to the expression.

http://www.open-std.org/jtc1/sc22/wg...2013/n3690.pdf

6 Any expression can be explicitly converted to type cv void, in which case it becomes a discarded-value
expression (Clause 5). [ Note: however, if the value is in a temporary object (12.2), the destructor for that
object is not executed until the usual time,

[Klapatun]

Спасибо большое