param_cleared: handle direct assignments
[smatch.git] / validation / cond_expr3.c
blob748409e607893941fd760af0d9cd70a48c97f198
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));
7 /*
8 * check-name: result type of relational and logical operators
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