Nebenwirkungen in generischen Ausdrücken

Ich mache ein paar Experimente mit dem Neuen _Generic Stichwort und bin auf einen Sonderfall bei Mehrfachauswertungen gestoßen. Siehe Folgendes:

#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');
}

Dies lässt sich gut kompilieren und erzeugt mit GCC das erwartete Ergebnis:

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

Auf der anderen Seite gibt Clang eine große Hupenwarnung aus:

$ 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)

...

Das Ergebnis ist aber wie erwartet:

$ ./plusplus
foo

Ich überprüfte der Normentwurfdie (auf S. 97 des PDFs) sagt:

Der steuernde Ausdruck einer generischen Auswahl wird nicht ausgewertet.

Dies scheint genau das Problem der Seiteneffekte in Makros zu adressieren (z. B. MIN und MAX).

Kann ich jetzt Clangs Warnung ignorieren, oder irre ich mich?

Wie ich in den Kommentaren erwähnt habe, haben Sie die Frage etwa zwei Wochen nach der Behebung des Fehlers in Clangs Trunk gepostet. Siehe Überarbeitung rL223266 (3. Dezember 2014). Der Fix ist in Clang 3.6 enthalten.

Kann ich jetzt Clangs Warnung ignorieren, oder irre ich mich?

Wir wissen bereits, dass Sie Recht haben, also ist hier eine Möglichkeit, Pragmas in Clang für die Zukunft zu ignorieren:

#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wunsequenced"

write_char(*s++);

#pragma clang diagnostic pop

Um es nicht bei jeder Verwendung des Makros zu wiederholen, könnten Sie setzen _Pragma in seinem Körper:

#define write_char(c) \
    _Pragma("clang diagnostic push") \
    _Pragma("clang diagnostic ignored \"-Wunsequenced\"") \
    _Generic(c, char: putchar, const char: putchar)(c) \
    _Pragma("clang diagnostic pop")

Das scheint ein Bug gewesen zu sein. Inzwischen ist es gelöst clang 3.6 aufwärts wie gezeigt hier.