blob: 24e71153f19fb2d05e15f2bba8e98e09bcff78c5 [file] [log] [blame]
Steve Naroffb6d54e52008-01-08 01:11:38 +00001// RUN: clang -fsyntax-only -verify -pedantic %s
2void foo() {
3 *(0 ? (double *)0 : (void *)0) = 0;
Steve Naroffaaffbf72008-01-14 02:53:34 +00004 *(0 ? (double *)0 : (void *)(int *)0) = 0;
5 *(0 ? (double *)0 : (void *)(double *)0) = 0;
6 *(0 ? (double *)0 : (int *)(void *)0) = 0; // expected-warning {{pointer type mismatch ('double *' and 'int *')}}
7 *(0 ? (double *)0 : (double *)(void *)0) = 0;
8 *((void *) 0) = 0; // expected-error {{incomplete type 'void' is not assignable}}
Steve Naroffb6d54e52008-01-08 01:11:38 +00009 double *dp;
10 int *ip;
11 void *vp;
12
13 dp = vp;
14 vp = dp;
Steve Naroffaaffbf72008-01-14 02:53:34 +000015 ip = dp; // expected-warning {{incompatible pointer types assigning 'double *', expected 'int *'}}
16 dp = ip; // expected-warning {{incompatible pointer types assigning 'int *', expected 'double *'}}
Steve Naroffb6d54e52008-01-08 01:11:38 +000017 dp = 0 ? (double *)0 : (void *)0;
18 vp = 0 ? (double *)0 : (void *)0;
Steve Naroffaaffbf72008-01-14 02:53:34 +000019 ip = 0 ? (double *)0 : (void *)0; // expected-warning {{incompatible pointer types assigning 'double *', expected 'int *'}}
Steve Naroffb6d54e52008-01-08 01:11:38 +000020}
21