Eli Friedman | 5320285 | 2009-05-03 22:36:05 +0000 | [diff] [blame] | 1 | /* RUN: clang-cc -fsyntax-only -verify -std=c90 -pedantic %s |
| 2 | */ |
Steve Naroff | 08f1967 | 2008-01-13 17:10:08 +0000 | [diff] [blame] | 3 | void |
| 4 | foo (void) |
| 5 | { |
| 6 | struct b; |
| 7 | struct b* x = 0; |
| 8 | struct b* y = &*x; |
| 9 | } |
| 10 | |
| 11 | void foo2 (void) |
| 12 | { |
| 13 | typedef int (*arrayptr)[]; |
| 14 | arrayptr x = 0; |
| 15 | arrayptr y = &*x; |
| 16 | } |
| 17 | |
| 18 | void foo3 (void) |
| 19 | { |
| 20 | void* x = 0; |
Eli Friedman | 5320285 | 2009-05-03 22:36:05 +0000 | [diff] [blame] | 21 | void* y = &*x; /* expected-warning{{address of an expression of type 'void'}} */ |
Steve Naroff | 75ceedf | 2008-02-10 00:30:18 +0000 | [diff] [blame] | 22 | } |
| 23 | |
| 24 | extern const void cv1; |
Steve Naroff | a0992b6 | 2008-02-18 15:14:59 +0000 | [diff] [blame] | 25 | |
Steve Naroff | 75ceedf | 2008-02-10 00:30:18 +0000 | [diff] [blame] | 26 | const void *foo4 (void) |
| 27 | { |
| 28 | return &cv1; |
Steve Naroff | 08f1967 | 2008-01-13 17:10:08 +0000 | [diff] [blame] | 29 | } |
| 30 | |
Steve Naroff | acb818a | 2008-02-10 01:39:04 +0000 | [diff] [blame] | 31 | extern void cv2; |
| 32 | void *foo5 (void) |
| 33 | { |
Eli Friedman | 5320285 | 2009-05-03 22:36:05 +0000 | [diff] [blame] | 34 | return &cv2; /* expected-warning{{address of an expression of type 'void'}} */ |
Steve Naroff | acb818a | 2008-02-10 01:39:04 +0000 | [diff] [blame] | 35 | } |
Steve Naroff | a0992b6 | 2008-02-18 15:14:59 +0000 | [diff] [blame] | 36 | |
| 37 | typedef const void CVT; |
| 38 | extern CVT cv3; |
| 39 | |
| 40 | const void *foo6 (void) |
| 41 | { |
| 42 | return &cv3; |
| 43 | } |
| 44 | |