Godzil : flemme de ressortir le K&R là, mais il me semblait que les opérateurs || et && étaient garantis de fonctionner tel que le décrit Folco :

Folco (./3512) :
- une seule incrémentation si (a++ > b) est vrai
- deux incrémentations si la première condition est fausse

D'ailleurs cette réponse le confirme :
https://stackoverflow.com/questions/21238900/sequence-point-operator

Ce n'est pas la même chose que Foo(a++, a++) dont le comportement est effectivement indéfini.