// { dg-do compile }
// { dg-options "-O -std=c11 -g -dA -gno-strict-dwarf" }
// Expect DW_AT_noreturn once in .debug_info and once in .debug_abbrev
// { dg-final { scan-assembler-times "DW_AT_noreturn" 2 } }

_Noreturn void exit (int);

void exit (int i)
{
  while (i < 0 || i == 0 || i > 0)
    ;
}