function_hooks/unwind: introduce return_implies_exact()
[smatch.git] / validation / linear / builtin_unreachable1.c
blob70f6674c6443daa4d075b736b0e733f5d691988e
1 void die(void);
3 int foo(int c)
5 if (c)
6 return 1;
7 die();
8 __builtin_unreachable();
12 * check-name: builtin_unreachable1
13 * check-command: test-linearize -Wno-decl $file
15 * check-output-start
16 foo:
17 .L0:
18 <entry-point>
19 cbr %arg1, .L3, .L2
21 .L3:
22 ret.32 $1
24 .L2:
25 call die
26 unreachable
29 * check-output-end