function_hooks/unwind: introduce return_implies_exact()
[smatch.git] / validation / linear / builtin_unreachable0.c
blob911ed7f97f950c39cdc9ec554c7bf58bd9fc569f
1 int foo(int p)
3 if (p == 3)
4 __builtin_unreachable();
5 return p;
8 /*
9 * check-name: builtin_unreachable0
10 * check-command: test-linearize -Wno-decl $file
12 * check-output-start
13 foo:
14 .L0:
15 <entry-point>
16 seteq.32 %r2 <- %arg1, $3
17 cbr %r2, .L1, .L3
19 .L1:
20 unreachable
22 .L3:
23 ret.32 %arg1
26 * check-output-end