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