[CIL users] block scope variable problem?

[Dany V. <dan...@al...>]

Hi all,

I'm not sure if this behavior is undefined, or if it is a bug in CIL, 
but CIL seems to behave different from gcc.

For following function (which might be the result of a macro 
substitution), i seems to be 5 for gcc in the inner block, while running 
it through CIL would not compile (generating something like i___0 = 
i___0;, with i__0 uninitialized)
Is this a bug in CIL, and if so, is there a fix available?

void f(void)
{
    int i;
  
   i = 5;

   {
        int i = i;

         printf("%u", i);
   }
}


Thanks,
Dany