Mercurial > hg > CbC > CbC_gcc

comparison gcc/builtin-attrs.def @ 0:a06113de4d67

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
first commit
author kent <kent@cr.ie.u-ryukyu.ac.jp>
date Fri, 17 Jul 2009 14:47:48 +0900
parents
children f6334be47118
comparison
equal deleted inserted replaced
-1:000000000000 0:a06113de4d67
1 /* Copyright (C) 2001, 2002, 2004, 2005, 2007 Free Software Foundation, Inc.
2 Contributed by Joseph Myers <jsm28@cam.ac.uk>.
3
4 This file is part of GCC.
5
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
9 version.
10
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
19
20 /* This header provides a declarative way of describing the attributes
21 that are applied to some functions by default.
22
23 Before including this header, you must define the following macros.
24 In each case where there is an ENUM, it is an identifier used to
25 reference the tree in subsequent definitions.
26
27 DEF_ATTR_NULL_TREE (ENUM)
28
29 Constructs a NULL_TREE.
30
31 DEF_ATTR_INT (ENUM, VALUE)
32
33 Constructs an INTEGER_CST with value VALUE (an integer representable
34 in HOST_WIDE_INT).
35
36 DEF_ATTR_IDENT (ENUM, STRING)
37
38 Constructs an IDENTIFIER_NODE for STRING.
39
40 DEF_ATTR_TREE_LIST (ENUM, PURPOSE, VALUE, CHAIN)
41
42 Constructs a TREE_LIST with given PURPOSE, VALUE and CHAIN (given
43 as previous ENUM names). */
44
45 DEF_ATTR_NULL_TREE (ATTR_NULL)
46
47 /* Construct a tree for a given integer and a list containing it. */
48 #define DEF_ATTR_FOR_INT(VALUE) \
49 DEF_ATTR_INT (ATTR_##VALUE, VALUE) \
50 DEF_ATTR_TREE_LIST (ATTR_LIST_##VALUE, ATTR_NULL, \
51 ATTR_##VALUE, ATTR_NULL)
52 DEF_ATTR_FOR_INT (0)
53 DEF_ATTR_FOR_INT (1)
54 DEF_ATTR_FOR_INT (2)
55 DEF_ATTR_FOR_INT (3)
56 DEF_ATTR_FOR_INT (4)
57 DEF_ATTR_FOR_INT (5)
58 DEF_ATTR_FOR_INT (6)
59 #undef DEF_ATTR_FOR_INT
60
61 /* Construct a tree for a list of two integers. */
62 #define DEF_LIST_INT_INT(VALUE1, VALUE2) \
63 DEF_ATTR_TREE_LIST (ATTR_LIST_##VALUE1##_##VALUE2, ATTR_NULL, \
64 ATTR_##VALUE1, ATTR_LIST_##VALUE2)
65 DEF_LIST_INT_INT (1,0)
66 DEF_LIST_INT_INT (1,2)
67 DEF_LIST_INT_INT (2,0)
68 DEF_LIST_INT_INT (2,3)
69 DEF_LIST_INT_INT (3,0)
70 DEF_LIST_INT_INT (3,4)
71 DEF_LIST_INT_INT (4,0)
72 DEF_LIST_INT_INT (4,5)
73 DEF_LIST_INT_INT (5,0)
74 DEF_LIST_INT_INT (5,6)
75 #undef DEF_LIST_INT_INT
76
77 /* Construct trees for identifiers. */
78 DEF_ATTR_IDENT (ATTR_CONST, "const")
79 DEF_ATTR_IDENT (ATTR_FORMAT, "format")
80 DEF_ATTR_IDENT (ATTR_FORMAT_ARG, "format_arg")
81 DEF_ATTR_IDENT (ATTR_MALLOC, "malloc")
82 DEF_ATTR_IDENT (ATTR_NONNULL, "nonnull")
83 DEF_ATTR_IDENT (ATTR_NORETURN, "noreturn")
84 DEF_ATTR_IDENT (ATTR_NOTHROW, "nothrow")
85 DEF_ATTR_IDENT (ATTR_PRINTF, "printf")
86 DEF_ATTR_IDENT (ATTR_ASM_FPRINTF, "asm_fprintf")
87 DEF_ATTR_IDENT (ATTR_GCC_DIAG, "gcc_diag")
88 DEF_ATTR_IDENT (ATTR_GCC_CDIAG, "gcc_cdiag")
89 DEF_ATTR_IDENT (ATTR_GCC_CXXDIAG, "gcc_cxxdiag")
90 DEF_ATTR_IDENT (ATTR_PURE, "pure")
91 DEF_ATTR_IDENT (ATTR_NOVOPS, "no vops")
92 DEF_ATTR_IDENT (ATTR_SCANF, "scanf")
93 DEF_ATTR_IDENT (ATTR_SENTINEL, "sentinel")
94 DEF_ATTR_IDENT (ATTR_STRFMON, "strfmon")
95 DEF_ATTR_IDENT (ATTR_STRFTIME, "strftime")
96 DEF_ATTR_IDENT (ATTR_TYPEGENERIC, "type generic")
97
98 DEF_ATTR_TREE_LIST (ATTR_NOVOPS_LIST, ATTR_NOVOPS, ATTR_NULL, ATTR_NULL)
99
100 DEF_ATTR_TREE_LIST (ATTR_NOTHROW_LIST, ATTR_NOTHROW, ATTR_NULL, ATTR_NULL)
101
102 DEF_ATTR_TREE_LIST (ATTR_CONST_NOTHROW_LIST, ATTR_CONST, \
103 ATTR_NULL, ATTR_NOTHROW_LIST)
104 DEF_ATTR_TREE_LIST (ATTR_PURE_NOTHROW_LIST, ATTR_PURE, \
105 ATTR_NULL, ATTR_NOTHROW_LIST)
106 DEF_ATTR_TREE_LIST (ATTR_PURE_NOTHROW_NOVOPS_LIST, ATTR_NOVOPS, \
107 ATTR_NULL, ATTR_PURE_NOTHROW_LIST)
108 DEF_ATTR_TREE_LIST (ATTR_NORETURN_NOTHROW_LIST, ATTR_NORETURN, \
109 ATTR_NULL, ATTR_NOTHROW_LIST)
110 DEF_ATTR_TREE_LIST (ATTR_MALLOC_NOTHROW_LIST, ATTR_MALLOC, \
111 ATTR_NULL, ATTR_NOTHROW_LIST)
112 DEF_ATTR_TREE_LIST (ATTR_SENTINEL_NOTHROW_LIST, ATTR_SENTINEL, \
113 ATTR_NULL, ATTR_NOTHROW_LIST)
114
115 /* Functions whose pointer parameter(s) are all nonnull. */
116 DEF_ATTR_TREE_LIST (ATTR_NONNULL_LIST, ATTR_NONNULL, ATTR_NULL, ATTR_NULL)
117 /* Functions whose first parameter is a nonnull pointer. */
118 DEF_ATTR_TREE_LIST (ATTR_NONNULL_1, ATTR_NONNULL, ATTR_LIST_1, ATTR_NULL)
119 /* Functions whose second parameter is a nonnull pointer. */
120 DEF_ATTR_TREE_LIST (ATTR_NONNULL_2, ATTR_NONNULL, ATTR_LIST_2, ATTR_NULL)
121 /* Functions whose third parameter is a nonnull pointer. */
122 DEF_ATTR_TREE_LIST (ATTR_NONNULL_3, ATTR_NONNULL, ATTR_LIST_3, ATTR_NULL)
123 /* Nothrow functions with the sentinel(1) attribute. */
124 DEF_ATTR_TREE_LIST (ATTR_NOTHROW_SENTINEL_1, ATTR_SENTINEL, ATTR_LIST_1, \
125 ATTR_NOTHROW_LIST)
126 /* Nothrow functions whose pointer parameter(s) are all nonnull. */
127 DEF_ATTR_TREE_LIST (ATTR_NOTHROW_NONNULL, ATTR_NONNULL, ATTR_NULL, \
128 ATTR_NOTHROW_LIST)
129 /* Nothrow functions whose first parameter is a nonnull pointer. */
130 DEF_ATTR_TREE_LIST (ATTR_NOTHROW_NONNULL_1, ATTR_NONNULL, ATTR_LIST_1, \
131 ATTR_NOTHROW_LIST)
132 /* Nothrow functions whose second parameter is a nonnull pointer. */
133 DEF_ATTR_TREE_LIST (ATTR_NOTHROW_NONNULL_2, ATTR_NONNULL, ATTR_LIST_2, \
134 ATTR_NOTHROW_LIST)
135 /* Nothrow functions whose third parameter is a nonnull pointer. */
136 DEF_ATTR_TREE_LIST (ATTR_NOTHROW_NONNULL_3, ATTR_NONNULL, ATTR_LIST_3, \
137 ATTR_NOTHROW_LIST)
138 /* Nothrow functions whose fourth parameter is a nonnull pointer. */
139 DEF_ATTR_TREE_LIST (ATTR_NOTHROW_NONNULL_4, ATTR_NONNULL, ATTR_LIST_4, \
140 ATTR_NOTHROW_LIST)
141 /* Nothrow functions whose fifth parameter is a nonnull pointer. */
142 DEF_ATTR_TREE_LIST (ATTR_NOTHROW_NONNULL_5, ATTR_NONNULL, ATTR_LIST_5, \
143 ATTR_NOTHROW_LIST)
144 /* Nothrow const functions whose pointer parameter(s) are all nonnull. */
145 DEF_ATTR_TREE_LIST (ATTR_CONST_NOTHROW_NONNULL, ATTR_CONST, ATTR_NULL, \
146 ATTR_NOTHROW_NONNULL)
147 /* Nothrow const functions which are type-generic. */
148 DEF_ATTR_TREE_LIST (ATTR_CONST_NOTHROW_TYPEGENERIC, ATTR_TYPEGENERIC, ATTR_NULL, \
149 ATTR_CONST_NOTHROW_LIST)
150 /* Nothrow pure functions whose pointer parameter(s) are all nonnull. */
151 DEF_ATTR_TREE_LIST (ATTR_PURE_NOTHROW_NONNULL, ATTR_PURE, ATTR_NULL, \
152 ATTR_NOTHROW_NONNULL)
153 /* Nothrow malloc functions whose pointer parameter(s) are all nonnull. */
154 DEF_ATTR_TREE_LIST (ATTR_MALLOC_NOTHROW_NONNULL, ATTR_MALLOC, ATTR_NULL, \
155 ATTR_NOTHROW_NONNULL)
156
157 /* Construct a tree for a format attribute. */
158 #define DEF_FORMAT_ATTRIBUTE(TYPE, FA, VALUES) \
159 DEF_ATTR_TREE_LIST (ATTR_##TYPE##_##VALUES, ATTR_NULL, \
160 ATTR_##TYPE, ATTR_LIST_##VALUES) \
161 DEF_ATTR_TREE_LIST (ATTR_FORMAT_##TYPE##_##VALUES, ATTR_FORMAT, \
162 ATTR_##TYPE##_##VALUES, ATTR_NONNULL_##FA)
163 #define DEF_FORMAT_ATTRIBUTE_NOTHROW(TYPE, FA, VALUES) \
164 DEF_ATTR_TREE_LIST (ATTR_##TYPE##_##VALUES, ATTR_NULL, \
165 ATTR_##TYPE, ATTR_LIST_##VALUES) \
166 DEF_ATTR_TREE_LIST (ATTR_FORMAT_##TYPE##_NOTHROW_##VALUES, ATTR_FORMAT,\
167 ATTR_##TYPE##_##VALUES, ATTR_NOTHROW_NONNULL_##FA)
168 #define DEF_FORMAT_ATTRIBUTE_BOTH(TYPE, FA, VALUES) \
169 DEF_ATTR_TREE_LIST (ATTR_##TYPE##_##VALUES, ATTR_NULL, \
170 ATTR_##TYPE, ATTR_LIST_##VALUES) \
171 DEF_ATTR_TREE_LIST (ATTR_FORMAT_##TYPE##_##VALUES, ATTR_FORMAT, \
172 ATTR_##TYPE##_##VALUES, ATTR_NONNULL_##FA) \
173 DEF_ATTR_TREE_LIST (ATTR_FORMAT_##TYPE##_NOTHROW_##VALUES, ATTR_FORMAT,\
174 ATTR_##TYPE##_##VALUES, ATTR_NOTHROW_NONNULL_##FA)
175 DEF_FORMAT_ATTRIBUTE(PRINTF,1,1_0)
176 DEF_FORMAT_ATTRIBUTE(PRINTF,1,1_2)
177 DEF_FORMAT_ATTRIBUTE_BOTH(PRINTF,2,2_0)
178 DEF_FORMAT_ATTRIBUTE_BOTH(PRINTF,2,2_3)
179 DEF_FORMAT_ATTRIBUTE_BOTH(PRINTF,3,3_0)
180 DEF_FORMAT_ATTRIBUTE_BOTH(PRINTF,3,3_4)
181 DEF_FORMAT_ATTRIBUTE_NOTHROW(PRINTF,4,4_0)
182 DEF_FORMAT_ATTRIBUTE_NOTHROW(PRINTF,4,4_5)
183 DEF_FORMAT_ATTRIBUTE_NOTHROW(PRINTF,5,5_0)
184 DEF_FORMAT_ATTRIBUTE_NOTHROW(PRINTF,5,5_6)
185 DEF_FORMAT_ATTRIBUTE(SCANF,1,1_0)
186 DEF_FORMAT_ATTRIBUTE(SCANF,1,1_2)
187 DEF_FORMAT_ATTRIBUTE_BOTH(SCANF,2,2_0)
188 DEF_FORMAT_ATTRIBUTE_BOTH(SCANF,2,2_3)
189 DEF_FORMAT_ATTRIBUTE_NOTHROW(STRFTIME,3,3_0)
190 DEF_FORMAT_ATTRIBUTE_NOTHROW(STRFMON,3,3_4)
191 #undef DEF_FORMAT_ATTRIBUTE
192 #undef DEF_FORMAT_ATTRIBUTE_NOTHROW
193 #undef DEF_FORMAT_ATTRIBUTE_BOTH
194
195 /* Construct a tree for a format_arg attribute. */
196 #define DEF_FORMAT_ARG_ATTRIBUTE(FA) \
197 DEF_ATTR_TREE_LIST (ATTR_FORMAT_ARG_##FA, ATTR_FORMAT_ARG, \
198 ATTR_LIST_##FA, ATTR_NOTHROW_NONNULL_##FA)
199 DEF_FORMAT_ARG_ATTRIBUTE(1)
200 DEF_FORMAT_ARG_ATTRIBUTE(2)
201 #undef DEF_FORMAT_ARG_ATTRIBUTE
202