avoid useless warning for 'bool <- restricted type' conversion
[smatch.git] / validation / bool-cast-explicit.c
blob4e3c2b7cea8495822b24af71f373c26652af1b94
1 typedef unsigned int u32;
2 typedef int s32;
3 typedef void *vdp;
4 typedef int *sip;
5 typedef double dbl;
6 typedef unsigned short __attribute__((bitwise)) le16;
8 static _Bool fs32(s32 a) { return (_Bool)a; }
9 static _Bool fu32(u32 a) { return (_Bool)a; }
10 static _Bool fvdp(vdp a) { return (_Bool)a; }
11 static _Bool fsip(sip a) { return (_Bool)a; }
12 static _Bool fdbl(dbl a) { return (_Bool)a; }
13 static _Bool ffun(void) { return (_Bool)ffun; }
15 static _Bool fres(le16 a) { return (_Bool)a; }
18 * check-name: bool-cast-explicit
19 * check-command: test-linearize -m64 $file
20 * check-output-ignore
21 * check-output-excludes: cast\\.
23 * check-error-start
24 bool-cast-explicit.c:15:37: warning: cast from restricted le16
25 * check-error-end