summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/tree-ssa/restrict-4.c
blob: aa0a8d49e7a0de0fbddb59377d6374b011042732 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-optimized -fno-ipa-icf" } */

int
foo (int *x, int y)
{
  int *__restrict p1 = x;
  int *__restrict p2 = x + 32;
  p1[y] = 1;
  p2[4] = 2;
  return p1[y];
}

int
bar (int *x, int y)
{
  int *__restrict p1 = x;
  int *p3 = x + 32;
  int *__restrict p2 = p3;
  p1[y] = 1;
  p2[4] = 2;
  return p1[y];
}

/* { dg-final { scan-tree-dump-times "return 1;" 2 "optimized" { xfail *-*-* } } } */