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