diff options
Diffstat (limited to 'gcc/testsuite/gcc.dg/tree-ssa/restrict-1.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/restrict-1.c | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/restrict-1.c b/gcc/testsuite/gcc.dg/tree-ssa/restrict-1.c new file mode 100644 index 0000000..08fc10f --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/restrict-1.c @@ -0,0 +1,20 @@ +/* { dg-do link } */ +/* { dg-options "-O -fno-strict-aliasing -fdump-tree-optimized" } */ + +extern void link_error (void); + +void bar0 (int * __restrict__ arr1, int * __restrict__ arr2) +{ + arr1[0] = 1; + arr2[0] = 1; + if (arr1[0] != 1) + link_error (); +} + +int main() +{ + return 0; +} + +/* { dg-final { scan-tree-dump-not "link_error" "optimized" } } */ +/* { dg-final { cleanup-tree-dump "optimized" } } */ |