Das falsche Binden von Variablen

(voriges Beispiel in C++):

Diese Programme sind nicht äquivalent:

int f (int x) {
  int y = x + 3; int sum = 0;
  for (int x = 0; x<4; x++) { sum = sum + y    ; }
  return sum;
}
int g (int x) {
                 int sum = 0;
  for (int x = 0; x<4; x++) { sum = sum + (x+3); }
  return sum;
}