/* { dg-do compile } */
/* { dg-options "-O2 -finline-functions" } */
#include "../../gcc.dg/ia64-sync-4.c"