Steve Naroff | b6d54e5 | 2008-01-08 01:11:38 +0000 | [diff] [blame] | 1 | // RUN: clang -fsyntax-only -verify -pedantic %s |
| 2 | void foo() { |
| 3 | *(0 ? (double *)0 : (void *)0) = 0; |
Steve Naroff | 890d93e | 2008-01-30 21:50:43 +0000 | [diff] [blame] | 4 | // FIXME: GCC doesn't consider the the following two statements to be errors. |
Steve Naroff | aa58f00 | 2008-01-14 16:10:57 +0000 | [diff] [blame] | 5 | *(0 ? (double *)0 : (void *)(int *)0) = 0; // expected-error {{incomplete type 'void' is not assignable}} |
| 6 | *(0 ? (double *)0 : (void *)(double *)0) = 0; // expected-error {{incomplete type 'void' is not assignable}} |
Steve Naroff | 890d93e | 2008-01-30 21:50:43 +0000 | [diff] [blame] | 7 | *(0 ? (double *)0 : (int *)(void *)0) = 0; // expected-error {{incomplete type 'void' is not assignable}} expected-warning {{pointer type mismatch ('double *' and 'int *')}} |
Steve Naroff | aaffbf7 | 2008-01-14 02:53:34 +0000 | [diff] [blame] | 8 | *(0 ? (double *)0 : (double *)(void *)0) = 0; |
| 9 | *((void *) 0) = 0; // expected-error {{incomplete type 'void' is not assignable}} |
Steve Naroff | b6d54e5 | 2008-01-08 01:11:38 +0000 | [diff] [blame] | 10 | double *dp; |
| 11 | int *ip; |
| 12 | void *vp; |
| 13 | |
| 14 | dp = vp; |
| 15 | vp = dp; |
Steve Naroff | aaffbf7 | 2008-01-14 02:53:34 +0000 | [diff] [blame] | 16 | ip = dp; // expected-warning {{incompatible pointer types assigning 'double *', expected 'int *'}} |
| 17 | dp = ip; // expected-warning {{incompatible pointer types assigning 'int *', expected 'double *'}} |
Steve Naroff | b6d54e5 | 2008-01-08 01:11:38 +0000 | [diff] [blame] | 18 | dp = 0 ? (double *)0 : (void *)0; |
| 19 | vp = 0 ? (double *)0 : (void *)0; |
Steve Naroff | aaffbf7 | 2008-01-14 02:53:34 +0000 | [diff] [blame] | 20 | ip = 0 ? (double *)0 : (void *)0; // expected-warning {{incompatible pointer types assigning 'double *', expected 'int *'}} |
Eli Friedman | f76f5ed | 2008-02-10 23:14:16 +0000 | [diff] [blame] | 21 | |
| 22 | const int *cip; |
| 23 | vp = (0 ? vp : cip); // expected-warning {{discards qualifiers}} |
| 24 | vp = (0 ? cip : vp); // expected-warning {{discards qualifiers}} |
Eli Friedman | 4c721d3 | 2008-02-12 08:23:06 +0000 | [diff] [blame] | 25 | |
| 26 | int i = 2; |
| 27 | int (*pf)[2]; |
| 28 | int (*pv)[i]; |
| 29 | pf = (i ? pf : pv); |
Eli Friedman | bab9696 | 2008-02-12 08:46:17 +0000 | [diff] [blame] | 30 | |
| 31 | enum {xxx,yyy,zzz} e, *ee; |
| 32 | short x; |
| 33 | ee = ee ? &x : ee ? &i : &e; // expected-warning {{pointer type mismatch}} |
Eli Friedman | 4b3f9b3 | 2008-02-13 17:29:58 +0000 | [diff] [blame] | 34 | |
| 35 | typedef void *asdf; |
| 36 | *(0 ? (asdf) 0 : &x) = 10; |
Steve Naroff | b6d54e5 | 2008-01-08 01:11:38 +0000 | [diff] [blame] | 37 | } |
| 38 | |
Steve Naroff | e701c0a | 2008-05-12 21:44:38 +0000 | [diff] [blame] | 39 | int Postgresql() { |
| 40 | char x; |
| 41 | return ((((&x) != ((void *) 0)) ? (*(&x) = ((char) 1)) : (void) ((void *) 0)), (unsigned long) ((void *) 0)); // expected-warning {{C99 forbids conditional expressions with only one void side}} |
| 42 | } |