gcc/testsuite/gcc.target/i386/chkp-lifetime-1.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

/* { dg-do compile } */
/* { dg-require-effective-target mpx } */
/* { dg-options "-fcheck-pointer-bounds -mmpx -O2 -fdump-tree-chkpopt-details" } */
/* { dg-final { scan-tree-dump "Moving creation of \[^ \]+ down to its use" "chkpopt" } } */

extern int arr[];

int test (int i)
{
  int res;
  if (i >= 0)
    res = arr[i];
  else
    res = -i;
  return res;
}