conditional-expr.c revision aa58f00ebba5f14955001736b7aea20bb5bd91e6
1b6d54e56a5c65c2728080578b84374c3c594daecSteve Naroff// RUN: clang -fsyntax-only -verify -pedantic %s
2b6d54e56a5c65c2728080578b84374c3c594daecSteve Naroffvoid foo() {
3b6d54e56a5c65c2728080578b84374c3c594daecSteve Naroff  *(0 ? (double *)0 : (void *)0) = 0;
4aa58f00ebba5f14955001736b7aea20bb5bd91e6Steve Naroff  *(0 ? (double *)0 : (void *)(int *)0) = 0; // expected-error {{incomplete type 'void' is not assignable}}
5aa58f00ebba5f14955001736b7aea20bb5bd91e6Steve Naroff  *(0 ? (double *)0 : (void *)(double *)0) = 0; // expected-error {{incomplete type 'void' is not assignable}}
6aaffbf7c790a324ed114184db771aae2d2e9151cSteve Naroff  *(0 ? (double *)0 : (int *)(void *)0) = 0; // expected-warning {{pointer type mismatch ('double *' and 'int *')}}
7aaffbf7c790a324ed114184db771aae2d2e9151cSteve Naroff  *(0 ? (double *)0 : (double *)(void *)0) = 0;
8aaffbf7c790a324ed114184db771aae2d2e9151cSteve Naroff  *((void *) 0) = 0; // expected-error {{incomplete type 'void' is not assignable}}
9b6d54e56a5c65c2728080578b84374c3c594daecSteve Naroff  double *dp;
10b6d54e56a5c65c2728080578b84374c3c594daecSteve Naroff  int *ip;
11b6d54e56a5c65c2728080578b84374c3c594daecSteve Naroff  void *vp;
12b6d54e56a5c65c2728080578b84374c3c594daecSteve Naroff
13b6d54e56a5c65c2728080578b84374c3c594daecSteve Naroff  dp = vp;
14b6d54e56a5c65c2728080578b84374c3c594daecSteve Naroff  vp = dp;
15aaffbf7c790a324ed114184db771aae2d2e9151cSteve Naroff  ip = dp; // expected-warning {{incompatible pointer types assigning 'double *', expected 'int *'}}
16aaffbf7c790a324ed114184db771aae2d2e9151cSteve Naroff  dp = ip; // expected-warning {{incompatible pointer types assigning 'int *', expected 'double *'}}
17b6d54e56a5c65c2728080578b84374c3c594daecSteve Naroff  dp = 0 ? (double *)0 : (void *)0;
18b6d54e56a5c65c2728080578b84374c3c594daecSteve Naroff  vp = 0 ? (double *)0 : (void *)0;
19aaffbf7c790a324ed114184db771aae2d2e9151cSteve Naroff  ip = 0 ? (double *)0 : (void *)0; // expected-warning {{incompatible pointer types assigning 'double *', expected 'int *'}}
20b6d54e56a5c65c2728080578b84374c3c594daecSteve Naroff}
21b6d54e56a5c65c2728080578b84374c3c594daecSteve Naroff
22