xref: /illumos-gate/usr/src/tools/smatch/src/validation/linear/bool-cast-lp32.c (revision a629ded1d7b2e67c2028ccbc5ba9099328cc4e1b)
1 extern int ffun(void);
2 typedef void *vdp;
3 typedef int  *sip;
4 
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; }
11 
12 /*
13  * check-name: bool-cast-pointer
14  * check-command: test-linearize -m32 -fdump-ir $file
15  * check-known-to-fail
16  *
17  * check-output-ignore
18  * check-output-excludes: ptrtu\\.
19  */
20