 
                            ...
This compliant solution follows the guidance of PRE00-C. Prefer inline or static functions to function-like macros by defining an inline function iabs() to replace the ABS() macro. Unlike the ABS() macro, which operates on operands of any type, the iabs() function will truncate arguments of types wider than int whose value is not in range of the latter type.
...
According to the C Standard, 6.5.1.1, paragraph 3 [ISO/IEC 9899:2011]:
The controlling expression of a generic selection is not evaluated. If a generic selection has a generic association with a type name that is compatible with the type of the controlling expression, then the result expression of the generic selection is the expression in that generic association. Otherwise, the result expression of the generic selection is the expression in the
defaultgeneric association. None of the expressions from any other generic association of the generic selection is evaluated.
...
Note that relying on such extensions makes code nonportable and violates MSC14-C. Do not introduce unnecessary platform dependencies.
Noncompliant Code Example (assert())
...
| [Dewhurst 2002] | Gotcha #28, "Side Effects in Assertions" | 
| [ISO/IEC 9899:2011] | Subclause 6.5.1.1, "Generic Selection" | 
| [Plum 1985] | Rule 1-11 | 
...