function_hooks/unwind: introduce return_implies_exact()
[smatch.git] / validation / linear / goto-stmt-expr-conditional.c
blobbbfcb3ebc03957099a3cad1f79ec2a7d719e98e3
1 int t(void)
3 goto inside;
4 return 1 ? 2 : ({
5 inside:
6 return 3;
7 4;
8 });
11 void f(int x, int y)
13 1 ? x : ({
16 });
17 goto a;
21 * check-name: goto-stmt-expr-conditional
22 * check-command: test-linearize -Wno-decl $file
24 * check-error-ignore
25 * check-output-ignore
26 * check-output-excludes: END