Defining a variable and its static equivalent in the same function

Question

I don't understand how the following code works:

#include "stdio.h"

int main(void) {
  int i = 3;
  while(i--) {
    static int i = 100;
    i--,
    printf("%d\n", i);
  }
  return 0;
}

The code compiled with either Clang or GCC prints the following output:

99
98
97

Can someone explain to me what happens here? It looks like two operations are achieved in a single instruction and more than once. Is it undefined behavior? I observe the same behavior in C++.

Answer 1

This is not undefined behavior.

#include "stdio.h"

int main(void) {
  int i = 3; //first i
  while(i--) {
    static int i = 100; //second i
    i--,
    printf("%d\n", i);
  }
  return 0;
}

In while loop body most local i (second i) is preferred. While checking condition in while loop it doesn't know what is there in body. So it has no problem choosing first i.

Answer 2

Wikipedia says very prominent thing on this:

In computer programming, variable shadowing occurs when a variable declared within a certain scope (decision block, method, or inner class) has the same name as a variable declared in an outer scope. At the level of identifiers (names, rather than variables), this is known as name masking. This outer variable is said to be shadowed by the inner variable, while the inner identifier is said to mask the outer identifier.

Now here inside the block it finds the static variable and works on it but the while condition decrements the i which is the one declared outside the block. The scope being different - it is no problem to use the correct value of i. This is legal C code but not necessarily a good way of writing things.

In fact doing this gcc -Wshadow progname.c gives

progname.c: In function 'main':
progname.c:7:20: warning: declaration of 'i' shadows a previous local [-Wshadow]
         static int i=2;
                    ^
progname.c:5:9: warning: shadowed declaration is here [-Wshadow]
     int i=2;
         ^

From standard §6.2.1p4

... If an identifier designates two different entities in the same name space, the scopes might overlap. If so, the scope of one entity (the inner scope) will end strictly before the scope of the other entity (the outer scope). Within the inner scope, the identifier designates the entity declared in the inner scope; the entity declared in the outer scope is hidden (and not visible) within the inner scope.

Answer 3

Its possible to declare a same named variable inside a nested scope. The compiler sees them as different variables. It is very confusing but the variable you are accessing each time is the one declared in the inner most scope. Outside the while it is the int i = 3; and inside it is the static int i = 100;

#include "stdio.h"

int main(void) {
  int i = 3; // outer i
  while(i--) { // outer i
    static int i = 100; // inner i
    i--, // inner i
    printf("%d\n", i); // inner i
  }
  return 0;
}

If this was a function other than main, then the 2nd call to it would produce

96
95
94

and so on...