1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
extern void die(void) __attribute__((noreturn)); int foo(void) { die(); return 0; } /* * check-name: noreturn-unreachable0 * check-command: test-linearize -Wno-decl $file * * check-output-start foo: .L0: <entry-point> call die unreachable * check-output-end */