/* { dg-do run } */
#include "../../gcc.dg/ia64-sync-2.c"