type: introduce get_final_type()
[smatch.git] / validation / c11-noreturn.c
blobbc20de82f990c246b10da3d7604fcbcdd9abe84a
1 static _Noreturn void foo(void) { while (1) ; }
3 /*
4 * check-name: c11-noreturn
5 * check-command: test-parsing -std=c11 $file
7 * check-output-ignore
8 * check-output-contains: \[noreturn\]
9 */