xref: /illumos-gate/usr/src/tools/smatch/src/validation/logical.c (revision edd4c52697927997fb1ce3c2c4c425e5ca3a56d6)
1 extern int a(void);
2 extern int b(void);
3 extern int c(void);
4 
5 static int or(void)
6 {
7 	return a() || b() || c();
8 }
9 
10 static int and(void)
11 {
12 	return a() && b() && c();
13 }
14 /*
15  * check-name: Logical and/or
16  */
17 
18