annotate gcc/testsuite/gcc.dg/lvalue-9.c @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
1 /* Test handling of lvalues of incomplete types. Bugs 36941, 88647
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2 (invalid), 88827. */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3 /* { dg-do compile } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4 /* { dg-options "-std=c11 -pedantic-errors" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6 struct S;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 extern struct S var;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9 extern struct S *vp;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 extern int i;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12 void
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 f1 (void)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 var; /* { dg-error "has an incomplete type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16 var, (void) 0; /* { dg-error "has an incomplete type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17 (i
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18 ? var /* { dg-error "has an incomplete type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19 : var); /* { dg-error "has an incomplete type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22 void
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23 f2 (void)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25 (void) var; /* { dg-error "has an incomplete type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26 (void) (var, (void) 0); /* { dg-error "has an incomplete type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27 (void) (i
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28 ? var /* { dg-error "has an incomplete type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29 : var); /* { dg-error "has an incomplete type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
30 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
31
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
32 void
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
33 f3 (void)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
34 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
35 (const void) var; /* { dg-error "has an incomplete type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
36 (const void) (var, (void) 0); /* { dg-error "has an incomplete type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
37 (const void) (i
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
38 ? var /* { dg-error "has an incomplete type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
39 : var); /* { dg-error "has an incomplete type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
40 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
41
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
42 void
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
43 f4 (void)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
44 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
45 *vp; /* { dg-error "invalid use of undefined type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
46 *vp, (void) 0; /* { dg-error "invalid use of undefined type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
47 (i
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
48 ? *vp /* { dg-error "invalid use of undefined type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
49 : *vp); /* { dg-error "invalid use of undefined type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
50 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
51
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
52 void
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
53 f5 (void)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
54 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
55 (void) *vp; /* { dg-error "invalid use of undefined type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
56 (void) (*vp, (void) 0); /* { dg-error "invalid use of undefined type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
57 (void) (i
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
58 ? *vp /* { dg-error "invalid use of undefined type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
59 : *vp); /* { dg-error "invalid use of undefined type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
60 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
61
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
62 void
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
63 f6 (void)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
64 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
65 (const void) *vp; /* { dg-error "invalid use of undefined type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
66 (const void) (*vp, (void) 0); /* { dg-error "invalid use of undefined type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
67 (const void) (i
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
68 ? *vp /* { dg-error "invalid use of undefined type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
69 : *vp); /* { dg-error "invalid use of undefined type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
70 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
71
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
72 void
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
73 f7 (void)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
74 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
75 /* This is invalid because of the constraints on []. */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
76 &vp[0]; /* { dg-error "invalid use of undefined type" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
77 }