Komma-Operator und void-Ausdruck

Ich stieß auf dieses Code-Snippet ¹

_{1: Dies ist kein reales Beispiel.}

Meine Frage lautet " Ist das Verhalten des Codeausschnitts in C und C ++ gut definiert? "

Mein Take:

In C ist das Verhalten gut definiert, weil 6.5.17 sagt

  

Der linke Operand eines Komma-Operators wird als void-Ausdruck ausgewertet; Es gibt einen Sequenzpunkt nach der Auswertung

In C ++ 03 ist das Verhalten gut definiert, weil 5.18 sagt

  

Ein Paar mit einem Komma getrennter Ausdrücke wird von links nach rechts ausgewertet und der Wert des linken Ausdrucks wird verworfen .

Allerdings sagt C ++ 03 (im Abschnitt 6.6.3 ) auch, dass

  

Das Ende einer Funktion zu fließen entspricht einer Rückgabe ohne Wert; Dies führt zu undefiniertem Verhalten in einer Wert zurückgebenden Funktion.

Ähnlich in C

  

Wenn die Steuerung das Ende ( } ) der nicht-void-Funktion erreicht (außer main() ), ist das Verhalten nicht definiert.

Wenn ich all diese Punkte in Betracht ziehe, kann ich das tatsächliche Verhalten nicht beurteilen. Was denkst du Leute?

_{P.S: Wenn Sie denken, dass die Frage nutzlos ist und Sie bessere Dinge zu tun haben, helfen Sie sich selbst: D.}