1 /* { dg-do run } */
2 /* { dg-shouldfail "required comment" } */
3 
4 extern void abort (void);
5 
6 int
main()7 main ()
8 {
9     abort ();  /* We expect nonzero, so this passes.  */
10 }
11