[thirdparty/gcc.git] / gcc / testsuite / gcc.dg / Warray-bounds-28.c

/* PR tree-optimization/48560 - -Warray-bounds fails to detect the out of
   bound array access
   { dg-do compile }
   { dg-options "-O2 -Warray-bounds" } */

char foo1 (int i)
{
  static char s[] = "foo";
  switch (i)
    {
    case 30:
      return s[30];   /* { dg-warning "array subscript 30 is above array bounds" } */
    }
  return s[i];
}
Commit	Line	Data
b5ebb717 MS	1	/* PR tree-optimization/48560 - -Warray-bounds fails to detect the out of
	2	bound array access
	3	{ dg-do compile }
	4	{ dg-options "-O2 -Warray-bounds" } */
	5
	6	char foo1 (int i)
	7	{
	8	static char s[] = "foo";
	9	switch (i)
	10	{
	11	case 30:
	12	return s[30]; /* { dg-warning "array subscript 30 is above array bounds" } */
	13	}
	14	return s[i];
	15	}