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
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
|
#include <stdbool.h>
#include <stdint.h>
#include <string.h>
#include "util.h"
#include "cc.h"
enum attrprefix {
PREFIXNONE = 1, /* standard attribute */
PREFIXGNU,
};
static char *
strip(char *name)
{
size_t len;
len = strlen(name);
if (len >= 4 && name[0] == '_' && name[1] == '_' && name[len - 2] == '_' && name[len - 1] == '_') {
name[len - 2] = '\0';
name += 2;
}
return name;
}
static bool
parseattr(struct attr *a, enum attrkind allowed, enum attrprefix prefix)
{
char *name, *prefixname = "";
enum attrkind kind;
int paren;
if (tok.kind != TIDENT)
return false;
name = strip(tok.lit);
next();
if (!prefix) {
if (consume(TCOLONCOLON)) {
if (strcmp(name, "gnu") == 0)
prefix = PREFIXGNU;
else
prefix = 0;
name = strip(expect(TIDENT, "after attribute prefix"));
} else {
prefix = PREFIXNONE;
}
}
kind = 0;
switch (prefix) {
case PREFIXGNU:
prefixname = "GNU ";
break;
}
if (kind) {
if (!(kind & allowed))
error(&tok.loc, "%sattribute '%s' is not supported here", prefixname, name);
if (a)
a->kind |= kind;
} else if (consume(TLPAREN)) {
/* skip arguments */
for (paren = 1; paren > 0; next()) {
switch (tok.kind) {
case TLPAREN: ++paren; break;
case TRPAREN: --paren; break;
}
}
}
return true;
}
static bool
attrspec(struct attr *a, enum attrkind allowed)
{
if (tok.kind != TLBRACK || !peek(TLBRACK))
return false;
while (parseattr(a, allowed, 0) || consume(TCOMMA))
;
expect(TRBRACK, "to end attribute specifier");
expect(TRBRACK, "to end attribute specifier");
return true;
}
bool
attr(struct attr *a, enum attrkind allowed)
{
if (!attrspec(a, allowed))
return false;
while (attrspec(a, allowed))
;
return true;
}
static bool
gnuattrspec(struct attr *a, enum attrkind allowed)
{
if (!consume(T__ATTRIBUTE__))
return false;
while (parseattr(a, allowed, PREFIXGNU) || consume(TCOMMA))
;
expect(TLPAREN, "after '__attribute__' to begin attribute specifier");
expect(TLPAREN, "after '__attribute__' to begin attribute specifier");
while (parseattr(a, allowed, PREFIXGNU) || consume(TCOMMA))
;
expect(TRPAREN, "to end attribute specifier");
expect(TRPAREN, "to end attribute specifier");
return true;
}
bool
gnuattr(struct attr *a, enum attrkind allowed)
{
if (!gnuattrspec(a, allowed))
return false;
while (gnuattrspec(a, allowed))
;
return true;
}
|
