xref: /illumos-gate/usr/src/tools/smatch/src/validation/cond_expr3.c (revision 508a0e8cf1600b06c1f7361ad76e736710d3fdf8)
1 static int icmp = 1 / (sizeof(int) - sizeof(1 > 0));
2 static int fcmp = 1 / (sizeof(int) - sizeof(1.0 == 2.0 - 1.0));
3 static int lnot = 1 / (sizeof(int) - sizeof(!!1.0));
4 static int land = 1 / (sizeof(int) - sizeof(2 && 3));
5 static int lor  = 1 / (sizeof(int) - sizeof('c' || 1.0f));
6 
7 /*
8  * check-name: result type of relational and logical operators
9  *
10  * check-error-start
11 cond_expr3.c:1:21: warning: division by zero
12 cond_expr3.c:2:21: warning: division by zero
13 cond_expr3.c:3:21: warning: division by zero
14 cond_expr3.c:4:21: warning: division by zero
15 cond_expr3.c:5:21: warning: division by zero
16  * check-error-end
17  */
18