blob: 768214fcd3ac84c82a338e57add2fb3e1cfcd70b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
|
/* Test __attribute__ ((unavailable)) */
/* { dg-do compile } */
/* { dg-options "" } */
typedef int INT1 __attribute__((unavailable));
typedef INT1 INT2 __attribute__ ((__unavailable__));
typedef INT1 INT1a; /* { dg-error "'INT1' is unavailable" "" } */
typedef INT1 INT1b __attribute__ ((unavailable));
INT1 should_be_unavailable; /* { dg-error "'INT1' is unavailable" "" } */
INT1a should_not_be_unavailable;
INT1 f1(void) __attribute__ ((unavailable));
INT1 f2(void) { return 0; } /* { dg-error "'INT1' is unavailable" "" } */
INT2 f3(void) __attribute__ ((__unavailable__));
INT2 f4(void) { return 0; } /* { dg-error "'INT2' is unavailable" "" } */
int f5(INT2 x); /* { dg-error "'INT2' is unavailable" "" } */
int f6(INT2 x) __attribute__ ((__unavailable__)); /* { dg-error "'INT2' is unavailable" "" } */
typedef enum {red, green, blue} Color __attribute__((unavailable));
int g1;
int g2 __attribute__ ((unavailable));
int g3 __attribute__ ((__unavailable__));
Color k; /* { dg-error "'Color' is unavailable" "" } */
typedef struct {
int field1;
int field2 __attribute__ ((unavailable));
int field3;
int field4 __attribute__ ((__unavailable__));
union {
int field5;
int field6 __attribute__ ((unavailable));
} u1;
int field7:1;
int field8:1 __attribute__ ((unavailable));
union {
int field9;
int field10;
} u2 __attribute__ ((unavailable));
} S1;
int func1()
{
INT1 w; /* { dg-error "'INT1' is unavailable" "" } */
int x __attribute__ ((unavailable));
int y __attribute__ ((__unavailable__));
int z;
int (*pf)() = f1; /* { dg-error "'f1' is unavailable" "" } */
z = w + x + y + g1 + g2 + g3; /* { dg-error "'x' is unavailable" "" } */
/* { dg-error "'y' is unavailable" "y" { target *-*-* } .-1 } */
/* { dg-error "'g2' is unavailable" "g2" { target *-*-* } .-2 } */
/* { dg-error "'g3' is unavailable" "g3" { target *-*-* } .-3 } */
return f1(); /* { dg-error "'f1' is unavailable" "f1" } */
}
int func2(S1 *p)
{
S1 lp;
if (p->field1)
return p->field2; /* { dg-error "'field2' is unavailable" "" } */
else if (lp.field4) /* { dg-error "'field4' is unavailable" "" } */
return p->field3;
p->u1.field5 = g1 + p->field7;
p->u2.field9; /* { dg-error "'u2' is unavailable" "" } */
return p->u1.field6 + p->field8; /* { dg-error "'field6' is unavailable" "" } */
/* { dg-error "'field8' is unavailable" "field8" { target *-*-* } .-1 } */
}
struct SS1 {
int x;
INT1 y; /* { dg-error "'INT1' is unavailable" "" } */
} __attribute__ ((unavailable));
struct SS1 *p1; /* { dg-error "'SS1' is unavailable" "" } */
struct __attribute__ ((__unavailable__)) SS2 {
int x;
INT1 y; /* { dg-error "'INT1' is unavailable" "" } */
};
struct SS2 *p2; /* { dg-error "'SS2' is unavailable" "" } */
|
