/* Test minrt checks */

/* { dg-options "-O1 -minrt" } */


int main(void)
{
  for (;;)
    ;
}