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