function_hooks/unwind: introduce return_implies_exact()
[smatch.git] / validation / linear / bool-cast-lp32.c
blob44a650f41e7fcb02c3a01b89cbc931bfb4294a65
1 extern int ffun(void);
2 typedef void *vdp;
3 typedef int *sip;
5 static _Bool fvdp_i(vdp a) { return a; }
6 static _Bool fvdp_e(vdp a) { return (_Bool)a; }
7 static _Bool fsip_i(sip a) { return a; }
8 static _Bool fsip_e(sip a) { return (_Bool)a; }
9 static _Bool ffun_i(void) { return ffun; }
10 static _Bool ffun_e(void) { return (_Bool)ffun; }
13 * check-name: bool-cast-pointer
14 * check-command: test-linearize -m32 -fdump-ir $file
15 * check-known-to-fail
17 * check-output-ignore
18 * check-output-excludes: ptrtu\\.