Efectos secundarios en expresiones genéricas

Estoy haciendo algunos experimentos con la nueva palabra clave _Generic y me topé con un caso especial con respecto a múltiples evaluaciones. Véase lo siguiente:

#include <stdio.h>

#define write_char(c) _Generic(c, char: putchar, const char: putchar)(c)

int main(void)
{
    const char *s = "foo";

    write_char(*s++);
    write_char(*s++);
    write_char(*s++);

    putchar('\n');
}

Esto compila bien y produce el resultado esperado con GCC:

$ gcc -std=c11 -Wall plusplus.c -o plusplus
$ ./plusplus 
foo

Por otro lado, Clang produce una gran advertencia de bocina:

$ clang -std=c11 plusplus.c -o plusplus
plusplus.c:9:18: warning: multiple unsequenced modifications to 's'
      [-Wunsequenced]
    write_char(*s++);
                 ^~
plusplus.c:3:32: note: expanded from macro 'write_char'
#define write_char(c) _Generic(c, char: putchar, const char: putchar)(c)

...

Sin embargo, el resultado es el esperado:

$ ./plusplus
foo

Revisé el borrador de la norma, que dice (en la página 97 del PDF):

La expresión controladora de una selección genérica no se evalúa.

Esto parece abordar precisamente el problema de los efectos secundarios en las macros (por ejemplo, MIN y MAX).

Ahora, ¿puedo ignorar con seguridad la advertencia de Clang, o estoy equivocado?