+++ /dev/null
-/* { dg-do compile { target ia64-*-* } } */
-/* { dg-options "-O2" } */
-
-int __sync_fetch_and_add_si (int *, int);
-
-inline unsigned int
-bar (volatile unsigned int *mem, unsigned int val)
-{
- return __sync_fetch_and_add_si((int *)mem, (int)val);
-}
-
-volatile unsigned int x;
-
-void foo (unsigned short *a)
-{
- *a = bar (&x, 1) + 1;
-}