/* | |
* Bug in original tree: (real_v ? : x) had been treated as equivalent of | |
* (real_v == 0 ? real_v == 0 : x), which gives the wrong type (and no | |
* warning from the testcase below). | |
*/ | |
static int x; | |
static double y; | |
int a(void) | |
{ | |
return ~(y ? : x); /* should warn */ | |
} | |
/* | |
* check-name: Two-argument conditional expression types | |
* | |
* check-error-start | |
cond_expr.c:10:16: error: incompatible types for operation (~) | |
cond_expr.c:10:16: argument has type double | |
* check-error-end | |
*/ |