usr/src/tools/smatch/src/validation/bool-cast-restricted.c

10

_Bool lbaz(large_t x) { return !x; }

usr/src/tools/smatch/src/validation/bool-cast-restricted.c

11

_Bool qbaz(large_t x) { _Bool r = !x; return r; }

usr/src/tools/smatch/src/validation/bool-cast-restricted.c

12

_Bool xbaz(large_t x) { return (_Bool)!x; }

usr/src/tools/smatch/src/validation/bool-cast-restricted.c

13

_Bool lqux(large_t x) { return x & LBIT; }

usr/src/tools/smatch/src/validation/bool-cast-restricted.c

14

_Bool qqux(large_t x) { _Bool r = x & LBIT; return r; }

usr/src/tools/smatch/src/validation/bool-cast-restricted.c

15

_Bool xqux(large_t x) { return (_Bool)(x & LBIT); }

usr/src/tools/smatch/src/validation/bool-cast-restricted.c

2

#define LBIT ((__attribute__((force)) large_t) 1)

usr/src/tools/smatch/src/validation/bool-cast-restricted.c

4

_Bool lfoo(large_t x) { return x; }

usr/src/tools/smatch/src/validation/bool-cast-restricted.c

5

_Bool qfoo(large_t x) { _Bool r = x; return r; }

usr/src/tools/smatch/src/validation/bool-cast-restricted.c

6

_Bool xfoo(large_t x) { return (_Bool)x; }

usr/src/tools/smatch/src/validation/bool-cast-restricted.c

7

_Bool lbar(large_t x) { return ~x; }

usr/src/tools/smatch/src/validation/bool-cast-restricted.c

8

_Bool qbar(large_t x) { _Bool r = ~x; return r; }

usr/src/tools/smatch/src/validation/bool-cast-restricted.c

9

_Bool xbar(large_t x) { return (_Bool)~x; }