/* { dg-do run } */
/* { dg-shouldfail "required comment" } */
extern void abort (void);
int
main ()
{
abort (); /* We expect nonzero, so this passes. */
}