🚀 go-pugleaf

In the following code gcc and g++ both find the uninitialized variable
y but not i and j.

------------------------------

void foo (int x)
{
}

void bar (unsigned int a)
{
  int i, j, y;
  
  {
    i += j;
  }
  {
    int x = y + j;
    switch (y)
    {
    case 1: x = 1;
      break;
    default:
      x = 0;
    }
    foo (x);
  }
}

int main()
{
  return 0;
}

------------------------------

gcc -Wall -O uninit.c -o uninit
uninit.c: In function `bar':
uninit.c:7: warning: `y' may be used uninitialized in this function

------------------------------

What is the problem?

	Christoph


============================================================================
Christoph Martin, Zentrum f"ur Datenverarbeitung, Uni-Mainz, Germany
Internet: martin@goofy.zdv.uni-mainz.de