raison de plus, y aura pas de sequence point pour assurer qu'il y a pas de conflit...

par contre si tu écrivais

int read_c() {
  return c;
}
int incr_c() {
  return c++;
}
int main() {
  ...
  if (read_c()==incr_c())
    ...
}

y aurait pas d'undefined behaviour à cause des sequence points (le résultat du test serait juste indéfini, parce qu'on ne peut pas savoir quelle fonction sera exécutée avant)