handle label attributes
[smatch.git] / validation / cond_expr.c
blobd5d9e6ff53688962c52beb827b2f3744e66c0f70
1 /*
2 * Bug in original tree: (real_v ? : x) had been treated as equivalent of
3 * (real_v == 0 ? real_v == 0 : x), which gives the wrong type (and no
4 * warning from the testcase below).
5 */
6 static int x;
7 static double y;
8 int a(void)
10 return ~(y ? : x); /* should warn */