/* Test diagnostic for an empty source file.  Test with no special
   options.  */
/* Origin: Joseph Myers <joseph@codesourcery.com> */
/* { dg-do compile } */
/* { dg-options "" } */


syntax highlighted by Code2HTML, v. 0.9.1