[thirdparty/gcc.git] / gcc / testsuite / gcc.target / i386 / mpx / field-addr-9-ubv.c

/* { dg-do run } */
/* { dg-shouldfail "bounds violation" } */
/* { dg-options "-fcheck-pointer-bounds -mmpx" } */

/* { dg-additional-options "-fchkp-narrow-to-innermost-array" } */

#define SHOULDFAIL

#include "mpx-check.h"

struct S {
  int first;
  int a[10];
  int b;
} S;

struct S1 {
  int a;
  struct S b[10];
  int c;
} S1;

struct S2 {
  int x;
  struct S1 a[10];
  struct S1 b;
} S2;

int foo (int *p, int i)
{
  int res = p[i];
  printf ("%d\n", res);
  return res;
}

struct S2 s1;
struct S2 *s2 = &s1;

int mpx_test (int argc, const char **argv)
{
  foo (&(s2->a[argc].b[5].a[0]), 10);

  return 0;
}
Commit	Line	Data
ee8f136a IE	1	/* { dg-do run } */
	2	/* { dg-shouldfail "bounds violation" } */
	3	/* { dg-options "-fcheck-pointer-bounds -mmpx" } */
	4
	5	/* { dg-additional-options "-fchkp-narrow-to-innermost-array" } */
	6
	7	#define SHOULDFAIL
	8
	9	#include "mpx-check.h"
	10
	11	struct S {
	12	int first;
	13	int a[10];
	14	int b;
	15	} S;
	16
	17	struct S1 {
	18	int a;
	19	struct S b[10];
	20	int c;
	21	} S1;
	22
	23	struct S2 {
	24	int x;
	25	struct S1 a[10];
	26	struct S1 b;
	27	} S2;
	28
	29	int foo (int *p, int i)
	30	{
	31	int res = p[i];
	32	printf ("%d\n", res);
	33	return res;
	34	}
	35
	36	struct S2 s1;
	37	struct S2 *s2 = &s1;
	38
	39	int mpx_test (int argc, const char **argv)
	40	{
	41	foo (&(s2->a[argc].b[5].a[0]), 10);
	42
	43	return 0;
	44	}