xref: /illumos-gate/usr/src/tools/smatch/src/validation/c11-noreturn.c (revision c85f09cc92abd00c84e58ec9f0f5d942906cb713)

foo(void)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  */
10