/* ok:
 * - generic selection expanded from function-like macro
 * - macro parameter y expanded into controlling expression
 */
#define PARAM_EXPAND_SIMPLE(y) (_Generic(y,       \
                                         float:1, \
                                         default:0))

/* ok: controlling expression does not have to be ONLY the expanded parameter */
#define PARAM_EXPAND_NONTRIVIAL(y) (_Generic(EXPAND_SIMPLE(y) + 5, \
                                       float:1,          \
                                       default:0))

#define T 5
/* 'Selection in C Generic not Expanded from Macro Parameters' warning issued on following line
 * - generic selection expanded from function-like macro,
 *   BUT
 * - macro's single parameter y is not expanded into controlling expression
 *   (expansions elsewhere are not relevant to this warning class).
 */
#define NO_PARAM_EXPAND(y) (_Generic(T,          \
                                     float:y,    \
                                     default:0) +y )

int lang_struct_cgen_notmacro(int x){
    /* 'Selection in C Generic not Expanded from Macro Parameters' warning issued on following line
     * - generic selection not expanded from a function-like macro.
     */
    return _Generic(x, int:x, default:0);
}