]>
Commit | Line | Data |
---|---|---|
6de9cd9a | 1 | /* gfortran header file |
ec378180 | 2 | Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005 Free Software Foundation, |
9fc4d79b | 3 | Inc. |
6de9cd9a DN |
4 | Contributed by Andy Vaught |
5 | ||
9fc4d79b | 6 | This file is part of GCC. |
6de9cd9a | 7 | |
9fc4d79b TS |
8 | GCC is free software; you can redistribute it and/or modify it under |
9 | the terms of the GNU General Public License as published by the Free | |
10 | Software Foundation; either version 2, or (at your option) any later | |
11 | version. | |
6de9cd9a | 12 | |
9fc4d79b TS |
13 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY |
14 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
15 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
16 | for more details. | |
6de9cd9a DN |
17 | |
18 | You should have received a copy of the GNU General Public License | |
9fc4d79b | 19 | along with GCC; see the file COPYING. If not, write to the Free |
ab57747b KC |
20 | Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA |
21 | 02110-1301, USA. */ | |
6de9cd9a DN |
22 | |
23 | #ifndef GCC_GFORTRAN_H | |
24 | #define GCC_GFORTRAN_H | |
25 | ||
26 | /* It's probably insane to have this large of a header file, but it | |
27 | seemed like everything had to be recompiled anyway when a change | |
28 | was made to a header file, and there were ordering issues with | |
29 | multiple header files. Besides, Microsoft's winnt.h was 250k last | |
30 | time I looked, so by comparison this is perfectly reasonable. */ | |
31 | ||
6de9cd9a | 32 | #include "system.h" |
31043f6c | 33 | #include "intl.h" |
6de9cd9a | 34 | #include "coretypes.h" |
c8cc8542 | 35 | #include "input.h" |
6de9cd9a DN |
36 | |
37 | /* The following ifdefs are recommended by the autoconf documentation | |
38 | for any code using alloca. */ | |
39 | ||
40 | /* AIX requires this to be the first thing in the file. */ | |
41 | #ifdef __GNUC__ | |
42 | #else /* not __GNUC__ */ | |
43 | #ifdef HAVE_ALLOCA_H | |
44 | #include <alloca.h> | |
45 | #else /* do not HAVE_ALLOCA_H */ | |
46 | #ifdef _AIX | |
47 | #pragma alloca | |
48 | #else | |
49 | #ifndef alloca /* predefined by HP cc +Olibcalls */ | |
50 | char *alloca (); | |
51 | #endif /* not predefined */ | |
52 | #endif /* not _AIX */ | |
53 | #endif /* do not HAVE_ALLOCA_H */ | |
54 | #endif /* not __GNUC__ */ | |
55 | ||
6de9cd9a DN |
56 | /* Major control parameters. */ |
57 | ||
6de9cd9a | 58 | #define GFC_MAX_SYMBOL_LEN 63 |
6de9cd9a DN |
59 | #define GFC_MAX_LINE 132 /* Characters beyond this are not seen. */ |
60 | #define GFC_MAX_DIMENSIONS 7 /* Maximum dimensions in an array. */ | |
61 | #define GFC_LETTERS 26 /* Number of letters in the alphabet. */ | |
6de9cd9a DN |
62 | |
63 | #define free(x) Use_gfc_free_instead_of_free() | |
64 | #define gfc_is_whitespace(c) ((c==' ') || (c=='\t')) | |
65 | ||
66 | #ifndef NULL | |
67 | #define NULL ((void *) 0) | |
68 | #endif | |
69 | ||
70 | /* Stringization. */ | |
71 | #define stringize(x) expand_macro(x) | |
72 | #define expand_macro(x) # x | |
73 | ||
74 | /* For a the runtime library, a standard prefix is a requirement to | |
75 | avoid cluttering the namespace with things nobody asked for. It's | |
76 | ugly to look at and a pain to type when you add the prefix by hand, | |
77 | so we hide it behind a macro. */ | |
78 | #define PREFIX(x) "_gfortran_" x | |
5b200ac2 | 79 | #define PREFIX_LEN 10 |
6de9cd9a | 80 | |
30aabb86 PT |
81 | #define BLANK_COMMON_NAME "__BLNK__" |
82 | ||
6de9cd9a DN |
83 | /* Macro to initialize an mstring structure. */ |
84 | #define minit(s, t) { s, NULL, t } | |
85 | ||
86 | /* Structure for storing strings to be matched by gfc_match_string. */ | |
87 | typedef struct | |
88 | { | |
89 | const char *string; | |
90 | const char *mp; | |
91 | int tag; | |
92 | } | |
93 | mstring; | |
94 | ||
95 | ||
902c2ed4 | 96 | /* Flags to specify which standard/extension contains a feature. */ |
c0309c74 RS |
97 | #define GFC_STD_LEGACY (1<<6) /* Backward compatibility. */ |
98 | #define GFC_STD_GNU (1<<5) /* GNU Fortran extension. */ | |
99 | #define GFC_STD_F2003 (1<<4) /* New in F2003. */ | |
f7b529fa | 100 | /* Note that no features were obsoleted nor deleted in F2003. */ |
c0309c74 RS |
101 | #define GFC_STD_F95 (1<<3) /* New in F95. */ |
102 | #define GFC_STD_F95_DEL (1<<2) /* Deleted in F95. */ | |
103 | #define GFC_STD_F95_OBS (1<<1) /* Obsoleted in F95. */ | |
104 | #define GFC_STD_F77 (1<<0) /* Up to and including F77. */ | |
6de9cd9a | 105 | |
944b8b35 FXC |
106 | /* Bitmasks for the various FPE that can be enabled. */ |
107 | #define GFC_FPE_INVALID (1<<0) | |
108 | #define GFC_FPE_DENORMAL (1<<1) | |
109 | #define GFC_FPE_ZERO (1<<2) | |
110 | #define GFC_FPE_OVERFLOW (1<<3) | |
111 | #define GFC_FPE_UNDERFLOW (1<<4) | |
112 | #define GFC_FPE_PRECISION (1<<5) | |
113 | ||
114 | ||
6de9cd9a DN |
115 | /*************************** Enums *****************************/ |
116 | ||
117 | /* The author remains confused to this day about the convention of | |
118 | returning '0' for 'SUCCESS'... or was it the other way around? The | |
119 | following enum makes things much more readable. We also start | |
120 | values off at one instead of zero. */ | |
121 | ||
122 | typedef enum | |
123 | { SUCCESS = 1, FAILURE } | |
124 | try; | |
125 | ||
126 | /* Matchers return one of these three values. The difference between | |
127 | MATCH_NO and MATCH_ERROR is that MATCH_ERROR means that a match was | |
128 | successful, but that something non-syntactic is wrong and an error | |
129 | has already been issued. */ | |
130 | ||
131 | typedef enum | |
132 | { MATCH_NO = 1, MATCH_YES, MATCH_ERROR } | |
133 | match; | |
134 | ||
135 | typedef enum | |
136 | { FORM_FREE, FORM_FIXED, FORM_UNKNOWN } | |
137 | gfc_source_form; | |
138 | ||
139 | typedef enum | |
140 | { BT_UNKNOWN = 1, BT_INTEGER, BT_REAL, BT_COMPLEX, | |
d3642f89 | 141 | BT_LOGICAL, BT_CHARACTER, BT_DERIVED, BT_PROCEDURE, BT_HOLLERITH |
6de9cd9a DN |
142 | } |
143 | bt; | |
144 | ||
145 | /* Expression node types. */ | |
146 | typedef enum | |
147 | { EXPR_OP = 1, EXPR_FUNCTION, EXPR_CONSTANT, EXPR_VARIABLE, | |
148 | EXPR_SUBSTRING, EXPR_STRUCTURE, EXPR_ARRAY, EXPR_NULL | |
149 | } | |
150 | expr_t; | |
151 | ||
152 | /* Array types. */ | |
153 | typedef enum | |
154 | { AS_EXPLICIT = 1, AS_ASSUMED_SHAPE, AS_DEFERRED, | |
155 | AS_ASSUMED_SIZE, AS_UNKNOWN | |
156 | } | |
157 | array_type; | |
158 | ||
159 | typedef enum | |
160 | { AR_FULL = 1, AR_ELEMENT, AR_SECTION, AR_UNKNOWN } | |
161 | ar_type; | |
162 | ||
163 | /* Statement label types. */ | |
164 | typedef enum | |
165 | { ST_LABEL_UNKNOWN = 1, ST_LABEL_TARGET, | |
166 | ST_LABEL_BAD_TARGET, ST_LABEL_FORMAT | |
167 | } | |
168 | gfc_sl_type; | |
169 | ||
170 | /* Intrinsic operators. */ | |
171 | typedef enum | |
172 | { GFC_INTRINSIC_BEGIN = 0, | |
173 | INTRINSIC_NONE = -1, INTRINSIC_UPLUS = GFC_INTRINSIC_BEGIN, | |
174 | INTRINSIC_UMINUS, INTRINSIC_PLUS, INTRINSIC_MINUS, INTRINSIC_TIMES, | |
175 | INTRINSIC_DIVIDE, INTRINSIC_POWER, INTRINSIC_CONCAT, | |
176 | INTRINSIC_AND, INTRINSIC_OR, INTRINSIC_EQV, INTRINSIC_NEQV, | |
177 | INTRINSIC_EQ, INTRINSIC_NE, INTRINSIC_GT, INTRINSIC_GE, | |
178 | INTRINSIC_LT, INTRINSIC_LE, INTRINSIC_NOT, INTRINSIC_USER, | |
179 | INTRINSIC_ASSIGN, | |
180 | GFC_INTRINSIC_END /* Sentinel */ | |
181 | } | |
182 | gfc_intrinsic_op; | |
183 | ||
184 | ||
185 | /* Strings for all intrinsic operators. */ | |
186 | extern mstring intrinsic_operators[]; | |
187 | ||
188 | ||
189 | /* This macro is the number of intrinsic operators that exist. | |
190 | Assumptions are made about the numbering of the interface_op enums. */ | |
191 | #define GFC_INTRINSIC_OPS GFC_INTRINSIC_END | |
192 | ||
193 | /* Arithmetic results. */ | |
194 | typedef enum | |
f8e566e5 | 195 | { ARITH_OK = 1, ARITH_OVERFLOW, ARITH_UNDERFLOW, ARITH_NAN, |
0de27aac | 196 | ARITH_DIV0, ARITH_INCOMMENSURATE, ARITH_ASYMMETRIC |
6de9cd9a DN |
197 | } |
198 | arith; | |
199 | ||
200 | /* Statements. */ | |
201 | typedef enum | |
202 | { | |
203 | ST_ARITHMETIC_IF, ST_ALLOCATE, ST_ATTR_DECL, ST_BACKSPACE, ST_BLOCK_DATA, | |
204 | ST_CALL, ST_CASE, ST_CLOSE, ST_COMMON, ST_CONTINUE, ST_CONTAINS, ST_CYCLE, | |
205 | ST_DATA, ST_DATA_DECL, ST_DEALLOCATE, ST_DO, ST_ELSE, ST_ELSEIF, | |
206 | ST_ELSEWHERE, ST_END_BLOCK_DATA, ST_ENDDO, ST_IMPLIED_ENDDO, | |
6403ec5f JB |
207 | ST_END_FILE, ST_FLUSH, ST_END_FORALL, ST_END_FUNCTION, ST_ENDIF, |
208 | ST_END_INTERFACE, ST_END_MODULE, ST_END_PROGRAM, ST_END_SELECT, | |
209 | ST_END_SUBROUTINE, ST_END_WHERE, ST_END_TYPE, ST_ENTRY, ST_EQUIVALENCE, | |
210 | ST_EXIT, ST_FORALL, ST_FORALL_BLOCK, ST_FORMAT, ST_FUNCTION, ST_GOTO, | |
211 | ST_IF_BLOCK, ST_IMPLICIT, ST_IMPLICIT_NONE, ST_INQUIRE, ST_INTERFACE, | |
212 | ST_PARAMETER, ST_MODULE, ST_MODULE_PROC, ST_NAMELIST, ST_NULLIFY, ST_OPEN, | |
213 | ST_PAUSE, ST_PRIVATE, ST_PROGRAM, ST_PUBLIC, ST_READ, ST_RETURN, ST_REWIND, | |
214 | ST_STOP, ST_SUBROUTINE, ST_TYPE, ST_USE, ST_WHERE_BLOCK, ST_WHERE, ST_WRITE, | |
215 | ST_ASSIGNMENT, ST_POINTER_ASSIGNMENT, ST_SELECT_CASE, ST_SEQUENCE, | |
216 | ST_SIMPLE_IF, ST_STATEMENT_FUNCTION, ST_DERIVED_DECL, ST_LABEL_ASSIGNMENT, | |
25d8f0a2 | 217 | ST_ENUM, ST_ENUMERATOR, ST_END_ENUM, ST_NONE |
6de9cd9a DN |
218 | } |
219 | gfc_statement; | |
220 | ||
221 | ||
222 | /* Types of interfaces that we can have. Assignment interfaces are | |
223 | considered to be intrinsic operators. */ | |
224 | typedef enum | |
225 | { | |
226 | INTERFACE_NAMELESS = 1, INTERFACE_GENERIC, | |
227 | INTERFACE_INTRINSIC_OP, INTERFACE_USER_OP | |
228 | } | |
229 | interface_type; | |
230 | ||
231 | /* Symbol flavors: these are all mutually exclusive. | |
232 | 10 elements = 4 bits. */ | |
5f42ddb0 | 233 | typedef enum sym_flavor |
6de9cd9a DN |
234 | { |
235 | FL_UNKNOWN = 0, FL_PROGRAM, FL_BLOCK_DATA, FL_MODULE, FL_VARIABLE, | |
236 | FL_PARAMETER, FL_LABEL, FL_PROCEDURE, FL_DERIVED, FL_NAMELIST | |
237 | } | |
238 | sym_flavor; | |
239 | ||
240 | /* Procedure types. 7 elements = 3 bits. */ | |
5f42ddb0 | 241 | typedef enum procedure_type |
6de9cd9a DN |
242 | { PROC_UNKNOWN, PROC_MODULE, PROC_INTERNAL, PROC_DUMMY, |
243 | PROC_INTRINSIC, PROC_ST_FUNCTION, PROC_EXTERNAL | |
244 | } | |
245 | procedure_type; | |
246 | ||
247 | /* Intent types. */ | |
5f42ddb0 | 248 | typedef enum sym_intent |
6de9cd9a DN |
249 | { INTENT_UNKNOWN = 0, INTENT_IN, INTENT_OUT, INTENT_INOUT |
250 | } | |
251 | sym_intent; | |
252 | ||
253 | /* Access types. */ | |
5f42ddb0 KG |
254 | typedef enum gfc_access |
255 | { ACCESS_UNKNOWN = 0, ACCESS_PUBLIC, ACCESS_PRIVATE | |
6de9cd9a DN |
256 | } |
257 | gfc_access; | |
258 | ||
259 | /* Flags to keep track of where an interface came from. | |
260 | 4 elements = 2 bits. */ | |
5f42ddb0 | 261 | typedef enum ifsrc |
6de9cd9a DN |
262 | { IFSRC_UNKNOWN = 0, IFSRC_DECL, IFSRC_IFBODY, IFSRC_USAGE |
263 | } | |
264 | ifsrc; | |
265 | ||
266 | /* Strings for all symbol attributes. We use these for dumping the | |
267 | parse tree, in error messages, and also when reading and writing | |
268 | modules. In symbol.c. */ | |
269 | extern const mstring flavors[]; | |
270 | extern const mstring procedures[]; | |
271 | extern const mstring intents[]; | |
272 | extern const mstring access_types[]; | |
273 | extern const mstring ifsrc_types[]; | |
274 | ||
275 | /* Enumeration of all the generic intrinsic functions. Used by the | |
276 | backend for identification of a function. */ | |
277 | ||
278 | enum gfc_generic_isym_id | |
279 | { | |
280 | /* GFC_ISYM_NONE is used for intrinsics which will never be seen by | |
281 | the backend (eg. KIND). */ | |
282 | GFC_ISYM_NONE = 0, | |
283 | GFC_ISYM_ABS, | |
284 | GFC_ISYM_ACHAR, | |
285 | GFC_ISYM_ACOS, | |
1e399e23 | 286 | GFC_ISYM_ACOSH, |
6de9cd9a DN |
287 | GFC_ISYM_ADJUSTL, |
288 | GFC_ISYM_ADJUSTR, | |
289 | GFC_ISYM_AIMAG, | |
290 | GFC_ISYM_AINT, | |
291 | GFC_ISYM_ALL, | |
292 | GFC_ISYM_ALLOCATED, | |
293 | GFC_ISYM_ANINT, | |
294 | GFC_ISYM_ANY, | |
295 | GFC_ISYM_ASIN, | |
1e399e23 | 296 | GFC_ISYM_ASINH, |
6de9cd9a DN |
297 | GFC_ISYM_ASSOCIATED, |
298 | GFC_ISYM_ATAN, | |
1e399e23 | 299 | GFC_ISYM_ATANH, |
6de9cd9a | 300 | GFC_ISYM_ATAN2, |
e8525382 SK |
301 | GFC_ISYM_J0, |
302 | GFC_ISYM_J1, | |
303 | GFC_ISYM_JN, | |
304 | GFC_ISYM_Y0, | |
305 | GFC_ISYM_Y1, | |
306 | GFC_ISYM_YN, | |
6de9cd9a DN |
307 | GFC_ISYM_BTEST, |
308 | GFC_ISYM_CEILING, | |
309 | GFC_ISYM_CHAR, | |
f77b6ca3 | 310 | GFC_ISYM_CHDIR, |
6de9cd9a | 311 | GFC_ISYM_CMPLX, |
b41b2534 | 312 | GFC_ISYM_COMMAND_ARGUMENT_COUNT, |
6de9cd9a DN |
313 | GFC_ISYM_CONJG, |
314 | GFC_ISYM_COS, | |
315 | GFC_ISYM_COSH, | |
316 | GFC_ISYM_COUNT, | |
317 | GFC_ISYM_CSHIFT, | |
35059811 | 318 | GFC_ISYM_CTIME, |
6de9cd9a DN |
319 | GFC_ISYM_DBLE, |
320 | GFC_ISYM_DIM, | |
321 | GFC_ISYM_DOT_PRODUCT, | |
322 | GFC_ISYM_DPROD, | |
323 | GFC_ISYM_EOSHIFT, | |
e8525382 SK |
324 | GFC_ISYM_ERF, |
325 | GFC_ISYM_ERFC, | |
2bd74949 | 326 | GFC_ISYM_ETIME, |
6de9cd9a DN |
327 | GFC_ISYM_EXP, |
328 | GFC_ISYM_EXPONENT, | |
35059811 | 329 | GFC_ISYM_FDATE, |
6de9cd9a | 330 | GFC_ISYM_FLOOR, |
df65f093 | 331 | GFC_ISYM_FNUM, |
6de9cd9a | 332 | GFC_ISYM_FRACTION, |
df65f093 | 333 | GFC_ISYM_FSTAT, |
a8c60d7f | 334 | GFC_ISYM_GETCWD, |
4c0c6b9f SK |
335 | GFC_ISYM_GETGID, |
336 | GFC_ISYM_GETPID, | |
337 | GFC_ISYM_GETUID, | |
f77b6ca3 | 338 | GFC_ISYM_HOSTNM, |
6de9cd9a DN |
339 | GFC_ISYM_IACHAR, |
340 | GFC_ISYM_IAND, | |
b41b2534 | 341 | GFC_ISYM_IARGC, |
6de9cd9a DN |
342 | GFC_ISYM_IBCLR, |
343 | GFC_ISYM_IBITS, | |
344 | GFC_ISYM_IBSET, | |
345 | GFC_ISYM_ICHAR, | |
346 | GFC_ISYM_IEOR, | |
f77b6ca3 | 347 | GFC_ISYM_IERRNO, |
6de9cd9a DN |
348 | GFC_ISYM_INDEX, |
349 | GFC_ISYM_INT, | |
350 | GFC_ISYM_IOR, | |
2bd74949 | 351 | GFC_ISYM_IRAND, |
ae8b8789 | 352 | GFC_ISYM_ISATTY, |
6de9cd9a DN |
353 | GFC_ISYM_ISHFT, |
354 | GFC_ISYM_ISHFTC, | |
f77b6ca3 | 355 | GFC_ISYM_KILL, |
6de9cd9a DN |
356 | GFC_ISYM_LBOUND, |
357 | GFC_ISYM_LEN, | |
358 | GFC_ISYM_LEN_TRIM, | |
f77b6ca3 | 359 | GFC_ISYM_LINK, |
6de9cd9a DN |
360 | GFC_ISYM_LGE, |
361 | GFC_ISYM_LGT, | |
362 | GFC_ISYM_LLE, | |
363 | GFC_ISYM_LLT, | |
364 | GFC_ISYM_LOG, | |
83d890b9 | 365 | GFC_ISYM_LOC, |
6de9cd9a DN |
366 | GFC_ISYM_LOG10, |
367 | GFC_ISYM_LOGICAL, | |
0d519038 | 368 | GFC_ISYM_MALLOC, |
6de9cd9a DN |
369 | GFC_ISYM_MATMUL, |
370 | GFC_ISYM_MAX, | |
371 | GFC_ISYM_MAXLOC, | |
372 | GFC_ISYM_MAXVAL, | |
373 | GFC_ISYM_MERGE, | |
374 | GFC_ISYM_MIN, | |
375 | GFC_ISYM_MINLOC, | |
376 | GFC_ISYM_MINVAL, | |
377 | GFC_ISYM_MOD, | |
378 | GFC_ISYM_MODULO, | |
379 | GFC_ISYM_NEAREST, | |
380 | GFC_ISYM_NINT, | |
381 | GFC_ISYM_NOT, | |
382 | GFC_ISYM_PACK, | |
383 | GFC_ISYM_PRESENT, | |
384 | GFC_ISYM_PRODUCT, | |
2bd74949 | 385 | GFC_ISYM_RAND, |
6de9cd9a | 386 | GFC_ISYM_REAL, |
f77b6ca3 | 387 | GFC_ISYM_RENAME, |
6de9cd9a DN |
388 | GFC_ISYM_REPEAT, |
389 | GFC_ISYM_RESHAPE, | |
390 | GFC_ISYM_RRSPACING, | |
391 | GFC_ISYM_SCALE, | |
392 | GFC_ISYM_SCAN, | |
2bd74949 | 393 | GFC_ISYM_SECOND, |
53096259 | 394 | GFC_ISYM_SECNDS, |
6de9cd9a DN |
395 | GFC_ISYM_SET_EXPONENT, |
396 | GFC_ISYM_SHAPE, | |
397 | GFC_ISYM_SI_KIND, | |
398 | GFC_ISYM_SIGN, | |
185d7d97 | 399 | GFC_ISYM_SIGNAL, |
6de9cd9a DN |
400 | GFC_ISYM_SIN, |
401 | GFC_ISYM_SINH, | |
402 | GFC_ISYM_SIZE, | |
403 | GFC_ISYM_SPACING, | |
404 | GFC_ISYM_SPREAD, | |
405 | GFC_ISYM_SQRT, | |
406 | GFC_ISYM_SR_KIND, | |
df65f093 | 407 | GFC_ISYM_STAT, |
6de9cd9a | 408 | GFC_ISYM_SUM, |
f77b6ca3 | 409 | GFC_ISYM_SYMLNK, |
5b1374e9 | 410 | GFC_ISYM_SYSTEM, |
6de9cd9a DN |
411 | GFC_ISYM_TAN, |
412 | GFC_ISYM_TANH, | |
f77b6ca3 FXC |
413 | GFC_ISYM_TIME, |
414 | GFC_ISYM_TIME8, | |
6de9cd9a DN |
415 | GFC_ISYM_TRANSFER, |
416 | GFC_ISYM_TRANSPOSE, | |
417 | GFC_ISYM_TRIM, | |
25fc05eb | 418 | GFC_ISYM_TTYNAM, |
6de9cd9a | 419 | GFC_ISYM_UBOUND, |
d8fe26b2 SK |
420 | GFC_ISYM_UMASK, |
421 | GFC_ISYM_UNLINK, | |
6de9cd9a DN |
422 | GFC_ISYM_UNPACK, |
423 | GFC_ISYM_VERIFY, | |
424 | GFC_ISYM_CONVERSION | |
425 | }; | |
426 | typedef enum gfc_generic_isym_id gfc_generic_isym_id; | |
427 | ||
428 | /************************* Structures *****************************/ | |
429 | ||
430 | /* Symbol attribute structure. */ | |
431 | typedef struct | |
432 | { | |
433 | /* Variable attributes. */ | |
434 | unsigned allocatable:1, dimension:1, external:1, intrinsic:1, | |
435 | optional:1, pointer:1, save:1, target:1, | |
3d79abbd | 436 | dummy:1, result:1, assign:1; |
6de9cd9a DN |
437 | |
438 | unsigned data:1, /* Symbol is named in a DATA statement. */ | |
439 | use_assoc:1; /* Symbol has been use-associated. */ | |
440 | ||
30aabb86 | 441 | unsigned in_namelist:1, in_common:1, in_equivalence:1; |
6de9cd9a | 442 | unsigned function:1, subroutine:1, generic:1; |
d1303acd TS |
443 | unsigned implicit_type:1; /* Type defined via implicit rules. */ |
444 | unsigned untyped:1; /* No implicit type could be found. */ | |
6de9cd9a DN |
445 | |
446 | /* Function/subroutine attributes */ | |
447 | unsigned sequence:1, elemental:1, pure:1, recursive:1; | |
448 | unsigned unmaskable:1, masked:1, contained:1; | |
449 | ||
fe58e076 TK |
450 | /* This is set if the subroutine doesn't return. Currently, this |
451 | is only possible for intrinsic subroutines. */ | |
452 | unsigned noreturn:1; | |
453 | ||
3d79abbd PB |
454 | /* Set if this procedure is an alternate entry point. These procedures |
455 | don't have any code associated, and the backend will turn them into | |
456 | thunks to the master function. */ | |
457 | unsigned entry:1; | |
8b67b708 | 458 | |
3d79abbd PB |
459 | /* Set if this is the master function for a procedure with multiple |
460 | entry points. */ | |
461 | unsigned entry_master:1; | |
8b67b708 | 462 | |
d198b59a JJ |
463 | /* Set if this is the master function for a function with multiple |
464 | entry points where characteristics of the entry points differ. */ | |
465 | unsigned mixed_entry_master:1; | |
3d79abbd | 466 | |
6de9cd9a DN |
467 | /* Set if a function must always be referenced by an explicit interface. */ |
468 | unsigned always_explicit:1; | |
469 | ||
470 | /* Set if the symbol has been referenced in an expression. No further | |
471 | modification of type or type parameters is permitted. */ | |
472 | unsigned referenced:1; | |
473 | ||
8b67b708 FXC |
474 | /* Set if the is the symbol for the main program. This is the least |
475 | cumbersome way to communicate this function property without | |
476 | strcmp'ing with __MAIN everywhere. */ | |
477 | unsigned is_main_program:1; | |
478 | ||
6de9cd9a | 479 | /* Mutually exclusive multibit attributes. */ |
5f42ddb0 KG |
480 | ENUM_BITFIELD (gfc_access) access:2; |
481 | ENUM_BITFIELD (sym_intent) intent:2; | |
482 | ENUM_BITFIELD (sym_flavor) flavor:4; | |
483 | ENUM_BITFIELD (ifsrc) if_source:2; | |
6de9cd9a | 484 | |
5f42ddb0 | 485 | ENUM_BITFIELD (procedure_type) proc:3; |
83d890b9 AL |
486 | |
487 | /* Special attributes for Cray pointers, pointees. */ | |
488 | unsigned cray_pointer:1, cray_pointee:1; | |
6de9cd9a DN |
489 | |
490 | } | |
491 | symbol_attribute; | |
492 | ||
493 | ||
d4fa05b9 TS |
494 | /* The following three structures are used to identify a location in |
495 | the sources. | |
496 | ||
497 | gfc_file is used to maintain a tree of the source files and how | |
498 | they include each other | |
6de9cd9a | 499 | |
d4fa05b9 TS |
500 | gfc_linebuf holds a single line of source code and information |
501 | which file it resides in | |
6de9cd9a | 502 | |
d4fa05b9 TS |
503 | locus point to the sourceline and the character in the source |
504 | line. | |
505 | */ | |
6de9cd9a | 506 | |
d4fa05b9 | 507 | typedef struct gfc_file |
6de9cd9a | 508 | { |
d4fa05b9 TS |
509 | struct gfc_file *included_by, *next, *up; |
510 | int inclusion_line, line; | |
511 | char *filename; | |
512 | } gfc_file; | |
513 | ||
514 | typedef struct gfc_linebuf | |
515 | { | |
c8cc8542 PB |
516 | #ifdef USE_MAPPED_LOCATION |
517 | source_location location; | |
518 | #else | |
d4fa05b9 | 519 | int linenum; |
c8cc8542 | 520 | #endif |
d4fa05b9 TS |
521 | struct gfc_file *file; |
522 | struct gfc_linebuf *next; | |
523 | ||
ba1defa5 RG |
524 | int truncated; |
525 | ||
4cdf7223 | 526 | char line[1]; |
d4fa05b9 | 527 | } gfc_linebuf; |
4cdf7223 PB |
528 | |
529 | #define gfc_linebuf_header_size (offsetof (gfc_linebuf, line)) | |
530 | ||
d4fa05b9 TS |
531 | typedef struct |
532 | { | |
533 | char *nextc; | |
534 | gfc_linebuf *lb; | |
535 | } locus; | |
6de9cd9a | 536 | |
0ce0154c KG |
537 | /* In order for the "gfc" format checking to work correctly, you must |
538 | have declared a typedef locus first. */ | |
539 | #if GCC_VERSION >= 4001 | |
540 | #define ATTRIBUTE_GCC_GFC(m, n) __attribute__ ((__format__ (__gcc_gfc__, m, n))) ATTRIBUTE_NONNULL(m) | |
541 | #else | |
542 | #define ATTRIBUTE_GCC_GFC(m, n) ATTRIBUTE_NONNULL(m) | |
543 | #endif | |
544 | ||
6de9cd9a | 545 | |
6de9cd9a DN |
546 | extern int gfc_suppress_error; |
547 | ||
548 | ||
549 | /* Character length structures hold the expression that gives the | |
550 | length of a character variable. We avoid putting these into | |
551 | gfc_typespec because doing so prevents us from doing structure | |
552 | copies and forces us to deallocate any typespecs we create, as well | |
553 | as structures that contain typespecs. They also can have multiple | |
554 | character typespecs pointing to them. | |
555 | ||
556 | These structures form a singly linked list within the current | |
557 | namespace and are deallocated with the namespace. It is possible to | |
558 | end up with gfc_charlen structures that have nothing pointing to them. */ | |
559 | ||
560 | typedef struct gfc_charlen | |
561 | { | |
562 | struct gfc_expr *length; | |
563 | struct gfc_charlen *next; | |
564 | tree backend_decl; | |
565 | } | |
566 | gfc_charlen; | |
567 | ||
568 | #define gfc_get_charlen() gfc_getmem(sizeof(gfc_charlen)) | |
569 | ||
570 | /* Type specification structure. FIXME: derived and cl could be union??? */ | |
571 | typedef struct | |
572 | { | |
573 | bt type; | |
574 | int kind; | |
575 | struct gfc_symbol *derived; | |
576 | gfc_charlen *cl; /* For character types only. */ | |
577 | } | |
578 | gfc_typespec; | |
579 | ||
580 | /* Array specification. */ | |
581 | typedef struct | |
582 | { | |
583 | int rank; /* A rank of zero means that a variable is a scalar. */ | |
584 | array_type type; | |
585 | struct gfc_expr *lower[GFC_MAX_DIMENSIONS], *upper[GFC_MAX_DIMENSIONS]; | |
83d890b9 AL |
586 | |
587 | /* These two fields are used with the Cray Pointer extension. */ | |
588 | bool cray_pointee; /* True iff this spec belongs to a cray pointee. */ | |
589 | bool cp_was_assumed; /* AS_ASSUMED_SIZE cp arrays are converted to | |
590 | AS_EXPLICIT, but we want to remember that we | |
591 | did this. */ | |
592 | ||
6de9cd9a DN |
593 | } |
594 | gfc_array_spec; | |
595 | ||
596 | #define gfc_get_array_spec() gfc_getmem(sizeof(gfc_array_spec)) | |
597 | ||
598 | ||
599 | /* Components of derived types. */ | |
600 | typedef struct gfc_component | |
601 | { | |
cb9e4f55 | 602 | const char *name; |
6de9cd9a DN |
603 | gfc_typespec ts; |
604 | ||
605 | int pointer, dimension; | |
606 | gfc_array_spec *as; | |
607 | ||
608 | tree backend_decl; | |
609 | locus loc; | |
610 | struct gfc_expr *initializer; | |
611 | struct gfc_component *next; | |
612 | } | |
613 | gfc_component; | |
614 | ||
615 | #define gfc_get_component() gfc_getmem(sizeof(gfc_component)) | |
616 | ||
617 | /* Formal argument lists are lists of symbols. */ | |
618 | typedef struct gfc_formal_arglist | |
619 | { | |
4f613946 | 620 | /* Symbol representing the argument at this position in the arglist. */ |
6de9cd9a | 621 | struct gfc_symbol *sym; |
4f613946 | 622 | /* Points to the next formal argument. */ |
6de9cd9a DN |
623 | struct gfc_formal_arglist *next; |
624 | } | |
625 | gfc_formal_arglist; | |
626 | ||
627 | #define gfc_get_formal_arglist() gfc_getmem(sizeof(gfc_formal_arglist)) | |
628 | ||
629 | ||
630 | /* The gfc_actual_arglist structure is for actual arguments. */ | |
631 | typedef struct gfc_actual_arglist | |
632 | { | |
cb9e4f55 | 633 | const char *name; |
6de9cd9a DN |
634 | /* Alternate return label when the expr member is null. */ |
635 | struct gfc_st_label *label; | |
636 | ||
1600fe22 TS |
637 | /* This is set to the type of an eventual omitted optional |
638 | argument. This is used to determine if a hidden string length | |
639 | argument has to be added to a function call. */ | |
640 | bt missing_arg_type; | |
641 | ||
6de9cd9a DN |
642 | struct gfc_expr *expr; |
643 | struct gfc_actual_arglist *next; | |
644 | } | |
645 | gfc_actual_arglist; | |
646 | ||
647 | #define gfc_get_actual_arglist() gfc_getmem(sizeof(gfc_actual_arglist)) | |
648 | ||
649 | ||
650 | /* Because a symbol can belong to multiple namelists, they must be | |
651 | linked externally to the symbol itself. */ | |
652 | typedef struct gfc_namelist | |
653 | { | |
654 | struct gfc_symbol *sym; | |
655 | struct gfc_namelist *next; | |
656 | } | |
657 | gfc_namelist; | |
658 | ||
659 | #define gfc_get_namelist() gfc_getmem(sizeof(gfc_namelist)) | |
660 | ||
661 | ||
662 | /* The gfc_st_label structure is a doubly linked list attached to a | |
663 | namespace that records the usage of statement labels within that | |
664 | space. */ | |
665 | /* TODO: Make format/statement specifics a union. */ | |
666 | typedef struct gfc_st_label | |
667 | { | |
668 | int value; | |
669 | ||
670 | gfc_sl_type defined, referenced; | |
671 | ||
672 | struct gfc_expr *format; | |
673 | ||
674 | tree backend_decl; | |
675 | ||
676 | locus where; | |
677 | ||
678 | struct gfc_st_label *prev, *next; | |
679 | } | |
680 | gfc_st_label; | |
681 | ||
682 | ||
683 | /* gfc_interface()-- Interfaces are lists of symbols strung together. */ | |
684 | typedef struct gfc_interface | |
685 | { | |
686 | struct gfc_symbol *sym; | |
687 | locus where; | |
688 | struct gfc_interface *next; | |
689 | } | |
690 | gfc_interface; | |
691 | ||
692 | #define gfc_get_interface() gfc_getmem(sizeof(gfc_interface)) | |
693 | ||
694 | ||
695 | /* User operator nodes. These are like stripped down symbols. */ | |
696 | typedef struct | |
697 | { | |
cb9e4f55 | 698 | const char *name; |
6de9cd9a DN |
699 | |
700 | gfc_interface *operator; | |
701 | struct gfc_namespace *ns; | |
702 | gfc_access access; | |
703 | } | |
704 | gfc_user_op; | |
705 | ||
706 | /* Symbol nodes. These are important things. They are what the | |
707 | standard refers to as "entities". The possibly multiple names that | |
708 | refer to the same entity are accomplished by a binary tree of | |
709 | symtree structures that is balanced by the red-black method-- more | |
710 | than one symtree node can point to any given symbol. */ | |
711 | ||
712 | typedef struct gfc_symbol | |
713 | { | |
cb9e4f55 TS |
714 | const char *name; /* Primary name, before renaming */ |
715 | const char *module; /* Module this symbol came from */ | |
6de9cd9a DN |
716 | locus declared_at; |
717 | ||
718 | gfc_typespec ts; | |
719 | symbol_attribute attr; | |
720 | ||
721 | /* The interface member points to the formal argument list if the | |
722 | symbol is a function or subroutine name. If the symbol is a | |
723 | generic name, the generic member points to the list of | |
724 | interfaces. */ | |
725 | ||
726 | gfc_interface *generic; | |
727 | gfc_access component_access; | |
728 | ||
729 | gfc_formal_arglist *formal; | |
730 | struct gfc_namespace *formal_ns; | |
731 | ||
732 | struct gfc_expr *value; /* Parameter/Initializer value */ | |
733 | gfc_array_spec *as; | |
734 | struct gfc_symbol *result; /* function result symbol */ | |
735 | gfc_component *components; /* Derived type components */ | |
736 | ||
83d890b9 AL |
737 | /* Defined only for Cray pointees; points to their pointer. */ |
738 | struct gfc_symbol *cp_pointer; | |
739 | ||
9056bd70 | 740 | struct gfc_symbol *common_next; /* Links for COMMON syms */ |
30aabb86 PT |
741 | |
742 | /* This is in fact a gfc_common_head but it is only used for pointer | |
743 | comparisons to check if symbols are in the same common block. */ | |
744 | struct gfc_common_head* common_head; | |
745 | ||
6de9cd9a DN |
746 | /* Make sure setup code for dummy arguments is generated in the correct |
747 | order. */ | |
748 | int dummy_order; | |
749 | ||
750 | gfc_namelist *namelist, *namelist_tail; | |
751 | ||
752 | /* Change management fields. Symbols that might be modified by the | |
753 | current statement have the mark member nonzero and are kept in a | |
754 | singly linked list through the tlink field. Of these symbols, | |
755 | symbols with old_symbol equal to NULL are symbols created within | |
756 | the current statement. Otherwise, old_symbol points to a copy of | |
757 | the old symbol. */ | |
758 | ||
759 | struct gfc_symbol *old_symbol, *tlink; | |
760 | unsigned mark:1, new:1; | |
5291e69a PB |
761 | /* Nonzero if all equivalences associated with this symbol have been |
762 | processed. */ | |
763 | unsigned equiv_built:1; | |
6de9cd9a DN |
764 | int refs; |
765 | struct gfc_namespace *ns; /* namespace containing this symbol */ | |
766 | ||
767 | tree backend_decl; | |
6de9cd9a DN |
768 | } |
769 | gfc_symbol; | |
770 | ||
771 | ||
9056bd70 TS |
772 | /* This structure is used to keep track of symbols in common blocks. */ |
773 | ||
30aabb86 | 774 | typedef struct gfc_common_head |
9056bd70 TS |
775 | { |
776 | locus where; | |
777 | int use_assoc, saved; | |
53814b8f | 778 | char name[GFC_MAX_SYMBOL_LEN + 1]; |
30aabb86 | 779 | struct gfc_symbol *head; |
9056bd70 TS |
780 | } |
781 | gfc_common_head; | |
782 | ||
783 | #define gfc_get_common_head() gfc_getmem(sizeof(gfc_common_head)) | |
784 | ||
785 | ||
3d79abbd PB |
786 | /* A list of all the alternate entry points for a procedure. */ |
787 | ||
788 | typedef struct gfc_entry_list | |
789 | { | |
790 | /* The symbol for this entry point. */ | |
791 | gfc_symbol *sym; | |
792 | /* The zero-based id of this entry point. */ | |
793 | int id; | |
794 | /* The LABEL_EXPR marking this entry point. */ | |
795 | tree label; | |
796 | /* The nest item in the list. */ | |
797 | struct gfc_entry_list *next; | |
798 | } | |
799 | gfc_entry_list; | |
800 | ||
801 | #define gfc_get_entry_list() \ | |
802 | (gfc_entry_list *) gfc_getmem(sizeof(gfc_entry_list)) | |
9056bd70 | 803 | |
6de9cd9a DN |
804 | /* Within a namespace, symbols are pointed to by symtree nodes that |
805 | are linked together in a balanced binary tree. There can be | |
806 | several symtrees pointing to the same symbol node via USE | |
807 | statements. */ | |
808 | ||
809 | #define BBT_HEADER(self) int priority; struct self *left, *right | |
810 | ||
811 | typedef struct gfc_symtree | |
812 | { | |
813 | BBT_HEADER (gfc_symtree); | |
cb9e4f55 | 814 | const char *name; |
6de9cd9a DN |
815 | int ambiguous; |
816 | union | |
817 | { | |
818 | gfc_symbol *sym; /* Symbol associated with this node */ | |
819 | gfc_user_op *uop; | |
9056bd70 | 820 | gfc_common_head *common; |
6de9cd9a DN |
821 | } |
822 | n; | |
823 | ||
824 | } | |
825 | gfc_symtree; | |
826 | ||
827 | ||
3d79abbd PB |
828 | /* A namespace describes the contents of procedure, module or |
829 | interface block. */ | |
830 | /* ??? Anything else use these? */ | |
831 | ||
6de9cd9a DN |
832 | typedef struct gfc_namespace |
833 | { | |
4f613946 TS |
834 | /* Tree containing all the symbols in this namespace. */ |
835 | gfc_symtree *sym_root; | |
836 | /* Tree containing all the user-defined operators in the namespace. */ | |
837 | gfc_symtree *uop_root; | |
838 | /* Tree containing all the common blocks. */ | |
839 | gfc_symtree *common_root; | |
6de9cd9a | 840 | |
4f613946 | 841 | /* If set_flag[letter] is set, an implicit type has been set for letter. */ |
6de9cd9a | 842 | int set_flag[GFC_LETTERS]; |
4f613946 TS |
843 | /* Keeps track of the implicit types associated with the letters. */ |
844 | gfc_typespec default_type[GFC_LETTERS]; | |
6de9cd9a | 845 | |
4f613946 | 846 | /* If this is a namespace of a procedure, this points to the procedure. */ |
6de9cd9a | 847 | struct gfc_symbol *proc_name; |
4f613946 TS |
848 | /* If this is the namespace of a unit which contains executable |
849 | code, this points to it. */ | |
6de9cd9a | 850 | struct gfc_code *code; |
4f613946 TS |
851 | |
852 | /* Points to the equivalences set up in this namespace. */ | |
6de9cd9a | 853 | struct gfc_equiv *equiv; |
4f613946 TS |
854 | gfc_interface *operator[GFC_INTRINSIC_OPS]; |
855 | ||
856 | /* Points to the parent namespace, i.e. the namespace of a module or | |
857 | procedure in which the procedure belonging to this namespace is | |
858 | contained. The parent namespace points to this namespace either | |
859 | directly via CONTAINED, or indirectly via the chain built by | |
860 | SIBLING. */ | |
861 | struct gfc_namespace *parent; | |
862 | /* CONTAINED points to the first contained namespace. Sibling | |
863 | namespaces are chained via SIBLING. */ | |
864 | struct gfc_namespace *contained, *sibling; | |
865 | ||
866 | gfc_common_head blank_common; | |
6de9cd9a DN |
867 | gfc_access default_access, operator_access[GFC_INTRINSIC_OPS]; |
868 | ||
869 | gfc_st_label *st_labels; | |
294fbfc8 TS |
870 | /* This list holds information about all the data initializers in |
871 | this namespace. */ | |
6de9cd9a DN |
872 | struct gfc_data *data; |
873 | ||
874 | gfc_charlen *cl_list; | |
875 | ||
4c1f4f52 | 876 | int save_all, seen_save, seen_implicit_none; |
3d79abbd PB |
877 | |
878 | /* Normally we don't need to refcount namespaces. However when we read | |
879 | a module containing a function with multiple entry points, this | |
880 | will appear as several functions with the same formal namespace. */ | |
881 | int refs; | |
882 | ||
883 | /* A list of all alternate entry points to this procedure (or NULL). */ | |
884 | gfc_entry_list *entries; | |
0de4325e TS |
885 | |
886 | /* Set to 1 if namespace is a BLOCK DATA program unit. */ | |
887 | int is_block_data; | |
6de9cd9a DN |
888 | } |
889 | gfc_namespace; | |
890 | ||
891 | extern gfc_namespace *gfc_current_ns; | |
892 | ||
c9543002 TS |
893 | /* Global symbols are symbols of global scope. Currently we only use |
894 | this to detect collisions already when parsing. | |
895 | TODO: Extend to verify procedure calls. */ | |
896 | ||
897 | typedef struct gfc_gsymbol | |
898 | { | |
899 | BBT_HEADER(gfc_gsymbol); | |
900 | ||
973a384d | 901 | const char *name; |
c9543002 TS |
902 | enum { GSYM_UNKNOWN=1, GSYM_PROGRAM, GSYM_FUNCTION, GSYM_SUBROUTINE, |
903 | GSYM_MODULE, GSYM_COMMON, GSYM_BLOCK_DATA } type; | |
904 | ||
905 | int defined, used; | |
906 | locus where; | |
907 | } | |
908 | gfc_gsymbol; | |
909 | ||
910 | extern gfc_gsymbol *gfc_gsym_root; | |
6de9cd9a DN |
911 | |
912 | /* Information on interfaces being built. */ | |
913 | typedef struct | |
914 | { | |
915 | interface_type type; | |
916 | gfc_symbol *sym; | |
917 | gfc_namespace *ns; | |
918 | gfc_user_op *uop; | |
919 | gfc_intrinsic_op op; | |
920 | } | |
921 | gfc_interface_info; | |
922 | ||
923 | extern gfc_interface_info current_interface; | |
924 | ||
925 | ||
926 | /* Array reference. */ | |
927 | typedef struct gfc_array_ref | |
928 | { | |
929 | ar_type type; | |
930 | int dimen; /* # of components in the reference */ | |
931 | locus where; | |
932 | gfc_array_spec *as; | |
933 | ||
934 | locus c_where[GFC_MAX_DIMENSIONS]; /* All expressions can be NULL */ | |
935 | struct gfc_expr *start[GFC_MAX_DIMENSIONS], *end[GFC_MAX_DIMENSIONS], | |
936 | *stride[GFC_MAX_DIMENSIONS]; | |
937 | ||
938 | enum | |
939 | { DIMEN_ELEMENT = 1, DIMEN_RANGE, DIMEN_VECTOR, DIMEN_UNKNOWN } | |
940 | dimen_type[GFC_MAX_DIMENSIONS]; | |
941 | ||
942 | struct gfc_expr *offset; | |
943 | } | |
944 | gfc_array_ref; | |
945 | ||
946 | #define gfc_get_array_ref() gfc_getmem(sizeof(gfc_array_ref)) | |
947 | ||
948 | ||
949 | /* Component reference nodes. A variable is stored as an expression | |
950 | node that points to the base symbol. After that, a singly linked | |
951 | list of component reference nodes gives the variable's complete | |
952 | resolution. The array_ref component may be present and comes | |
953 | before the component component. */ | |
954 | ||
955 | typedef enum | |
956 | { REF_ARRAY, REF_COMPONENT, REF_SUBSTRING } | |
957 | ref_type; | |
958 | ||
959 | typedef struct gfc_ref | |
960 | { | |
961 | ref_type type; | |
962 | ||
963 | union | |
964 | { | |
965 | struct gfc_array_ref ar; | |
966 | ||
967 | struct | |
968 | { | |
969 | gfc_component *component; | |
970 | gfc_symbol *sym; | |
971 | } | |
972 | c; | |
973 | ||
974 | struct | |
975 | { | |
976 | struct gfc_expr *start, *end; /* Substring */ | |
977 | gfc_charlen *length; | |
978 | } | |
979 | ss; | |
980 | ||
981 | } | |
982 | u; | |
983 | ||
984 | struct gfc_ref *next; | |
985 | } | |
986 | gfc_ref; | |
987 | ||
988 | #define gfc_get_ref() gfc_getmem(sizeof(gfc_ref)) | |
989 | ||
990 | ||
991 | /* Structures representing intrinsic symbols and their arguments lists. */ | |
992 | typedef struct gfc_intrinsic_arg | |
993 | { | |
994 | char name[GFC_MAX_SYMBOL_LEN + 1]; | |
995 | ||
996 | gfc_typespec ts; | |
997 | int optional; | |
998 | gfc_actual_arglist *actual; | |
999 | ||
1000 | struct gfc_intrinsic_arg *next; | |
1001 | ||
1002 | } | |
1003 | gfc_intrinsic_arg; | |
1004 | ||
1005 | ||
4f613946 TS |
1006 | /* Specifies the various kinds of check functions used to verify the |
1007 | argument lists of intrinsic functions. fX with X an integer refer | |
1008 | to check functions of intrinsics with X arguments. f1m is used for | |
1009 | the MAX and MIN intrinsics which can have an arbitrary number of | |
1010 | arguments, f3ml is used for the MINLOC and MAXLOC intrinsics as | |
1011 | these have special semantics. */ | |
1012 | ||
6de9cd9a DN |
1013 | typedef union |
1014 | { | |
4c0c6b9f | 1015 | try (*f0)(void); |
6de9cd9a DN |
1016 | try (*f1)(struct gfc_expr *); |
1017 | try (*f1m)(gfc_actual_arglist *); | |
1018 | try (*f2)(struct gfc_expr *, struct gfc_expr *); | |
1019 | try (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *); | |
f3207b37 | 1020 | try (*f3ml)(gfc_actual_arglist *); |
7551270e | 1021 | try (*f3red)(gfc_actual_arglist *); |
6de9cd9a DN |
1022 | try (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *, |
1023 | struct gfc_expr *); | |
1024 | try (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *, | |
1025 | struct gfc_expr *, struct gfc_expr *); | |
1026 | } | |
1027 | gfc_check_f; | |
1028 | ||
4f613946 TS |
1029 | /* Like gfc_check_f, these specify the type of the simplification |
1030 | function associated with an intrinsic. The fX are just like in | |
1031 | gfc_check_f. cc is used for type conversion functions. */ | |
6de9cd9a DN |
1032 | |
1033 | typedef union | |
1034 | { | |
4c0c6b9f | 1035 | struct gfc_expr *(*f0)(void); |
6de9cd9a DN |
1036 | struct gfc_expr *(*f1)(struct gfc_expr *); |
1037 | struct gfc_expr *(*f2)(struct gfc_expr *, struct gfc_expr *); | |
1038 | struct gfc_expr *(*f3)(struct gfc_expr *, struct gfc_expr *, | |
1039 | struct gfc_expr *); | |
1040 | struct gfc_expr *(*f4)(struct gfc_expr *, struct gfc_expr *, | |
1041 | struct gfc_expr *, struct gfc_expr *); | |
1042 | struct gfc_expr *(*f5)(struct gfc_expr *, struct gfc_expr *, | |
1043 | struct gfc_expr *, struct gfc_expr *, | |
1044 | struct gfc_expr *); | |
1045 | struct gfc_expr *(*cc)(struct gfc_expr *, bt, int); | |
1046 | } | |
1047 | gfc_simplify_f; | |
1048 | ||
4f613946 | 1049 | /* Again like gfc_check_f, these specify the type of the resolution |
13795658 | 1050 | function associated with an intrinsic. The fX are just like in |
4f613946 TS |
1051 | gfc_check_f. f1m is used for MIN and MAX, s1 is used for abort(). |
1052 | */ | |
6de9cd9a DN |
1053 | |
1054 | typedef union | |
1055 | { | |
1056 | void (*f0)(struct gfc_expr *); | |
1057 | void (*f1)(struct gfc_expr *, struct gfc_expr *); | |
1058 | void (*f1m)(struct gfc_expr *, struct gfc_actual_arglist *); | |
1059 | void (*f2)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *); | |
1060 | void (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *, | |
1061 | struct gfc_expr *); | |
1062 | void (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *, | |
1063 | struct gfc_expr *, struct gfc_expr *); | |
1064 | void (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *, | |
1065 | struct gfc_expr *, struct gfc_expr *, struct gfc_expr *); | |
1066 | void (*s1)(struct gfc_code *); | |
1067 | } | |
1068 | gfc_resolve_f; | |
1069 | ||
1070 | ||
1071 | typedef struct gfc_intrinsic_sym | |
1072 | { | |
cb9e4f55 | 1073 | const char *name, *lib_name; |
6de9cd9a DN |
1074 | gfc_intrinsic_arg *formal; |
1075 | gfc_typespec ts; | |
fe58e076 | 1076 | int elemental, pure, generic, specific, actual_ok, standard, noreturn; |
6de9cd9a DN |
1077 | |
1078 | gfc_simplify_f simplify; | |
1079 | gfc_check_f check; | |
1080 | gfc_resolve_f resolve; | |
1081 | struct gfc_intrinsic_sym *specific_head, *next; | |
1082 | gfc_generic_isym_id generic_id; | |
1083 | ||
1084 | } | |
1085 | gfc_intrinsic_sym; | |
1086 | ||
1087 | ||
1088 | /* Expression nodes. The expression node types deserve explanations, | |
1089 | since the last couple can be easily misconstrued: | |
1090 | ||
1091 | EXPR_OP Operator node pointing to one or two other nodes | |
1092 | EXPR_FUNCTION Function call, symbol points to function's name | |
1093 | EXPR_CONSTANT A scalar constant: Logical, String, Real, Int or Complex | |
1094 | EXPR_VARIABLE An Lvalue with a root symbol and possible reference list | |
1095 | which expresses structure, array and substring refs. | |
1096 | EXPR_NULL The NULL pointer value (which also has a basic type). | |
1097 | EXPR_SUBSTRING A substring of a constant string | |
1098 | EXPR_STRUCTURE A structure constructor | |
1099 | EXPR_ARRAY An array constructor. */ | |
1100 | ||
1101 | #include <gmp.h> | |
f8e566e5 SK |
1102 | #include <mpfr.h> |
1103 | #define GFC_RND_MODE GMP_RNDN | |
6de9cd9a DN |
1104 | |
1105 | typedef struct gfc_expr | |
1106 | { | |
1107 | expr_t expr_type; | |
1108 | ||
1109 | gfc_typespec ts; /* These two refer to the overall expression */ | |
1110 | ||
1111 | int rank; | |
1112 | mpz_t *shape; /* Can be NULL if shape is unknown at compile time */ | |
1113 | ||
6de9cd9a DN |
1114 | /* Nonnull for functions and structure constructors */ |
1115 | gfc_symtree *symtree; | |
1116 | ||
6de9cd9a DN |
1117 | gfc_ref *ref; |
1118 | ||
6de9cd9a DN |
1119 | locus where; |
1120 | ||
d3642f89 FW |
1121 | /* True if it is converted from Hollerith constant. */ |
1122 | unsigned int from_H : 1; | |
1123 | ||
6de9cd9a DN |
1124 | union |
1125 | { | |
6de9cd9a | 1126 | int logical; |
f8e566e5 SK |
1127 | mpz_t integer; |
1128 | ||
1129 | mpfr_t real; | |
6de9cd9a DN |
1130 | |
1131 | struct | |
1132 | { | |
f8e566e5 | 1133 | mpfr_t r, i; |
6de9cd9a DN |
1134 | } |
1135 | complex; | |
1136 | ||
58b03ab2 TS |
1137 | struct |
1138 | { | |
1139 | gfc_intrinsic_op operator; | |
1140 | gfc_user_op *uop; | |
1141 | struct gfc_expr *op1, *op2; | |
1142 | } | |
1143 | op; | |
1144 | ||
6de9cd9a DN |
1145 | struct |
1146 | { | |
1147 | gfc_actual_arglist *actual; | |
6b25a558 | 1148 | const char *name; /* Points to the ultimate name of the function */ |
6de9cd9a DN |
1149 | gfc_intrinsic_sym *isym; |
1150 | gfc_symbol *esym; | |
1151 | } | |
1152 | function; | |
1153 | ||
1154 | struct | |
1155 | { | |
1156 | int length; | |
1157 | char *string; | |
1158 | } | |
1159 | character; | |
1160 | ||
1161 | struct gfc_constructor *constructor; | |
1162 | } | |
1163 | value; | |
1164 | ||
1165 | } | |
1166 | gfc_expr; | |
1167 | ||
1168 | ||
94538bd1 | 1169 | #define gfc_get_shape(rank) ((mpz_t *) gfc_getmem((rank)*sizeof(mpz_t))) |
6de9cd9a DN |
1170 | |
1171 | /* Structures for information associated with different kinds of | |
1172 | numbers. The first set of integer parameters define all there is | |
1173 | to know about a particular kind. The rest of the elements are | |
1174 | computed from the first elements. */ | |
1175 | ||
1176 | typedef struct | |
1177 | { | |
e2cad04b | 1178 | /* Values really representable by the target. */ |
14df5747 | 1179 | mpz_t huge, pedantic_min_int, min_int, max_int; |
e2cad04b RH |
1180 | |
1181 | int kind, radix, digits, bit_size, range; | |
1182 | ||
1183 | /* True if the C type of the given name maps to this precision. | |
1184 | Note that more than one bit can be set. */ | |
1185 | unsigned int c_char : 1; | |
1186 | unsigned int c_short : 1; | |
1187 | unsigned int c_int : 1; | |
1188 | unsigned int c_long : 1; | |
1189 | unsigned int c_long_long : 1; | |
6de9cd9a DN |
1190 | } |
1191 | gfc_integer_info; | |
1192 | ||
1193 | extern gfc_integer_info gfc_integer_kinds[]; | |
1194 | ||
1195 | ||
1196 | typedef struct | |
1197 | { | |
1198 | int kind, bit_size; | |
1199 | ||
e2cad04b RH |
1200 | /* True if the C++ type bool, C99 type _Bool, maps to this precision. */ |
1201 | unsigned int c_bool : 1; | |
6de9cd9a DN |
1202 | } |
1203 | gfc_logical_info; | |
1204 | ||
1205 | extern gfc_logical_info gfc_logical_kinds[]; | |
1206 | ||
1207 | ||
1208 | typedef struct | |
1209 | { | |
2d0aa65f | 1210 | mpfr_t epsilon, huge, tiny, subnormal; |
6de9cd9a | 1211 | int kind, radix, digits, min_exponent, max_exponent; |
6de9cd9a | 1212 | int range, precision; |
e2cad04b RH |
1213 | |
1214 | /* The precision of the type as reported by GET_MODE_PRECISION. */ | |
1215 | int mode_precision; | |
1216 | ||
1217 | /* True if the C type of the given name maps to this precision. | |
1218 | Note that more than one bit can be set. */ | |
1219 | unsigned int c_float : 1; | |
1220 | unsigned int c_double : 1; | |
1221 | unsigned int c_long_double : 1; | |
6de9cd9a DN |
1222 | } |
1223 | gfc_real_info; | |
1224 | ||
1225 | extern gfc_real_info gfc_real_kinds[]; | |
1226 | ||
1227 | ||
1228 | /* Equivalence structures. Equivalent lvalues are linked along the | |
1229 | *eq pointer, equivalence sets are strung along the *next node. */ | |
1230 | typedef struct gfc_equiv | |
1231 | { | |
1232 | struct gfc_equiv *next, *eq; | |
1233 | gfc_expr *expr; | |
30aabb86 | 1234 | const char *module; |
6de9cd9a DN |
1235 | int used; |
1236 | } | |
1237 | gfc_equiv; | |
1238 | ||
1239 | #define gfc_get_equiv() gfc_getmem(sizeof(gfc_equiv)) | |
1240 | ||
1241 | ||
1242 | /* gfc_case stores the selector list of a case statement. The *low | |
1243 | and *high pointers can point to the same expression in the case of | |
1244 | a single value. If *high is NULL, the selection is from *low | |
1245 | upwards, if *low is NULL the selection is *high downwards. | |
1246 | ||
410d1a45 SK |
1247 | This structure has separate fields to allow single and double linked |
1248 | lists of CASEs at the same time. The singe linked list along the NEXT | |
6de9cd9a DN |
1249 | field is a list of cases for a single CASE label. The double linked |
1250 | list along the LEFT/RIGHT fields is used to detect overlap and to | |
1251 | build a table of the cases for SELECT constructs with a CHARACTER | |
1252 | case expression. */ | |
1253 | ||
1254 | typedef struct gfc_case | |
1255 | { | |
1256 | /* Where we saw this case. */ | |
1257 | locus where; | |
1258 | int n; | |
1259 | ||
1260 | /* Case range values. If (low == high), it's a single value. If one of | |
1261 | the labels is NULL, it's an unbounded case. If both are NULL, this | |
1262 | represents the default case. */ | |
1263 | gfc_expr *low, *high; | |
1264 | ||
1265 | /* Next case label in the list of cases for a single CASE label. */ | |
1266 | struct gfc_case *next; | |
1267 | ||
1268 | /* Used for detecting overlap, and for code generation. */ | |
1269 | struct gfc_case *left, *right; | |
1270 | ||
1271 | /* True if this case label can never be matched. */ | |
1272 | int unreachable; | |
1273 | } | |
1274 | gfc_case; | |
1275 | ||
1276 | #define gfc_get_case() gfc_getmem(sizeof(gfc_case)) | |
1277 | ||
1278 | ||
1279 | typedef struct | |
1280 | { | |
1281 | gfc_expr *var, *start, *end, *step; | |
1282 | } | |
1283 | gfc_iterator; | |
1284 | ||
1285 | #define gfc_get_iterator() gfc_getmem(sizeof(gfc_iterator)) | |
1286 | ||
1287 | ||
f7b529fa | 1288 | /* Allocation structure for ALLOCATE, DEALLOCATE and NULLIFY statements. */ |
6de9cd9a DN |
1289 | |
1290 | typedef struct gfc_alloc | |
1291 | { | |
1292 | gfc_expr *expr; | |
1293 | struct gfc_alloc *next; | |
1294 | } | |
1295 | gfc_alloc; | |
1296 | ||
1297 | #define gfc_get_alloc() gfc_getmem(sizeof(gfc_alloc)) | |
1298 | ||
1299 | ||
1300 | typedef struct | |
1301 | { | |
1302 | gfc_expr *unit, *file, *status, *access, *form, *recl, | |
7aba8abe | 1303 | *blank, *position, *action, *delim, *pad, *iostat, *iomsg; |
6de9cd9a DN |
1304 | gfc_st_label *err; |
1305 | } | |
1306 | gfc_open; | |
1307 | ||
1308 | ||
1309 | typedef struct | |
1310 | { | |
7aba8abe | 1311 | gfc_expr *unit, *status, *iostat, *iomsg; |
6de9cd9a DN |
1312 | gfc_st_label *err; |
1313 | } | |
1314 | gfc_close; | |
1315 | ||
1316 | ||
1317 | typedef struct | |
1318 | { | |
7aba8abe | 1319 | gfc_expr *unit, *iostat, *iomsg; |
6de9cd9a DN |
1320 | gfc_st_label *err; |
1321 | } | |
1322 | gfc_filepos; | |
1323 | ||
1324 | ||
1325 | typedef struct | |
1326 | { | |
1327 | gfc_expr *unit, *file, *iostat, *exist, *opened, *number, *named, | |
1328 | *name, *access, *sequential, *direct, *form, *formatted, | |
1329 | *unformatted, *recl, *nextrec, *blank, *position, *action, *read, | |
7aba8abe | 1330 | *write, *readwrite, *delim, *pad, *iolength, *iomsg; |
6de9cd9a DN |
1331 | |
1332 | gfc_st_label *err; | |
1333 | ||
1334 | } | |
1335 | gfc_inquire; | |
1336 | ||
1337 | ||
1338 | typedef struct | |
1339 | { | |
7aba8abe | 1340 | gfc_expr *io_unit, *format_expr, *rec, *advance, *iostat, *size, *iomsg; |
6de9cd9a DN |
1341 | |
1342 | gfc_symbol *namelist; | |
1343 | /* A format_label of `format_asterisk' indicates the "*" format */ | |
1344 | gfc_st_label *format_label; | |
1345 | gfc_st_label *err, *end, *eor; | |
1346 | ||
1347 | locus eor_where, end_where; | |
1348 | } | |
1349 | gfc_dt; | |
1350 | ||
1351 | ||
1352 | typedef struct gfc_forall_iterator | |
1353 | { | |
1354 | gfc_expr *var, *start, *end, *stride; | |
1355 | struct gfc_forall_iterator *next; | |
1356 | } | |
1357 | gfc_forall_iterator; | |
1358 | ||
1359 | ||
1360 | /* Executable statements that fill gfc_code structures. */ | |
1361 | typedef enum | |
1362 | { | |
1363 | EXEC_NOP = 1, EXEC_ASSIGN, EXEC_LABEL_ASSIGN, EXEC_POINTER_ASSIGN, | |
3d79abbd PB |
1364 | EXEC_GOTO, EXEC_CALL, EXEC_RETURN, EXEC_ENTRY, |
1365 | EXEC_PAUSE, EXEC_STOP, EXEC_CONTINUE, | |
6de9cd9a DN |
1366 | EXEC_IF, EXEC_ARITHMETIC_IF, EXEC_DO, EXEC_DO_WHILE, EXEC_SELECT, |
1367 | EXEC_FORALL, EXEC_WHERE, EXEC_CYCLE, EXEC_EXIT, | |
1368 | EXEC_ALLOCATE, EXEC_DEALLOCATE, | |
1369 | EXEC_OPEN, EXEC_CLOSE, | |
1370 | EXEC_READ, EXEC_WRITE, EXEC_IOLENGTH, EXEC_TRANSFER, EXEC_DT_END, | |
6403ec5f | 1371 | EXEC_BACKSPACE, EXEC_ENDFILE, EXEC_INQUIRE, EXEC_REWIND, EXEC_FLUSH |
6de9cd9a DN |
1372 | } |
1373 | gfc_exec_op; | |
1374 | ||
1375 | typedef struct gfc_code | |
1376 | { | |
1377 | gfc_exec_op op; | |
1378 | ||
1379 | struct gfc_code *block, *next; | |
1380 | locus loc; | |
1381 | ||
1382 | gfc_st_label *here, *label, *label2, *label3; | |
1383 | gfc_symtree *symtree; | |
1384 | gfc_expr *expr, *expr2; | |
1385 | /* A name isn't sufficient to identify a subroutine, we need the actual | |
1386 | symbol for the interface definition. | |
1387 | const char *sub_name; */ | |
1388 | gfc_symbol *resolved_sym; | |
1389 | ||
1390 | union | |
1391 | { | |
1392 | gfc_actual_arglist *actual; | |
1393 | gfc_case *case_list; | |
1394 | gfc_iterator *iterator; | |
1395 | gfc_alloc *alloc_list; | |
1396 | gfc_open *open; | |
1397 | gfc_close *close; | |
1398 | gfc_filepos *filepos; | |
1399 | gfc_inquire *inquire; | |
1400 | gfc_dt *dt; | |
1401 | gfc_forall_iterator *forall_iterator; | |
1402 | struct gfc_code *whichloop; | |
1403 | int stop_code; | |
3d79abbd | 1404 | gfc_entry_list *entry; |
6de9cd9a DN |
1405 | } |
1406 | ext; /* Points to additional structures required by statement */ | |
1407 | ||
1408 | /* Backend_decl is used for cycle and break labels in do loops, and | |
1409 | * probably for other constructs as well, once we translate them. */ | |
1410 | tree backend_decl; | |
1411 | } | |
1412 | gfc_code; | |
1413 | ||
1414 | ||
1415 | /* Storage for DATA statements. */ | |
1416 | typedef struct gfc_data_variable | |
1417 | { | |
1418 | gfc_expr *expr; | |
1419 | gfc_iterator iter; | |
1420 | struct gfc_data_variable *list, *next; | |
1421 | } | |
1422 | gfc_data_variable; | |
1423 | ||
1424 | ||
1425 | typedef struct gfc_data_value | |
1426 | { | |
b8502435 | 1427 | unsigned int repeat; |
6de9cd9a | 1428 | gfc_expr *expr; |
6de9cd9a DN |
1429 | struct gfc_data_value *next; |
1430 | } | |
1431 | gfc_data_value; | |
1432 | ||
1433 | ||
1434 | typedef struct gfc_data | |
1435 | { | |
1436 | gfc_data_variable *var; | |
1437 | gfc_data_value *value; | |
1438 | locus where; | |
1439 | ||
1440 | struct gfc_data *next; | |
1441 | } | |
1442 | gfc_data; | |
1443 | ||
1444 | #define gfc_get_data_variable() gfc_getmem(sizeof(gfc_data_variable)) | |
1445 | #define gfc_get_data_value() gfc_getmem(sizeof(gfc_data_value)) | |
1446 | #define gfc_get_data() gfc_getmem(sizeof(gfc_data)) | |
1447 | ||
1448 | ||
1449 | /* Structure for holding compile options */ | |
1450 | typedef struct | |
1451 | { | |
6de9cd9a DN |
1452 | char *module_dir; |
1453 | gfc_source_form source_form; | |
1454 | int fixed_line_length; | |
1455 | int max_identifier_length; | |
1456 | int verbose; | |
1457 | ||
1458 | int warn_aliasing; | |
1459 | int warn_conversion; | |
1460 | int warn_implicit_interface; | |
1461 | int warn_line_truncation; | |
2d8b59df | 1462 | int warn_underflow; |
6de9cd9a DN |
1463 | int warn_surprising; |
1464 | int warn_unused_labels; | |
1465 | ||
3ae9eb27 SK |
1466 | int flag_default_double; |
1467 | int flag_default_integer; | |
1468 | int flag_default_real; | |
6de9cd9a DN |
1469 | int flag_dollar_ok; |
1470 | int flag_underscoring; | |
1471 | int flag_second_underscore; | |
1472 | int flag_implicit_none; | |
1473 | int flag_max_stack_var_size; | |
1474 | int flag_module_access_private; | |
1475 | int flag_no_backend; | |
1476 | int flag_pack_derived; | |
1477 | int flag_repack_arrays; | |
973ff4c0 | 1478 | int flag_f2c; |
ee5426a4 | 1479 | int flag_automatic; |
131c66cd | 1480 | int flag_backslash; |
83d890b9 | 1481 | int flag_cray_pointer; |
e0bcf78c | 1482 | int flag_d_lines; |
6de9cd9a DN |
1483 | |
1484 | int q_kind; | |
3ae9eb27 | 1485 | |
944b8b35 FXC |
1486 | int fpe; |
1487 | ||
6de9cd9a DN |
1488 | int warn_std; |
1489 | int allow_std; | |
b7892582 | 1490 | int warn_nonstd_intrinsics; |
25d8f0a2 | 1491 | int fshort_enums; |
6de9cd9a DN |
1492 | } |
1493 | gfc_option_t; | |
1494 | ||
1495 | extern gfc_option_t gfc_option; | |
1496 | ||
1497 | ||
1498 | /* Constructor nodes for array and structure constructors. */ | |
1499 | typedef struct gfc_constructor | |
1500 | { | |
1501 | gfc_expr *expr; | |
1502 | gfc_iterator *iterator; | |
1503 | locus where; | |
1504 | struct gfc_constructor *next; | |
1505 | struct | |
1506 | { | |
1507 | mpz_t offset; /* Record the offset of array element which appears in | |
1508 | data statement like "data a(5)/4/". */ | |
1509 | gfc_component *component; /* Record the component being initialized. */ | |
1510 | } | |
1511 | n; | |
1512 | mpz_t repeat; /* Record the repeat number of initial values in data | |
1513 | statement like "data a/5*10/". */ | |
1514 | } | |
1515 | gfc_constructor; | |
1516 | ||
1517 | ||
1518 | typedef struct iterator_stack | |
1519 | { | |
1520 | gfc_symtree *variable; | |
1521 | mpz_t value; | |
1522 | struct iterator_stack *prev; | |
1523 | } | |
1524 | iterator_stack; | |
1525 | extern iterator_stack *iter_stack; | |
1526 | ||
1527 | /************************ Function prototypes *************************/ | |
1528 | ||
1529 | /* data.c */ | |
1530 | void gfc_formalize_init_value (gfc_symbol *); | |
1531 | void gfc_get_section_index (gfc_array_ref *, mpz_t *, mpz_t *); | |
1532 | void gfc_assign_data_value (gfc_expr *, gfc_expr *, mpz_t); | |
b8502435 | 1533 | void gfc_assign_data_value_range (gfc_expr *, gfc_expr *, mpz_t, mpz_t); |
6de9cd9a DN |
1534 | void gfc_advance_section (mpz_t *, gfc_array_ref *, mpz_t *); |
1535 | ||
1536 | /* scanner.c */ | |
1537 | void gfc_scanner_done_1 (void); | |
1538 | void gfc_scanner_init_1 (void); | |
1539 | ||
1540 | void gfc_add_include_path (const char *); | |
1541 | void gfc_release_include_path (void); | |
1542 | FILE *gfc_open_included_file (const char *); | |
1543 | ||
6de9cd9a DN |
1544 | int gfc_at_end (void); |
1545 | int gfc_at_eof (void); | |
1546 | int gfc_at_bol (void); | |
1547 | int gfc_at_eol (void); | |
1548 | void gfc_advance_line (void); | |
1549 | int gfc_check_include (void); | |
1550 | ||
1551 | void gfc_skip_comments (void); | |
1552 | int gfc_next_char_literal (int); | |
1553 | int gfc_next_char (void); | |
1554 | int gfc_peek_char (void); | |
1555 | void gfc_error_recovery (void); | |
1556 | void gfc_gobble_whitespace (void); | |
e0bcf78c | 1557 | try gfc_new_file (void); |
6de9cd9a | 1558 | |
d4fa05b9 | 1559 | extern gfc_source_form gfc_current_form; |
e0bcf78c | 1560 | extern const char *gfc_source_file; |
63645982 | 1561 | extern locus gfc_current_locus; |
6de9cd9a DN |
1562 | |
1563 | /* misc.c */ | |
1564 | void *gfc_getmem (size_t) ATTRIBUTE_MALLOC; | |
1565 | void gfc_free (void *); | |
1566 | int gfc_terminal_width(void); | |
1567 | void gfc_clear_ts (gfc_typespec *); | |
1568 | FILE *gfc_open_file (const char *); | |
6de9cd9a DN |
1569 | const char *gfc_basic_typename (bt); |
1570 | const char *gfc_typename (gfc_typespec *); | |
1571 | ||
1572 | #define gfc_op2string(OP) (OP == INTRINSIC_ASSIGN ? \ | |
1573 | "=" : gfc_code2string (intrinsic_operators, OP)) | |
1574 | ||
1575 | const char *gfc_code2string (const mstring *, int); | |
1576 | int gfc_string2code (const mstring *, const char *); | |
1577 | const char *gfc_intent_string (sym_intent); | |
1578 | ||
1579 | void gfc_init_1 (void); | |
1580 | void gfc_init_2 (void); | |
1581 | void gfc_done_1 (void); | |
1582 | void gfc_done_2 (void); | |
1583 | ||
1584 | /* options.c */ | |
1585 | unsigned int gfc_init_options (unsigned int, const char **); | |
1586 | int gfc_handle_option (size_t, const char *, int); | |
1587 | bool gfc_post_options (const char **); | |
1588 | ||
1589 | /* iresolve.c */ | |
6b25a558 | 1590 | const char * gfc_get_string (const char *, ...) ATTRIBUTE_PRINTF_1; |
6de9cd9a DN |
1591 | |
1592 | /* error.c */ | |
1593 | ||
1594 | typedef struct gfc_error_buf | |
1595 | { | |
1596 | int flag; | |
d71b89ca JJ |
1597 | size_t allocated, index; |
1598 | char *message; | |
6de9cd9a DN |
1599 | } gfc_error_buf; |
1600 | ||
1601 | void gfc_error_init_1 (void); | |
1602 | void gfc_buffer_error (int); | |
1603 | ||
0ce0154c KG |
1604 | void gfc_warning (const char *, ...) ATTRIBUTE_GCC_GFC(1,2); |
1605 | void gfc_warning_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2); | |
6de9cd9a DN |
1606 | void gfc_clear_warning (void); |
1607 | void gfc_warning_check (void); | |
1608 | ||
0ce0154c KG |
1609 | void gfc_error (const char *, ...) ATTRIBUTE_GCC_GFC(1,2); |
1610 | void gfc_error_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2); | |
1611 | void gfc_fatal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2); | |
1612 | void gfc_internal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2); | |
6de9cd9a DN |
1613 | void gfc_clear_error (void); |
1614 | int gfc_error_check (void); | |
1615 | ||
0ce0154c | 1616 | try gfc_notify_std (int, const char *, ...) ATTRIBUTE_GCC_GFC(2,3); |
6de9cd9a DN |
1617 | |
1618 | /* A general purpose syntax error. */ | |
1619 | #define gfc_syntax_error(ST) \ | |
1620 | gfc_error ("Syntax error in %s statement at %C", gfc_ascii_statement (ST)); | |
1621 | ||
1622 | void gfc_push_error (gfc_error_buf *); | |
1623 | void gfc_pop_error (gfc_error_buf *); | |
d71b89ca | 1624 | void gfc_free_error (gfc_error_buf *); |
6de9cd9a DN |
1625 | |
1626 | void gfc_status (const char *, ...) ATTRIBUTE_PRINTF_1; | |
1627 | void gfc_status_char (char); | |
1628 | ||
1629 | void gfc_get_errors (int *, int *); | |
1630 | ||
1631 | /* arith.c */ | |
1632 | void gfc_arith_init_1 (void); | |
1633 | void gfc_arith_done_1 (void); | |
25d8f0a2 TS |
1634 | gfc_expr *gfc_enum_initializer (gfc_expr *, locus); |
1635 | arith gfc_check_integer_range (mpz_t p, int kind); | |
6de9cd9a | 1636 | |
5e8e542f | 1637 | /* trans-types.c */ |
e7a2d5fb | 1638 | int gfc_validate_kind (bt, int, bool); |
6de9cd9a | 1639 | extern int gfc_index_integer_kind; |
9d64df18 | 1640 | extern int gfc_default_integer_kind; |
f4e7375a | 1641 | extern int gfc_max_integer_kind; |
9d64df18 TS |
1642 | extern int gfc_default_real_kind; |
1643 | extern int gfc_default_double_kind; | |
1644 | extern int gfc_default_character_kind; | |
1645 | extern int gfc_default_logical_kind; | |
1646 | extern int gfc_default_complex_kind; | |
e8525382 | 1647 | extern int gfc_c_int_kind; |
6de9cd9a DN |
1648 | |
1649 | /* symbol.c */ | |
1650 | void gfc_clear_new_implicit (void); | |
1107b970 PB |
1651 | try gfc_add_new_implicit_range (int, int); |
1652 | try gfc_merge_new_implicit (gfc_typespec *); | |
6de9cd9a | 1653 | void gfc_set_implicit_none (void); |
6de9cd9a DN |
1654 | |
1655 | gfc_typespec *gfc_get_default_type (gfc_symbol *, gfc_namespace *); | |
1656 | try gfc_set_default_type (gfc_symbol *, int, gfc_namespace *); | |
1657 | ||
1658 | void gfc_set_component_attr (gfc_component *, symbol_attribute *); | |
1659 | void gfc_get_component_attr (symbol_attribute *, gfc_component *); | |
1660 | ||
1661 | void gfc_set_sym_referenced (gfc_symbol * sym); | |
1662 | ||
1663 | try gfc_add_allocatable (symbol_attribute *, locus *); | |
231b2fcc | 1664 | try gfc_add_dimension (symbol_attribute *, const char *, locus *); |
6de9cd9a DN |
1665 | try gfc_add_external (symbol_attribute *, locus *); |
1666 | try gfc_add_intrinsic (symbol_attribute *, locus *); | |
1667 | try gfc_add_optional (symbol_attribute *, locus *); | |
1668 | try gfc_add_pointer (symbol_attribute *, locus *); | |
83d890b9 AL |
1669 | try gfc_add_cray_pointer (symbol_attribute *, locus *); |
1670 | try gfc_add_cray_pointee (symbol_attribute *, locus *); | |
1671 | try gfc_mod_pointee_as (gfc_array_spec *as); | |
231b2fcc TS |
1672 | try gfc_add_result (symbol_attribute *, const char *, locus *); |
1673 | try gfc_add_save (symbol_attribute *, const char *, locus *); | |
6de9cd9a DN |
1674 | try gfc_add_saved_common (symbol_attribute *, locus *); |
1675 | try gfc_add_target (symbol_attribute *, locus *); | |
231b2fcc TS |
1676 | try gfc_add_dummy (symbol_attribute *, const char *, locus *); |
1677 | try gfc_add_generic (symbol_attribute *, const char *, locus *); | |
6de9cd9a | 1678 | try gfc_add_common (symbol_attribute *, locus *); |
231b2fcc | 1679 | try gfc_add_in_common (symbol_attribute *, const char *, locus *); |
e8ec07e1 | 1680 | try gfc_add_in_equivalence (symbol_attribute *, const char *, locus *); |
231b2fcc TS |
1681 | try gfc_add_data (symbol_attribute *, const char *, locus *); |
1682 | try gfc_add_in_namelist (symbol_attribute *, const char *, locus *); | |
1683 | try gfc_add_sequence (symbol_attribute *, const char *, locus *); | |
6de9cd9a DN |
1684 | try gfc_add_elemental (symbol_attribute *, locus *); |
1685 | try gfc_add_pure (symbol_attribute *, locus *); | |
1686 | try gfc_add_recursive (symbol_attribute *, locus *); | |
231b2fcc TS |
1687 | try gfc_add_function (symbol_attribute *, const char *, locus *); |
1688 | try gfc_add_subroutine (symbol_attribute *, const char *, locus *); | |
1689 | ||
1690 | try gfc_add_access (symbol_attribute *, gfc_access, const char *, locus *); | |
1691 | try gfc_add_flavor (symbol_attribute *, sym_flavor, const char *, locus *); | |
1692 | try gfc_add_entry (symbol_attribute *, const char *, locus *); | |
1693 | try gfc_add_procedure (symbol_attribute *, procedure_type, | |
1694 | const char *, locus *); | |
6de9cd9a DN |
1695 | try gfc_add_intent (symbol_attribute *, sym_intent, locus *); |
1696 | try gfc_add_explicit_interface (gfc_symbol *, ifsrc, | |
1697 | gfc_formal_arglist *, locus *); | |
1698 | try gfc_add_type (gfc_symbol *, gfc_typespec *, locus *); | |
1699 | ||
1700 | void gfc_clear_attr (symbol_attribute *); | |
1701 | try gfc_missing_attr (symbol_attribute *, locus *); | |
1702 | try gfc_copy_attr (symbol_attribute *, symbol_attribute *, locus *); | |
1703 | ||
1704 | try gfc_add_component (gfc_symbol *, const char *, gfc_component **); | |
1705 | gfc_symbol *gfc_use_derived (gfc_symbol *); | |
1706 | gfc_symtree *gfc_use_derived_tree (gfc_symtree *); | |
1707 | gfc_component *gfc_find_component (gfc_symbol *, const char *); | |
1708 | ||
1709 | gfc_st_label *gfc_get_st_label (int); | |
1710 | void gfc_free_st_label (gfc_st_label *); | |
1711 | void gfc_define_st_label (gfc_st_label *, gfc_sl_type, locus *); | |
1712 | try gfc_reference_st_label (gfc_st_label *, gfc_sl_type); | |
1713 | ||
0366dfe9 | 1714 | gfc_namespace *gfc_get_namespace (gfc_namespace *, int); |
6de9cd9a DN |
1715 | gfc_symtree *gfc_new_symtree (gfc_symtree **, const char *); |
1716 | gfc_symtree *gfc_find_symtree (gfc_symtree *, const char *); | |
1717 | gfc_user_op *gfc_get_uop (const char *); | |
1718 | gfc_user_op *gfc_find_uop (const char *, gfc_namespace *); | |
1719 | void gfc_free_symbol (gfc_symbol *); | |
1720 | gfc_symbol *gfc_new_symbol (const char *, gfc_namespace *); | |
1721 | int gfc_find_symbol (const char *, gfc_namespace *, int, gfc_symbol **); | |
1722 | int gfc_find_sym_tree (const char *, gfc_namespace *, int, gfc_symtree **); | |
1723 | int gfc_get_symbol (const char *, gfc_namespace *, gfc_symbol **); | |
1724 | int gfc_get_sym_tree (const char *, gfc_namespace *, gfc_symtree **); | |
1725 | int gfc_get_ha_symbol (const char *, gfc_symbol **); | |
1726 | int gfc_get_ha_sym_tree (const char *, gfc_symtree **); | |
1727 | ||
1728 | int gfc_symbols_could_alias (gfc_symbol *, gfc_symbol *); | |
1729 | ||
1730 | void gfc_undo_symbols (void); | |
1731 | void gfc_commit_symbols (void); | |
1732 | void gfc_free_namespace (gfc_namespace *); | |
1733 | ||
1734 | void gfc_symbol_init_2 (void); | |
1735 | void gfc_symbol_done_2 (void); | |
1736 | ||
9056bd70 | 1737 | void gfc_traverse_symtree (gfc_symtree *, void (*)(gfc_symtree *)); |
6de9cd9a DN |
1738 | void gfc_traverse_ns (gfc_namespace *, void (*)(gfc_symbol *)); |
1739 | void gfc_traverse_user_op (gfc_namespace *, void (*)(gfc_user_op *)); | |
1740 | void gfc_save_all (gfc_namespace *); | |
1741 | ||
1742 | void gfc_symbol_state (void); | |
1743 | ||
cb9e4f55 TS |
1744 | gfc_gsymbol *gfc_get_gsymbol (const char *); |
1745 | gfc_gsymbol *gfc_find_gsymbol (gfc_gsymbol *, const char *); | |
c9543002 | 1746 | |
6de9cd9a DN |
1747 | /* intrinsic.c */ |
1748 | extern int gfc_init_expr; | |
1749 | ||
1750 | /* Given a symbol that we have decided is intrinsic, mark it as such | |
1751 | by placing it into a special module that is otherwise impossible to | |
1752 | read or write. */ | |
1753 | ||
cb9e4f55 | 1754 | #define gfc_intrinsic_symbol(SYM) SYM->module = gfc_get_string ("(intrinsic)") |
6de9cd9a DN |
1755 | |
1756 | void gfc_intrinsic_init_1 (void); | |
1757 | void gfc_intrinsic_done_1 (void); | |
1758 | ||
1759 | char gfc_type_letter (bt); | |
1760 | gfc_symbol * gfc_get_intrinsic_sub_symbol (const char *); | |
1761 | try gfc_convert_type (gfc_expr *, gfc_typespec *, int); | |
1762 | try gfc_convert_type_warn (gfc_expr *, gfc_typespec *, int, int); | |
1763 | int gfc_generic_intrinsic (const char *); | |
1764 | int gfc_specific_intrinsic (const char *); | |
1765 | int gfc_intrinsic_name (const char *, int); | |
1766 | gfc_intrinsic_sym *gfc_find_function (const char *); | |
1767 | ||
1768 | match gfc_intrinsic_func_interface (gfc_expr *, int); | |
1769 | match gfc_intrinsic_sub_interface (gfc_code *, int); | |
1770 | ||
1771 | /* simplify.c */ | |
1772 | void gfc_simplify_init_1 (void); | |
6de9cd9a DN |
1773 | |
1774 | /* match.c -- FIXME */ | |
1775 | void gfc_free_iterator (gfc_iterator *, int); | |
1776 | void gfc_free_forall_iterator (gfc_forall_iterator *); | |
1777 | void gfc_free_alloc_list (gfc_alloc *); | |
1778 | void gfc_free_namelist (gfc_namelist *); | |
1779 | void gfc_free_equiv (gfc_equiv *); | |
1780 | void gfc_free_data (gfc_data *); | |
1781 | void gfc_free_case_list (gfc_case *); | |
1782 | ||
1783 | /* expr.c */ | |
1784 | void gfc_free_actual_arglist (gfc_actual_arglist *); | |
1785 | gfc_actual_arglist *gfc_copy_actual_arglist (gfc_actual_arglist *); | |
1786 | const char *gfc_extract_int (gfc_expr *, int *); | |
1787 | ||
1788 | gfc_expr *gfc_build_conversion (gfc_expr *); | |
1789 | void gfc_free_ref_list (gfc_ref *); | |
1790 | void gfc_type_convert_binary (gfc_expr *); | |
1791 | int gfc_is_constant_expr (gfc_expr *); | |
1792 | try gfc_simplify_expr (gfc_expr *, int); | |
1793 | ||
1794 | gfc_expr *gfc_get_expr (void); | |
1795 | void gfc_free_expr (gfc_expr *); | |
1796 | void gfc_replace_expr (gfc_expr *, gfc_expr *); | |
1797 | gfc_expr *gfc_int_expr (int); | |
1798 | gfc_expr *gfc_logical_expr (int, locus *); | |
1799 | mpz_t *gfc_copy_shape (mpz_t *, int); | |
94538bd1 | 1800 | mpz_t *gfc_copy_shape_excluding (mpz_t *, int, gfc_expr *); |
6de9cd9a DN |
1801 | gfc_expr *gfc_copy_expr (gfc_expr *); |
1802 | ||
1803 | try gfc_specification_expr (gfc_expr *); | |
1804 | ||
1805 | int gfc_numeric_ts (gfc_typespec *); | |
1806 | int gfc_kind_max (gfc_expr *, gfc_expr *); | |
1807 | ||
1808 | try gfc_check_conformance (const char *, gfc_expr *, gfc_expr *); | |
1809 | try gfc_check_assign (gfc_expr *, gfc_expr *, int); | |
1810 | try gfc_check_pointer_assign (gfc_expr *, gfc_expr *); | |
1811 | try gfc_check_assign_symbol (gfc_symbol *, gfc_expr *); | |
1812 | ||
54b4ba60 | 1813 | gfc_expr *gfc_default_initializer (gfc_typespec *); |
294fbfc8 TS |
1814 | gfc_expr *gfc_get_variable_expr (gfc_symtree *); |
1815 | ||
54b4ba60 | 1816 | |
6de9cd9a DN |
1817 | /* st.c */ |
1818 | extern gfc_code new_st; | |
1819 | ||
1820 | void gfc_clear_new_st (void); | |
1821 | gfc_code *gfc_get_code (void); | |
1822 | gfc_code *gfc_append_code (gfc_code *, gfc_code *); | |
1823 | void gfc_free_statement (gfc_code *); | |
1824 | void gfc_free_statements (gfc_code *); | |
1825 | ||
1826 | /* resolve.c */ | |
1827 | try gfc_resolve_expr (gfc_expr *); | |
1828 | void gfc_resolve (gfc_namespace *); | |
1829 | int gfc_impure_variable (gfc_symbol *); | |
1830 | int gfc_pure (gfc_symbol *); | |
1831 | int gfc_elemental (gfc_symbol *); | |
8d5cfa27 | 1832 | try gfc_resolve_iterator (gfc_iterator *, bool); |
6de9cd9a | 1833 | try gfc_resolve_index (gfc_expr *, int); |
bf302220 | 1834 | try gfc_resolve_dim_arg (gfc_expr *); |
4213f93b | 1835 | int gfc_is_formal_arg (void); |
6de9cd9a DN |
1836 | |
1837 | /* array.c */ | |
1838 | void gfc_free_array_spec (gfc_array_spec *); | |
1839 | gfc_array_ref *gfc_copy_array_ref (gfc_array_ref *); | |
1840 | ||
1841 | try gfc_set_array_spec (gfc_symbol *, gfc_array_spec *, locus *); | |
1842 | gfc_array_spec *gfc_copy_array_spec (gfc_array_spec *); | |
1843 | try gfc_resolve_array_spec (gfc_array_spec *, int); | |
1844 | ||
1845 | int gfc_compare_array_spec (gfc_array_spec *, gfc_array_spec *); | |
1846 | ||
1847 | gfc_expr *gfc_start_constructor (bt, int, locus *); | |
1848 | void gfc_append_constructor (gfc_expr *, gfc_expr *); | |
1849 | void gfc_free_constructor (gfc_constructor *); | |
1850 | void gfc_simplify_iterator_var (gfc_expr *); | |
1851 | try gfc_expand_constructor (gfc_expr *); | |
1852 | int gfc_constant_ac (gfc_expr *); | |
1853 | int gfc_expanded_ac (gfc_expr *); | |
1854 | try gfc_resolve_array_constructor (gfc_expr *); | |
1855 | try gfc_check_constructor_type (gfc_expr *); | |
1856 | try gfc_check_iter_variable (gfc_expr *); | |
1857 | try gfc_check_constructor (gfc_expr *, try (*)(gfc_expr *)); | |
1858 | gfc_constructor *gfc_copy_constructor (gfc_constructor * src); | |
1859 | gfc_expr *gfc_get_array_element (gfc_expr *, int); | |
1860 | try gfc_array_size (gfc_expr *, mpz_t *); | |
1861 | try gfc_array_dimen_size (gfc_expr *, int, mpz_t *); | |
1862 | try gfc_array_ref_shape (gfc_array_ref *, mpz_t *); | |
1863 | gfc_array_ref *gfc_find_array_ref (gfc_expr *); | |
1864 | void gfc_insert_constructor (gfc_expr *, gfc_constructor *); | |
1865 | gfc_constructor *gfc_get_constructor (void); | |
1866 | tree gfc_conv_array_initializer (tree type, gfc_expr * expr); | |
1867 | try spec_size (gfc_array_spec *, mpz_t *); | |
4077d207 | 1868 | int gfc_is_compile_time_shape (gfc_array_spec *); |
6de9cd9a DN |
1869 | |
1870 | /* interface.c -- FIXME: some of these should be in symbol.c */ | |
1871 | void gfc_free_interface (gfc_interface *); | |
1872 | int gfc_compare_types (gfc_typespec *, gfc_typespec *); | |
1873 | void gfc_check_interfaces (gfc_namespace *); | |
1874 | void gfc_procedure_use (gfc_symbol *, gfc_actual_arglist **, locus *); | |
1875 | gfc_symbol *gfc_search_interface (gfc_interface *, int, | |
1876 | gfc_actual_arglist **); | |
1877 | try gfc_extend_expr (gfc_expr *); | |
1878 | void gfc_free_formal_arglist (gfc_formal_arglist *); | |
1879 | try gfc_extend_assign (gfc_code *, gfc_namespace *); | |
1880 | try gfc_add_interface (gfc_symbol * sym); | |
1881 | ||
1882 | /* io.c */ | |
1883 | extern gfc_st_label format_asterisk; | |
1884 | ||
1885 | void gfc_free_open (gfc_open *); | |
1886 | try gfc_resolve_open (gfc_open *); | |
1887 | void gfc_free_close (gfc_close *); | |
1888 | try gfc_resolve_close (gfc_close *); | |
1889 | void gfc_free_filepos (gfc_filepos *); | |
1890 | try gfc_resolve_filepos (gfc_filepos *); | |
1891 | void gfc_free_inquire (gfc_inquire *); | |
1892 | try gfc_resolve_inquire (gfc_inquire *); | |
1893 | void gfc_free_dt (gfc_dt *); | |
1894 | try gfc_resolve_dt (gfc_dt *); | |
1895 | ||
1896 | /* module.c */ | |
1897 | void gfc_module_init_2 (void); | |
1898 | void gfc_module_done_2 (void); | |
1899 | void gfc_dump_module (const char *, int); | |
af30f793 | 1900 | bool gfc_check_access (gfc_access, gfc_access); |
6de9cd9a DN |
1901 | |
1902 | /* primary.c */ | |
1903 | symbol_attribute gfc_variable_attr (gfc_expr *, gfc_typespec *); | |
1904 | symbol_attribute gfc_expr_attr (gfc_expr *); | |
1905 | ||
1906 | /* trans.c */ | |
1907 | void gfc_generate_code (gfc_namespace *); | |
1908 | void gfc_generate_module_code (gfc_namespace *); | |
1909 | ||
1910 | /* bbt.c */ | |
1911 | typedef int (*compare_fn) (void *, void *); | |
1912 | void gfc_insert_bbt (void *, void *, compare_fn); | |
1913 | void gfc_delete_bbt (void *, void *, compare_fn); | |
1914 | ||
1915 | /* dump-parse-tree.c */ | |
1916 | void gfc_show_namespace (gfc_namespace *); | |
1917 | ||
1918 | /* parse.c */ | |
1919 | try gfc_parse_file (void); | |
1920 | ||
53814b8f | 1921 | #endif /* GCC_GFORTRAN_H */ |