the same id in the same scope refers to different objects

[Andrew Makhorin]

On Sun, 2017-09-03 at 16:52 +0800, Xi Ruoyao wrote:
> On 2017-09-03 11:15 +0300, Andrew Makhorin wrote:
> > Hello,
> > 
> > Could anyone tell me if the behavior of the following program is
> > correct? Or there is an error not detected by GCC?
> > 
> > mao@corvax:~/Desktop$ cat foo.c
> > #include <stdio.h>
> > 
> > int x = 111;
> > 
> > int main(void)
> > {     int y = x + 222;
> >       int x = 555;
> >       printf("x = %d; y = %d\n", x, y);
> >       return 0;
> > }
> > mao@corvax:~/Desktop$ gcc foo.c
> > mao@corvax:~/Desktop$ ./a.out
> > x = 555; y = 333
> > mao@corvax:~/Desktop$ gcc --version
> > gcc (Debian 4.7.2-5) 4.7.2
> > 
> 

Thank you for your response.

> What the meaning of "correct" is?  Of course this program is
> well-formed and the result is standard conforming.

Probably my question is badly formulated, so I reformulate it, because
if the result is "standard conformig", it seems to be inconsistent:

Why x used to initialize y identifies not the same object as x used in
printf though x is the same identifier within the same block scope?

> 
> If your "error" means "silly mistake", and you want GCC to help
> you to detect silly mistakes, you should use warnings.  For this
> example:
> 
> $ gcc-4.7 shadow.c  -Wshadow
> shadow.c: In function 'main':
> shadow.c:7:11: warning: declaration of 'x' shadows a global declaration [-Wshadow]
> shadow.c:3:5: warning: shadowed declaration is here [-Wshadow]