extra: small fix for when the database is disabled but we have inline info
[smatch.git] / validation / backend / logical-ops.c
blob8b2a6a85bf9cddf01ef878465e048fe91ffeafd7
1 static int and_bool(int x, int y)
3 return x && y;
6 static unsigned int uand_bool(unsigned int x, unsigned int y)
8 return x && y;
11 static int or_bool(int x, int y)
13 return x || y;
16 static unsigned int uor_bool(unsigned int x, unsigned int y)
18 return x || y;
22 * check-name: Logical operator code generation
23 * check-command: ./sparsec -c $file -o tmp.o