usr/src/tools/smatch/src/validation/c11-noreturn.c

   1 static _Noreturn void foo(void) { while (1) ; }
   2
   3 /*
   4  * check-name: c11-noreturn
   5  * check-command: test-parsing -std=c11 $file
   6  *
   7  * check-output-ignore
   8  * check-output-contains: \[noreturn\]
   9  */