[thirdparty/gcc.git] / gcc / testsuite / gcc.dg / pr91195.c

/* PR middle-end/91195 */
/* { dg-do compile } */
/* { dg-options "-Wmaybe-uninitialized -O2" } */

int bar (char*);

void
foo (char *x, char *y)
{
  char *a[2];
  int b = 0;

  if (x)
    a[b++] = x;		/* { dg-bogus "may be used uninitialized in this function" } */
  if (y)
    a[b++] = y;

  for (int j = 0; j < 4; j++) 
    switch (j)
      {
      case 0:
	if (b == 0 || bar (a[0]))
	  break;
      }
}
Commit	Line	Data
06e8db10 JJ	1	/* PR middle-end/91195 */
	2	/* { dg-do compile } */
	3	/* { dg-options "-Wmaybe-uninitialized -O2" } */
	4
	5	int bar (char*);
	6
	7	void
	8	foo (char x, char y)
	9	{
	10	char *a[2];
	11	int b = 0;
	12
	13	if (x)
	14	a[b++] = x; /* { dg-bogus "may be used uninitialized in this function" } */
	15	if (y)
	16	a[b++] = y;
	17
	18	for (int j = 0; j < 4; j++)
	19	switch (j)
	20	{
	21	case 0:
	22	if (b == 0 \|\| bar (a[0]))
	23	break;
	24	}
	25	}