gcc/testsuite/gcc.test-framework/dg-do-run-xrif-exp-F.c

/* { dg-do run } */
/* { dg-xfail-run-if "" { empty-*-* } } */

extern void abort (void);

int
main ()
{
    abort ();	/* This results in a failure.  */
}