/* daveti_uninit1.c - BUG */ 
typedef struct s
{
 int a;
 int b;
}S;

int test(S *y)
{
 y->b=0;
 return 0; /* member a has never been used or init'd */
}

int main()
{
 int w=0;
 S x;
 int ret;

 ret=test(&x); /* pass the address of structure x to function test */
 w=x.a; /* now use the uninit structure member a */
 return 0;
}

/* daveti_uninit2.c - BUG */
typedef struct s
{
 int a;
 int b;
}S;

int test(S *y, int k)
{
 if (k==0)
 {
 y->b=0;
 y->a=0; /* y.a is only init'd when k is 0 */
 return 0;
 }
 if (k==1)
 {
 y->b=0;
 return 0; /* y.a has never been used or init'd */
 }

 return 0;
}

int main()
{
 int w=0;
 S x;
 int ret;

 ret=test(&x, 1); /* pass the address of structure x to function test */
 w=x.a; /* use the uninit structure member a */
 return 0;
}

/* daveti_uninit3.c - GOOD */
typedef struct s
{
 int a;
 int b;
}S;

int test(S *y, int k)
{
 if (k==0)
 {
 y->b=0;
 y->a=0;
 return 0;
 }
 else
 {
 y->b=0;
 y->a=1;
 return 0;
 }
}

int main()
{
 int w=0;
 S x;
 int ret;

 ret=test(&x, 1); /* pass the address of structure x to function test */
 w=x.a;
 return 0;
}