[lostmsu]

This sounds like an implementation detail. What does the language spec say about the outcome.

[a1369209993]

The (C) language spec says that:

  x = 5;
  int* p = &x;
  x = 6; // new binding of x
  printf("%i\n",*p);

prints "6". If new bindings lived at different addresses, it would print "5".

[AgentME]

Different bindings are like entirely different variables that just coincidentally share the same name.