1 | /* gfortran header file |
2 | Copyright (C) 2000-2023 Free Software Foundation, Inc. |
3 | Contributed by Andy Vaught |
4 | |
5 | This file is part of GCC. |
6 | |
7 | GCC is free software; you can redistribute it and/or modify it under |
8 | the terms of the GNU General Public License as published by the Free |
9 | Software Foundation; either version 3, or (at your option) any later |
10 | version. |
11 | |
12 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY |
13 | WARRANTY; without even the implied warranty of MERCHANTABILITY or |
14 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
15 | for more details. |
16 | |
17 | You should have received a copy of the GNU General Public License |
18 | along with GCC; see the file COPYING3. If not see |
19 | <http://www.gnu.org/licenses/>. */ |
20 | |
21 | #ifndef GCC_GFORTRAN_H |
22 | #define GCC_GFORTRAN_H |
23 | |
24 | /* It's probably insane to have this large of a header file, but it |
25 | seemed like everything had to be recompiled anyway when a change |
26 | was made to a header file, and there were ordering issues with |
27 | multiple header files. Besides, Microsoft's winnt.h was 250k last |
28 | time I looked, so by comparison this is perfectly reasonable. */ |
29 | |
30 | #ifndef GCC_CORETYPES_H |
31 | #error "gfortran.h must be included after coretypes.h" |
32 | #endif |
33 | |
34 | /* In order for the format checking to accept the Fortran front end |
35 | diagnostic framework extensions, you must include this file before |
36 | diagnostic-core.h, not after. We override the definition of GCC_DIAG_STYLE |
37 | in c-common.h. */ |
38 | #undef GCC_DIAG_STYLE |
39 | #define GCC_DIAG_STYLE __gcc_gfc__ |
40 | #if defined(GCC_DIAGNOSTIC_CORE_H) |
41 | #error \ |
42 | In order for the format checking to accept the Fortran front end diagnostic \ |
43 | framework extensions, you must include this file before diagnostic-core.h, \ |
44 | not after. |
45 | #endif |
46 | |
47 | /* Declarations common to the front-end and library are put in |
48 | libgfortran/libgfortran_frontend.h */ |
49 | #include "libgfortran.h" |
50 | |
51 | |
52 | #include "intl.h" |
53 | #include "splay-tree.h" |
54 | |
55 | /* Major control parameters. */ |
56 | |
57 | #define GFC_MAX_SYMBOL_LEN 63 /* Must be at least 63 for F2003. */ |
58 | #define GFC_LETTERS 26 /* Number of letters in the alphabet. */ |
59 | |
60 | #define MAX_SUBRECORD_LENGTH 2147483639 /* 2**31-9 */ |
61 | |
62 | |
63 | #define gfc_is_whitespace(c) ((c==' ') || (c=='\t') || (c=='\f')) |
64 | |
65 | /* Macros to check for groups of structure-like types and flavors since |
66 | derived types, structures, maps, unions are often treated similarly. */ |
67 | #define gfc_bt_struct(t) \ |
68 | ((t) == BT_DERIVED || (t) == BT_UNION) |
69 | #define gfc_fl_struct(f) \ |
70 | ((f) == FL_DERIVED || (f) == FL_UNION || (f) == FL_STRUCT) |
71 | #define case_bt_struct case BT_DERIVED: case BT_UNION |
72 | #define case_fl_struct case FL_DERIVED: case FL_UNION: case FL_STRUCT |
73 | |
74 | /* Stringization. */ |
75 | #define stringize(x) expand_macro(x) |
76 | #define expand_macro(x) # x |
77 | |
78 | /* For the runtime library, a standard prefix is a requirement to |
79 | avoid cluttering the namespace with things nobody asked for. It's |
80 | ugly to look at and a pain to type when you add the prefix by hand, |
81 | so we hide it behind a macro. */ |
82 | #define PREFIX(x) "_gfortran_" x |
83 | #define PREFIX_LEN 10 |
84 | |
85 | /* A prefix for internal variables, which are not user-visible. */ |
86 | #if !defined (NO_DOT_IN_LABEL) |
87 | # define GFC_PREFIX(x) "_F." x |
88 | #elif !defined (NO_DOLLAR_IN_LABEL) |
89 | # define GFC_PREFIX(x) "_F$" x |
90 | #else |
91 | # define GFC_PREFIX(x) "_F_" x |
92 | #endif |
93 | |
94 | #define BLANK_COMMON_NAME "__BLNK__" |
95 | |
96 | /* Macro to initialize an mstring structure. */ |
97 | #define minit(s, t) { s, NULL, t } |
98 | |
99 | /* Structure for storing strings to be matched by gfc_match_string. */ |
100 | typedef struct |
101 | { |
102 | const char *string; |
103 | const char *mp; |
104 | int tag; |
105 | } |
106 | mstring; |
107 | |
108 | /* ISO_Fortran_binding.h |
109 | CAUTION: This has to be kept in sync with libgfortran. */ |
110 | |
111 | #define CFI_type_kind_shift 8 |
112 | #define CFI_type_mask 0xFF |
113 | #define CFI_type_from_type_kind(t, k) (t + (k << CFI_type_kind_shift)) |
114 | |
115 | /* Constants, defined as macros. */ |
116 | #define CFI_VERSION 1 |
117 | #define CFI_MAX_RANK 15 |
118 | |
119 | /* Attributes. */ |
120 | #define CFI_attribute_pointer 0 |
121 | #define CFI_attribute_allocatable 1 |
122 | #define CFI_attribute_other 2 |
123 | |
124 | #define CFI_type_mask 0xFF |
125 | #define CFI_type_kind_shift 8 |
126 | |
127 | /* Intrinsic types. Their kind number defines their storage size. */ |
128 | #define CFI_type_Integer 1 |
129 | #define CFI_type_Logical 2 |
130 | #define CFI_type_Real 3 |
131 | #define CFI_type_Complex 4 |
132 | #define CFI_type_Character 5 |
133 | |
134 | /* Combined type (for more, see ISO_Fortran_binding.h). */ |
135 | #define CFI_type_ucs4_char (CFI_type_Character + (4 << CFI_type_kind_shift)) |
136 | |
137 | /* Types with no kind. */ |
138 | #define CFI_type_struct 6 |
139 | #define CFI_type_cptr 7 |
140 | #define CFI_type_cfunptr 8 |
141 | #define CFI_type_other -1 |
142 | |
143 | |
144 | /*************************** Enums *****************************/ |
145 | |
146 | /* Used when matching and resolving data I/O transfer statements. */ |
147 | |
148 | enum io_kind |
149 | { M_READ, M_WRITE, M_PRINT, M_INQUIRE }; |
150 | |
151 | |
152 | /* These are flags for identifying whether we are reading a character literal |
153 | between quotes or normal source code. */ |
154 | |
155 | enum gfc_instring |
156 | { NONSTRING = 0, INSTRING_WARN, INSTRING_NOWARN }; |
157 | |
158 | /* This is returned by gfc_notification_std to know if, given the flags |
159 | that were given (-std=, -pedantic) we should issue an error, a warning |
160 | or nothing. */ |
161 | |
162 | enum notification |
163 | { SILENT, WARNING, ERROR }; |
164 | |
165 | /* Matchers return one of these three values. The difference between |
166 | MATCH_NO and MATCH_ERROR is that MATCH_ERROR means that a match was |
167 | successful, but that something non-syntactic is wrong and an error |
168 | has already been issued. */ |
169 | |
170 | enum match |
171 | { MATCH_NO = 1, MATCH_YES, MATCH_ERROR }; |
172 | |
173 | /* Used for different Fortran source forms in places like scanner.cc. */ |
174 | enum gfc_source_form |
175 | { FORM_FREE, FORM_FIXED, FORM_UNKNOWN }; |
176 | |
177 | /* Expression node types. */ |
178 | enum expr_t |
179 | { EXPR_UNKNOWN = 0, EXPR_OP = 1, EXPR_FUNCTION, EXPR_CONSTANT, EXPR_VARIABLE, |
180 | EXPR_SUBSTRING, EXPR_STRUCTURE, EXPR_ARRAY, EXPR_NULL, EXPR_COMPCALL, EXPR_PPC |
181 | }; |
182 | |
183 | /* Array types. */ |
184 | enum array_type |
185 | { AS_EXPLICIT = 1, AS_ASSUMED_SHAPE, AS_DEFERRED, |
186 | AS_ASSUMED_SIZE, AS_IMPLIED_SHAPE, AS_ASSUMED_RANK, |
187 | AS_UNKNOWN |
188 | }; |
189 | |
190 | enum ar_type |
191 | { AR_FULL = 1, AR_ELEMENT, AR_SECTION, AR_UNKNOWN }; |
192 | |
193 | /* Statement label types. ST_LABEL_DO_TARGET is used for obsolescent warnings |
194 | related to shared DO terminations and DO targets which are neither END DO |
195 | nor CONTINUE; otherwise it is identical to ST_LABEL_TARGET. */ |
196 | enum gfc_sl_type |
197 | { ST_LABEL_UNKNOWN = 1, ST_LABEL_TARGET, ST_LABEL_DO_TARGET, |
198 | ST_LABEL_BAD_TARGET, ST_LABEL_FORMAT |
199 | }; |
200 | |
201 | /* Intrinsic operators. */ |
202 | enum gfc_intrinsic_op |
203 | { GFC_INTRINSIC_BEGIN = 0, |
204 | INTRINSIC_NONE = -1, INTRINSIC_UPLUS = GFC_INTRINSIC_BEGIN, |
205 | INTRINSIC_UMINUS, INTRINSIC_PLUS, INTRINSIC_MINUS, INTRINSIC_TIMES, |
206 | INTRINSIC_DIVIDE, INTRINSIC_POWER, INTRINSIC_CONCAT, |
207 | INTRINSIC_AND, INTRINSIC_OR, INTRINSIC_EQV, INTRINSIC_NEQV, |
208 | /* ==, /=, >, >=, <, <= */ |
209 | INTRINSIC_EQ, INTRINSIC_NE, INTRINSIC_GT, INTRINSIC_GE, |
210 | INTRINSIC_LT, INTRINSIC_LE, |
211 | /* .EQ., .NE., .GT., .GE., .LT., .LE. (OS = Old-Style) */ |
212 | INTRINSIC_EQ_OS, INTRINSIC_NE_OS, INTRINSIC_GT_OS, INTRINSIC_GE_OS, |
213 | INTRINSIC_LT_OS, INTRINSIC_LE_OS, |
214 | INTRINSIC_NOT, INTRINSIC_USER, INTRINSIC_ASSIGN, INTRINSIC_PARENTHESES, |
215 | GFC_INTRINSIC_END, /* Sentinel */ |
216 | /* User defined derived type pseudo operators. These are set beyond the |
217 | sentinel so that they are excluded from module_read and module_write. */ |
218 | INTRINSIC_FORMATTED, INTRINSIC_UNFORMATTED |
219 | }; |
220 | |
221 | /* This macro is the number of intrinsic operators that exist. |
222 | Assumptions are made about the numbering of the interface_op enums. */ |
223 | #define GFC_INTRINSIC_OPS GFC_INTRINSIC_END |
224 | |
225 | /* Arithmetic results. ARITH_NOT_REDUCED is used to keep track of expressions |
226 | that were not reduced by the arithmetic evaluation code. */ |
227 | enum arith |
228 | { ARITH_OK = 1, ARITH_OVERFLOW, ARITH_UNDERFLOW, ARITH_NAN, |
229 | ARITH_DIV0, ARITH_INCOMMENSURATE, ARITH_ASYMMETRIC, ARITH_PROHIBIT, |
230 | ARITH_WRONGCONCAT, ARITH_INVALID_TYPE, ARITH_NOT_REDUCED |
231 | }; |
232 | |
233 | /* Statements. */ |
234 | enum gfc_statement |
235 | { |
236 | ST_ARITHMETIC_IF, ST_ALLOCATE, ST_ATTR_DECL, ST_ASSOCIATE, |
237 | ST_BACKSPACE, ST_BLOCK, ST_BLOCK_DATA, |
238 | ST_CALL, ST_CASE, ST_CLOSE, ST_COMMON, ST_CONTINUE, ST_CONTAINS, ST_CYCLE, |
239 | ST_DATA, ST_DATA_DECL, ST_DEALLOCATE, ST_DO, ST_ELSE, ST_ELSEIF, |
240 | ST_ELSEWHERE, ST_END_ASSOCIATE, ST_END_BLOCK, ST_END_BLOCK_DATA, |
241 | ST_ENDDO, ST_IMPLIED_ENDDO, ST_END_FILE, ST_FINAL, ST_FLUSH, ST_END_FORALL, |
242 | ST_END_FUNCTION, ST_ENDIF, ST_END_INTERFACE, ST_END_MODULE, ST_END_SUBMODULE, |
243 | ST_END_PROGRAM, ST_END_SELECT, ST_END_SUBROUTINE, ST_END_WHERE, ST_END_TYPE, |
244 | ST_ENTRY, ST_EQUIVALENCE, ST_ERROR_STOP, ST_EXIT, ST_FORALL, ST_FORALL_BLOCK, |
245 | ST_FORMAT, ST_FUNCTION, ST_GOTO, ST_IF_BLOCK, ST_IMPLICIT, ST_IMPLICIT_NONE, |
246 | ST_IMPORT, ST_INQUIRE, ST_INTERFACE, ST_SYNC_ALL, ST_SYNC_MEMORY, |
247 | ST_SYNC_IMAGES, ST_PARAMETER, ST_MODULE, ST_SUBMODULE, ST_MODULE_PROC, |
248 | ST_NAMELIST, ST_NULLIFY, ST_OPEN, ST_PAUSE, ST_PRIVATE, ST_PROGRAM, ST_PUBLIC, |
249 | ST_READ, ST_RETURN, ST_REWIND, ST_STOP, ST_SUBROUTINE, ST_TYPE, ST_USE, |
250 | ST_WHERE_BLOCK, ST_WHERE, ST_WAIT, ST_WRITE, ST_ASSIGNMENT, |
251 | ST_POINTER_ASSIGNMENT, ST_SELECT_CASE, ST_SEQUENCE, ST_SIMPLE_IF, |
252 | ST_STATEMENT_FUNCTION, ST_DERIVED_DECL, ST_LABEL_ASSIGNMENT, ST_ENUM, |
253 | ST_ENUMERATOR, ST_END_ENUM, ST_SELECT_TYPE, ST_TYPE_IS, ST_CLASS_IS, |
254 | ST_SELECT_RANK, ST_RANK, ST_STRUCTURE_DECL, ST_END_STRUCTURE, |
255 | ST_UNION, ST_END_UNION, ST_MAP, ST_END_MAP, |
256 | ST_OACC_PARALLEL_LOOP, ST_OACC_END_PARALLEL_LOOP, ST_OACC_PARALLEL, |
257 | ST_OACC_END_PARALLEL, ST_OACC_KERNELS, ST_OACC_END_KERNELS, ST_OACC_DATA, |
258 | ST_OACC_END_DATA, ST_OACC_HOST_DATA, ST_OACC_END_HOST_DATA, ST_OACC_LOOP, |
259 | ST_OACC_END_LOOP, ST_OACC_DECLARE, ST_OACC_UPDATE, ST_OACC_WAIT, |
260 | ST_OACC_CACHE, ST_OACC_KERNELS_LOOP, ST_OACC_END_KERNELS_LOOP, |
261 | ST_OACC_SERIAL_LOOP, ST_OACC_END_SERIAL_LOOP, ST_OACC_SERIAL, |
262 | ST_OACC_END_SERIAL, ST_OACC_ENTER_DATA, ST_OACC_EXIT_DATA, ST_OACC_ROUTINE, |
263 | ST_OACC_ATOMIC, ST_OACC_END_ATOMIC, |
264 | ST_OMP_ATOMIC, ST_OMP_BARRIER, ST_OMP_CRITICAL, ST_OMP_END_ATOMIC, |
265 | ST_OMP_END_CRITICAL, ST_OMP_END_DO, ST_OMP_END_MASTER, ST_OMP_END_ORDERED, |
266 | ST_OMP_END_PARALLEL, ST_OMP_END_PARALLEL_DO, ST_OMP_END_PARALLEL_SECTIONS, |
267 | ST_OMP_END_PARALLEL_WORKSHARE, ST_OMP_END_SECTIONS, ST_OMP_END_SINGLE, |
268 | ST_OMP_END_WORKSHARE, ST_OMP_DO, ST_OMP_FLUSH, ST_OMP_MASTER, ST_OMP_ORDERED, |
269 | ST_OMP_PARALLEL, ST_OMP_PARALLEL_DO, ST_OMP_PARALLEL_SECTIONS, |
270 | ST_OMP_PARALLEL_WORKSHARE, ST_OMP_SECTIONS, ST_OMP_SECTION, ST_OMP_SINGLE, |
271 | ST_OMP_THREADPRIVATE, ST_OMP_WORKSHARE, ST_OMP_TASK, ST_OMP_END_TASK, |
272 | ST_OMP_TASKWAIT, ST_OMP_TASKYIELD, ST_OMP_CANCEL, ST_OMP_CANCELLATION_POINT, |
273 | ST_OMP_TASKGROUP, ST_OMP_END_TASKGROUP, ST_OMP_SIMD, ST_OMP_END_SIMD, |
274 | ST_OMP_DO_SIMD, ST_OMP_END_DO_SIMD, ST_OMP_PARALLEL_DO_SIMD, |
275 | ST_OMP_END_PARALLEL_DO_SIMD, ST_OMP_DECLARE_SIMD, ST_OMP_DECLARE_REDUCTION, |
276 | ST_OMP_TARGET, ST_OMP_END_TARGET, ST_OMP_TARGET_DATA, ST_OMP_END_TARGET_DATA, |
277 | ST_OMP_TARGET_UPDATE, ST_OMP_DECLARE_TARGET, ST_OMP_DECLARE_VARIANT, |
278 | ST_OMP_TEAMS, ST_OMP_END_TEAMS, ST_OMP_DISTRIBUTE, ST_OMP_END_DISTRIBUTE, |
279 | ST_OMP_DISTRIBUTE_SIMD, ST_OMP_END_DISTRIBUTE_SIMD, |
280 | ST_OMP_DISTRIBUTE_PARALLEL_DO, ST_OMP_END_DISTRIBUTE_PARALLEL_DO, |
281 | ST_OMP_DISTRIBUTE_PARALLEL_DO_SIMD, ST_OMP_END_DISTRIBUTE_PARALLEL_DO_SIMD, |
282 | ST_OMP_TARGET_TEAMS, ST_OMP_END_TARGET_TEAMS, ST_OMP_TEAMS_DISTRIBUTE, |
283 | ST_OMP_END_TEAMS_DISTRIBUTE, ST_OMP_TEAMS_DISTRIBUTE_SIMD, |
284 | ST_OMP_END_TEAMS_DISTRIBUTE_SIMD, ST_OMP_TARGET_TEAMS_DISTRIBUTE, |
285 | ST_OMP_END_TARGET_TEAMS_DISTRIBUTE, ST_OMP_TARGET_TEAMS_DISTRIBUTE_SIMD, |
286 | ST_OMP_END_TARGET_TEAMS_DISTRIBUTE_SIMD, ST_OMP_TEAMS_DISTRIBUTE_PARALLEL_DO, |
287 | ST_OMP_END_TEAMS_DISTRIBUTE_PARALLEL_DO, |
288 | ST_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_DO, |
289 | ST_OMP_END_TARGET_TEAMS_DISTRIBUTE_PARALLEL_DO, |
290 | ST_OMP_TEAMS_DISTRIBUTE_PARALLEL_DO_SIMD, |
291 | ST_OMP_END_TEAMS_DISTRIBUTE_PARALLEL_DO_SIMD, |
292 | ST_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_DO_SIMD, |
293 | ST_OMP_END_TARGET_TEAMS_DISTRIBUTE_PARALLEL_DO_SIMD, |
294 | ST_OMP_TARGET_PARALLEL, ST_OMP_END_TARGET_PARALLEL, |
295 | ST_OMP_TARGET_PARALLEL_DO, ST_OMP_END_TARGET_PARALLEL_DO, |
296 | ST_OMP_TARGET_PARALLEL_DO_SIMD, ST_OMP_END_TARGET_PARALLEL_DO_SIMD, |
297 | ST_OMP_TARGET_ENTER_DATA, ST_OMP_TARGET_EXIT_DATA, |
298 | ST_OMP_TARGET_SIMD, ST_OMP_END_TARGET_SIMD, |
299 | ST_OMP_TASKLOOP, ST_OMP_END_TASKLOOP, ST_OMP_SCAN, ST_OMP_DEPOBJ, |
300 | ST_OMP_TASKLOOP_SIMD, ST_OMP_END_TASKLOOP_SIMD, ST_OMP_ORDERED_DEPEND, |
301 | ST_OMP_REQUIRES, ST_PROCEDURE, ST_GENERIC, ST_CRITICAL, ST_END_CRITICAL, |
302 | ST_GET_FCN_CHARACTERISTICS, ST_LOCK, ST_UNLOCK, ST_EVENT_POST, |
303 | ST_EVENT_WAIT, ST_FAIL_IMAGE, ST_FORM_TEAM, ST_CHANGE_TEAM, |
304 | ST_END_TEAM, ST_SYNC_TEAM, ST_OMP_PARALLEL_MASTER, |
305 | ST_OMP_END_PARALLEL_MASTER, ST_OMP_PARALLEL_MASTER_TASKLOOP, |
306 | ST_OMP_END_PARALLEL_MASTER_TASKLOOP, ST_OMP_PARALLEL_MASTER_TASKLOOP_SIMD, |
307 | ST_OMP_END_PARALLEL_MASTER_TASKLOOP_SIMD, ST_OMP_MASTER_TASKLOOP, |
308 | ST_OMP_END_MASTER_TASKLOOP, ST_OMP_MASTER_TASKLOOP_SIMD, |
309 | ST_OMP_END_MASTER_TASKLOOP_SIMD, ST_OMP_LOOP, ST_OMP_END_LOOP, |
310 | ST_OMP_PARALLEL_LOOP, ST_OMP_END_PARALLEL_LOOP, ST_OMP_TEAMS_LOOP, |
311 | ST_OMP_END_TEAMS_LOOP, ST_OMP_TARGET_PARALLEL_LOOP, |
312 | ST_OMP_END_TARGET_PARALLEL_LOOP, ST_OMP_TARGET_TEAMS_LOOP, |
313 | ST_OMP_END_TARGET_TEAMS_LOOP, ST_OMP_MASKED, ST_OMP_END_MASKED, |
314 | ST_OMP_PARALLEL_MASKED, ST_OMP_END_PARALLEL_MASKED, |
315 | ST_OMP_PARALLEL_MASKED_TASKLOOP, ST_OMP_END_PARALLEL_MASKED_TASKLOOP, |
316 | ST_OMP_PARALLEL_MASKED_TASKLOOP_SIMD, |
317 | ST_OMP_END_PARALLEL_MASKED_TASKLOOP_SIMD, ST_OMP_MASKED_TASKLOOP, |
318 | ST_OMP_END_MASKED_TASKLOOP, ST_OMP_MASKED_TASKLOOP_SIMD, |
319 | ST_OMP_END_MASKED_TASKLOOP_SIMD, ST_OMP_SCOPE, ST_OMP_END_SCOPE, |
320 | ST_OMP_ERROR, ST_OMP_ASSUME, ST_OMP_END_ASSUME, ST_OMP_ASSUMES, |
321 | ST_OMP_ALLOCATE, ST_OMP_ALLOCATE_EXEC, |
322 | ST_OMP_ALLOCATORS, ST_OMP_END_ALLOCATORS, |
323 | /* Note: gfc_match_omp_nothing returns ST_NONE. */ |
324 | ST_OMP_NOTHING, ST_NONE |
325 | }; |
326 | |
327 | /* Types of interfaces that we can have. Assignment interfaces are |
328 | considered to be intrinsic operators. */ |
329 | enum interface_type |
330 | { |
331 | INTERFACE_NAMELESS = 1, INTERFACE_GENERIC, |
332 | INTERFACE_INTRINSIC_OP, INTERFACE_USER_OP, INTERFACE_ABSTRACT, |
333 | INTERFACE_DTIO |
334 | }; |
335 | |
336 | /* Symbol flavors: these are all mutually exclusive. |
337 | 12 elements = 4 bits. */ |
338 | enum sym_flavor |
339 | { |
340 | FL_UNKNOWN = 0, FL_PROGRAM, FL_BLOCK_DATA, FL_MODULE, FL_VARIABLE, |
341 | FL_PARAMETER, FL_LABEL, FL_PROCEDURE, FL_DERIVED, FL_NAMELIST, |
342 | FL_UNION, FL_STRUCT, FL_VOID |
343 | }; |
344 | |
345 | /* Procedure types. 7 elements = 3 bits. */ |
346 | enum procedure_type |
347 | { PROC_UNKNOWN, PROC_MODULE, PROC_INTERNAL, PROC_DUMMY, |
348 | PROC_INTRINSIC, PROC_ST_FUNCTION, PROC_EXTERNAL |
349 | }; |
350 | |
351 | /* Intent types. Note that these values are also used in another enum in |
352 | decl.cc (match_attr_spec). */ |
353 | enum sym_intent |
354 | { INTENT_UNKNOWN = 0, INTENT_IN, INTENT_OUT, INTENT_INOUT |
355 | }; |
356 | |
357 | /* Access types. */ |
358 | enum gfc_access |
359 | { ACCESS_UNKNOWN = 0, ACCESS_PUBLIC, ACCESS_PRIVATE |
360 | }; |
361 | |
362 | /* Flags to keep track of where an interface came from. |
363 | 3 elements = 2 bits. */ |
364 | enum ifsrc |
365 | { IFSRC_UNKNOWN = 0, /* Interface unknown, only return type may be known. */ |
366 | IFSRC_DECL, /* FUNCTION or SUBROUTINE declaration. */ |
367 | IFSRC_IFBODY /* INTERFACE statement or PROCEDURE statement |
368 | with explicit interface. */ |
369 | }; |
370 | |
371 | /* Whether a SAVE attribute was set explicitly or implicitly. */ |
372 | enum save_state |
373 | { SAVE_NONE = 0, SAVE_EXPLICIT, SAVE_IMPLICIT |
374 | }; |
375 | |
376 | /* OpenACC 'routine' directive's level of parallelism. */ |
377 | enum oacc_routine_lop |
378 | { OACC_ROUTINE_LOP_NONE = 0, |
379 | OACC_ROUTINE_LOP_GANG, |
380 | OACC_ROUTINE_LOP_WORKER, |
381 | OACC_ROUTINE_LOP_VECTOR, |
382 | OACC_ROUTINE_LOP_SEQ, |
383 | OACC_ROUTINE_LOP_ERROR |
384 | }; |
385 | |
386 | /* Strings for all symbol attributes. We use these for dumping the |
387 | parse tree, in error messages, and also when reading and writing |
388 | modules. In symbol.cc. */ |
389 | extern const mstring flavors[]; |
390 | extern const mstring procedures[]; |
391 | extern const mstring intents[]; |
392 | extern const mstring access_types[]; |
393 | extern const mstring ifsrc_types[]; |
394 | extern const mstring save_status[]; |
395 | |
396 | /* Strings for DTIO procedure names. In symbol.cc. */ |
397 | extern const mstring dtio_procs[]; |
398 | |
399 | enum dtio_codes |
400 | { DTIO_RF = 0, DTIO_WF, DTIO_RUF, DTIO_WUF }; |
401 | |
402 | /* Enumeration of all the generic intrinsic functions. Used by the |
403 | backend for identification of a function. */ |
404 | |
405 | enum gfc_isym_id |
406 | { |
407 | /* GFC_ISYM_NONE is used for intrinsics which will never be seen by |
408 | the backend (e.g. KIND). */ |
409 | GFC_ISYM_NONE = 0, |
410 | GFC_ISYM_ABORT, |
411 | GFC_ISYM_ABS, |
412 | GFC_ISYM_ACCESS, |
413 | GFC_ISYM_ACHAR, |
414 | GFC_ISYM_ACOS, |
415 | GFC_ISYM_ACOSD, |
416 | GFC_ISYM_ACOSH, |
417 | GFC_ISYM_ADJUSTL, |
418 | GFC_ISYM_ADJUSTR, |
419 | GFC_ISYM_AIMAG, |
420 | GFC_ISYM_AINT, |
421 | GFC_ISYM_ALARM, |
422 | GFC_ISYM_ALL, |
423 | GFC_ISYM_ALLOCATED, |
424 | GFC_ISYM_AND, |
425 | GFC_ISYM_ANINT, |
426 | GFC_ISYM_ANY, |
427 | GFC_ISYM_ASIN, |
428 | GFC_ISYM_ASIND, |
429 | GFC_ISYM_ASINH, |
430 | GFC_ISYM_ASSOCIATED, |
431 | GFC_ISYM_ATAN, |
432 | GFC_ISYM_ATAN2, |
433 | GFC_ISYM_ATAN2D, |
434 | GFC_ISYM_ATAND, |
435 | GFC_ISYM_ATANH, |
436 | GFC_ISYM_ATOMIC_ADD, |
437 | GFC_ISYM_ATOMIC_AND, |
438 | GFC_ISYM_ATOMIC_CAS, |
439 | GFC_ISYM_ATOMIC_DEF, |
440 | GFC_ISYM_ATOMIC_FETCH_ADD, |
441 | GFC_ISYM_ATOMIC_FETCH_AND, |
442 | GFC_ISYM_ATOMIC_FETCH_OR, |
443 | GFC_ISYM_ATOMIC_FETCH_XOR, |
444 | GFC_ISYM_ATOMIC_OR, |
445 | GFC_ISYM_ATOMIC_REF, |
446 | GFC_ISYM_ATOMIC_XOR, |
447 | GFC_ISYM_BGE, |
448 | GFC_ISYM_BGT, |
449 | GFC_ISYM_BIT_SIZE, |
450 | GFC_ISYM_BLE, |
451 | GFC_ISYM_BLT, |
452 | GFC_ISYM_BTEST, |
453 | GFC_ISYM_CAF_GET, |
454 | GFC_ISYM_CAF_SEND, |
455 | GFC_ISYM_CEILING, |
456 | GFC_ISYM_CHAR, |
457 | GFC_ISYM_CHDIR, |
458 | GFC_ISYM_CHMOD, |
459 | GFC_ISYM_CMPLX, |
460 | GFC_ISYM_CO_BROADCAST, |
461 | GFC_ISYM_CO_MAX, |
462 | GFC_ISYM_CO_MIN, |
463 | GFC_ISYM_CO_REDUCE, |
464 | GFC_ISYM_CO_SUM, |
465 | GFC_ISYM_COMMAND_ARGUMENT_COUNT, |
466 | GFC_ISYM_COMPILER_OPTIONS, |
467 | GFC_ISYM_COMPILER_VERSION, |
468 | GFC_ISYM_COMPLEX, |
469 | GFC_ISYM_CONJG, |
470 | GFC_ISYM_CONVERSION, |
471 | GFC_ISYM_COS, |
472 | GFC_ISYM_COSD, |
473 | GFC_ISYM_COSH, |
474 | GFC_ISYM_COTAN, |
475 | GFC_ISYM_COTAND, |
476 | GFC_ISYM_COUNT, |
477 | GFC_ISYM_CPU_TIME, |
478 | GFC_ISYM_CSHIFT, |
479 | GFC_ISYM_CTIME, |
480 | GFC_ISYM_C_ASSOCIATED, |
481 | GFC_ISYM_C_F_POINTER, |
482 | GFC_ISYM_C_F_PROCPOINTER, |
483 | GFC_ISYM_C_FUNLOC, |
484 | GFC_ISYM_C_LOC, |
485 | GFC_ISYM_C_SIZEOF, |
486 | GFC_ISYM_DATE_AND_TIME, |
487 | GFC_ISYM_DBLE, |
488 | GFC_ISYM_DFLOAT, |
489 | GFC_ISYM_DIGITS, |
490 | GFC_ISYM_DIM, |
491 | GFC_ISYM_DOT_PRODUCT, |
492 | GFC_ISYM_DPROD, |
493 | GFC_ISYM_DSHIFTL, |
494 | GFC_ISYM_DSHIFTR, |
495 | GFC_ISYM_DTIME, |
496 | GFC_ISYM_EOSHIFT, |
497 | GFC_ISYM_EPSILON, |
498 | GFC_ISYM_ERF, |
499 | GFC_ISYM_ERFC, |
500 | GFC_ISYM_ERFC_SCALED, |
501 | GFC_ISYM_ETIME, |
502 | GFC_ISYM_EVENT_QUERY, |
503 | GFC_ISYM_EXECUTE_COMMAND_LINE, |
504 | GFC_ISYM_EXIT, |
505 | GFC_ISYM_EXP, |
506 | GFC_ISYM_EXPONENT, |
507 | GFC_ISYM_EXTENDS_TYPE_OF, |
508 | GFC_ISYM_FAILED_IMAGES, |
509 | GFC_ISYM_FDATE, |
510 | GFC_ISYM_FE_RUNTIME_ERROR, |
511 | GFC_ISYM_FGET, |
512 | GFC_ISYM_FGETC, |
513 | GFC_ISYM_FINDLOC, |
514 | GFC_ISYM_FLOAT, |
515 | GFC_ISYM_FLOOR, |
516 | GFC_ISYM_FLUSH, |
517 | GFC_ISYM_FNUM, |
518 | GFC_ISYM_FPUT, |
519 | GFC_ISYM_FPUTC, |
520 | GFC_ISYM_FRACTION, |
521 | GFC_ISYM_FREE, |
522 | GFC_ISYM_FSEEK, |
523 | GFC_ISYM_FSTAT, |
524 | GFC_ISYM_FTELL, |
525 | GFC_ISYM_TGAMMA, |
526 | GFC_ISYM_GERROR, |
527 | GFC_ISYM_GETARG, |
528 | GFC_ISYM_GET_COMMAND, |
529 | GFC_ISYM_GET_COMMAND_ARGUMENT, |
530 | GFC_ISYM_GETCWD, |
531 | GFC_ISYM_GETENV, |
532 | GFC_ISYM_GET_ENVIRONMENT_VARIABLE, |
533 | GFC_ISYM_GETGID, |
534 | GFC_ISYM_GETLOG, |
535 | GFC_ISYM_GETPID, |
536 | GFC_ISYM_GET_TEAM, |
537 | GFC_ISYM_GETUID, |
538 | GFC_ISYM_GMTIME, |
539 | GFC_ISYM_HOSTNM, |
540 | GFC_ISYM_HUGE, |
541 | GFC_ISYM_HYPOT, |
542 | GFC_ISYM_IACHAR, |
543 | GFC_ISYM_IALL, |
544 | GFC_ISYM_IAND, |
545 | GFC_ISYM_IANY, |
546 | GFC_ISYM_IARGC, |
547 | GFC_ISYM_IBCLR, |
548 | GFC_ISYM_IBITS, |
549 | GFC_ISYM_IBSET, |
550 | GFC_ISYM_ICHAR, |
551 | GFC_ISYM_IDATE, |
552 | GFC_ISYM_IEOR, |
553 | GFC_ISYM_IERRNO, |
554 | GFC_ISYM_IMAGE_INDEX, |
555 | GFC_ISYM_IMAGE_STATUS, |
556 | GFC_ISYM_INDEX, |
557 | GFC_ISYM_INT, |
558 | GFC_ISYM_INT2, |
559 | GFC_ISYM_INT8, |
560 | GFC_ISYM_IOR, |
561 | GFC_ISYM_IPARITY, |
562 | GFC_ISYM_IRAND, |
563 | GFC_ISYM_ISATTY, |
564 | GFC_ISYM_IS_CONTIGUOUS, |
565 | GFC_ISYM_IS_IOSTAT_END, |
566 | GFC_ISYM_IS_IOSTAT_EOR, |
567 | GFC_ISYM_ISNAN, |
568 | GFC_ISYM_ISHFT, |
569 | GFC_ISYM_ISHFTC, |
570 | GFC_ISYM_ITIME, |
571 | GFC_ISYM_J0, |
572 | GFC_ISYM_J1, |
573 | GFC_ISYM_JN, |
574 | GFC_ISYM_JN2, |
575 | GFC_ISYM_KILL, |
576 | GFC_ISYM_KIND, |
577 | GFC_ISYM_LBOUND, |
578 | GFC_ISYM_LCOBOUND, |
579 | GFC_ISYM_LEADZ, |
580 | GFC_ISYM_LEN, |
581 | GFC_ISYM_LEN_TRIM, |
582 | GFC_ISYM_LGAMMA, |
583 | GFC_ISYM_LGE, |
584 | GFC_ISYM_LGT, |
585 | GFC_ISYM_LINK, |
586 | GFC_ISYM_LLE, |
587 | GFC_ISYM_LLT, |
588 | GFC_ISYM_LOC, |
589 | GFC_ISYM_LOG, |
590 | GFC_ISYM_LOG10, |
591 | GFC_ISYM_LOGICAL, |
592 | GFC_ISYM_LONG, |
593 | GFC_ISYM_LSHIFT, |
594 | GFC_ISYM_LSTAT, |
595 | GFC_ISYM_LTIME, |
596 | GFC_ISYM_MALLOC, |
597 | GFC_ISYM_MASKL, |
598 | GFC_ISYM_MASKR, |
599 | GFC_ISYM_MATMUL, |
600 | GFC_ISYM_MAX, |
601 | GFC_ISYM_MAXEXPONENT, |
602 | GFC_ISYM_MAXLOC, |
603 | GFC_ISYM_MAXVAL, |
604 | GFC_ISYM_MCLOCK, |
605 | GFC_ISYM_MCLOCK8, |
606 | GFC_ISYM_MERGE, |
607 | GFC_ISYM_MERGE_BITS, |
608 | GFC_ISYM_MIN, |
609 | GFC_ISYM_MINEXPONENT, |
610 | GFC_ISYM_MINLOC, |
611 | GFC_ISYM_MINVAL, |
612 | GFC_ISYM_MOD, |
613 | GFC_ISYM_MODULO, |
614 | GFC_ISYM_MOVE_ALLOC, |
615 | GFC_ISYM_MVBITS, |
616 | GFC_ISYM_NEAREST, |
617 | GFC_ISYM_NEW_LINE, |
618 | GFC_ISYM_NINT, |
619 | GFC_ISYM_NORM2, |
620 | GFC_ISYM_NOT, |
621 | GFC_ISYM_NULL, |
622 | GFC_ISYM_NUM_IMAGES, |
623 | GFC_ISYM_OR, |
624 | GFC_ISYM_PACK, |
625 | GFC_ISYM_PARITY, |
626 | GFC_ISYM_PERROR, |
627 | GFC_ISYM_POPCNT, |
628 | GFC_ISYM_POPPAR, |
629 | GFC_ISYM_PRECISION, |
630 | GFC_ISYM_PRESENT, |
631 | GFC_ISYM_PRODUCT, |
632 | GFC_ISYM_RADIX, |
633 | GFC_ISYM_RAND, |
634 | GFC_ISYM_RANDOM_INIT, |
635 | GFC_ISYM_RANDOM_NUMBER, |
636 | GFC_ISYM_RANDOM_SEED, |
637 | GFC_ISYM_RANGE, |
638 | GFC_ISYM_RANK, |
639 | GFC_ISYM_REAL, |
640 | GFC_ISYM_REALPART, |
641 | GFC_ISYM_RENAME, |
642 | GFC_ISYM_REPEAT, |
643 | GFC_ISYM_RESHAPE, |
644 | GFC_ISYM_RRSPACING, |
645 | GFC_ISYM_RSHIFT, |
646 | GFC_ISYM_SAME_TYPE_AS, |
647 | GFC_ISYM_SC_KIND, |
648 | GFC_ISYM_SCALE, |
649 | GFC_ISYM_SCAN, |
650 | GFC_ISYM_SECNDS, |
651 | GFC_ISYM_SECOND, |
652 | GFC_ISYM_SET_EXPONENT, |
653 | GFC_ISYM_SHAPE, |
654 | GFC_ISYM_SHIFTA, |
655 | GFC_ISYM_SHIFTL, |
656 | GFC_ISYM_SHIFTR, |
657 | GFC_ISYM_BACKTRACE, |
658 | GFC_ISYM_SIGN, |
659 | GFC_ISYM_SIGNAL, |
660 | GFC_ISYM_SI_KIND, |
661 | GFC_ISYM_SIN, |
662 | GFC_ISYM_SIND, |
663 | GFC_ISYM_SINH, |
664 | GFC_ISYM_SIZE, |
665 | GFC_ISYM_SLEEP, |
666 | GFC_ISYM_SIZEOF, |
667 | GFC_ISYM_SNGL, |
668 | GFC_ISYM_SPACING, |
669 | GFC_ISYM_SPREAD, |
670 | GFC_ISYM_SQRT, |
671 | GFC_ISYM_SRAND, |
672 | GFC_ISYM_SR_KIND, |
673 | GFC_ISYM_STAT, |
674 | GFC_ISYM_STOPPED_IMAGES, |
675 | GFC_ISYM_STORAGE_SIZE, |
676 | GFC_ISYM_STRIDE, |
677 | GFC_ISYM_SUM, |
678 | GFC_ISYM_SYMLINK, |
679 | GFC_ISYM_SYMLNK, |
680 | GFC_ISYM_SYSTEM, |
681 | GFC_ISYM_SYSTEM_CLOCK, |
682 | GFC_ISYM_TAN, |
683 | GFC_ISYM_TAND, |
684 | GFC_ISYM_TANH, |
685 | GFC_ISYM_TEAM_NUMBER, |
686 | GFC_ISYM_THIS_IMAGE, |
687 | GFC_ISYM_TIME, |
688 | GFC_ISYM_TIME8, |
689 | GFC_ISYM_TINY, |
690 | GFC_ISYM_TRAILZ, |
691 | GFC_ISYM_TRANSFER, |
692 | GFC_ISYM_TRANSPOSE, |
693 | GFC_ISYM_TRIM, |
694 | GFC_ISYM_TTYNAM, |
695 | GFC_ISYM_UBOUND, |
696 | GFC_ISYM_UCOBOUND, |
697 | GFC_ISYM_UMASK, |
698 | GFC_ISYM_UNLINK, |
699 | GFC_ISYM_UNPACK, |
700 | GFC_ISYM_VERIFY, |
701 | GFC_ISYM_XOR, |
702 | GFC_ISYM_Y0, |
703 | GFC_ISYM_Y1, |
704 | GFC_ISYM_YN, |
705 | GFC_ISYM_YN2 |
706 | }; |
707 | |
708 | enum init_local_logical |
709 | { |
710 | GFC_INIT_LOGICAL_OFF = 0, |
711 | GFC_INIT_LOGICAL_FALSE, |
712 | GFC_INIT_LOGICAL_TRUE |
713 | }; |
714 | |
715 | enum init_local_character |
716 | { |
717 | GFC_INIT_CHARACTER_OFF = 0, |
718 | GFC_INIT_CHARACTER_ON |
719 | }; |
720 | |
721 | enum init_local_integer |
722 | { |
723 | GFC_INIT_INTEGER_OFF = 0, |
724 | GFC_INIT_INTEGER_ON |
725 | }; |
726 | |
727 | enum gfc_reverse |
728 | { |
729 | GFC_ENABLE_REVERSE, |
730 | GFC_FORWARD_SET, |
731 | GFC_REVERSE_SET, |
732 | GFC_INHIBIT_REVERSE |
733 | }; |
734 | |
735 | enum gfc_param_spec_type |
736 | { |
737 | SPEC_EXPLICIT, |
738 | SPEC_ASSUMED, |
739 | SPEC_DEFERRED |
740 | }; |
741 | |
742 | /************************* Structures *****************************/ |
743 | |
744 | /* Used for keeping things in balanced binary trees. */ |
745 | #define (self) int priority; struct self *left, *right |
746 | |
747 | #define NAMED_INTCST(a,b,c,d) a, |
748 | #define NAMED_KINDARRAY(a,b,c,d) a, |
749 | #define NAMED_FUNCTION(a,b,c,d) a, |
750 | #define NAMED_SUBROUTINE(a,b,c,d) a, |
751 | #define NAMED_DERIVED_TYPE(a,b,c,d) a, |
752 | enum iso_fortran_env_symbol |
753 | { |
754 | ISOFORTRANENV_INVALID = -1, |
755 | #include "iso-fortran-env.def" |
756 | ISOFORTRANENV_LAST, ISOFORTRANENV_NUMBER = ISOFORTRANENV_LAST |
757 | }; |
758 | #undef NAMED_INTCST |
759 | #undef NAMED_KINDARRAY |
760 | #undef NAMED_FUNCTION |
761 | #undef NAMED_SUBROUTINE |
762 | #undef NAMED_DERIVED_TYPE |
763 | |
764 | #define NAMED_INTCST(a,b,c,d) a, |
765 | #define NAMED_REALCST(a,b,c,d) a, |
766 | #define NAMED_CMPXCST(a,b,c,d) a, |
767 | #define NAMED_LOGCST(a,b,c) a, |
768 | #define NAMED_CHARKNDCST(a,b,c) a, |
769 | #define NAMED_CHARCST(a,b,c) a, |
770 | #define DERIVED_TYPE(a,b,c) a, |
771 | #define NAMED_FUNCTION(a,b,c,d) a, |
772 | #define NAMED_SUBROUTINE(a,b,c,d) a, |
773 | enum iso_c_binding_symbol |
774 | { |
775 | ISOCBINDING_INVALID = -1, |
776 | #include "iso-c-binding.def" |
777 | ISOCBINDING_LAST, |
778 | ISOCBINDING_NUMBER = ISOCBINDING_LAST |
779 | }; |
780 | #undef NAMED_INTCST |
781 | #undef NAMED_REALCST |
782 | #undef NAMED_CMPXCST |
783 | #undef NAMED_LOGCST |
784 | #undef NAMED_CHARKNDCST |
785 | #undef NAMED_CHARCST |
786 | #undef DERIVED_TYPE |
787 | #undef NAMED_FUNCTION |
788 | #undef NAMED_SUBROUTINE |
789 | |
790 | enum intmod_id |
791 | { |
792 | INTMOD_NONE = 0, INTMOD_ISO_FORTRAN_ENV, INTMOD_ISO_C_BINDING, |
793 | INTMOD_IEEE_FEATURES, INTMOD_IEEE_EXCEPTIONS, INTMOD_IEEE_ARITHMETIC |
794 | }; |
795 | |
796 | typedef struct |
797 | { |
798 | char name[GFC_MAX_SYMBOL_LEN + 1]; |
799 | int value; /* Used for both integer and character values. */ |
800 | bt f90_type; |
801 | } |
802 | CInteropKind_t; |
803 | |
804 | /* Array of structs, where the structs represent the C interop kinds. |
805 | The list will be implemented based on a hash of the kind name since |
806 | these could be accessed multiple times. |
807 | Declared in trans-types.cc as a global, since it's in that file |
808 | that the list is initialized. */ |
809 | extern CInteropKind_t c_interop_kinds_table[]; |
810 | |
811 | enum gfc_omp_device_type |
812 | { |
813 | OMP_DEVICE_TYPE_UNSET, |
814 | OMP_DEVICE_TYPE_HOST, |
815 | OMP_DEVICE_TYPE_NOHOST, |
816 | OMP_DEVICE_TYPE_ANY |
817 | }; |
818 | |
819 | enum gfc_omp_severity_type |
820 | { |
821 | OMP_SEVERITY_UNSET, |
822 | OMP_SEVERITY_WARNING, |
823 | OMP_SEVERITY_FATAL |
824 | }; |
825 | |
826 | enum gfc_omp_at_type |
827 | { |
828 | OMP_AT_UNSET, |
829 | OMP_AT_COMPILATION, |
830 | OMP_AT_EXECUTION |
831 | }; |
832 | |
833 | /* Structure and list of supported extension attributes. */ |
834 | typedef enum |
835 | { |
836 | EXT_ATTR_DLLIMPORT = 0, |
837 | EXT_ATTR_DLLEXPORT, |
838 | EXT_ATTR_STDCALL, |
839 | EXT_ATTR_CDECL, |
840 | EXT_ATTR_FASTCALL, |
841 | EXT_ATTR_NO_ARG_CHECK, |
842 | EXT_ATTR_DEPRECATED, |
843 | EXT_ATTR_NOINLINE, |
844 | EXT_ATTR_NORETURN, |
845 | EXT_ATTR_WEAK, |
846 | EXT_ATTR_LAST, EXT_ATTR_NUM = EXT_ATTR_LAST |
847 | } |
848 | ext_attr_id_t; |
849 | |
850 | typedef struct |
851 | { |
852 | const char *name; |
853 | unsigned id; |
854 | const char *middle_end_name; |
855 | } |
856 | ext_attr_t; |
857 | |
858 | extern const ext_attr_t ext_attr_list[]; |
859 | |
860 | /* Symbol attribute structure. */ |
861 | typedef struct |
862 | { |
863 | /* Variable attributes. */ |
864 | unsigned allocatable:1, dimension:1, codimension:1, external:1, intrinsic:1, |
865 | optional:1, pointer:1, target:1, value:1, volatile_:1, temporary:1, |
866 | dummy:1, result:1, assign:1, threadprivate:1, not_always_present:1, |
867 | implied_index:1, subref_array_pointer:1, proc_pointer:1, asynchronous:1, |
868 | contiguous:1, fe_temp: 1, automatic: 1; |
869 | |
870 | /* For CLASS containers, the pointer attribute is sometimes set internally |
871 | even though it was not directly specified. In this case, keep the |
872 | "real" (original) value here. */ |
873 | unsigned class_pointer:1; |
874 | |
875 | ENUM_BITFIELD (save_state) save:2; |
876 | |
877 | unsigned data:1, /* Symbol is named in a DATA statement. */ |
878 | is_protected:1, /* Symbol has been marked as protected. */ |
879 | use_assoc:1, /* Symbol has been use-associated. */ |
880 | used_in_submodule:1, /* Symbol has been use-associated in a |
881 | submodule. Needed since these entities must |
882 | be set host associated to be compliant. */ |
883 | use_only:1, /* Symbol has been use-associated, with ONLY. */ |
884 | use_rename:1, /* Symbol has been use-associated and renamed. */ |
885 | imported:1, /* Symbol has been associated by IMPORT. */ |
886 | host_assoc:1; /* Symbol has been host associated. */ |
887 | |
888 | unsigned in_namelist:1, in_common:1, in_equivalence:1; |
889 | unsigned function:1, subroutine:1, procedure:1; |
890 | unsigned generic:1, generic_copy:1; |
891 | unsigned implicit_type:1; /* Type defined via implicit rules. */ |
892 | unsigned untyped:1; /* No implicit type could be found. */ |
893 | |
894 | unsigned is_bind_c:1; /* say if is bound to C. */ |
895 | unsigned extension:8; /* extension level of a derived type. */ |
896 | unsigned is_class:1; /* is a CLASS container. */ |
897 | unsigned class_ok:1; /* is a CLASS object with correct attributes. */ |
898 | unsigned vtab:1; /* is a derived type vtab, pointed to by CLASS objects. */ |
899 | unsigned vtype:1; /* is a derived type of a vtab. */ |
900 | |
901 | /* These flags are both in the typespec and attribute. The attribute |
902 | list is what gets read from/written to a module file. The typespec |
903 | is created from a decl being processed. */ |
904 | unsigned is_c_interop:1; /* It's c interoperable. */ |
905 | unsigned is_iso_c:1; /* Symbol is from iso_c_binding. */ |
906 | |
907 | /* Function/subroutine attributes */ |
908 | unsigned sequence:1, elemental:1, pure:1, recursive:1; |
909 | unsigned unmaskable:1, masked:1, contained:1, mod_proc:1, abstract:1; |
910 | |
911 | /* Set if this is a module function or subroutine. Note that it is an |
912 | attribute because it appears as a prefix in the declaration like |
913 | PURE, etc.. */ |
914 | unsigned module_procedure:1; |
915 | |
916 | /* Set if a (public) symbol [e.g. generic name] exposes this symbol, |
917 | which is relevant for private module procedures. */ |
918 | unsigned public_used:1; |
919 | |
920 | /* This is set if a contained procedure could be declared pure. This is |
921 | used for certain optimizations that require the result or arguments |
922 | cannot alias. Note that this is zero for PURE procedures. */ |
923 | unsigned implicit_pure:1; |
924 | |
925 | /* This is set for a procedure that contains expressions referencing |
926 | arrays coming from outside its namespace. |
927 | This is used to force the creation of a temporary when the LHS of |
928 | an array assignment may be used by an elemental procedure appearing |
929 | on the RHS. */ |
930 | unsigned array_outer_dependency:1; |
931 | |
932 | /* This is set if the subroutine doesn't return. Currently, this |
933 | is only possible for intrinsic subroutines. */ |
934 | unsigned noreturn:1; |
935 | |
936 | /* Set if this procedure is an alternate entry point. These procedures |
937 | don't have any code associated, and the backend will turn them into |
938 | thunks to the master function. */ |
939 | unsigned entry:1; |
940 | |
941 | /* Set if this is the master function for a procedure with multiple |
942 | entry points. */ |
943 | unsigned entry_master:1; |
944 | |
945 | /* Set if this is the master function for a function with multiple |
946 | entry points where characteristics of the entry points differ. */ |
947 | unsigned mixed_entry_master:1; |
948 | |
949 | /* Set if a function must always be referenced by an explicit interface. */ |
950 | unsigned always_explicit:1; |
951 | |
952 | /* Set if the symbol is generated and, hence, standard violations |
953 | shouldn't be flaged. */ |
954 | unsigned artificial:1; |
955 | |
956 | /* Set if the symbol has been referenced in an expression. No further |
957 | modification of type or type parameters is permitted. */ |
958 | unsigned referenced:1; |
959 | |
960 | /* Set if this is the symbol for the main program. */ |
961 | unsigned is_main_program:1; |
962 | |
963 | /* Mutually exclusive multibit attributes. */ |
964 | ENUM_BITFIELD (gfc_access) access:2; |
965 | ENUM_BITFIELD (sym_intent) intent:2; |
966 | ENUM_BITFIELD (sym_flavor) flavor:4; |
967 | ENUM_BITFIELD (ifsrc) if_source:2; |
968 | |
969 | ENUM_BITFIELD (procedure_type) proc:3; |
970 | |
971 | /* Special attributes for Cray pointers, pointees. */ |
972 | unsigned cray_pointer:1, cray_pointee:1; |
973 | |
974 | /* The symbol is a derived type with allocatable components, pointer |
975 | components or private components, procedure pointer components, |
976 | possibly nested. zero_comp is true if the derived type has no |
977 | component at all. defined_assign_comp is true if the derived |
978 | type or a (sub-)component has a typebound defined assignment. |
979 | unlimited_polymorphic flags the type of the container for these |
980 | entities. */ |
981 | unsigned alloc_comp:1, pointer_comp:1, proc_pointer_comp:1, |
982 | private_comp:1, zero_comp:1, coarray_comp:1, lock_comp:1, |
983 | event_comp:1, defined_assign_comp:1, unlimited_polymorphic:1, |
984 | has_dtio_procs:1, caf_token:1; |
985 | |
986 | /* This is a temporary selector for SELECT TYPE/RANK or an associate |
987 | variable for SELECT TYPE/RANK or ASSOCIATE. */ |
988 | unsigned select_type_temporary:1, select_rank_temporary:1, associate_var:1; |
989 | |
990 | /* These are the attributes required for parameterized derived |
991 | types. */ |
992 | unsigned pdt_kind:1, pdt_len:1, pdt_type:1, pdt_template:1, |
993 | pdt_array:1, pdt_string:1; |
994 | |
995 | /* This is omp_{out,in,priv,orig} artificial variable in |
996 | !$OMP DECLARE REDUCTION. */ |
997 | unsigned omp_udr_artificial_var:1; |
998 | |
999 | /* Mentioned in OMP DECLARE TARGET. */ |
1000 | unsigned omp_declare_target:1; |
1001 | unsigned omp_declare_target_link:1; |
1002 | ENUM_BITFIELD (gfc_omp_device_type) omp_device_type:2; |
1003 | unsigned omp_allocate:1; |
1004 | |
1005 | /* Mentioned in OACC DECLARE. */ |
1006 | unsigned oacc_declare_create:1; |
1007 | unsigned oacc_declare_copyin:1; |
1008 | unsigned oacc_declare_deviceptr:1; |
1009 | unsigned oacc_declare_device_resident:1; |
1010 | unsigned oacc_declare_link:1; |
1011 | |
1012 | /* OpenACC 'routine' directive's level of parallelism. */ |
1013 | ENUM_BITFIELD (oacc_routine_lop) oacc_routine_lop:3; |
1014 | unsigned oacc_routine_nohost:1; |
1015 | |
1016 | /* Attributes set by compiler extensions (!GCC$ ATTRIBUTES). */ |
1017 | unsigned ext_attr:EXT_ATTR_NUM; |
1018 | |
1019 | /* The namespace where the attribute has been set. */ |
1020 | struct gfc_namespace *volatile_ns, *asynchronous_ns; |
1021 | } |
1022 | symbol_attribute; |
1023 | |
1024 | |
1025 | /* We need to store source lines as sequences of multibyte source |
1026 | characters. We define here a type wide enough to hold any multibyte |
1027 | source character, just like libcpp does. A 32-bit type is enough. */ |
1028 | |
1029 | #if HOST_BITS_PER_INT >= 32 |
1030 | typedef unsigned int gfc_char_t; |
1031 | #elif HOST_BITS_PER_LONG >= 32 |
1032 | typedef unsigned long gfc_char_t; |
1033 | #elif defined(HAVE_LONG_LONG) && (HOST_BITS_PER_LONGLONG >= 32) |
1034 | typedef unsigned long long gfc_char_t; |
1035 | #else |
1036 | # error "Cannot find an integer type with at least 32 bits" |
1037 | #endif |
1038 | |
1039 | |
1040 | /* The following three structures are used to identify a location in |
1041 | the sources. |
1042 | |
1043 | gfc_file is used to maintain a tree of the source files and how |
1044 | they include each other |
1045 | |
1046 | gfc_linebuf holds a single line of source code and information |
1047 | which file it resides in |
1048 | |
1049 | locus point to the sourceline and the character in the source |
1050 | line. |
1051 | */ |
1052 | |
1053 | typedef struct gfc_file |
1054 | { |
1055 | struct gfc_file *next, *up; |
1056 | int inclusion_line, line; |
1057 | char *filename; |
1058 | } gfc_file; |
1059 | |
1060 | typedef struct gfc_linebuf |
1061 | { |
1062 | location_t location; |
1063 | struct gfc_file *file; |
1064 | struct gfc_linebuf *next; |
1065 | |
1066 | int truncated; |
1067 | bool dbg_emitted; |
1068 | |
1069 | gfc_char_t line[1]; |
1070 | } gfc_linebuf; |
1071 | |
1072 | #define (offsetof (gfc_linebuf, line)) |
1073 | |
1074 | #define gfc_linebuf_linenum(LBUF) (LOCATION_LINE ((LBUF)->location)) |
1075 | |
1076 | typedef struct |
1077 | { |
1078 | gfc_char_t *nextc; |
1079 | gfc_linebuf *lb; |
1080 | } locus; |
1081 | |
1082 | /* In order for the "gfc" format checking to work correctly, you must |
1083 | have declared a typedef locus first. */ |
1084 | #if GCC_VERSION >= 4001 |
1085 | #define ATTRIBUTE_GCC_GFC(m, n) __attribute__ ((__format__ (__gcc_gfc__, m, n))) ATTRIBUTE_NONNULL(m) |
1086 | #else |
1087 | #define ATTRIBUTE_GCC_GFC(m, n) ATTRIBUTE_NONNULL(m) |
1088 | #endif |
1089 | |
1090 | |
1091 | /* Suppress error messages or re-enable them. */ |
1092 | |
1093 | void gfc_push_suppress_errors (void); |
1094 | void gfc_pop_suppress_errors (void); |
1095 | bool gfc_query_suppress_errors (void); |
1096 | |
1097 | |
1098 | /* Character length structures hold the expression that gives the |
1099 | length of a character variable. We avoid putting these into |
1100 | gfc_typespec because doing so prevents us from doing structure |
1101 | copies and forces us to deallocate any typespecs we create, as well |
1102 | as structures that contain typespecs. They also can have multiple |
1103 | character typespecs pointing to them. |
1104 | |
1105 | These structures form a singly linked list within the current |
1106 | namespace and are deallocated with the namespace. It is possible to |
1107 | end up with gfc_charlen structures that have nothing pointing to them. */ |
1108 | |
1109 | typedef struct gfc_charlen |
1110 | { |
1111 | struct gfc_expr *length; |
1112 | struct gfc_charlen *next; |
1113 | bool length_from_typespec; /* Length from explicit array ctor typespec? */ |
1114 | tree backend_decl; |
1115 | tree passed_length; /* Length argument explicitly passed. */ |
1116 | |
1117 | int resolved; |
1118 | } |
1119 | gfc_charlen; |
1120 | |
1121 | #define gfc_get_charlen() XCNEW (gfc_charlen) |
1122 | |
1123 | /* Type specification structure. */ |
1124 | typedef struct |
1125 | { |
1126 | bt type; |
1127 | int kind; |
1128 | |
1129 | union |
1130 | { |
1131 | struct gfc_symbol *derived; /* For derived types only. */ |
1132 | gfc_charlen *cl; /* For character types only. */ |
1133 | int pad; /* For hollerith types only. */ |
1134 | } |
1135 | u; |
1136 | |
1137 | struct gfc_symbol *interface; /* For PROCEDURE declarations. */ |
1138 | int is_c_interop; |
1139 | int is_iso_c; |
1140 | bt f90_type; |
1141 | bool deferred; |
1142 | gfc_symbol *interop_kind; |
1143 | } |
1144 | gfc_typespec; |
1145 | |
1146 | /* Array specification. */ |
1147 | typedef struct |
1148 | { |
1149 | int rank; /* A scalar has a rank of 0, an assumed-rank array has -1. */ |
1150 | int corank; |
1151 | array_type type, cotype; |
1152 | struct gfc_expr *lower[GFC_MAX_DIMENSIONS], *upper[GFC_MAX_DIMENSIONS]; |
1153 | |
1154 | /* These two fields are used with the Cray Pointer extension. */ |
1155 | bool cray_pointee; /* True iff this spec belongs to a cray pointee. */ |
1156 | bool cp_was_assumed; /* AS_ASSUMED_SIZE cp arrays are converted to |
1157 | AS_EXPLICIT, but we want to remember that we |
1158 | did this. */ |
1159 | |
1160 | bool resolved; |
1161 | } |
1162 | gfc_array_spec; |
1163 | |
1164 | #define gfc_get_array_spec() XCNEW (gfc_array_spec) |
1165 | |
1166 | |
1167 | /* Components of derived types. */ |
1168 | typedef struct gfc_component |
1169 | { |
1170 | const char *name; |
1171 | gfc_typespec ts; |
1172 | |
1173 | symbol_attribute attr; |
1174 | gfc_array_spec *as; |
1175 | |
1176 | tree backend_decl; |
1177 | /* Used to cache a FIELD_DECL matching this same component |
1178 | but applied to a different backend containing type that was |
1179 | generated by gfc_nonrestricted_type. */ |
1180 | tree norestrict_decl; |
1181 | locus loc; |
1182 | struct gfc_expr *initializer; |
1183 | /* Used in parameterized derived type declarations to store parameterized |
1184 | kind expressions. */ |
1185 | struct gfc_expr *kind_expr; |
1186 | struct gfc_actual_arglist *param_list; |
1187 | |
1188 | struct gfc_component *next; |
1189 | |
1190 | /* Needed for procedure pointer components. */ |
1191 | struct gfc_typebound_proc *tb; |
1192 | /* When allocatable/pointer and in a coarray the associated token. */ |
1193 | tree caf_token; |
1194 | } |
1195 | gfc_component; |
1196 | |
1197 | #define gfc_get_component() XCNEW (gfc_component) |
1198 | |
1199 | /* Formal argument lists are lists of symbols. */ |
1200 | typedef struct gfc_formal_arglist |
1201 | { |
1202 | /* Symbol representing the argument at this position in the arglist. */ |
1203 | struct gfc_symbol *sym; |
1204 | /* Points to the next formal argument. */ |
1205 | struct gfc_formal_arglist *next; |
1206 | } |
1207 | gfc_formal_arglist; |
1208 | |
1209 | #define gfc_get_formal_arglist() XCNEW (gfc_formal_arglist) |
1210 | |
1211 | |
1212 | struct gfc_dummy_arg; |
1213 | |
1214 | |
1215 | /* The gfc_actual_arglist structure is for actual arguments and |
1216 | for type parameter specification lists. */ |
1217 | typedef struct gfc_actual_arglist |
1218 | { |
1219 | const char *name; |
1220 | /* Alternate return label when the expr member is null. */ |
1221 | struct gfc_st_label *label; |
1222 | |
1223 | gfc_param_spec_type spec_type; |
1224 | |
1225 | struct gfc_expr *expr; |
1226 | |
1227 | /* The dummy arg this actual arg is associated with, if the interface |
1228 | is explicit. NULL otherwise. */ |
1229 | gfc_dummy_arg *associated_dummy; |
1230 | |
1231 | struct gfc_actual_arglist *next; |
1232 | } |
1233 | gfc_actual_arglist; |
1234 | |
1235 | #define gfc_get_actual_arglist() XCNEW (gfc_actual_arglist) |
1236 | |
1237 | |
1238 | /* Because a symbol can belong to multiple namelists, they must be |
1239 | linked externally to the symbol itself. */ |
1240 | typedef struct gfc_namelist |
1241 | { |
1242 | struct gfc_symbol *sym; |
1243 | struct gfc_namelist *next; |
1244 | } |
1245 | gfc_namelist; |
1246 | |
1247 | #define gfc_get_namelist() XCNEW (gfc_namelist) |
1248 | |
1249 | /* Likewise to gfc_namelist, but contains expressions. */ |
1250 | typedef struct gfc_expr_list |
1251 | { |
1252 | struct gfc_expr *expr; |
1253 | struct gfc_expr_list *next; |
1254 | } |
1255 | gfc_expr_list; |
1256 | |
1257 | #define gfc_get_expr_list() XCNEW (gfc_expr_list) |
1258 | |
1259 | enum gfc_omp_reduction_op |
1260 | { |
1261 | OMP_REDUCTION_NONE = -1, |
1262 | OMP_REDUCTION_PLUS = INTRINSIC_PLUS, |
1263 | OMP_REDUCTION_MINUS = INTRINSIC_MINUS, |
1264 | OMP_REDUCTION_TIMES = INTRINSIC_TIMES, |
1265 | OMP_REDUCTION_AND = INTRINSIC_AND, |
1266 | OMP_REDUCTION_OR = INTRINSIC_OR, |
1267 | OMP_REDUCTION_EQV = INTRINSIC_EQV, |
1268 | OMP_REDUCTION_NEQV = INTRINSIC_NEQV, |
1269 | OMP_REDUCTION_MAX = GFC_INTRINSIC_END, |
1270 | OMP_REDUCTION_MIN, |
1271 | OMP_REDUCTION_IAND, |
1272 | OMP_REDUCTION_IOR, |
1273 | OMP_REDUCTION_IEOR, |
1274 | OMP_REDUCTION_USER |
1275 | }; |
1276 | |
1277 | enum gfc_omp_depend_doacross_op |
1278 | { |
1279 | OMP_DEPEND_UNSET, |
1280 | OMP_DEPEND_IN, |
1281 | OMP_DEPEND_OUT, |
1282 | OMP_DEPEND_INOUT, |
1283 | OMP_DEPEND_INOUTSET, |
1284 | OMP_DEPEND_MUTEXINOUTSET, |
1285 | OMP_DEPEND_DEPOBJ, |
1286 | OMP_DEPEND_SINK_FIRST, |
1287 | OMP_DOACROSS_SINK_FIRST, |
1288 | OMP_DOACROSS_SINK |
1289 | }; |
1290 | |
1291 | enum gfc_omp_map_op |
1292 | { |
1293 | OMP_MAP_ALLOC, |
1294 | OMP_MAP_IF_PRESENT, |
1295 | OMP_MAP_ATTACH, |
1296 | OMP_MAP_TO, |
1297 | OMP_MAP_FROM, |
1298 | OMP_MAP_TOFROM, |
1299 | OMP_MAP_DELETE, |
1300 | OMP_MAP_DETACH, |
1301 | OMP_MAP_FORCE_ALLOC, |
1302 | OMP_MAP_FORCE_TO, |
1303 | OMP_MAP_FORCE_FROM, |
1304 | OMP_MAP_FORCE_TOFROM, |
1305 | OMP_MAP_FORCE_PRESENT, |
1306 | OMP_MAP_FORCE_DEVICEPTR, |
1307 | OMP_MAP_DEVICE_RESIDENT, |
1308 | OMP_MAP_LINK, |
1309 | OMP_MAP_RELEASE, |
1310 | OMP_MAP_ALWAYS_TO, |
1311 | OMP_MAP_ALWAYS_FROM, |
1312 | OMP_MAP_ALWAYS_TOFROM, |
1313 | OMP_MAP_PRESENT_ALLOC, |
1314 | OMP_MAP_PRESENT_TO, |
1315 | OMP_MAP_PRESENT_FROM, |
1316 | OMP_MAP_PRESENT_TOFROM, |
1317 | OMP_MAP_ALWAYS_PRESENT_TO, |
1318 | OMP_MAP_ALWAYS_PRESENT_FROM, |
1319 | OMP_MAP_ALWAYS_PRESENT_TOFROM |
1320 | }; |
1321 | |
1322 | enum gfc_omp_defaultmap |
1323 | { |
1324 | OMP_DEFAULTMAP_UNSET, |
1325 | OMP_DEFAULTMAP_ALLOC, |
1326 | OMP_DEFAULTMAP_TO, |
1327 | OMP_DEFAULTMAP_FROM, |
1328 | OMP_DEFAULTMAP_TOFROM, |
1329 | OMP_DEFAULTMAP_FIRSTPRIVATE, |
1330 | OMP_DEFAULTMAP_NONE, |
1331 | OMP_DEFAULTMAP_DEFAULT, |
1332 | OMP_DEFAULTMAP_PRESENT |
1333 | }; |
1334 | |
1335 | enum gfc_omp_defaultmap_category |
1336 | { |
1337 | OMP_DEFAULTMAP_CAT_UNCATEGORIZED, |
1338 | OMP_DEFAULTMAP_CAT_ALL, |
1339 | OMP_DEFAULTMAP_CAT_SCALAR, |
1340 | OMP_DEFAULTMAP_CAT_AGGREGATE, |
1341 | OMP_DEFAULTMAP_CAT_ALLOCATABLE, |
1342 | OMP_DEFAULTMAP_CAT_POINTER, |
1343 | OMP_DEFAULTMAP_CAT_NUM |
1344 | }; |
1345 | |
1346 | enum gfc_omp_linear_op |
1347 | { |
1348 | OMP_LINEAR_DEFAULT, |
1349 | OMP_LINEAR_REF, |
1350 | OMP_LINEAR_VAL, |
1351 | OMP_LINEAR_UVAL |
1352 | }; |
1353 | |
1354 | /* For use in OpenMP clauses in case we need extra information |
1355 | (aligned clause alignment, linear clause step, etc.). */ |
1356 | |
1357 | typedef struct gfc_omp_namelist |
1358 | { |
1359 | struct gfc_symbol *sym; |
1360 | struct gfc_expr *expr; |
1361 | union |
1362 | { |
1363 | gfc_omp_reduction_op reduction_op; |
1364 | gfc_omp_depend_doacross_op depend_doacross_op; |
1365 | gfc_omp_map_op map_op; |
1366 | gfc_expr *align; |
1367 | struct |
1368 | { |
1369 | ENUM_BITFIELD (gfc_omp_linear_op) op:4; |
1370 | bool old_modifier; |
1371 | } linear; |
1372 | struct gfc_common_head *common; |
1373 | struct gfc_symbol *memspace_sym; |
1374 | bool lastprivate_conditional; |
1375 | bool present_modifier; |
1376 | } u; |
1377 | union |
1378 | { |
1379 | struct gfc_omp_namelist_udr *udr; |
1380 | gfc_namespace *ns; |
1381 | gfc_expr *allocator; |
1382 | struct gfc_symbol *traits_sym; |
1383 | } u2; |
1384 | struct gfc_omp_namelist *next; |
1385 | locus where; |
1386 | } |
1387 | gfc_omp_namelist; |
1388 | |
1389 | #define gfc_get_omp_namelist() XCNEW (gfc_omp_namelist) |
1390 | |
1391 | enum |
1392 | { |
1393 | OMP_LIST_FIRST, |
1394 | OMP_LIST_PRIVATE = OMP_LIST_FIRST, |
1395 | OMP_LIST_FIRSTPRIVATE, |
1396 | OMP_LIST_LASTPRIVATE, |
1397 | OMP_LIST_COPYPRIVATE, |
1398 | OMP_LIST_SHARED, |
1399 | OMP_LIST_COPYIN, |
1400 | OMP_LIST_UNIFORM, |
1401 | OMP_LIST_AFFINITY, |
1402 | OMP_LIST_ALIGNED, |
1403 | OMP_LIST_LINEAR, |
1404 | OMP_LIST_DEPEND, |
1405 | OMP_LIST_MAP, |
1406 | OMP_LIST_TO, |
1407 | OMP_LIST_FROM, |
1408 | OMP_LIST_SCAN_IN, |
1409 | OMP_LIST_SCAN_EX, |
1410 | OMP_LIST_REDUCTION, |
1411 | OMP_LIST_REDUCTION_INSCAN, |
1412 | OMP_LIST_REDUCTION_TASK, |
1413 | OMP_LIST_IN_REDUCTION, |
1414 | OMP_LIST_TASK_REDUCTION, |
1415 | OMP_LIST_DEVICE_RESIDENT, |
1416 | OMP_LIST_LINK, |
1417 | OMP_LIST_USE_DEVICE, |
1418 | OMP_LIST_CACHE, |
1419 | OMP_LIST_IS_DEVICE_PTR, |
1420 | OMP_LIST_USE_DEVICE_PTR, |
1421 | OMP_LIST_USE_DEVICE_ADDR, |
1422 | OMP_LIST_NONTEMPORAL, |
1423 | OMP_LIST_ALLOCATE, |
1424 | OMP_LIST_HAS_DEVICE_ADDR, |
1425 | OMP_LIST_ENTER, |
1426 | OMP_LIST_USES_ALLOCATORS, |
1427 | OMP_LIST_NUM /* Must be the last. */ |
1428 | }; |
1429 | |
1430 | /* Because a symbol can belong to multiple namelists, they must be |
1431 | linked externally to the symbol itself. */ |
1432 | |
1433 | enum gfc_omp_sched_kind |
1434 | { |
1435 | OMP_SCHED_NONE, |
1436 | OMP_SCHED_STATIC, |
1437 | OMP_SCHED_DYNAMIC, |
1438 | OMP_SCHED_GUIDED, |
1439 | OMP_SCHED_RUNTIME, |
1440 | OMP_SCHED_AUTO |
1441 | }; |
1442 | |
1443 | enum gfc_omp_default_sharing |
1444 | { |
1445 | OMP_DEFAULT_UNKNOWN, |
1446 | OMP_DEFAULT_NONE, |
1447 | OMP_DEFAULT_PRIVATE, |
1448 | OMP_DEFAULT_SHARED, |
1449 | OMP_DEFAULT_FIRSTPRIVATE, |
1450 | OMP_DEFAULT_PRESENT |
1451 | }; |
1452 | |
1453 | enum gfc_omp_proc_bind_kind |
1454 | { |
1455 | OMP_PROC_BIND_UNKNOWN, |
1456 | OMP_PROC_BIND_PRIMARY, |
1457 | OMP_PROC_BIND_MASTER, |
1458 | OMP_PROC_BIND_SPREAD, |
1459 | OMP_PROC_BIND_CLOSE |
1460 | }; |
1461 | |
1462 | enum gfc_omp_cancel_kind |
1463 | { |
1464 | OMP_CANCEL_UNKNOWN, |
1465 | OMP_CANCEL_PARALLEL, |
1466 | OMP_CANCEL_SECTIONS, |
1467 | OMP_CANCEL_DO, |
1468 | OMP_CANCEL_TASKGROUP |
1469 | }; |
1470 | |
1471 | enum gfc_omp_if_kind |
1472 | { |
1473 | OMP_IF_CANCEL, |
1474 | OMP_IF_PARALLEL, |
1475 | OMP_IF_SIMD, |
1476 | OMP_IF_TASK, |
1477 | OMP_IF_TASKLOOP, |
1478 | OMP_IF_TARGET, |
1479 | OMP_IF_TARGET_DATA, |
1480 | OMP_IF_TARGET_UPDATE, |
1481 | OMP_IF_TARGET_ENTER_DATA, |
1482 | OMP_IF_TARGET_EXIT_DATA, |
1483 | OMP_IF_LAST |
1484 | }; |
1485 | |
1486 | enum gfc_omp_atomic_op |
1487 | { |
1488 | GFC_OMP_ATOMIC_UNSET = 0, |
1489 | GFC_OMP_ATOMIC_UPDATE = 1, |
1490 | GFC_OMP_ATOMIC_READ = 2, |
1491 | GFC_OMP_ATOMIC_WRITE = 3, |
1492 | GFC_OMP_ATOMIC_MASK = 3, |
1493 | GFC_OMP_ATOMIC_SWAP = 16 |
1494 | }; |
1495 | |
1496 | enum gfc_omp_requires_kind |
1497 | { |
1498 | /* Keep in sync with gfc_namespace, esp. with omp_req_mem_order. */ |
1499 | OMP_REQ_ATOMIC_MEM_ORDER_SEQ_CST = 1, /* 01 */ |
1500 | OMP_REQ_ATOMIC_MEM_ORDER_ACQ_REL = 2, /* 10 */ |
1501 | OMP_REQ_ATOMIC_MEM_ORDER_RELAXED = 3, /* 11 */ |
1502 | OMP_REQ_REVERSE_OFFLOAD = (1 << 2), |
1503 | OMP_REQ_UNIFIED_ADDRESS = (1 << 3), |
1504 | OMP_REQ_UNIFIED_SHARED_MEMORY = (1 << 4), |
1505 | OMP_REQ_DYNAMIC_ALLOCATORS = (1 << 5), |
1506 | OMP_REQ_TARGET_MASK = (OMP_REQ_REVERSE_OFFLOAD |
1507 | | OMP_REQ_UNIFIED_ADDRESS |
1508 | | OMP_REQ_UNIFIED_SHARED_MEMORY), |
1509 | OMP_REQ_ATOMIC_MEM_ORDER_MASK = (OMP_REQ_ATOMIC_MEM_ORDER_SEQ_CST |
1510 | | OMP_REQ_ATOMIC_MEM_ORDER_ACQ_REL |
1511 | | OMP_REQ_ATOMIC_MEM_ORDER_RELAXED) |
1512 | }; |
1513 | |
1514 | enum gfc_omp_memorder |
1515 | { |
1516 | OMP_MEMORDER_UNSET, |
1517 | OMP_MEMORDER_SEQ_CST, |
1518 | OMP_MEMORDER_ACQ_REL, |
1519 | OMP_MEMORDER_RELEASE, |
1520 | OMP_MEMORDER_ACQUIRE, |
1521 | OMP_MEMORDER_RELAXED |
1522 | }; |
1523 | |
1524 | enum gfc_omp_bind_type |
1525 | { |
1526 | OMP_BIND_UNSET, |
1527 | OMP_BIND_TEAMS, |
1528 | OMP_BIND_PARALLEL, |
1529 | OMP_BIND_THREAD |
1530 | }; |
1531 | |
1532 | typedef struct gfc_omp_assumptions |
1533 | { |
1534 | int n_absent, n_contains; |
1535 | enum gfc_statement *absent, *contains; |
1536 | gfc_expr_list *holds; |
1537 | bool no_openmp:1, no_openmp_routines:1, no_parallelism:1; |
1538 | } |
1539 | gfc_omp_assumptions; |
1540 | |
1541 | #define gfc_get_omp_assumptions() XCNEW (gfc_omp_assumptions) |
1542 | |
1543 | |
1544 | typedef struct gfc_omp_clauses |
1545 | { |
1546 | gfc_omp_namelist *lists[OMP_LIST_NUM]; |
1547 | struct gfc_expr *if_expr; |
1548 | struct gfc_expr *if_exprs[OMP_IF_LAST]; |
1549 | struct gfc_expr *self_expr; |
1550 | struct gfc_expr *final_expr; |
1551 | struct gfc_expr *num_threads; |
1552 | struct gfc_expr *chunk_size; |
1553 | struct gfc_expr *safelen_expr; |
1554 | struct gfc_expr *simdlen_expr; |
1555 | struct gfc_expr *num_teams_lower; |
1556 | struct gfc_expr *num_teams_upper; |
1557 | struct gfc_expr *device; |
1558 | struct gfc_expr *thread_limit; |
1559 | struct gfc_expr *grainsize; |
1560 | struct gfc_expr *filter; |
1561 | struct gfc_expr *hint; |
1562 | struct gfc_expr *num_tasks; |
1563 | struct gfc_expr *priority; |
1564 | struct gfc_expr *detach; |
1565 | struct gfc_expr *depobj; |
1566 | struct gfc_expr *dist_chunk_size; |
1567 | struct gfc_expr *message; |
1568 | struct gfc_omp_assumptions *assume; |
1569 | const char *critical_name; |
1570 | enum gfc_omp_default_sharing default_sharing; |
1571 | enum gfc_omp_atomic_op atomic_op; |
1572 | enum gfc_omp_defaultmap defaultmap[OMP_DEFAULTMAP_CAT_NUM]; |
1573 | int collapse, orderedc; |
1574 | unsigned nowait:1, ordered:1, untied:1, mergeable:1, ancestor:1; |
1575 | unsigned inbranch:1, notinbranch:1, nogroup:1; |
1576 | unsigned sched_simd:1, sched_monotonic:1, sched_nonmonotonic:1; |
1577 | unsigned simd:1, threads:1, doacross_source:1, depend_source:1, destroy:1; |
1578 | unsigned order_unconstrained:1, order_reproducible:1, capture:1; |
1579 | unsigned grainsize_strict:1, num_tasks_strict:1, compare:1, weak:1; |
1580 | unsigned non_rectangular:1, order_concurrent:1; |
1581 | unsigned contains_teams_construct:1, target_first_st_is_teams:1; |
1582 | ENUM_BITFIELD (gfc_omp_sched_kind) sched_kind:3; |
1583 | ENUM_BITFIELD (gfc_omp_device_type) device_type:2; |
1584 | ENUM_BITFIELD (gfc_omp_memorder) memorder:3; |
1585 | ENUM_BITFIELD (gfc_omp_memorder) fail:3; |
1586 | ENUM_BITFIELD (gfc_omp_cancel_kind) cancel:3; |
1587 | ENUM_BITFIELD (gfc_omp_proc_bind_kind) proc_bind:3; |
1588 | ENUM_BITFIELD (gfc_omp_depend_doacross_op) depobj_update:4; |
1589 | ENUM_BITFIELD (gfc_omp_bind_type) bind:2; |
1590 | ENUM_BITFIELD (gfc_omp_at_type) at:2; |
1591 | ENUM_BITFIELD (gfc_omp_severity_type) severity:2; |
1592 | ENUM_BITFIELD (gfc_omp_sched_kind) dist_sched_kind:3; |
1593 | |
1594 | /* OpenACC. */ |
1595 | struct gfc_expr *async_expr; |
1596 | struct gfc_expr *gang_static_expr; |
1597 | struct gfc_expr *gang_num_expr; |
1598 | struct gfc_expr *worker_expr; |
1599 | struct gfc_expr *vector_expr; |
1600 | struct gfc_expr *num_gangs_expr; |
1601 | struct gfc_expr *num_workers_expr; |
1602 | struct gfc_expr *vector_length_expr; |
1603 | gfc_expr_list *wait_list; |
1604 | gfc_expr_list *tile_list; |
1605 | unsigned async:1, gang:1, worker:1, vector:1, seq:1, independent:1; |
1606 | unsigned par_auto:1, gang_static:1; |
1607 | unsigned if_present:1, finalize:1; |
1608 | unsigned nohost:1; |
1609 | locus loc; |
1610 | } |
1611 | gfc_omp_clauses; |
1612 | |
1613 | #define gfc_get_omp_clauses() XCNEW (gfc_omp_clauses) |
1614 | |
1615 | |
1616 | /* Node in the linked list used for storing !$oacc declare constructs. */ |
1617 | |
1618 | typedef struct gfc_oacc_declare |
1619 | { |
1620 | struct gfc_oacc_declare *next; |
1621 | bool module_var; |
1622 | gfc_omp_clauses *clauses; |
1623 | locus loc; |
1624 | } |
1625 | gfc_oacc_declare; |
1626 | |
1627 | #define gfc_get_oacc_declare() XCNEW (gfc_oacc_declare) |
1628 | |
1629 | |
1630 | /* Node in the linked list used for storing !$omp declare simd constructs. */ |
1631 | |
1632 | typedef struct gfc_omp_declare_simd |
1633 | { |
1634 | struct gfc_omp_declare_simd *next; |
1635 | locus where; /* Where the !$omp declare simd construct occurred. */ |
1636 | |
1637 | gfc_symbol *proc_name; |
1638 | |
1639 | gfc_omp_clauses *clauses; |
1640 | } |
1641 | gfc_omp_declare_simd; |
1642 | #define gfc_get_omp_declare_simd() XCNEW (gfc_omp_declare_simd) |
1643 | |
1644 | |
1645 | enum gfc_omp_trait_property_kind |
1646 | { |
1647 | CTX_PROPERTY_NONE, |
1648 | CTX_PROPERTY_USER, |
1649 | CTX_PROPERTY_NAME_LIST, |
1650 | CTX_PROPERTY_ID, |
1651 | CTX_PROPERTY_EXPR, |
1652 | CTX_PROPERTY_SIMD |
1653 | }; |
1654 | |
1655 | typedef struct gfc_omp_trait_property |
1656 | { |
1657 | struct gfc_omp_trait_property *next; |
1658 | enum gfc_omp_trait_property_kind property_kind; |
1659 | bool is_name : 1; |
1660 | |
1661 | union |
1662 | { |
1663 | gfc_expr *expr; |
1664 | gfc_symbol *sym; |
1665 | gfc_omp_clauses *clauses; |
1666 | char *name; |
1667 | }; |
1668 | } gfc_omp_trait_property; |
1669 | #define gfc_get_omp_trait_property() XCNEW (gfc_omp_trait_property) |
1670 | |
1671 | typedef struct gfc_omp_selector |
1672 | { |
1673 | struct gfc_omp_selector *next; |
1674 | |
1675 | char *trait_selector_name; |
1676 | gfc_expr *score; |
1677 | struct gfc_omp_trait_property *properties; |
1678 | } gfc_omp_selector; |
1679 | #define gfc_get_omp_selector() XCNEW (gfc_omp_selector) |
1680 | |
1681 | typedef struct gfc_omp_set_selector |
1682 | { |
1683 | struct gfc_omp_set_selector *next; |
1684 | |
1685 | const char *trait_set_selector_name; |
1686 | struct gfc_omp_selector *trait_selectors; |
1687 | } gfc_omp_set_selector; |
1688 | #define gfc_get_omp_set_selector() XCNEW (gfc_omp_set_selector) |
1689 | |
1690 | |
1691 | /* Node in the linked list used for storing !$omp declare variant |
1692 | constructs. */ |
1693 | |
1694 | typedef struct gfc_omp_declare_variant |
1695 | { |
1696 | struct gfc_omp_declare_variant *next; |
1697 | locus where; /* Where the !$omp declare variant construct occurred. */ |
1698 | |
1699 | struct gfc_symtree *base_proc_symtree; |
1700 | struct gfc_symtree *variant_proc_symtree; |
1701 | |
1702 | gfc_omp_set_selector *set_selectors; |
1703 | |
1704 | bool checked_p : 1; /* Set if previously checked for errors. */ |
1705 | bool error_p : 1; /* Set if error found in directive. */ |
1706 | } |
1707 | gfc_omp_declare_variant; |
1708 | #define gfc_get_omp_declare_variant() XCNEW (gfc_omp_declare_variant) |
1709 | |
1710 | |
1711 | typedef struct gfc_omp_udr |
1712 | { |
1713 | struct gfc_omp_udr *next; |
1714 | locus where; /* Where the !$omp declare reduction construct occurred. */ |
1715 | |
1716 | const char *name; |
1717 | gfc_typespec ts; |
1718 | gfc_omp_reduction_op rop; |
1719 | |
1720 | struct gfc_symbol *omp_out; |
1721 | struct gfc_symbol *omp_in; |
1722 | struct gfc_namespace *combiner_ns; |
1723 | |
1724 | struct gfc_symbol *omp_priv; |
1725 | struct gfc_symbol *omp_orig; |
1726 | struct gfc_namespace *initializer_ns; |
1727 | } |
1728 | gfc_omp_udr; |
1729 | #define gfc_get_omp_udr() XCNEW (gfc_omp_udr) |
1730 | |
1731 | typedef struct gfc_omp_namelist_udr |
1732 | { |
1733 | struct gfc_omp_udr *udr; |
1734 | struct gfc_code *combiner; |
1735 | struct gfc_code *initializer; |
1736 | } |
1737 | gfc_omp_namelist_udr; |
1738 | #define gfc_get_omp_namelist_udr() XCNEW (gfc_omp_namelist_udr) |
1739 | |
1740 | /* The gfc_st_label structure is a BBT attached to a namespace that |
1741 | records the usage of statement labels within that space. */ |
1742 | |
1743 | typedef struct gfc_st_label |
1744 | { |
1745 | BBT_HEADER(gfc_st_label); |
1746 | |
1747 | int value; |
1748 | |
1749 | gfc_sl_type defined, referenced; |
1750 | |
1751 | struct gfc_expr *format; |
1752 | |
1753 | tree backend_decl; |
1754 | |
1755 | locus where; |
1756 | |
1757 | gfc_namespace *ns; |
1758 | } |
1759 | gfc_st_label; |
1760 | |
1761 | |
1762 | /* gfc_interface()-- Interfaces are lists of symbols strung together. */ |
1763 | typedef struct gfc_interface |
1764 | { |
1765 | struct gfc_symbol *sym; |
1766 | locus where; |
1767 | struct gfc_interface *next; |
1768 | } |
1769 | gfc_interface; |
1770 | |
1771 | #define gfc_get_interface() XCNEW (gfc_interface) |
1772 | |
1773 | /* User operator nodes. These are like stripped down symbols. */ |
1774 | typedef struct |
1775 | { |
1776 | const char *name; |
1777 | |
1778 | gfc_interface *op; |
1779 | struct gfc_namespace *ns; |
1780 | gfc_access access; |
1781 | } |
1782 | gfc_user_op; |
1783 | |
1784 | |
1785 | /* A list of specific bindings that are associated with a generic spec. */ |
1786 | typedef struct gfc_tbp_generic |
1787 | { |
1788 | /* The parser sets specific_st, upon resolution we look for the corresponding |
1789 | gfc_typebound_proc and set specific for further use. */ |
1790 | struct gfc_symtree* specific_st; |
1791 | struct gfc_typebound_proc* specific; |
1792 | |
1793 | struct gfc_tbp_generic* next; |
1794 | bool is_operator; |
1795 | } |
1796 | gfc_tbp_generic; |
1797 | |
1798 | #define gfc_get_tbp_generic() XCNEW (gfc_tbp_generic) |
1799 | |
1800 | |
1801 | /* Data needed for type-bound procedures. */ |
1802 | typedef struct gfc_typebound_proc |
1803 | { |
1804 | locus where; /* Where the PROCEDURE/GENERIC definition was. */ |
1805 | |
1806 | union |
1807 | { |
1808 | struct gfc_symtree* specific; /* The interface if DEFERRED. */ |
1809 | gfc_tbp_generic* generic; |
1810 | } |
1811 | u; |
1812 | |
1813 | gfc_access access; |
1814 | const char* pass_arg; /* Argument-name for PASS. NULL if not specified. */ |
1815 | |
1816 | /* The overridden type-bound proc (or GENERIC with this name in the |
1817 | parent-type) or NULL if non. */ |
1818 | struct gfc_typebound_proc* overridden; |
1819 | |
1820 | /* Once resolved, we use the position of pass_arg in the formal arglist of |
1821 | the binding-target procedure to identify it. The first argument has |
1822 | number 1 here, the second 2, and so on. */ |
1823 | unsigned pass_arg_num; |
1824 | |
1825 | unsigned nopass:1; /* Whether we have NOPASS (PASS otherwise). */ |
1826 | unsigned non_overridable:1; |
1827 | unsigned deferred:1; |
1828 | unsigned is_generic:1; |
1829 | unsigned function:1, subroutine:1; |
1830 | unsigned error:1; /* Ignore it, when an error occurred during resolution. */ |
1831 | unsigned ppc:1; |
1832 | } |
1833 | gfc_typebound_proc; |
1834 | |
1835 | |
1836 | /* Symbol nodes. These are important things. They are what the |
1837 | standard refers to as "entities". The possibly multiple names that |
1838 | refer to the same entity are accomplished by a binary tree of |
1839 | symtree structures that is balanced by the red-black method-- more |
1840 | than one symtree node can point to any given symbol. */ |
1841 | |
1842 | typedef struct gfc_symbol |
1843 | { |
1844 | const char *name; /* Primary name, before renaming */ |
1845 | const char *module; /* Module this symbol came from */ |
1846 | locus declared_at; |
1847 | |
1848 | gfc_typespec ts; |
1849 | symbol_attribute attr; |
1850 | |
1851 | /* The formal member points to the formal argument list if the |
1852 | symbol is a function or subroutine name. If the symbol is a |
1853 | generic name, the generic member points to the list of |
1854 | interfaces. */ |
1855 | |
1856 | gfc_interface *generic; |
1857 | gfc_access component_access; |
1858 | |
1859 | gfc_formal_arglist *formal; |
1860 | struct gfc_namespace *formal_ns; |
1861 | struct gfc_namespace *f2k_derived; |
1862 | |
1863 | /* List of PDT parameter expressions */ |
1864 | struct gfc_actual_arglist *param_list; |
1865 | |
1866 | struct gfc_expr *value; /* Parameter/Initializer value */ |
1867 | gfc_array_spec *as; |
1868 | struct gfc_symbol *result; /* function result symbol */ |
1869 | gfc_component *components; /* Derived type components */ |
1870 | |
1871 | /* Defined only for Cray pointees; points to their pointer. */ |
1872 | struct gfc_symbol *cp_pointer; |
1873 | |
1874 | int entry_id; /* Used in resolve.cc for entries. */ |
1875 | |
1876 | /* CLASS hashed name for declared and dynamic types in the class. */ |
1877 | int hash_value; |
1878 | |
1879 | struct gfc_symbol *common_next; /* Links for COMMON syms */ |
1880 | |
1881 | /* This is only used for pointer comparisons to check if symbols |
1882 | are in the same common block. |
1883 | In opposition to common_block, the common_head pointer takes into account |
1884 | equivalences: if A is in a common block C and A and B are in equivalence, |
1885 | then both A and B have common_head pointing to C, while A's common_block |
1886 | points to C and B's is NULL. */ |
1887 | struct gfc_common_head* common_head; |
1888 | |
1889 | /* Make sure setup code for dummy arguments is generated in the correct |
1890 | order. */ |
1891 | int dummy_order; |
1892 | |
1893 | gfc_namelist *namelist, *namelist_tail; |
1894 | |
1895 | /* The tlink field is used in the front end to carry the module |
1896 | declaration of separate module procedures so that the characteristics |
1897 | can be compared with the corresponding declaration in a submodule. In |
1898 | translation this field carries a linked list of symbols that require |
1899 | deferred initialization. */ |
1900 | struct gfc_symbol *tlink; |
1901 | |
1902 | /* Change management fields. Symbols that might be modified by the |
1903 | current statement have the mark member nonzero. Of these symbols, |
1904 | symbols with old_symbol equal to NULL are symbols created within |
1905 | the current statement. Otherwise, old_symbol points to a copy of |
1906 | the old symbol. gfc_new is used in symbol.cc to flag new symbols. |
1907 | comp_mark is used to indicate variables which have component accesses |
1908 | in OpenMP/OpenACC directive clauses (cf. c-typeck.cc:c_finish_omp_clauses, |
1909 | map_field_head). |
1910 | data_mark is used to check duplicate mappings for OpenMP data-sharing |
1911 | clauses (see firstprivate_head/lastprivate_head in the above function). |
1912 | dev_mark is used to check duplicate mappings for OpenMP |
1913 | is_device_ptr/has_device_addr clauses (see is_on_device_head in above |
1914 | function). |
1915 | gen_mark is used to check duplicate mappings for OpenMP |
1916 | use_device_ptr/use_device_addr/private/shared clauses (see generic_head in |
1917 | above functon). |
1918 | reduc_mark is used to check duplicate mappings for OpenMP reduction |
1919 | clauses. */ |
1920 | struct gfc_symbol *old_symbol; |
1921 | unsigned mark:1, comp_mark:1, data_mark:1, dev_mark:1, gen_mark:1; |
1922 | unsigned reduc_mark:1, gfc_new:1; |
1923 | |
1924 | /* Nonzero if all equivalences associated with this symbol have been |
1925 | processed. */ |
1926 | unsigned equiv_built:1; |
1927 | /* Set if this variable is used as an index name in a FORALL. */ |
1928 | unsigned forall_index:1; |
1929 | /* Set if the symbol is used in a function result specification . */ |
1930 | unsigned fn_result_spec:1; |
1931 | /* Used to avoid multiple resolutions of a single symbol. */ |
1932 | /* = 2 if this has already been resolved as an intrinsic, |
1933 | in gfc_resolve_intrinsic, |
1934 | = 1 if it has been resolved in resolve_symbol. */ |
1935 | unsigned resolve_symbol_called:2; |
1936 | /* Set if this is a module function or subroutine with the |
1937 | abbreviated declaration in a submodule. */ |
1938 | unsigned abr_modproc_decl:1; |
1939 | /* Set if a previous error or warning has occurred and no other |
1940 | should be reported. */ |
1941 | unsigned error:1; |
1942 | /* Set if the dummy argument of a procedure could be an array despite |
1943 | being called with a scalar actual argument. */ |
1944 | unsigned maybe_array:1; |
1945 | /* Set if this should be passed by value, but is not a VALUE argument |
1946 | according to the Fortran standard. */ |
1947 | unsigned pass_as_value:1; |
1948 | |
1949 | /* Reference counter, used for memory management. |
1950 | |
1951 | Some symbols may be present in more than one namespace, for example |
1952 | function and subroutine symbols are present both in the outer namespace and |
1953 | the procedure body namespace. Freeing symbols with the namespaces they are |
1954 | in would result in double free for those symbols. This field counts |
1955 | references and is used to delay the memory release until the last reference |
1956 | to the symbol is removed. |
1957 | |
1958 | Not every symbol pointer is accounted for reference counting. Fields |
1959 | gfc_symtree::n::sym are, and gfc_finalizer::proc_sym as well. But most of |
1960 | them (dummy arguments, generic list elements, etc) are "weak" pointers; |
1961 | the reference count isn't updated when they are assigned, and they are |
1962 | ignored when the surrounding structure memory is released. This is not a |
1963 | problem because there is always a namespace as surrounding context and |
1964 | symbols have a name they can be referred with in that context, so the |
1965 | namespace keeps the symbol from being freed, keeping the pointer valid. |
1966 | When the namespace ceases to exist, and the symbols with it, the other |
1967 | structures referencing symbols cease to exist as well. */ |
1968 | int refs; |
1969 | |
1970 | struct gfc_namespace *ns; /* namespace containing this symbol */ |
1971 | |
1972 | tree backend_decl; |
1973 | |
1974 | /* Identity of the intrinsic module the symbol comes from, or |
1975 | INTMOD_NONE if it's not imported from a intrinsic module. */ |
1976 | intmod_id from_intmod; |
1977 | /* Identity of the symbol from intrinsic modules, from enums maintained |
1978 | separately by each intrinsic module. Used together with from_intmod, |
1979 | it uniquely identifies a symbol from an intrinsic module. */ |
1980 | int intmod_sym_id; |
1981 | |
1982 | /* This may be repetitive, since the typespec now has a binding |
1983 | label field. */ |
1984 | const char* binding_label; |
1985 | /* Store a reference to the common_block, if this symbol is in one. */ |
1986 | struct gfc_common_head *common_block; |
1987 | |
1988 | /* Link to corresponding association-list if this is an associate name. */ |
1989 | struct gfc_association_list *assoc; |
1990 | |
1991 | /* Link to next entry in derived type list */ |
1992 | struct gfc_symbol *dt_next; |
1993 | } |
1994 | gfc_symbol; |
1995 | |
1996 | |
1997 | struct gfc_undo_change_set |
1998 | { |
1999 | vec<gfc_symbol *> syms; |
2000 | vec<gfc_typebound_proc *> tbps; |
2001 | gfc_undo_change_set *previous; |
2002 | }; |
2003 | |
2004 | |
2005 | /* This structure is used to keep track of symbols in common blocks. */ |
2006 | typedef struct gfc_common_head |
2007 | { |
2008 | locus where; |
2009 | char use_assoc, saved, threadprivate; |
2010 | unsigned char omp_declare_target : 1; |
2011 | unsigned char omp_declare_target_link : 1; |
2012 | ENUM_BITFIELD (gfc_omp_device_type) omp_device_type:2; |
2013 | /* Provide sufficient space to hold "symbol.symbol.eq.1234567890". */ |
2014 | char name[2*GFC_MAX_SYMBOL_LEN + 1 + 14 + 1]; |
2015 | struct gfc_symbol *head; |
2016 | const char* binding_label; |
2017 | int is_bind_c; |
2018 | int refs; |
2019 | } |
2020 | gfc_common_head; |
2021 | |
2022 | #define gfc_get_common_head() XCNEW (gfc_common_head) |
2023 | |
2024 | |
2025 | /* A list of all the alternate entry points for a procedure. */ |
2026 | |
2027 | typedef struct gfc_entry_list |
2028 | { |
2029 | /* The symbol for this entry point. */ |
2030 | gfc_symbol *sym; |
2031 | /* The zero-based id of this entry point. */ |
2032 | int id; |
2033 | /* The LABEL_EXPR marking this entry point. */ |
2034 | tree label; |
2035 | /* The next item in the list. */ |
2036 | struct gfc_entry_list *next; |
2037 | } |
2038 | gfc_entry_list; |
2039 | |
2040 | #define gfc_get_entry_list() XCNEW (gfc_entry_list) |
2041 | |
2042 | /* Lists of rename info for the USE statement. */ |
2043 | |
2044 | typedef struct gfc_use_rename |
2045 | { |
2046 | char local_name[GFC_MAX_SYMBOL_LEN + 1], use_name[GFC_MAX_SYMBOL_LEN + 1]; |
2047 | struct gfc_use_rename *next; |
2048 | int found; |
2049 | gfc_intrinsic_op op; |
2050 | locus where; |
2051 | } |
2052 | gfc_use_rename; |
2053 | |
2054 | #define gfc_get_use_rename() XCNEW (gfc_use_rename); |
2055 | |
2056 | /* A list of all USE statements in a namespace. */ |
2057 | |
2058 | typedef struct gfc_use_list |
2059 | { |
2060 | const char *module_name; |
2061 | const char *submodule_name; |
2062 | bool intrinsic; |
2063 | bool non_intrinsic; |
2064 | bool only_flag; |
2065 | struct gfc_use_rename *rename; |
2066 | locus where; |
2067 | /* Next USE statement. */ |
2068 | struct gfc_use_list *next; |
2069 | } |
2070 | gfc_use_list; |
2071 | |
2072 | #define gfc_get_use_list() XCNEW (gfc_use_list) |
2073 | |
2074 | /* Within a namespace, symbols are pointed to by symtree nodes that |
2075 | are linked together in a balanced binary tree. There can be |
2076 | several symtrees pointing to the same symbol node via USE |
2077 | statements. */ |
2078 | |
2079 | typedef struct gfc_symtree |
2080 | { |
2081 | BBT_HEADER (gfc_symtree); |
2082 | const char *name; |
2083 | int ambiguous; |
2084 | union |
2085 | { |
2086 | gfc_symbol *sym; /* Symbol associated with this node */ |
2087 | gfc_user_op *uop; |
2088 | gfc_common_head *common; |
2089 | gfc_typebound_proc *tb; |
2090 | gfc_omp_udr *omp_udr; |
2091 | } |
2092 | n; |
2093 | } |
2094 | gfc_symtree; |
2095 | |
2096 | /* A list of all derived types. */ |
2097 | extern gfc_symbol *gfc_derived_types; |
2098 | |
2099 | typedef struct gfc_oacc_routine_name |
2100 | { |
2101 | struct gfc_symbol *sym; |
2102 | struct gfc_omp_clauses *clauses; |
2103 | struct gfc_oacc_routine_name *next; |
2104 | locus loc; |
2105 | } |
2106 | gfc_oacc_routine_name; |
2107 | |
2108 | #define gfc_get_oacc_routine_name() XCNEW (gfc_oacc_routine_name) |
2109 | |
2110 | /* Node in linked list to see what has already been finalized |
2111 | earlier. */ |
2112 | |
2113 | typedef struct gfc_was_finalized { |
2114 | gfc_expr *e; |
2115 | gfc_component *c; |
2116 | struct gfc_was_finalized *next; |
2117 | } |
2118 | gfc_was_finalized; |
2119 | |
2120 | /* A namespace describes the contents of procedure, module, interface block |
2121 | or BLOCK construct. */ |
2122 | /* ??? Anything else use these? */ |
2123 | |
2124 | typedef struct gfc_namespace |
2125 | { |
2126 | /* Tree containing all the symbols in this namespace. */ |
2127 | gfc_symtree *sym_root; |
2128 | /* Tree containing all the user-defined operators in the namespace. */ |
2129 | gfc_symtree *uop_root; |
2130 | /* Tree containing all the common blocks. */ |
2131 | gfc_symtree *common_root; |
2132 | /* Tree containing all the OpenMP user defined reductions. */ |
2133 | gfc_symtree *omp_udr_root; |
2134 | |
2135 | /* Tree containing type-bound procedures. */ |
2136 | gfc_symtree *tb_sym_root; |
2137 | /* Type-bound user operators. */ |
2138 | gfc_symtree *tb_uop_root; |
2139 | /* For derived-types, store type-bound intrinsic operators here. */ |
2140 | gfc_typebound_proc *tb_op[GFC_INTRINSIC_OPS]; |
2141 | /* Linked list of finalizer procedures. */ |
2142 | struct gfc_finalizer *finalizers; |
2143 | |
2144 | /* If set_flag[letter] is set, an implicit type has been set for letter. */ |
2145 | int set_flag[GFC_LETTERS]; |
2146 | /* Keeps track of the implicit types associated with the letters. */ |
2147 | gfc_typespec default_type[GFC_LETTERS]; |
2148 | /* Store the positions of IMPLICIT statements. */ |
2149 | locus implicit_loc[GFC_LETTERS]; |
2150 | |
2151 | /* If this is a namespace of a procedure, this points to the procedure. */ |
2152 | struct gfc_symbol *proc_name; |
2153 | /* If this is the namespace of a unit which contains executable |
2154 | code, this points to it. */ |
2155 | struct gfc_code *code; |
2156 | |
2157 | /* Points to the equivalences set up in this namespace. */ |
2158 | struct gfc_equiv *equiv, *old_equiv; |
2159 | |
2160 | /* Points to the equivalence groups produced by trans_common. */ |
2161 | struct gfc_equiv_list *equiv_lists; |
2162 | |
2163 | gfc_interface *op[GFC_INTRINSIC_OPS]; |
2164 | |
2165 | /* Points to the parent namespace, i.e. the namespace of a module or |
2166 | procedure in which the procedure belonging to this namespace is |
2167 | contained. The parent namespace points to this namespace either |
2168 | directly via CONTAINED, or indirectly via the chain built by |
2169 | SIBLING. */ |
2170 | struct gfc_namespace *parent; |
2171 | /* CONTAINED points to the first contained namespace. Sibling |
2172 | namespaces are chained via SIBLING. */ |
2173 | struct gfc_namespace *contained, *sibling; |
2174 | |
2175 | gfc_common_head blank_common; |
2176 | gfc_access default_access, operator_access[GFC_INTRINSIC_OPS]; |
2177 | |
2178 | gfc_st_label *st_labels; |
2179 | /* This list holds information about all the data initializers in |
2180 | this namespace. */ |
2181 | struct gfc_data *data, *old_data; |
2182 | |
2183 | /* !$ACC DECLARE. */ |
2184 | gfc_oacc_declare *oacc_declare; |
2185 | |
2186 | /* !$ACC ROUTINE clauses. */ |
2187 | gfc_omp_clauses *oacc_routine_clauses; |
2188 | |
2189 | /* !$ACC TASK AFFINITY iterator symbols. */ |
2190 | gfc_symbol *omp_affinity_iterators; |
2191 | |
2192 | /* !$ACC ROUTINE names. */ |
2193 | gfc_oacc_routine_name *oacc_routine_names; |
2194 | |
2195 | gfc_charlen *cl_list; |
2196 | |
2197 | gfc_symbol *derived_types; |
2198 | |
2199 | int save_all, seen_save, seen_implicit_none; |
2200 | |
2201 | /* Normally we don't need to refcount namespaces. However when we read |
2202 | a module containing a function with multiple entry points, this |
2203 | will appear as several functions with the same formal namespace. */ |
2204 | int refs; |
2205 | |
2206 | /* A list of all alternate entry points to this procedure (or NULL). */ |
2207 | gfc_entry_list *entries; |
2208 | |
2209 | /* A list of USE statements in this namespace. */ |
2210 | gfc_use_list *use_stmts; |
2211 | |
2212 | /* Linked list of !$omp declare simd constructs. */ |
2213 | struct gfc_omp_declare_simd *omp_declare_simd; |
2214 | |
2215 | /* Linked list of !$omp declare variant constructs. */ |
2216 | struct gfc_omp_declare_variant *omp_declare_variant; |
2217 | |
2218 | /* OpenMP assumptions and allocate for static/stack vars. */ |
2219 | struct gfc_omp_assumptions *omp_assumes; |
2220 | struct gfc_omp_namelist *omp_allocate; |
2221 | |
2222 | /* A hash set for the gfc expressions that have already |
2223 | been finalized in this namespace. */ |
2224 | |
2225 | gfc_was_finalized *was_finalized; |
2226 | |
2227 | /* Set to 1 if namespace is a BLOCK DATA program unit. */ |
2228 | unsigned is_block_data:1; |
2229 | |
2230 | /* Set to 1 if namespace is an interface body with "IMPORT" used. */ |
2231 | unsigned has_import_set:1; |
2232 | |
2233 | /* Set to 1 if the namespace uses "IMPLICIT NONE (export)". */ |
2234 | unsigned has_implicit_none_export:1; |
2235 | |
2236 | /* Set to 1 if resolved has been called for this namespace. |
2237 | Holds -1 during resolution. */ |
2238 | signed resolved:2; |
2239 | |
2240 | /* Set when resolve_types has been called for this namespace. */ |
2241 | unsigned types_resolved:1; |
2242 | |
2243 | /* Set to 1 if code has been generated for this namespace. */ |
2244 | unsigned translated:1; |
2245 | |
2246 | /* Set to 1 if symbols in this namespace should be 'construct entities', |
2247 | i.e. for BLOCK local variables. */ |
2248 | unsigned construct_entities:1; |
2249 | |
2250 | /* Set to 1 for !$OMP DECLARE REDUCTION namespaces. */ |
2251 | unsigned omp_udr_ns:1; |
2252 | |
2253 | /* Set to 1 for !$ACC ROUTINE namespaces. */ |
2254 | unsigned oacc_routine:1; |
2255 | |
2256 | /* Set to 1 if there are any calls to procedures with implicit interface. */ |
2257 | unsigned implicit_interface_calls:1; |
2258 | |
2259 | /* OpenMP requires. */ |
2260 | unsigned omp_requires:6; |
2261 | unsigned omp_target_seen:1; |
2262 | |
2263 | /* Set to 1 if this is an implicit OMP structured block. */ |
2264 | unsigned omp_structured_block:1; |
2265 | } |
2266 | gfc_namespace; |
2267 | |
2268 | extern gfc_namespace *gfc_current_ns; |
2269 | extern gfc_namespace *gfc_global_ns_list; |
2270 | |
2271 | /* Global symbols are symbols of global scope. Currently we only use |
2272 | this to detect collisions already when parsing. |
2273 | TODO: Extend to verify procedure calls. */ |
2274 | |
2275 | enum gfc_symbol_type |
2276 | { |
2277 | GSYM_UNKNOWN=1, GSYM_PROGRAM, GSYM_FUNCTION, GSYM_SUBROUTINE, |
2278 | GSYM_MODULE, GSYM_COMMON, GSYM_BLOCK_DATA |
2279 | }; |
2280 | |
2281 | typedef struct gfc_gsymbol |
2282 | { |
2283 | BBT_HEADER(gfc_gsymbol); |
2284 | |
2285 | const char *name; |
2286 | const char *sym_name; |
2287 | const char *mod_name; |
2288 | const char *binding_label; |
2289 | enum gfc_symbol_type type; |
2290 | |
2291 | int defined, used; |
2292 | bool bind_c; |
2293 | locus where; |
2294 | gfc_namespace *ns; |
2295 | } |
2296 | gfc_gsymbol; |
2297 | |
2298 | extern gfc_gsymbol *gfc_gsym_root; |
2299 | |
2300 | /* Information on interfaces being built. */ |
2301 | typedef struct |
2302 | { |
2303 | interface_type type; |
2304 | gfc_symbol *sym; |
2305 | gfc_namespace *ns; |
2306 | gfc_user_op *uop; |
2307 | gfc_intrinsic_op op; |
2308 | } |
2309 | gfc_interface_info; |
2310 | |
2311 | extern gfc_interface_info current_interface; |
2312 | |
2313 | |
2314 | /* Array reference. */ |
2315 | |
2316 | enum gfc_array_ref_dimen_type |
2317 | { |
2318 | DIMEN_ELEMENT = 1, DIMEN_RANGE, DIMEN_VECTOR, DIMEN_STAR, DIMEN_THIS_IMAGE, DIMEN_UNKNOWN |
2319 | }; |
2320 | |
2321 | typedef struct gfc_array_ref |
2322 | { |
2323 | ar_type type; |
2324 | int dimen; /* # of components in the reference */ |
2325 | int codimen; |
2326 | bool in_allocate; /* For coarray checks. */ |
2327 | gfc_expr *team; |
2328 | gfc_expr *stat; |
2329 | locus where; |
2330 | gfc_array_spec *as; |
2331 | |
2332 | locus c_where[GFC_MAX_DIMENSIONS]; /* All expressions can be NULL */ |
2333 | struct gfc_expr *start[GFC_MAX_DIMENSIONS], *end[GFC_MAX_DIMENSIONS], |
2334 | *stride[GFC_MAX_DIMENSIONS]; |
2335 | |
2336 | enum gfc_array_ref_dimen_type dimen_type[GFC_MAX_DIMENSIONS]; |
2337 | } |
2338 | gfc_array_ref; |
2339 | |
2340 | #define gfc_get_array_ref() XCNEW (gfc_array_ref) |
2341 | |
2342 | |
2343 | /* Component reference nodes. A variable is stored as an expression |
2344 | node that points to the base symbol. After that, a singly linked |
2345 | list of component reference nodes gives the variable's complete |
2346 | resolution. The array_ref component may be present and comes |
2347 | before the component component. */ |
2348 | |
2349 | enum ref_type |
2350 | { REF_ARRAY, REF_COMPONENT, REF_SUBSTRING, REF_INQUIRY }; |
2351 | |
2352 | enum inquiry_type |
2353 | { INQUIRY_RE, INQUIRY_IM, INQUIRY_KIND, INQUIRY_LEN }; |
2354 | |
2355 | typedef struct gfc_ref |
2356 | { |
2357 | ref_type type; |
2358 | |
2359 | union |
2360 | { |
2361 | struct gfc_array_ref ar; |
2362 | |
2363 | struct |
2364 | { |
2365 | gfc_component *component; |
2366 | gfc_symbol *sym; |
2367 | } |
2368 | c; |
2369 | |
2370 | struct |
2371 | { |
2372 | struct gfc_expr *start, *end; /* Substring */ |
2373 | gfc_charlen *length; |
2374 | } |
2375 | ss; |
2376 | |
2377 | inquiry_type i; |
2378 | |
2379 | } |
2380 | u; |
2381 | |
2382 | struct gfc_ref *next; |
2383 | } |
2384 | gfc_ref; |
2385 | |
2386 | #define gfc_get_ref() XCNEW (gfc_ref) |
2387 | |
2388 | |
2389 | /* Structures representing intrinsic symbols and their arguments lists. */ |
2390 | typedef struct gfc_intrinsic_arg |
2391 | { |
2392 | char name[GFC_MAX_SYMBOL_LEN + 1]; |
2393 | |
2394 | gfc_typespec ts; |
2395 | unsigned optional:1, value:1; |
2396 | ENUM_BITFIELD (sym_intent) intent:2; |
2397 | |
2398 | struct gfc_intrinsic_arg *next; |
2399 | } |
2400 | gfc_intrinsic_arg; |
2401 | |
2402 | |
2403 | typedef enum { |
2404 | GFC_UNDEFINED_DUMMY_ARG = 0, |
2405 | GFC_INTRINSIC_DUMMY_ARG, |
2406 | GFC_NON_INTRINSIC_DUMMY_ARG |
2407 | } |
2408 | gfc_dummy_arg_intrinsicness; |
2409 | |
2410 | /* dummy arg of either an intrinsic or a user-defined procedure. */ |
2411 | struct gfc_dummy_arg |
2412 | { |
2413 | gfc_dummy_arg_intrinsicness intrinsicness; |
2414 | |
2415 | union { |
2416 | gfc_intrinsic_arg *intrinsic; |
2417 | gfc_formal_arglist *non_intrinsic; |
2418 | } u; |
2419 | }; |
2420 | |
2421 | #define gfc_get_dummy_arg() XCNEW (gfc_dummy_arg) |
2422 | |
2423 | |
2424 | const char * gfc_dummy_arg_get_name (gfc_dummy_arg &); |
2425 | const gfc_typespec & gfc_dummy_arg_get_typespec (gfc_dummy_arg &); |
2426 | bool gfc_dummy_arg_is_optional (gfc_dummy_arg &); |
2427 | |
2428 | |
2429 | /* Specifies the various kinds of check functions used to verify the |
2430 | argument lists of intrinsic functions. fX with X an integer refer |
2431 | to check functions of intrinsics with X arguments. f1m is used for |
2432 | the MAX and MIN intrinsics which can have an arbitrary number of |
2433 | arguments, f4ml is used for the MINLOC and MAXLOC intrinsics as |
2434 | these have special semantics. */ |
2435 | |
2436 | typedef union |
2437 | { |
2438 | bool (*f0)(void); |
2439 | bool (*f1)(struct gfc_expr *); |
2440 | bool (*f1m)(gfc_actual_arglist *); |
2441 | bool (*f2)(struct gfc_expr *, struct gfc_expr *); |
2442 | bool (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *); |
2443 | bool (*f5ml)(gfc_actual_arglist *); |
2444 | bool (*f6fl)(gfc_actual_arglist *); |
2445 | bool (*f3red)(gfc_actual_arglist *); |
2446 | bool (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *, |
2447 | struct gfc_expr *); |
2448 | bool (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *, |
2449 | struct gfc_expr *, struct gfc_expr *); |
2450 | } |
2451 | gfc_check_f; |
2452 | |
2453 | /* Like gfc_check_f, these specify the type of the simplification |
2454 | function associated with an intrinsic. The fX are just like in |
2455 | gfc_check_f. cc is used for type conversion functions. */ |
2456 | |
2457 | typedef union |
2458 | { |
2459 | struct gfc_expr *(*f0)(void); |
2460 | struct gfc_expr *(*f1)(struct gfc_expr *); |
2461 | struct gfc_expr *(*f2)(struct gfc_expr *, struct gfc_expr *); |
2462 | struct gfc_expr *(*f3)(struct gfc_expr *, struct gfc_expr *, |
2463 | struct gfc_expr *); |
2464 | struct gfc_expr *(*f4)(struct gfc_expr *, struct gfc_expr *, |
2465 | struct gfc_expr *, struct gfc_expr *); |
2466 | struct gfc_expr *(*f5)(struct gfc_expr *, struct gfc_expr *, |
2467 | struct gfc_expr *, struct gfc_expr *, |
2468 | struct gfc_expr *); |
2469 | struct gfc_expr *(*f6)(struct gfc_expr *, struct gfc_expr *, |
2470 | struct gfc_expr *, struct gfc_expr *, |
2471 | struct gfc_expr *, struct gfc_expr *); |
2472 | struct gfc_expr *(*cc)(struct gfc_expr *, bt, int); |
2473 | } |
2474 | gfc_simplify_f; |
2475 | |
2476 | /* Again like gfc_check_f, these specify the type of the resolution |
2477 | function associated with an intrinsic. The fX are just like in |
2478 | gfc_check_f. f1m is used for MIN and MAX, s1 is used for abort(). */ |
2479 | |
2480 | typedef union |
2481 | { |
2482 | void (*f0)(struct gfc_expr *); |
2483 | void (*f1)(struct gfc_expr *, struct gfc_expr *); |
2484 | void (*f1m)(struct gfc_expr *, struct gfc_actual_arglist *); |
2485 | void (*f2)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *); |
2486 | void (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *, |
2487 | struct gfc_expr *); |
2488 | void (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *, |
2489 | struct gfc_expr *, struct gfc_expr *); |
2490 | void (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *, |
2491 | struct gfc_expr *, struct gfc_expr *, struct gfc_expr *); |
2492 | void (*f6)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *, |
2493 | struct gfc_expr *, struct gfc_expr *, struct gfc_expr *, |
2494 | struct gfc_expr *); |
2495 | void (*s1)(struct gfc_code *); |
2496 | } |
2497 | gfc_resolve_f; |
2498 | |
2499 | |
2500 | typedef struct gfc_intrinsic_sym |
2501 | { |
2502 | const char *name, *lib_name; |
2503 | gfc_intrinsic_arg *formal; |
2504 | gfc_typespec ts; |
2505 | unsigned elemental:1, inquiry:1, transformational:1, pure:1, |
2506 | generic:1, specific:1, actual_ok:1, noreturn:1, conversion:1, |
2507 | from_module:1, vararg:1; |
2508 | |
2509 | int standard; |
2510 | |
2511 | gfc_simplify_f simplify; |
2512 | gfc_check_f check; |
2513 | gfc_resolve_f resolve; |
2514 | struct gfc_intrinsic_sym *specific_head, *next; |
2515 | gfc_isym_id id; |
2516 | |
2517 | } |
2518 | gfc_intrinsic_sym; |
2519 | |
2520 | |
2521 | /* Expression nodes. The expression node types deserve explanations, |
2522 | since the last couple can be easily misconstrued: |
2523 | |
2524 | EXPR_OP Operator node pointing to one or two other nodes |
2525 | EXPR_FUNCTION Function call, symbol points to function's name |
2526 | EXPR_CONSTANT A scalar constant: Logical, String, Real, Int or Complex |
2527 | EXPR_VARIABLE An Lvalue with a root symbol and possible reference list |
2528 | which expresses structure, array and substring refs. |
2529 | EXPR_NULL The NULL pointer value (which also has a basic type). |
2530 | EXPR_SUBSTRING A substring of a constant string |
2531 | EXPR_STRUCTURE A structure constructor |
2532 | EXPR_ARRAY An array constructor. |
2533 | EXPR_COMPCALL Function (or subroutine) call of a procedure pointer |
2534 | component or type-bound procedure. */ |
2535 | |
2536 | #include <mpfr.h> |
2537 | #include <mpc.h> |
2538 | #define GFC_RND_MODE MPFR_RNDN |
2539 | #define GFC_MPC_RND_MODE MPC_RNDNN |
2540 | |
2541 | typedef splay_tree gfc_constructor_base; |
2542 | |
2543 | |
2544 | /* This should be an unsigned variable of type size_t. But to handle |
2545 | compiling to a 64-bit target from a 32-bit host, we need to use a |
2546 | HOST_WIDE_INT. Also, occasionally the string length field is used |
2547 | as a flag with values -1 and -2, see e.g. gfc_add_assign_aux_vars. |
2548 | So it needs to be signed. */ |
2549 | typedef HOST_WIDE_INT gfc_charlen_t; |
2550 | |
2551 | typedef struct gfc_expr |
2552 | { |
2553 | expr_t expr_type; |
2554 | |
2555 | gfc_typespec ts; /* These two refer to the overall expression */ |
2556 | |
2557 | int rank; /* 0 indicates a scalar, -1 an assumed-rank array. */ |
2558 | mpz_t *shape; /* Can be NULL if shape is unknown at compile time */ |
2559 | |
2560 | /* Nonnull for functions and structure constructors, may also used to hold the |
2561 | base-object for component calls. */ |
2562 | gfc_symtree *symtree; |
2563 | |
2564 | gfc_ref *ref; |
2565 | |
2566 | locus where; |
2567 | |
2568 | /* Used to store the base expression in component calls, when the expression |
2569 | is not a variable. */ |
2570 | struct gfc_expr *base_expr; |
2571 | |
2572 | /* is_snan denotes a signalling not-a-number. */ |
2573 | unsigned int is_snan : 1; |
2574 | |
2575 | /* Sometimes, when an error has been emitted, it is necessary to prevent |
2576 | it from recurring. */ |
2577 | unsigned int error : 1; |
2578 | |
2579 | /* Mark an expression where a user operator has been substituted by |
2580 | a function call in interface.cc(gfc_extend_expr). */ |
2581 | unsigned int user_operator : 1; |
2582 | |
2583 | /* Mark an expression as being a MOLD argument of ALLOCATE. */ |
2584 | unsigned int mold : 1; |
2585 | |
2586 | /* Will require finalization after use. */ |
2587 | unsigned int must_finalize : 1; |
2588 | |
2589 | /* Set this if no range check should be performed on this expression. */ |
2590 | |
2591 | unsigned int no_bounds_check : 1; |
2592 | |
2593 | /* Set this if a matmul expression has already been evaluated for conversion |
2594 | to a BLAS call. */ |
2595 | |
2596 | unsigned int external_blas : 1; |
2597 | |
2598 | /* Set this if resolution has already happened. It could be harmful |
2599 | if done again. */ |
2600 | |
2601 | unsigned int do_not_resolve_again : 1; |
2602 | |
2603 | /* Set this if no warning should be given somewhere in a lower level. */ |
2604 | |
2605 | unsigned int do_not_warn : 1; |
2606 | |
2607 | /* Set this if the expression came from expanding an array constructor. */ |
2608 | unsigned int from_constructor : 1; |
2609 | |
2610 | /* If an expression comes from a Hollerith constant or compile-time |
2611 | evaluation of a transfer statement, it may have a prescribed target- |
2612 | memory representation, and these cannot always be backformed from |
2613 | the value. */ |
2614 | struct |
2615 | { |
2616 | gfc_charlen_t length; |
2617 | char *string; |
2618 | } |
2619 | representation; |
2620 | |
2621 | struct |
2622 | { |
2623 | int len; /* Length of BOZ string without terminating NULL. */ |
2624 | int rdx; /* Radix of BOZ. */ |
2625 | char *str; /* BOZ string with NULL terminating character. */ |
2626 | } |
2627 | boz; |
2628 | |
2629 | union |
2630 | { |
2631 | int logical; |
2632 | |
2633 | io_kind iokind; |
2634 | |
2635 | mpz_t integer; |
2636 | |
2637 | mpfr_t real; |
2638 | |
2639 | mpc_t complex; |
2640 | |
2641 | struct |
2642 | { |
2643 | gfc_intrinsic_op op; |
2644 | gfc_user_op *uop; |
2645 | struct gfc_expr *op1, *op2; |
2646 | } |
2647 | op; |
2648 | |
2649 | struct |
2650 | { |
2651 | gfc_actual_arglist *actual; |
2652 | const char *name; /* Points to the ultimate name of the function */ |
2653 | gfc_intrinsic_sym *isym; |
2654 | gfc_symbol *esym; |
2655 | } |
2656 | function; |
2657 | |
2658 | struct |
2659 | { |
2660 | gfc_actual_arglist* actual; |
2661 | const char* name; |
2662 | /* Base-object, whose component was called. NULL means that it should |
2663 | be taken from symtree/ref. */ |
2664 | struct gfc_expr* base_object; |
2665 | gfc_typebound_proc* tbp; /* Should overlap with esym. */ |
2666 | |
2667 | /* For type-bound operators, we want to call PASS procedures but already |
2668 | have the full arglist; mark this, so that it is not extended by the |
2669 | PASS argument. */ |
2670 | unsigned ignore_pass:1; |
2671 | |
2672 | /* Do assign-calls rather than calls, that is appropriate dependency |
2673 | checking. */ |
2674 | unsigned assign:1; |
2675 | } |
2676 | compcall; |
2677 | |
2678 | struct |
2679 | { |
2680 | gfc_charlen_t length; |
2681 | gfc_char_t *string; |
2682 | } |
2683 | character; |
2684 | |
2685 | gfc_constructor_base constructor; |
2686 | } |
2687 | value; |
2688 | |
2689 | /* Used to store PDT expression lists associated with expressions. */ |
2690 | gfc_actual_arglist *param_list; |
2691 | |
2692 | } |
2693 | gfc_expr; |
2694 | |
2695 | |
2696 | #define gfc_get_shape(rank) (XCNEWVEC (mpz_t, (rank))) |
2697 | |
2698 | /* Structures for information associated with different kinds of |
2699 | numbers. The first set of integer parameters define all there is |
2700 | to know about a particular kind. The rest of the elements are |
2701 | computed from the first elements. */ |
2702 | |
2703 | typedef struct |
2704 | { |
2705 | /* Values really representable by the target. */ |
2706 | mpz_t huge, pedantic_min_int, min_int; |
2707 | |
2708 | int kind, radix, digits, bit_size, range; |
2709 | |
2710 | /* True if the C type of the given name maps to this precision. |
2711 | Note that more than one bit can be set. */ |
2712 | unsigned int c_char : 1; |
2713 | unsigned int c_short : 1; |
2714 | unsigned int c_int : 1; |
2715 | unsigned int c_long : 1; |
2716 | unsigned int c_long_long : 1; |
2717 | } |
2718 | gfc_integer_info; |
2719 | |
2720 | extern gfc_integer_info gfc_integer_kinds[]; |
2721 | |
2722 | |
2723 | typedef struct |
2724 | { |
2725 | int kind, bit_size; |
2726 | |
2727 | /* True if the C++ type bool, C99 type _Bool, maps to this precision. */ |
2728 | unsigned int c_bool : 1; |
2729 | } |
2730 | gfc_logical_info; |
2731 | |
2732 | extern gfc_logical_info gfc_logical_kinds[]; |
2733 | |
2734 | |
2735 | typedef struct |
2736 | { |
2737 | mpfr_t epsilon, huge, tiny, subnormal; |
2738 | int kind, abi_kind, radix, digits, min_exponent, max_exponent; |
2739 | int range, precision; |
2740 | |
2741 | /* The precision of the type as reported by GET_MODE_PRECISION. */ |
2742 | int mode_precision; |
2743 | |
2744 | /* True if the C type of the given name maps to this precision. |
2745 | Note that more than one bit can be set. */ |
2746 | unsigned int c_float : 1; |
2747 | unsigned int c_double : 1; |
2748 | unsigned int c_long_double : 1; |
2749 | unsigned int c_float128 : 1; |
2750 | /* True if for _Float128 C23 IEC 60559 *f128 APIs should be used |
2751 | instead of libquadmath *q APIs. */ |
2752 | unsigned int use_iec_60559 : 1; |
2753 | } |
2754 | gfc_real_info; |
2755 | |
2756 | extern gfc_real_info gfc_real_kinds[]; |
2757 | |
2758 | typedef struct |
2759 | { |
2760 | int kind, bit_size; |
2761 | const char *name; |
2762 | } |
2763 | gfc_character_info; |
2764 | |
2765 | extern gfc_character_info gfc_character_kinds[]; |
2766 | |
2767 | |
2768 | /* Equivalence structures. Equivalent lvalues are linked along the |
2769 | *eq pointer, equivalence sets are strung along the *next node. */ |
2770 | typedef struct gfc_equiv |
2771 | { |
2772 | struct gfc_equiv *next, *eq; |
2773 | gfc_expr *expr; |
2774 | const char *module; |
2775 | int used; |
2776 | } |
2777 | gfc_equiv; |
2778 | |
2779 | #define gfc_get_equiv() XCNEW (gfc_equiv) |
2780 | |
2781 | /* Holds a single equivalence member after processing. */ |
2782 | typedef struct gfc_equiv_info |
2783 | { |
2784 | gfc_symbol *sym; |
2785 | HOST_WIDE_INT offset; |
2786 | HOST_WIDE_INT length; |
2787 | struct gfc_equiv_info *next; |
2788 | } gfc_equiv_info; |
2789 | |
2790 | /* Holds equivalence groups, after they have been processed. */ |
2791 | typedef struct gfc_equiv_list |
2792 | { |
2793 | gfc_equiv_info *equiv; |
2794 | struct gfc_equiv_list *next; |
2795 | } gfc_equiv_list; |
2796 | |
2797 | /* gfc_case stores the selector list of a case statement. The *low |
2798 | and *high pointers can point to the same expression in the case of |
2799 | a single value. If *high is NULL, the selection is from *low |
2800 | upwards, if *low is NULL the selection is *high downwards. |
2801 | |
2802 | This structure has separate fields to allow single and double linked |
2803 | lists of CASEs at the same time. The singe linked list along the NEXT |
2804 | field is a list of cases for a single CASE label. The double linked |
2805 | list along the LEFT/RIGHT fields is used to detect overlap and to |
2806 | build a table of the cases for SELECT constructs with a CHARACTER |
2807 | case expression. */ |
2808 | |
2809 | typedef struct gfc_case |
2810 | { |
2811 | /* Where we saw this case. */ |
2812 | locus where; |
2813 | int n; |
2814 | |
2815 | /* Case range values. If (low == high), it's a single value. If one of |
2816 | the labels is NULL, it's an unbounded case. If both are NULL, this |
2817 | represents the default case. */ |
2818 | gfc_expr *low, *high; |
2819 | |
2820 | /* Only used for SELECT TYPE. */ |
2821 | gfc_typespec ts; |
2822 | |
2823 | /* Next case label in the list of cases for a single CASE label. */ |
2824 | struct gfc_case *next; |
2825 | |
2826 | /* Used for detecting overlap, and for code generation. */ |
2827 | struct gfc_case *left, *right; |
2828 | |
2829 | /* True if this case label can never be matched. */ |
2830 | int unreachable; |
2831 | } |
2832 | gfc_case; |
2833 | |
2834 | #define gfc_get_case() XCNEW (gfc_case) |
2835 | |
2836 | |
2837 | typedef struct |
2838 | { |
2839 | gfc_expr *var, *start, *end, *step; |
2840 | unsigned short unroll; |
2841 | bool ivdep; |
2842 | bool vector; |
2843 | bool novector; |
2844 | } |
2845 | gfc_iterator; |
2846 | |
2847 | #define gfc_get_iterator() XCNEW (gfc_iterator) |
2848 | |
2849 | |
2850 | /* Allocation structure for ALLOCATE, DEALLOCATE and NULLIFY statements. */ |
2851 | |
2852 | typedef struct gfc_alloc |
2853 | { |
2854 | gfc_expr *expr; |
2855 | struct gfc_alloc *next; |
2856 | } |
2857 | gfc_alloc; |
2858 | |
2859 | #define gfc_get_alloc() XCNEW (gfc_alloc) |
2860 | |
2861 | |
2862 | typedef struct |
2863 | { |
2864 | gfc_expr *unit, *file, *status, *access, *form, *recl, |
2865 | *blank, *position, *action, *delim, *pad, *iostat, *iomsg, *convert, |
2866 | *decimal, *encoding, *round, *sign, *asynchronous, *id, *newunit, |
2867 | *share, *cc; |
2868 | char readonly; |
2869 | gfc_st_label *err; |
2870 | } |
2871 | gfc_open; |
2872 | |
2873 | |
2874 | typedef struct |
2875 | { |
2876 | gfc_expr *unit, *status, *iostat, *iomsg; |
2877 | gfc_st_label *err; |
2878 | } |
2879 | gfc_close; |
2880 | |
2881 | |
2882 | typedef struct |
2883 | { |
2884 | gfc_expr *unit, *iostat, *iomsg; |
2885 | gfc_st_label *err; |
2886 | } |
2887 | gfc_filepos; |
2888 | |
2889 | |
2890 | typedef struct |
2891 | { |
2892 | gfc_expr *unit, *file, *iostat, *exist, *opened, *number, *named, |
2893 | *name, *access, *sequential, *direct, *form, *formatted, |
2894 | *unformatted, *recl, *nextrec, *blank, *position, *action, *read, |
2895 | *write, *readwrite, *delim, *pad, *iolength, *iomsg, *convert, *strm_pos, |
2896 | *asynchronous, *decimal, *encoding, *pending, *round, *sign, *size, *id, |
2897 | *iqstream, *share, *cc; |
2898 | |
2899 | gfc_st_label *err; |
2900 | |
2901 | } |
2902 | gfc_inquire; |
2903 | |
2904 | |
2905 | typedef struct |
2906 | { |
2907 | gfc_expr *unit, *iostat, *iomsg, *id; |
2908 | gfc_st_label *err, *end, *eor; |
2909 | } |
2910 | gfc_wait; |
2911 | |
2912 | |
2913 | typedef struct |
2914 | { |
2915 | gfc_expr *io_unit, *format_expr, *rec, *advance, *iostat, *size, *iomsg, |
2916 | *id, *pos, *asynchronous, *blank, *decimal, *delim, *pad, *round, |
2917 | *sign, *, *dt_io_kind, *udtio; |
2918 | char dec_ext; |
2919 | |
2920 | gfc_symbol *namelist; |
2921 | /* A format_label of `format_asterisk' indicates the "*" format */ |
2922 | gfc_st_label *format_label; |
2923 | gfc_st_label *err, *end, *eor; |
2924 | |
2925 | locus eor_where, end_where, err_where; |
2926 | } |
2927 | gfc_dt; |
2928 | |
2929 | |
2930 | typedef struct gfc_forall_iterator |
2931 | { |
2932 | gfc_expr *var, *start, *end, *stride; |
2933 | struct gfc_forall_iterator *next; |
2934 | } |
2935 | gfc_forall_iterator; |
2936 | |
2937 | |
2938 | /* Linked list to store associations in an ASSOCIATE statement. */ |
2939 | |
2940 | typedef struct gfc_association_list |
2941 | { |
2942 | struct gfc_association_list *next; |
2943 | |
2944 | /* Whether this is association to a variable that can be changed; otherwise, |
2945 | it's association to an expression and the name may not be used as |
2946 | lvalue. */ |
2947 | unsigned variable:1; |
2948 | |
2949 | /* True if this struct is currently only linked to from a gfc_symbol rather |
2950 | than as part of a real list in gfc_code->ext.block.assoc. This may |
2951 | happen for SELECT TYPE temporaries and must be considered |
2952 | for memory handling. */ |
2953 | unsigned dangling:1; |
2954 | |
2955 | char name[GFC_MAX_SYMBOL_LEN + 1]; |
2956 | gfc_symtree *st; /* Symtree corresponding to name. */ |
2957 | locus where; |
2958 | |
2959 | gfc_expr *target; |
2960 | } |
2961 | gfc_association_list; |
2962 | #define gfc_get_association_list() XCNEW (gfc_association_list) |
2963 | |
2964 | |
2965 | /* Executable statements that fill gfc_code structures. */ |
2966 | enum gfc_exec_op |
2967 | { |
2968 | EXEC_NOP = 1, EXEC_END_NESTED_BLOCK, EXEC_END_BLOCK, EXEC_ASSIGN, |
2969 | EXEC_LABEL_ASSIGN, EXEC_POINTER_ASSIGN, EXEC_CRITICAL, EXEC_ERROR_STOP, |
2970 | EXEC_GOTO, EXEC_CALL, EXEC_COMPCALL, EXEC_ASSIGN_CALL, EXEC_RETURN, |
2971 | EXEC_ENTRY, EXEC_PAUSE, EXEC_STOP, EXEC_CONTINUE, EXEC_INIT_ASSIGN, |
2972 | EXEC_IF, EXEC_ARITHMETIC_IF, EXEC_DO, EXEC_DO_CONCURRENT, EXEC_DO_WHILE, |
2973 | EXEC_SELECT, EXEC_BLOCK, EXEC_FORALL, EXEC_WHERE, EXEC_CYCLE, EXEC_EXIT, |
2974 | EXEC_CALL_PPC, EXEC_ALLOCATE, EXEC_DEALLOCATE, EXEC_END_PROCEDURE, |
2975 | EXEC_SELECT_TYPE, EXEC_SELECT_RANK, EXEC_SYNC_ALL, EXEC_SYNC_MEMORY, |
2976 | EXEC_SYNC_IMAGES, EXEC_OPEN, EXEC_CLOSE, EXEC_WAIT, |
2977 | EXEC_READ, EXEC_WRITE, EXEC_IOLENGTH, EXEC_TRANSFER, EXEC_DT_END, |
2978 | EXEC_BACKSPACE, EXEC_ENDFILE, EXEC_INQUIRE, EXEC_REWIND, EXEC_FLUSH, |
2979 | EXEC_FORM_TEAM, EXEC_CHANGE_TEAM, EXEC_END_TEAM, EXEC_SYNC_TEAM, |
2980 | EXEC_LOCK, EXEC_UNLOCK, EXEC_EVENT_POST, EXEC_EVENT_WAIT, EXEC_FAIL_IMAGE, |
2981 | EXEC_OACC_KERNELS_LOOP, EXEC_OACC_PARALLEL_LOOP, EXEC_OACC_SERIAL_LOOP, |
2982 | EXEC_OACC_ROUTINE, EXEC_OACC_PARALLEL, EXEC_OACC_KERNELS, EXEC_OACC_SERIAL, |
2983 | EXEC_OACC_DATA, EXEC_OACC_HOST_DATA, EXEC_OACC_LOOP, EXEC_OACC_UPDATE, |
2984 | EXEC_OACC_WAIT, EXEC_OACC_CACHE, EXEC_OACC_ENTER_DATA, EXEC_OACC_EXIT_DATA, |
2985 | EXEC_OACC_ATOMIC, EXEC_OACC_DECLARE, |
2986 | EXEC_OMP_CRITICAL, EXEC_OMP_DO, EXEC_OMP_FLUSH, EXEC_OMP_MASTER, |
2987 | EXEC_OMP_ORDERED, EXEC_OMP_PARALLEL, EXEC_OMP_PARALLEL_DO, |
2988 | EXEC_OMP_PARALLEL_SECTIONS, EXEC_OMP_PARALLEL_WORKSHARE, |
2989 | EXEC_OMP_SECTIONS, EXEC_OMP_SINGLE, EXEC_OMP_WORKSHARE, |
2990 | EXEC_OMP_ASSUME, EXEC_OMP_ATOMIC, EXEC_OMP_BARRIER, EXEC_OMP_END_NOWAIT, |
2991 | EXEC_OMP_END_SINGLE, EXEC_OMP_TASK, EXEC_OMP_TASKWAIT, |
2992 | EXEC_OMP_TASKYIELD, EXEC_OMP_CANCEL, EXEC_OMP_CANCELLATION_POINT, |
2993 | EXEC_OMP_TASKGROUP, EXEC_OMP_SIMD, EXEC_OMP_DO_SIMD, |
2994 | EXEC_OMP_PARALLEL_DO_SIMD, EXEC_OMP_TARGET, EXEC_OMP_TARGET_DATA, |
2995 | EXEC_OMP_TEAMS, EXEC_OMP_DISTRIBUTE, EXEC_OMP_DISTRIBUTE_SIMD, |
2996 | EXEC_OMP_DISTRIBUTE_PARALLEL_DO, EXEC_OMP_DISTRIBUTE_PARALLEL_DO_SIMD, |
2997 | EXEC_OMP_TARGET_TEAMS, EXEC_OMP_TEAMS_DISTRIBUTE, |
2998 | EXEC_OMP_TEAMS_DISTRIBUTE_SIMD, EXEC_OMP_TARGET_TEAMS_DISTRIBUTE, |
2999 | EXEC_OMP_TARGET_TEAMS_DISTRIBUTE_SIMD, |
3000 | EXEC_OMP_TEAMS_DISTRIBUTE_PARALLEL_DO, |
3001 | EXEC_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_DO, |
3002 | EXEC_OMP_TEAMS_DISTRIBUTE_PARALLEL_DO_SIMD, |
3003 | EXEC_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_DO_SIMD, |
3004 | EXEC_OMP_TARGET_UPDATE, EXEC_OMP_END_CRITICAL, |
3005 | EXEC_OMP_TARGET_ENTER_DATA, EXEC_OMP_TARGET_EXIT_DATA, |
3006 | EXEC_OMP_TARGET_PARALLEL, EXEC_OMP_TARGET_PARALLEL_DO, |
3007 | EXEC_OMP_TARGET_PARALLEL_DO_SIMD, EXEC_OMP_TARGET_SIMD, |
3008 | EXEC_OMP_TASKLOOP, EXEC_OMP_TASKLOOP_SIMD, EXEC_OMP_SCAN, EXEC_OMP_DEPOBJ, |
3009 | EXEC_OMP_PARALLEL_MASTER, EXEC_OMP_PARALLEL_MASTER_TASKLOOP, |
3010 | EXEC_OMP_PARALLEL_MASTER_TASKLOOP_SIMD, EXEC_OMP_MASTER_TASKLOOP, |
3011 | EXEC_OMP_MASTER_TASKLOOP_SIMD, EXEC_OMP_LOOP, EXEC_OMP_PARALLEL_LOOP, |
3012 | EXEC_OMP_TEAMS_LOOP, EXEC_OMP_TARGET_PARALLEL_LOOP, |
3013 | EXEC_OMP_TARGET_TEAMS_LOOP, EXEC_OMP_MASKED, EXEC_OMP_PARALLEL_MASKED, |
3014 | EXEC_OMP_PARALLEL_MASKED_TASKLOOP, EXEC_OMP_PARALLEL_MASKED_TASKLOOP_SIMD, |
3015 | EXEC_OMP_MASKED_TASKLOOP, EXEC_OMP_MASKED_TASKLOOP_SIMD, EXEC_OMP_SCOPE, |
3016 | EXEC_OMP_ERROR, EXEC_OMP_ALLOCATE, EXEC_OMP_ALLOCATORS |
3017 | }; |
3018 | |
3019 | typedef struct gfc_code |
3020 | { |
3021 | gfc_exec_op op; |
3022 | |
3023 | struct gfc_code *block, *next; |
3024 | locus loc; |
3025 | |
3026 | gfc_st_label *here, *label1, *label2, *label3; |
3027 | gfc_symtree *symtree; |
3028 | gfc_expr *expr1, *expr2, *expr3, *expr4; |
3029 | /* A name isn't sufficient to identify a subroutine, we need the actual |
3030 | symbol for the interface definition. |
3031 | const char *sub_name; */ |
3032 | gfc_symbol *resolved_sym; |
3033 | gfc_intrinsic_sym *resolved_isym; |
3034 | |
3035 | union |
3036 | { |
3037 | gfc_actual_arglist *actual; |
3038 | gfc_iterator *iterator; |
3039 | |
3040 | struct |
3041 | { |
3042 | gfc_typespec ts; |
3043 | gfc_alloc *list; |
3044 | /* Take the array specification from expr3 to allocate arrays |
3045 | without an explicit array specification. */ |
3046 | unsigned arr_spec_from_expr3:1; |
3047 | /* expr3 is not explicit */ |
3048 | unsigned expr3_not_explicit:1; |
3049 | } |
3050 | alloc; |
3051 | |
3052 | struct |
3053 | { |
3054 | gfc_namespace *ns; |
3055 | gfc_association_list *assoc; |
3056 | gfc_case *case_list; |
3057 | } |
3058 | block; |
3059 | |
3060 | gfc_open *open; |
3061 | gfc_close *close; |
3062 | gfc_filepos *filepos; |
3063 | gfc_inquire *inquire; |
3064 | gfc_wait *wait; |
3065 | gfc_dt *dt; |
3066 | gfc_forall_iterator *forall_iterator; |
3067 | struct gfc_code *which_construct; |
3068 | int stop_code; |
3069 | gfc_entry_list *entry; |
3070 | gfc_oacc_declare *oacc_declare; |
3071 | gfc_omp_clauses *omp_clauses; |
3072 | const char *omp_name; |
3073 | gfc_omp_namelist *omp_namelist; |
3074 | bool omp_bool; |
3075 | } |
3076 | ext; /* Points to additional structures required by statement */ |
3077 | |
3078 | /* Cycle and break labels in constructs. */ |
3079 | tree cycle_label; |
3080 | tree exit_label; |
3081 | } |
3082 | gfc_code; |
3083 | |
3084 | |
3085 | /* Storage for DATA statements. */ |
3086 | typedef struct gfc_data_variable |
3087 | { |
3088 | gfc_expr *expr; |
3089 | gfc_iterator iter; |
3090 | struct gfc_data_variable *list, *next; |
3091 | } |
3092 | gfc_data_variable; |
3093 | |
3094 | |
3095 | typedef struct gfc_data_value |
3096 | { |
3097 | mpz_t repeat; |
3098 | gfc_expr *expr; |
3099 | struct gfc_data_value *next; |
3100 | } |
3101 | gfc_data_value; |
3102 | |
3103 | |
3104 | typedef struct gfc_data |
3105 | { |
3106 | gfc_data_variable *var; |
3107 | gfc_data_value *value; |
3108 | locus where; |
3109 | |
3110 | struct gfc_data *next; |
3111 | } |
3112 | gfc_data; |
3113 | |
3114 | |
3115 | /* Structure for holding compile options */ |
3116 | typedef struct |
3117 | { |
3118 | char *module_dir; |
3119 | gfc_source_form source_form; |
3120 | int max_continue_fixed; |
3121 | int max_continue_free; |
3122 | int max_identifier_length; |
3123 | |
3124 | int max_errors; |
3125 | |
3126 | int flag_preprocessed; |
3127 | int flag_d_lines; |
3128 | int flag_init_integer; |
3129 | long flag_init_integer_value; |
3130 | int flag_init_logical; |
3131 | int flag_init_character; |
3132 | char flag_init_character_value; |
3133 | |
3134 | int fpe; |
3135 | int fpe_summary; |
3136 | int rtcheck; |
3137 | |
3138 | int warn_std; |
3139 | int allow_std; |
3140 | } |
3141 | gfc_option_t; |
3142 | |
3143 | extern gfc_option_t gfc_option; |
3144 | |
3145 | /* Constructor nodes for array and structure constructors. */ |
3146 | typedef struct gfc_constructor |
3147 | { |
3148 | gfc_constructor_base base; |
3149 | mpz_t offset; /* Offset within a constructor, used as |
3150 | key within base. */ |
3151 | |
3152 | gfc_expr *expr; |
3153 | gfc_iterator *iterator; |
3154 | locus where; |
3155 | |
3156 | union |
3157 | { |
3158 | gfc_component *component; /* Record the component being initialized. */ |
3159 | } |
3160 | n; |
3161 | mpz_t repeat; /* Record the repeat number of initial values in data |
3162 | statement like "data a/5*10/". */ |
3163 | } |
3164 | gfc_constructor; |
3165 | |
3166 | |
3167 | typedef struct iterator_stack |
3168 | { |
3169 | gfc_symtree *variable; |
3170 | mpz_t value; |
3171 | struct iterator_stack *prev; |
3172 | } |
3173 | iterator_stack; |
3174 | extern iterator_stack *iter_stack; |
3175 | |
3176 | |
3177 | /* Used for (possibly nested) SELECT TYPE statements. */ |
3178 | typedef struct gfc_select_type_stack |
3179 | { |
3180 | gfc_symbol *selector; /* Current selector variable. */ |
3181 | gfc_symtree *tmp; /* Current temporary variable. */ |
3182 | struct gfc_select_type_stack *prev; /* Previous element on stack. */ |
3183 | } |
3184 | gfc_select_type_stack; |
3185 | extern gfc_select_type_stack *select_type_stack; |
3186 | #define gfc_get_select_type_stack() XCNEW (gfc_select_type_stack) |
3187 | |
3188 | |
3189 | /* Node in the linked list used for storing finalizer procedures. */ |
3190 | |
3191 | typedef struct gfc_finalizer |
3192 | { |
3193 | struct gfc_finalizer* next; |
3194 | locus where; /* Where the FINAL declaration occurred. */ |
3195 | |
3196 | /* Up to resolution, we want the gfc_symbol, there we lookup the corresponding |
3197 | symtree and later need only that. This way, we can access and call the |
3198 | finalizers from every context as they should be "always accessible". I |
3199 | don't make this a union because we need the information whether proc_sym is |
3200 | still referenced or not for dereferencing it on deleting a gfc_finalizer |
3201 | structure. */ |
3202 | gfc_symbol* proc_sym; |
3203 | gfc_symtree* proc_tree; |
3204 | } |
3205 | gfc_finalizer; |
3206 | #define gfc_get_finalizer() XCNEW (gfc_finalizer) |
3207 | |
3208 | |
3209 | /************************ Function prototypes *************************/ |
3210 | |
3211 | |
3212 | /* Returns true if the type specified in TS is a character type whose length |
3213 | is the constant one. Otherwise returns false. */ |
3214 | |
3215 | inline bool |
3216 | gfc_length_one_character_type_p (gfc_typespec *ts) |
3217 | { |
3218 | return ts->type == BT_CHARACTER |
3219 | && ts->u.cl |
3220 | && ts->u.cl->length |
3221 | && ts->u.cl->length->expr_type == EXPR_CONSTANT |
3222 | && ts->u.cl->length->ts.type == BT_INTEGER |
3223 | && mpz_cmp_ui (ts->u.cl->length->value.integer, 1) == 0; |
3224 | } |
3225 | |
3226 | /* decl.cc */ |
3227 | bool gfc_in_match_data (void); |
3228 | match gfc_match_char_spec (gfc_typespec *); |
3229 | extern int directive_unroll; |
3230 | extern bool directive_ivdep; |
3231 | extern bool directive_vector; |
3232 | extern bool directive_novector; |
3233 | |
3234 | /* SIMD clause enum. */ |
3235 | enum gfc_simd_clause |
3236 | { |
3237 | SIMD_NONE = (1 << 0), |
3238 | SIMD_INBRANCH = (1 << 1), |
3239 | SIMD_NOTINBRANCH = (1 << 2) |
3240 | }; |
3241 | |
3242 | /* Tuple for parsing of vectorized built-ins. */ |
3243 | struct gfc_vect_builtin_tuple |
3244 | { |
3245 | gfc_vect_builtin_tuple (const char *n, gfc_simd_clause t) |
3246 | : name (n), simd_type (t) {} |
3247 | |
3248 | const char *name; |
3249 | gfc_simd_clause simd_type; |
3250 | }; |
3251 | |
3252 | /* Map of middle-end built-ins that should be vectorized. */ |
3253 | extern hash_map<nofree_string_hash, int> *gfc_vectorized_builtins; |
3254 | |
3255 | /* Handling Parameterized Derived Types */ |
3256 | bool gfc_insert_parameter_exprs (gfc_expr *, gfc_actual_arglist *); |
3257 | match gfc_get_pdt_instance (gfc_actual_arglist *, gfc_symbol **, |
3258 | gfc_actual_arglist **); |
3259 | |
3260 | |
3261 | /* Given a symbol, test whether it is a module procedure in a submodule */ |
3262 | #define gfc_submodule_procedure(attr) \ |
3263 | (gfc_state_stack->previous && gfc_state_stack->previous->previous \ |
3264 | && gfc_state_stack->previous->previous->state == COMP_SUBMODULE \ |
3265 | && attr->module_procedure) |
3266 | |
3267 | /* scanner.cc */ |
3268 | void gfc_scanner_done_1 (void); |
3269 | void gfc_scanner_init_1 (void); |
3270 | |
3271 | void gfc_add_include_path (const char *, bool, bool, bool, bool); |
3272 | void gfc_add_intrinsic_modules_path (const char *); |
3273 | void gfc_release_include_path (void); |
3274 | void gfc_check_include_dirs (bool); |
3275 | FILE *gfc_open_included_file (const char *, bool, bool); |
3276 | |
3277 | bool gfc_at_end (void); |
3278 | bool gfc_at_eof (void); |
3279 | bool gfc_at_bol (void); |
3280 | bool gfc_at_eol (void); |
3281 | void gfc_advance_line (void); |
3282 | bool gfc_define_undef_line (void); |
3283 | |
3284 | bool gfc_wide_is_printable (gfc_char_t); |
3285 | bool gfc_wide_is_digit (gfc_char_t); |
3286 | bool gfc_wide_fits_in_byte (gfc_char_t); |
3287 | gfc_char_t gfc_wide_tolower (gfc_char_t); |
3288 | gfc_char_t gfc_wide_toupper (gfc_char_t); |
3289 | size_t gfc_wide_strlen (const gfc_char_t *); |
3290 | int gfc_wide_strncasecmp (const gfc_char_t *, const char *, size_t); |
3291 | gfc_char_t *gfc_wide_memset (gfc_char_t *, gfc_char_t, size_t); |
3292 | char *gfc_widechar_to_char (const gfc_char_t *, int); |
3293 | gfc_char_t *gfc_char_to_widechar (const char *); |
3294 | |
3295 | #define gfc_get_wide_string(n) XCNEWVEC (gfc_char_t, n) |
3296 | |
3297 | void (void); |
3298 | gfc_char_t gfc_next_char_literal (gfc_instring); |
3299 | gfc_char_t gfc_next_char (void); |
3300 | char gfc_next_ascii_char (void); |
3301 | gfc_char_t gfc_peek_char (void); |
3302 | char gfc_peek_ascii_char (void); |
3303 | void gfc_error_recovery (void); |
3304 | void gfc_gobble_whitespace (void); |
3305 | void gfc_new_file (void); |
3306 | const char * gfc_read_orig_filename (const char *, const char **); |
3307 | |
3308 | extern gfc_source_form gfc_current_form; |
3309 | extern const char *gfc_source_file; |
3310 | extern locus gfc_current_locus; |
3311 | |
3312 | void gfc_start_source_files (void); |
3313 | void gfc_end_source_files (void); |
3314 | |
3315 | /* misc.cc */ |
3316 | void gfc_clear_ts (gfc_typespec *); |
3317 | FILE *gfc_open_file (const char *); |
3318 | const char *gfc_basic_typename (bt); |
3319 | const char *gfc_dummy_typename (gfc_typespec *); |
3320 | const char *gfc_typename (gfc_typespec *, bool for_hash = false); |
3321 | const char *gfc_typename (gfc_expr *); |
3322 | const char *gfc_op2string (gfc_intrinsic_op); |
3323 | const char *gfc_code2string (const mstring *, int); |
3324 | int gfc_string2code (const mstring *, const char *); |
3325 | const char *gfc_intent_string (sym_intent); |
3326 | |
3327 | void gfc_init_1 (void); |
3328 | void gfc_init_2 (void); |
3329 | void gfc_done_1 (void); |
3330 | void gfc_done_2 (void); |
3331 | |
3332 | int get_c_kind (const char *, CInteropKind_t *); |
3333 | |
3334 | const char *gfc_closest_fuzzy_match (const char *, char **); |
3335 | inline void |
3336 | vec_push (char **&optr, size_t &osz, const char *elt) |
3337 | { |
3338 | /* {auto,}vec.safe_push () replacement. Don't ask.. */ |
3339 | // if (strlen (elt) < 4) return; premature optimization: eliminated by cutoff |
3340 | optr = XRESIZEVEC (char *, optr, osz + 2); |
3341 | optr[osz] = CONST_CAST (char *, elt); |
3342 | optr[++osz] = NULL; |
3343 | } |
3344 | |
3345 | HOST_WIDE_INT gfc_mpz_get_hwi (mpz_t); |
3346 | void gfc_mpz_set_hwi (mpz_t, const HOST_WIDE_INT); |
3347 | |
3348 | /* options.cc */ |
3349 | unsigned int gfc_option_lang_mask (void); |
3350 | void gfc_init_options_struct (struct gcc_options *); |
3351 | void gfc_init_options (unsigned int, |
3352 | struct cl_decoded_option *); |
3353 | bool gfc_handle_option (size_t, const char *, HOST_WIDE_INT, int, location_t, |
3354 | const struct cl_option_handlers *); |
3355 | bool gfc_post_options (const char **); |
3356 | char *gfc_get_option_string (void); |
3357 | |
3358 | /* f95-lang.cc */ |
3359 | void gfc_maybe_initialize_eh (void); |
3360 | |
3361 | /* iresolve.cc */ |
3362 | const char * gfc_get_string (const char *, ...) ATTRIBUTE_PRINTF_1; |
3363 | bool gfc_find_sym_in_expr (gfc_symbol *, gfc_expr *); |
3364 | |
3365 | /* error.cc */ |
3366 | void gfc_error_init_1 (void); |
3367 | void gfc_diagnostics_init (void); |
3368 | void gfc_diagnostics_finish (void); |
3369 | void gfc_buffer_error (bool); |
3370 | |
3371 | const char *gfc_print_wide_char (gfc_char_t); |
3372 | |
3373 | bool gfc_warning (int opt, const char *, ...) ATTRIBUTE_GCC_GFC(2,3); |
3374 | bool gfc_warning_now (int opt, const char *, ...) ATTRIBUTE_GCC_GFC(2,3); |
3375 | bool gfc_warning_internal (int opt, const char *, ...) ATTRIBUTE_GCC_GFC(2,3); |
3376 | bool gfc_warning_now_at (location_t loc, int opt, const char *gmsgid, ...) |
3377 | ATTRIBUTE_GCC_GFC(3,4); |
3378 | |
3379 | void gfc_clear_warning (void); |
3380 | void gfc_warning_check (void); |
3381 | |
3382 | void gfc_error_opt (int opt, const char *, ...) ATTRIBUTE_GCC_GFC(2,3); |
3383 | void gfc_error (const char *, ...) ATTRIBUTE_GCC_GFC(1,2); |
3384 | void gfc_error_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2); |
3385 | void gfc_fatal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2); |
3386 | void gfc_internal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2); |
3387 | void gfc_clear_error (void); |
3388 | bool gfc_error_check (void); |
3389 | bool gfc_error_flag_test (void); |
3390 | bool gfc_buffered_p (void); |
3391 | |
3392 | notification gfc_notification_std (int); |
3393 | bool gfc_notify_std (int, const char *, ...) ATTRIBUTE_GCC_GFC(2,3); |
3394 | |
3395 | /* A general purpose syntax error. */ |
3396 | #define gfc_syntax_error(ST) \ |
3397 | gfc_error ("Syntax error in %s statement at %C", gfc_ascii_statement (ST)); |
3398 | |
3399 | #include "pretty-print.h" /* For output_buffer. */ |
3400 | struct gfc_error_buffer |
3401 | { |
3402 | bool flag; |
3403 | output_buffer buffer; |
3404 | gfc_error_buffer(void) : flag(false), buffer() {} |
3405 | }; |
3406 | |
3407 | void gfc_push_error (gfc_error_buffer *); |
3408 | void gfc_pop_error (gfc_error_buffer *); |
3409 | void gfc_free_error (gfc_error_buffer *); |
3410 | |
3411 | void gfc_get_errors (int *, int *); |
3412 | void gfc_errors_to_warnings (bool); |
3413 | |
3414 | /* arith.cc */ |
3415 | void gfc_arith_init_1 (void); |
3416 | void gfc_arith_done_1 (void); |
3417 | arith gfc_check_integer_range (mpz_t p, int kind); |
3418 | bool gfc_check_character_range (gfc_char_t, int); |
3419 | |
3420 | extern bool gfc_seen_div0; |
3421 | |
3422 | /* trans-types.cc */ |
3423 | int gfc_validate_kind (bt, int, bool); |
3424 | int gfc_get_int_kind_from_width_isofortranenv (int size); |
3425 | int gfc_get_real_kind_from_width_isofortranenv (int size); |
3426 | tree gfc_get_union_type (gfc_symbol *); |
3427 | tree gfc_get_derived_type (gfc_symbol * derived, int codimen = 0); |
3428 | extern int gfc_index_integer_kind; |
3429 | extern int gfc_default_integer_kind; |
3430 | extern int gfc_max_integer_kind; |
3431 | extern int gfc_default_real_kind; |
3432 | extern int gfc_default_double_kind; |
3433 | extern int gfc_default_character_kind; |
3434 | extern int gfc_default_logical_kind; |
3435 | extern int gfc_default_complex_kind; |
3436 | extern int gfc_c_int_kind; |
3437 | extern int gfc_c_intptr_kind; |
3438 | extern int gfc_atomic_int_kind; |
3439 | extern int gfc_atomic_logical_kind; |
3440 | extern int gfc_intio_kind; |
3441 | extern int gfc_charlen_int_kind; |
3442 | extern int gfc_size_kind; |
3443 | extern int gfc_numeric_storage_size; |
3444 | extern int gfc_character_storage_size; |
3445 | |
3446 | #define gfc_logical_4_kind 4 |
3447 | #define gfc_integer_4_kind 4 |
3448 | #define gfc_real_4_kind 4 |
3449 | |
3450 | /* symbol.cc */ |
3451 | void gfc_clear_new_implicit (void); |
3452 | bool gfc_add_new_implicit_range (int, int); |
3453 | bool gfc_merge_new_implicit (gfc_typespec *); |
3454 | void gfc_set_implicit_none (bool, bool, locus *); |
3455 | void gfc_check_function_type (gfc_namespace *); |
3456 | bool gfc_is_intrinsic_typename (const char *); |
3457 | bool gfc_check_conflict (symbol_attribute *, const char *, locus *); |
3458 | |
3459 | gfc_typespec *gfc_get_default_type (const char *, gfc_namespace *); |
3460 | bool gfc_set_default_type (gfc_symbol *, int, gfc_namespace *); |
3461 | |
3462 | void gfc_set_sym_referenced (gfc_symbol *); |
3463 | |
3464 | bool gfc_add_attribute (symbol_attribute *, locus *); |
3465 | bool gfc_add_ext_attribute (symbol_attribute *, ext_attr_id_t, locus *); |
3466 | bool gfc_add_allocatable (symbol_attribute *, locus *); |
3467 | bool gfc_add_codimension (symbol_attribute *, const char *, locus *); |
3468 | bool gfc_add_contiguous (symbol_attribute *, const char *, locus *); |
3469 | bool gfc_add_dimension (symbol_attribute *, const char *, locus *); |
3470 | bool gfc_add_external (symbol_attribute *, locus *); |
3471 | bool gfc_add_intrinsic (symbol_attribute *, locus *); |
3472 | bool gfc_add_optional (symbol_attribute *, locus *); |
3473 | bool gfc_add_kind (symbol_attribute *, locus *); |
3474 | bool gfc_add_len (symbol_attribute *, locus *); |
3475 | bool gfc_add_pointer (symbol_attribute *, locus *); |
3476 | bool gfc_add_cray_pointer (symbol_attribute *, locus *); |
3477 | bool gfc_add_cray_pointee (symbol_attribute *, locus *); |
3478 | match gfc_mod_pointee_as (gfc_array_spec *); |
3479 | bool gfc_add_protected (symbol_attribute *, const char *, locus *); |
3480 | bool gfc_add_result (symbol_attribute *, const char *, locus *); |
3481 | bool gfc_add_automatic (symbol_attribute *, const char *, locus *); |
3482 | bool gfc_add_save (symbol_attribute *, save_state, const char *, locus *); |
3483 | bool gfc_add_threadprivate (symbol_attribute *, const char *, locus *); |
3484 | bool gfc_add_omp_declare_target (symbol_attribute *, const char *, locus *); |
3485 | bool gfc_add_omp_declare_target_link (symbol_attribute *, const char *, |
3486 | locus *); |
3487 | bool gfc_add_target (symbol_attribute *, locus *); |
3488 | bool gfc_add_dummy (symbol_attribute *, const char *, locus *); |
3489 | bool gfc_add_generic (symbol_attribute *, const char *, locus *); |
3490 | bool gfc_add_in_common (symbol_attribute *, const char *, locus *); |
3491 | bool gfc_add_in_equivalence (symbol_attribute *, const char *, locus *); |
3492 | bool gfc_add_data (symbol_attribute *, const char *, locus *); |
3493 | bool gfc_add_in_namelist (symbol_attribute *, const char *, locus *); |
3494 | bool gfc_add_sequence (symbol_attribute *, const char *, locus *); |
3495 | bool gfc_add_elemental (symbol_attribute *, locus *); |
3496 | bool gfc_add_pure (symbol_attribute *, locus *); |
3497 | bool gfc_add_recursive (symbol_attribute *, locus *); |
3498 | bool gfc_add_function (symbol_attribute *, const char *, locus *); |
3499 | bool gfc_add_subroutine (symbol_attribute *, const char *, locus *); |
3500 | bool gfc_add_volatile (symbol_attribute *, const char *, locus *); |
3501 | bool gfc_add_asynchronous (symbol_attribute *, const char *, locus *); |
3502 | bool gfc_add_proc (symbol_attribute *attr, const char *name, locus *where); |
3503 | bool gfc_add_abstract (symbol_attribute* attr, locus* where); |
3504 | |
3505 | bool gfc_add_access (symbol_attribute *, gfc_access, const char *, locus *); |
3506 | bool gfc_add_is_bind_c (symbol_attribute *, const char *, locus *, int); |
3507 | bool gfc_add_extension (symbol_attribute *, locus *); |
3508 | bool gfc_add_value (symbol_attribute *, const char *, locus *); |
3509 | bool gfc_add_flavor (symbol_attribute *, sym_flavor, const char *, locus *); |
3510 | bool gfc_add_entry (symbol_attribute *, const char *, locus *); |
3511 | bool gfc_add_procedure (symbol_attribute *, procedure_type, |
3512 | const char *, locus *); |
3513 | bool gfc_add_intent (symbol_attribute *, sym_intent, locus *); |
3514 | bool gfc_add_explicit_interface (gfc_symbol *, ifsrc, |
3515 | gfc_formal_arglist *, locus *); |
3516 | bool gfc_add_type (gfc_symbol *, gfc_typespec *, locus *); |
3517 | |
3518 | void gfc_clear_attr (symbol_attribute *); |
3519 | bool gfc_missing_attr (symbol_attribute *, locus *); |
3520 | bool gfc_copy_attr (symbol_attribute *, symbol_attribute *, locus *); |
3521 | int gfc_copy_dummy_sym (gfc_symbol **, gfc_symbol *, int); |
3522 | bool gfc_add_component (gfc_symbol *, const char *, gfc_component **); |
3523 | gfc_symbol *gfc_use_derived (gfc_symbol *); |
3524 | gfc_component *gfc_find_component (gfc_symbol *, const char *, bool, bool, |
3525 | gfc_ref **); |
3526 | |
3527 | gfc_st_label *gfc_get_st_label (int); |
3528 | void gfc_free_st_label (gfc_st_label *); |
3529 | void gfc_define_st_label (gfc_st_label *, gfc_sl_type, locus *); |
3530 | bool gfc_reference_st_label (gfc_st_label *, gfc_sl_type); |
3531 | |
3532 | gfc_namespace *gfc_get_namespace (gfc_namespace *, int); |
3533 | gfc_symtree *gfc_new_symtree (gfc_symtree **, const char *); |
3534 | gfc_symtree *gfc_find_symtree (gfc_symtree *, const char *); |
3535 | gfc_symtree *gfc_get_unique_symtree (gfc_namespace *); |
3536 | gfc_user_op *gfc_get_uop (const char *); |
3537 | gfc_user_op *gfc_find_uop (const char *, gfc_namespace *); |
3538 | void gfc_free_symbol (gfc_symbol *&); |
3539 | bool gfc_release_symbol (gfc_symbol *&); |
3540 | gfc_symbol *gfc_new_symbol (const char *, gfc_namespace *); |
3541 | gfc_symtree* gfc_find_symtree_in_proc (const char *, gfc_namespace *); |
3542 | int gfc_find_symbol (const char *, gfc_namespace *, int, gfc_symbol **); |
3543 | bool gfc_find_sym_tree (const char *, gfc_namespace *, int, gfc_symtree **); |
3544 | int gfc_get_symbol (const char *, gfc_namespace *, gfc_symbol **); |
3545 | bool gfc_verify_c_interop (gfc_typespec *); |
3546 | bool gfc_verify_c_interop_param (gfc_symbol *); |
3547 | bool verify_bind_c_sym (gfc_symbol *, gfc_typespec *, int, gfc_common_head *); |
3548 | bool verify_bind_c_derived_type (gfc_symbol *); |
3549 | bool verify_com_block_vars_c_interop (gfc_common_head *); |
3550 | gfc_symtree *generate_isocbinding_symbol (const char *, iso_c_binding_symbol, |
3551 | const char *, gfc_symtree *, bool); |
3552 | void gfc_save_symbol_data (gfc_symbol *); |
3553 | int gfc_get_sym_tree (const char *, gfc_namespace *, gfc_symtree **, bool); |
3554 | int gfc_get_ha_symbol (const char *, gfc_symbol **); |
3555 | int gfc_get_ha_sym_tree (const char *, gfc_symtree **); |
3556 | |
3557 | void gfc_drop_last_undo_checkpoint (void); |
3558 | void gfc_restore_last_undo_checkpoint (void); |
3559 | void gfc_undo_symbols (void); |
3560 | void gfc_commit_symbols (void); |
3561 | void gfc_commit_symbol (gfc_symbol *); |
3562 | gfc_charlen *gfc_new_charlen (gfc_namespace *, gfc_charlen *); |
3563 | void gfc_free_namespace (gfc_namespace *&); |
3564 | |
3565 | void gfc_symbol_init_2 (void); |
3566 | void gfc_symbol_done_2 (void); |
3567 | |
3568 | void gfc_traverse_symtree (gfc_symtree *, void (*)(gfc_symtree *)); |
3569 | void gfc_traverse_ns (gfc_namespace *, void (*)(gfc_symbol *)); |
3570 | void gfc_traverse_user_op (gfc_namespace *, void (*)(gfc_user_op *)); |
3571 | void gfc_save_all (gfc_namespace *); |
3572 | |
3573 | void gfc_enforce_clean_symbol_state (void); |
3574 | |
3575 | gfc_gsymbol *gfc_get_gsymbol (const char *, bool bind_c); |
3576 | gfc_gsymbol *gfc_find_gsymbol (gfc_gsymbol *, const char *); |
3577 | gfc_gsymbol *gfc_find_case_gsymbol (gfc_gsymbol *, const char *); |
3578 | void gfc_traverse_gsymbol (gfc_gsymbol *, void (*)(gfc_gsymbol *, void *), void *); |
3579 | |
3580 | gfc_typebound_proc* gfc_get_typebound_proc (gfc_typebound_proc*); |
3581 | gfc_symbol* gfc_get_derived_super_type (gfc_symbol*); |
3582 | bool gfc_type_is_extension_of (gfc_symbol *, gfc_symbol *); |
3583 | bool gfc_type_compatible (gfc_typespec *, gfc_typespec *); |
3584 | |
3585 | void gfc_copy_formal_args_intr (gfc_symbol *, gfc_intrinsic_sym *, |
3586 | gfc_actual_arglist *, bool copy_type = false); |
3587 | |
3588 | void gfc_free_finalizer (gfc_finalizer *el); /* Needed in resolve.cc, too */ |
3589 | |
3590 | bool gfc_check_symbol_typed (gfc_symbol*, gfc_namespace*, bool, locus); |
3591 | gfc_namespace* gfc_find_proc_namespace (gfc_namespace*); |
3592 | |
3593 | bool gfc_is_associate_pointer (gfc_symbol*); |
3594 | gfc_symbol * gfc_find_dt_in_generic (gfc_symbol *); |
3595 | gfc_formal_arglist *gfc_sym_get_dummy_args (gfc_symbol *); |
3596 | |
3597 | /* intrinsic.cc -- true if working in an init-expr, false otherwise. */ |
3598 | extern bool gfc_init_expr_flag; |
3599 | |
3600 | /* Given a symbol that we have decided is intrinsic, mark it as such |
3601 | by placing it into a special module that is otherwise impossible to |
3602 | read or write. */ |
3603 | |
3604 | #define gfc_intrinsic_symbol(SYM) SYM->module = gfc_get_string ("(intrinsic)") |
3605 | |
3606 | void gfc_intrinsic_init_1 (void); |
3607 | void gfc_intrinsic_done_1 (void); |
3608 | |
3609 | char gfc_type_letter (bt, bool logical_equals_int = false); |
3610 | int gfc_type_abi_kind (bt, int); |
3611 | inline int |
3612 | gfc_type_abi_kind (gfc_typespec *ts) |
3613 | { |
3614 | return gfc_type_abi_kind (ts->type, ts->kind); |
3615 | } |
3616 | gfc_symbol * gfc_get_intrinsic_sub_symbol (const char *); |
3617 | gfc_symbol *gfc_get_intrinsic_function_symbol (gfc_expr *); |
3618 | gfc_symbol *gfc_find_intrinsic_symbol (gfc_expr *); |
3619 | bool gfc_convert_type (gfc_expr *, gfc_typespec *, int); |
3620 | bool gfc_convert_type_warn (gfc_expr *, gfc_typespec *, int, int, |
3621 | bool array = false); |
3622 | bool gfc_convert_chartype (gfc_expr *, gfc_typespec *); |
3623 | bool gfc_generic_intrinsic (const char *); |
3624 | bool gfc_specific_intrinsic (const char *); |
3625 | bool gfc_is_intrinsic (gfc_symbol*, int, locus); |
3626 | bool gfc_intrinsic_actual_ok (const char *, const bool); |
3627 | gfc_intrinsic_sym *gfc_find_function (const char *); |
3628 | gfc_intrinsic_sym *gfc_find_subroutine (const char *); |
3629 | gfc_intrinsic_sym *gfc_intrinsic_function_by_id (gfc_isym_id); |
3630 | gfc_intrinsic_sym *gfc_intrinsic_subroutine_by_id (gfc_isym_id); |
3631 | gfc_isym_id gfc_isym_id_by_intmod (intmod_id, int); |
3632 | gfc_isym_id gfc_isym_id_by_intmod_sym (gfc_symbol *); |
3633 | |
3634 | |
3635 | match gfc_intrinsic_func_interface (gfc_expr *, int); |
3636 | match gfc_intrinsic_sub_interface (gfc_code *, int); |
3637 | |
3638 | void gfc_warn_intrinsic_shadow (const gfc_symbol*, bool, bool); |
3639 | bool gfc_check_intrinsic_standard (const gfc_intrinsic_sym*, const char**, |
3640 | bool, locus); |
3641 | |
3642 | /* match.cc -- FIXME */ |
3643 | void gfc_free_iterator (gfc_iterator *, int); |
3644 | void gfc_free_forall_iterator (gfc_forall_iterator *); |
3645 | void gfc_free_alloc_list (gfc_alloc *); |
3646 | void gfc_free_namelist (gfc_namelist *); |
3647 | void gfc_free_omp_namelist (gfc_omp_namelist *, bool, bool, bool); |
3648 | void gfc_free_equiv (gfc_equiv *); |
3649 | void gfc_free_equiv_until (gfc_equiv *, gfc_equiv *); |
3650 | void gfc_free_data (gfc_data *); |
3651 | void gfc_reject_data (gfc_namespace *); |
3652 | void gfc_free_case_list (gfc_case *); |
3653 | |
3654 | /* matchexp.cc -- FIXME too? */ |
3655 | gfc_expr *gfc_get_parentheses (gfc_expr *); |
3656 | |
3657 | /* openmp.cc */ |
3658 | struct gfc_omp_saved_state { void *ptrs[2]; int ints[1]; }; |
3659 | bool gfc_omp_requires_add_clause (gfc_omp_requires_kind, const char *, |
3660 | locus *, const char *); |
3661 | void gfc_check_omp_requires (gfc_namespace *, int); |
3662 | void gfc_free_omp_clauses (gfc_omp_clauses *); |
3663 | void gfc_free_oacc_declare_clauses (struct gfc_oacc_declare *); |
3664 | void gfc_free_omp_declare_variant_list (gfc_omp_declare_variant *list); |
3665 | void gfc_free_omp_declare_simd (gfc_omp_declare_simd *); |
3666 | void gfc_free_omp_declare_simd_list (gfc_omp_declare_simd *); |
3667 | void gfc_free_omp_udr (gfc_omp_udr *); |
3668 | gfc_omp_udr *gfc_omp_udr_find (gfc_symtree *, gfc_typespec *); |
3669 | void gfc_resolve_omp_allocate (gfc_namespace *, gfc_omp_namelist *); |
3670 | void gfc_resolve_omp_assumptions (gfc_omp_assumptions *); |
3671 | void gfc_resolve_omp_directive (gfc_code *, gfc_namespace *); |
3672 | void gfc_resolve_do_iterator (gfc_code *, gfc_symbol *, bool); |
3673 | void gfc_resolve_omp_local_vars (gfc_namespace *); |
3674 | void gfc_resolve_omp_parallel_blocks (gfc_code *, gfc_namespace *); |
3675 | void gfc_resolve_omp_do_blocks (gfc_code *, gfc_namespace *); |
3676 | void gfc_resolve_omp_declare_simd (gfc_namespace *); |
3677 | void gfc_resolve_omp_udrs (gfc_symtree *); |
3678 | void gfc_omp_save_and_clear_state (struct gfc_omp_saved_state *); |
3679 | void gfc_omp_restore_state (struct gfc_omp_saved_state *); |
3680 | void gfc_free_expr_list (gfc_expr_list *); |
3681 | void gfc_resolve_oacc_directive (gfc_code *, gfc_namespace *); |
3682 | void gfc_resolve_oacc_declare (gfc_namespace *); |
3683 | void gfc_resolve_oacc_blocks (gfc_code *, gfc_namespace *); |
3684 | void gfc_resolve_oacc_routines (gfc_namespace *); |
3685 | |
3686 | /* expr.cc */ |
3687 | void gfc_free_actual_arglist (gfc_actual_arglist *); |
3688 | gfc_actual_arglist *gfc_copy_actual_arglist (gfc_actual_arglist *); |
3689 | |
3690 | bool (gfc_expr *, int *, int = 0); |
3691 | bool (gfc_expr *, HOST_WIDE_INT *, int = 0); |
3692 | |
3693 | bool is_CFI_desc (gfc_symbol *, gfc_expr *); |
3694 | bool is_subref_array (gfc_expr *); |
3695 | bool gfc_is_simply_contiguous (gfc_expr *, bool, bool); |
3696 | bool gfc_is_not_contiguous (gfc_expr *); |
3697 | bool gfc_check_init_expr (gfc_expr *); |
3698 | |
3699 | gfc_expr *gfc_build_conversion (gfc_expr *); |
3700 | void gfc_free_ref_list (gfc_ref *); |
3701 | void gfc_type_convert_binary (gfc_expr *, int); |
3702 | bool gfc_is_constant_expr (gfc_expr *); |
3703 | bool gfc_simplify_expr (gfc_expr *, int); |
3704 | bool gfc_try_simplify_expr (gfc_expr *, int); |
3705 | bool gfc_has_vector_index (gfc_expr *); |
3706 | bool gfc_is_ptr_fcn (gfc_expr *); |
3707 | |
3708 | gfc_expr *gfc_get_expr (void); |
3709 | gfc_expr *gfc_get_array_expr (bt type, int kind, locus *); |
3710 | gfc_expr *gfc_get_null_expr (locus *); |
3711 | gfc_expr *gfc_get_operator_expr (locus *, gfc_intrinsic_op,gfc_expr *, gfc_expr *); |
3712 | gfc_expr *gfc_get_structure_constructor_expr (bt, int, locus *); |
3713 | gfc_expr *gfc_get_constant_expr (bt, int, locus *); |
3714 | gfc_expr *gfc_get_character_expr (int, locus *, const char *, gfc_charlen_t len); |
3715 | gfc_expr *gfc_get_int_expr (int, locus *, HOST_WIDE_INT); |
3716 | gfc_expr *gfc_get_logical_expr (int, locus *, bool); |
3717 | gfc_expr *gfc_get_iokind_expr (locus *, io_kind); |
3718 | |
3719 | void gfc_clear_shape (mpz_t *shape, int rank); |
3720 | void gfc_free_shape (mpz_t **shape, int rank); |
3721 | void gfc_free_expr (gfc_expr *); |
3722 | void gfc_replace_expr (gfc_expr *, gfc_expr *); |
3723 | mpz_t *gfc_copy_shape (mpz_t *, int); |
3724 | mpz_t *gfc_copy_shape_excluding (mpz_t *, int, gfc_expr *); |
3725 | gfc_expr *gfc_copy_expr (gfc_expr *); |
3726 | gfc_ref* gfc_copy_ref (gfc_ref*); |
3727 | |
3728 | bool gfc_specification_expr (gfc_expr *); |
3729 | |
3730 | bool gfc_numeric_ts (gfc_typespec *); |
3731 | int gfc_kind_max (gfc_expr *, gfc_expr *); |
3732 | |
3733 | bool gfc_check_conformance (gfc_expr *, gfc_expr *, const char *, ...) ATTRIBUTE_PRINTF_3; |
3734 | bool gfc_check_assign (gfc_expr *, gfc_expr *, int, bool c = true); |
3735 | bool gfc_check_pointer_assign (gfc_expr *lvalue, gfc_expr *rvalue, |
3736 | bool suppres_type_test = false, |
3737 | bool is_init_expr = false); |
3738 | bool gfc_check_assign_symbol (gfc_symbol *, gfc_component *, gfc_expr *); |
3739 | |
3740 | gfc_expr *gfc_build_default_init_expr (gfc_typespec *, locus *); |
3741 | void gfc_apply_init (gfc_typespec *, symbol_attribute *, gfc_expr *); |
3742 | bool gfc_has_default_initializer (gfc_symbol *); |
3743 | gfc_expr *gfc_default_initializer (gfc_typespec *); |
3744 | gfc_expr *gfc_generate_initializer (gfc_typespec *, bool); |
3745 | gfc_expr *gfc_get_variable_expr (gfc_symtree *); |
3746 | void gfc_add_full_array_ref (gfc_expr *, gfc_array_spec *); |
3747 | gfc_expr * gfc_lval_expr_from_sym (gfc_symbol *); |
3748 | |
3749 | gfc_array_spec *gfc_get_full_arrayspec_from_expr (gfc_expr *expr); |
3750 | |
3751 | bool gfc_traverse_expr (gfc_expr *, gfc_symbol *, |
3752 | bool (*)(gfc_expr *, gfc_symbol *, int*), |
3753 | int); |
3754 | void gfc_expr_set_symbols_referenced (gfc_expr *); |
3755 | bool gfc_expr_check_typed (gfc_expr*, gfc_namespace*, bool); |
3756 | bool gfc_derived_parameter_expr (gfc_expr *); |
3757 | gfc_param_spec_type gfc_spec_list_type (gfc_actual_arglist *, gfc_symbol *); |
3758 | gfc_component * gfc_get_proc_ptr_comp (gfc_expr *); |
3759 | bool gfc_is_proc_ptr_comp (gfc_expr *); |
3760 | bool gfc_is_alloc_class_scalar_function (gfc_expr *); |
3761 | bool gfc_is_class_array_function (gfc_expr *); |
3762 | |
3763 | bool gfc_ref_this_image (gfc_ref *ref); |
3764 | bool gfc_is_coindexed (gfc_expr *); |
3765 | bool gfc_is_coarray (gfc_expr *); |
3766 | int gfc_get_corank (gfc_expr *); |
3767 | bool gfc_has_ultimate_allocatable (gfc_expr *); |
3768 | bool gfc_has_ultimate_pointer (gfc_expr *); |
3769 | gfc_expr* gfc_find_team_co (gfc_expr *); |
3770 | gfc_expr* gfc_find_stat_co (gfc_expr *); |
3771 | gfc_expr* gfc_build_intrinsic_call (gfc_namespace *, gfc_isym_id, const char*, |
3772 | locus, unsigned, ...); |
3773 | bool gfc_check_vardef_context (gfc_expr*, bool, bool, bool, const char*); |
3774 | gfc_expr* gfc_pdt_find_component_copy_initializer (gfc_symbol *, const char *); |
3775 | |
3776 | |
3777 | /* st.cc */ |
3778 | extern gfc_code new_st; |
3779 | |
3780 | void gfc_clear_new_st (void); |
3781 | gfc_code *gfc_get_code (gfc_exec_op); |
3782 | gfc_code *gfc_append_code (gfc_code *, gfc_code *); |
3783 | void gfc_free_statement (gfc_code *); |
3784 | void gfc_free_statements (gfc_code *); |
3785 | void gfc_free_association_list (gfc_association_list *); |
3786 | |
3787 | /* resolve.cc */ |
3788 | void gfc_expression_rank (gfc_expr *); |
3789 | bool gfc_op_rank_conformable (gfc_expr *, gfc_expr *); |
3790 | bool gfc_resolve_ref (gfc_expr *); |
3791 | bool gfc_resolve_expr (gfc_expr *); |
3792 | void gfc_resolve (gfc_namespace *); |
3793 | void gfc_resolve_code (gfc_code *, gfc_namespace *); |
3794 | void gfc_resolve_blocks (gfc_code *, gfc_namespace *); |
3795 | void gfc_resolve_formal_arglist (gfc_symbol *); |
3796 | bool gfc_impure_variable (gfc_symbol *); |
3797 | bool gfc_pure (gfc_symbol *); |
3798 | bool gfc_implicit_pure (gfc_symbol *); |
3799 | void gfc_unset_implicit_pure (gfc_symbol *); |
3800 | bool gfc_elemental (gfc_symbol *); |
3801 | bool gfc_resolve_iterator (gfc_iterator *, bool, bool); |
3802 | bool find_forall_index (gfc_expr *, gfc_symbol *, int); |
3803 | bool gfc_resolve_index (gfc_expr *, int); |
3804 | bool gfc_resolve_dim_arg (gfc_expr *); |
3805 | bool gfc_is_formal_arg (void); |
3806 | bool gfc_resolve_substring (gfc_ref *, bool *); |
3807 | void gfc_resolve_substring_charlen (gfc_expr *); |
3808 | gfc_expr *gfc_expr_to_initialize (gfc_expr *); |
3809 | bool gfc_type_is_extensible (gfc_symbol *); |
3810 | bool gfc_resolve_intrinsic (gfc_symbol *, locus *); |
3811 | bool gfc_explicit_interface_required (gfc_symbol *, char *, int); |
3812 | extern int gfc_do_concurrent_flag; |
3813 | const char* gfc_lookup_function_fuzzy (const char *, gfc_symtree *); |
3814 | bool gfc_pure_function (gfc_expr *e, const char **name); |
3815 | bool gfc_implicit_pure_function (gfc_expr *e); |
3816 | |
3817 | |
3818 | /* array.cc */ |
3819 | gfc_iterator *gfc_copy_iterator (gfc_iterator *); |
3820 | |
3821 | void gfc_free_array_spec (gfc_array_spec *); |
3822 | gfc_array_ref *gfc_copy_array_ref (gfc_array_ref *); |
3823 | |
3824 | bool gfc_set_array_spec (gfc_symbol *, gfc_array_spec *, locus *); |
3825 | gfc_array_spec *gfc_copy_array_spec (gfc_array_spec *); |
3826 | bool gfc_resolve_array_spec (gfc_array_spec *, int); |
3827 | |
3828 | bool gfc_compare_array_spec (gfc_array_spec *, gfc_array_spec *); |
3829 | |
3830 | void gfc_simplify_iterator_var (gfc_expr *); |
3831 | bool gfc_expand_constructor (gfc_expr *, bool); |
3832 | bool gfc_constant_ac (gfc_expr *); |
3833 | bool gfc_expanded_ac (gfc_expr *); |
3834 | bool gfc_resolve_character_array_constructor (gfc_expr *); |
3835 | bool gfc_resolve_array_constructor (gfc_expr *); |
3836 | bool gfc_check_constructor_type (gfc_expr *); |
3837 | bool gfc_check_iter_variable (gfc_expr *); |
3838 | bool gfc_check_constructor (gfc_expr *, bool (*)(gfc_expr *)); |
3839 | bool gfc_array_size (gfc_expr *, mpz_t *); |
3840 | bool gfc_array_dimen_size (gfc_expr *, int, mpz_t *); |
3841 | bool gfc_array_ref_shape (gfc_array_ref *, mpz_t *); |
3842 | gfc_array_ref *gfc_find_array_ref (gfc_expr *, bool a = false); |
3843 | tree gfc_conv_array_initializer (tree type, gfc_expr *); |
3844 | bool spec_size (gfc_array_spec *, mpz_t *); |
3845 | bool spec_dimen_size (gfc_array_spec *, int, mpz_t *); |
3846 | bool gfc_is_compile_time_shape (gfc_array_spec *); |
3847 | |
3848 | bool gfc_ref_dimen_size (gfc_array_ref *, int dimen, mpz_t *, mpz_t *); |
3849 | |
3850 | /* interface.cc -- FIXME: some of these should be in symbol.cc */ |
3851 | void gfc_free_interface (gfc_interface *); |
3852 | void gfc_drop_interface_elements_before (gfc_interface **, gfc_interface *); |
3853 | bool gfc_compare_derived_types (gfc_symbol *, gfc_symbol *); |
3854 | bool gfc_compare_types (gfc_typespec *, gfc_typespec *); |
3855 | bool gfc_check_dummy_characteristics (gfc_symbol *, gfc_symbol *, |
3856 | bool, char *, int); |
3857 | bool gfc_check_result_characteristics (gfc_symbol *, gfc_symbol *, |
3858 | char *, int); |
3859 | bool gfc_compare_interfaces (gfc_symbol*, gfc_symbol*, const char *, int, int, |
3860 | char *, int, const char *, const char *, |
3861 | bool *bad_result_characteristics = NULL); |
3862 | void gfc_check_interfaces (gfc_namespace *); |
3863 | bool gfc_procedure_use (gfc_symbol *, gfc_actual_arglist **, locus *); |
3864 | void gfc_ppc_use (gfc_component *, gfc_actual_arglist **, locus *); |
3865 | gfc_symbol *gfc_search_interface (gfc_interface *, int, |
3866 | gfc_actual_arglist **); |
3867 | match gfc_extend_expr (gfc_expr *); |
3868 | void gfc_free_formal_arglist (gfc_formal_arglist *); |
3869 | bool gfc_extend_assign (gfc_code *, gfc_namespace *); |
3870 | bool gfc_check_new_interface (gfc_interface *, gfc_symbol *, locus); |
3871 | bool gfc_add_interface (gfc_symbol *); |
3872 | gfc_interface *&gfc_current_interface_head (void); |
3873 | void gfc_set_current_interface_head (gfc_interface *); |
3874 | gfc_symtree* gfc_find_sym_in_symtree (gfc_symbol*); |
3875 | bool gfc_arglist_matches_symbol (gfc_actual_arglist**, gfc_symbol*); |
3876 | bool gfc_check_operator_interface (gfc_symbol*, gfc_intrinsic_op, locus); |
3877 | bool gfc_has_vector_subscript (gfc_expr*); |
3878 | gfc_intrinsic_op gfc_equivalent_op (gfc_intrinsic_op); |
3879 | bool gfc_check_typebound_override (gfc_symtree*, gfc_symtree*); |
3880 | void gfc_check_dtio_interfaces (gfc_symbol*); |
3881 | gfc_symtree* gfc_find_typebound_dtio_proc (gfc_symbol *, bool, bool); |
3882 | gfc_symbol* gfc_find_specific_dtio_proc (gfc_symbol*, bool, bool); |
3883 | void gfc_get_formal_from_actual_arglist (gfc_symbol *, gfc_actual_arglist *); |
3884 | bool gfc_compare_actual_formal (gfc_actual_arglist **, gfc_formal_arglist *, |
3885 | int, int, bool, locus *); |
3886 | |
3887 | |
3888 | /* io.cc */ |
3889 | extern gfc_st_label format_asterisk; |
3890 | |
3891 | void gfc_free_open (gfc_open *); |
3892 | bool gfc_resolve_open (gfc_open *, locus *); |
3893 | void gfc_free_close (gfc_close *); |
3894 | bool gfc_resolve_close (gfc_close *, locus *); |
3895 | void gfc_free_filepos (gfc_filepos *); |
3896 | bool gfc_resolve_filepos (gfc_filepos *, locus *); |
3897 | void gfc_free_inquire (gfc_inquire *); |
3898 | bool gfc_resolve_inquire (gfc_inquire *); |
3899 | void gfc_free_dt (gfc_dt *); |
3900 | bool gfc_resolve_dt (gfc_code *, gfc_dt *, locus *); |
3901 | void gfc_free_wait (gfc_wait *); |
3902 | bool gfc_resolve_wait (gfc_wait *); |
3903 | |
3904 | /* module.cc */ |
3905 | void gfc_module_init_2 (void); |
3906 | void gfc_module_done_2 (void); |
3907 | void gfc_dump_module (const char *, int); |
3908 | bool gfc_check_symbol_access (gfc_symbol *); |
3909 | void gfc_free_use_stmts (gfc_use_list *); |
3910 | const char *gfc_dt_lower_string (const char *); |
3911 | const char *gfc_dt_upper_string (const char *); |
3912 | |
3913 | /* primary.cc */ |
3914 | symbol_attribute gfc_variable_attr (gfc_expr *, gfc_typespec *); |
3915 | symbol_attribute gfc_expr_attr (gfc_expr *); |
3916 | symbol_attribute gfc_caf_attr (gfc_expr *, bool i = false, bool *r = NULL); |
3917 | match gfc_match_rvalue (gfc_expr **); |
3918 | match gfc_match_varspec (gfc_expr*, int, bool, bool); |
3919 | bool gfc_check_digit (char, int); |
3920 | bool gfc_is_function_return_value (gfc_symbol *, gfc_namespace *); |
3921 | bool gfc_convert_to_structure_constructor (gfc_expr *, gfc_symbol *, |
3922 | gfc_expr **, |
3923 | gfc_actual_arglist **, bool); |
3924 | |
3925 | /* trans.cc */ |
3926 | void gfc_generate_code (gfc_namespace *); |
3927 | void gfc_generate_module_code (gfc_namespace *); |
3928 | |
3929 | /* trans-intrinsic.cc */ |
3930 | bool gfc_inline_intrinsic_function_p (gfc_expr *); |
3931 | |
3932 | /* bbt.cc */ |
3933 | typedef int (*compare_fn) (void *, void *); |
3934 | void gfc_insert_bbt (void *, void *, compare_fn); |
3935 | void * gfc_delete_bbt (void *, void *, compare_fn); |
3936 | |
3937 | /* dump-parse-tree.cc */ |
3938 | void gfc_dump_parse_tree (gfc_namespace *, FILE *); |
3939 | void gfc_dump_c_prototypes (gfc_namespace *, FILE *); |
3940 | void gfc_dump_external_c_prototypes (FILE *); |
3941 | void gfc_dump_global_symbols (FILE *); |
3942 | void debug (gfc_symbol *); |
3943 | void debug (gfc_expr *); |
3944 | |
3945 | /* parse.cc */ |
3946 | bool gfc_parse_file (void); |
3947 | void gfc_global_used (gfc_gsymbol *, locus *); |
3948 | gfc_namespace* gfc_build_block_ns (gfc_namespace *); |
3949 | |
3950 | /* dependency.cc */ |
3951 | int gfc_dep_compare_functions (gfc_expr *, gfc_expr *, bool); |
3952 | int gfc_dep_compare_expr (gfc_expr *, gfc_expr *); |
3953 | bool gfc_dep_difference (gfc_expr *, gfc_expr *, mpz_t *); |
3954 | |
3955 | /* check.cc */ |
3956 | bool gfc_check_same_strlen (const gfc_expr*, const gfc_expr*, const char*); |
3957 | bool gfc_calculate_transfer_sizes (gfc_expr*, gfc_expr*, gfc_expr*, |
3958 | size_t*, size_t*, size_t*); |
3959 | bool gfc_boz2int (gfc_expr *, int); |
3960 | bool gfc_boz2real (gfc_expr *, int); |
3961 | bool gfc_invalid_boz (const char *, locus *); |
3962 | bool gfc_invalid_null_arg (gfc_expr *); |
3963 | |
3964 | |
3965 | /* class.cc */ |
3966 | void gfc_fix_class_refs (gfc_expr *e); |
3967 | void gfc_add_component_ref (gfc_expr *, const char *); |
3968 | void gfc_add_class_array_ref (gfc_expr *); |
3969 | #define gfc_add_data_component(e) gfc_add_component_ref(e,"_data") |
3970 | #define gfc_add_vptr_component(e) gfc_add_component_ref(e,"_vptr") |
3971 | #define gfc_add_len_component(e) gfc_add_component_ref(e,"_len") |
3972 | #define gfc_add_hash_component(e) gfc_add_component_ref(e,"_hash") |
3973 | #define gfc_add_size_component(e) gfc_add_component_ref(e,"_size") |
3974 | #define gfc_add_def_init_component(e) gfc_add_component_ref(e,"_def_init") |
3975 | #define gfc_add_final_component(e) gfc_add_component_ref(e,"_final") |
3976 | bool gfc_is_class_array_ref (gfc_expr *, bool *); |
3977 | bool gfc_is_class_scalar_expr (gfc_expr *); |
3978 | bool gfc_is_class_container_ref (gfc_expr *e); |
3979 | gfc_expr *gfc_class_initializer (gfc_typespec *, gfc_expr *); |
3980 | unsigned int gfc_hash_value (gfc_symbol *); |
3981 | gfc_expr *gfc_get_len_component (gfc_expr *e, int); |
3982 | bool gfc_build_class_symbol (gfc_typespec *, symbol_attribute *, |
3983 | gfc_array_spec **); |
3984 | gfc_symbol *gfc_find_derived_vtab (gfc_symbol *); |
3985 | gfc_symbol *gfc_find_vtab (gfc_typespec *); |
3986 | gfc_symtree* gfc_find_typebound_proc (gfc_symbol*, bool*, |
3987 | const char*, bool, locus*); |
3988 | gfc_symtree* gfc_find_typebound_user_op (gfc_symbol*, bool*, |
3989 | const char*, bool, locus*); |
3990 | gfc_typebound_proc* gfc_find_typebound_intrinsic_op (gfc_symbol*, bool*, |
3991 | gfc_intrinsic_op, bool, |
3992 | locus*); |
3993 | gfc_symtree* gfc_get_tbp_symtree (gfc_symtree**, const char*); |
3994 | bool gfc_is_finalizable (gfc_symbol *, gfc_expr **); |
3995 | bool gfc_may_be_finalized (gfc_typespec); |
3996 | |
3997 | #define CLASS_DATA(sym) sym->ts.u.derived->components |
3998 | #define UNLIMITED_POLY(sym) \ |
3999 | (sym != NULL && sym->ts.type == BT_CLASS \ |
4000 | && CLASS_DATA (sym) \ |
4001 | && CLASS_DATA (sym)->ts.u.derived \ |
4002 | && CLASS_DATA (sym)->ts.u.derived->attr.unlimited_polymorphic) |
4003 | #define IS_CLASS_ARRAY(sym) \ |
4004 | (sym->ts.type == BT_CLASS \ |
4005 | && CLASS_DATA (sym) \ |
4006 | && CLASS_DATA (sym)->attr.dimension \ |
4007 | && !CLASS_DATA (sym)->attr.class_pointer) |
4008 | #define IS_POINTER(sym) \ |
4009 | (sym->ts.type == BT_CLASS && sym->attr.class_ok && CLASS_DATA (sym) \ |
4010 | ? CLASS_DATA (sym)->attr.class_pointer : sym->attr.pointer) |
4011 | |
4012 | /* frontend-passes.cc */ |
4013 | |
4014 | void gfc_run_passes (gfc_namespace *); |
4015 | |
4016 | typedef int (*walk_code_fn_t) (gfc_code **, int *, void *); |
4017 | typedef int (*walk_expr_fn_t) (gfc_expr **, int *, void *); |
4018 | |
4019 | int gfc_dummy_code_callback (gfc_code **, int *, void *); |
4020 | int gfc_expr_walker (gfc_expr **, walk_expr_fn_t, void *); |
4021 | int gfc_code_walker (gfc_code **, walk_code_fn_t, walk_expr_fn_t, void *); |
4022 | bool gfc_has_dimen_vector_ref (gfc_expr *e); |
4023 | void gfc_check_externals (gfc_namespace *); |
4024 | bool gfc_fix_implicit_pure (gfc_namespace *); |
4025 | |
4026 | /* simplify.cc */ |
4027 | |
4028 | void gfc_convert_mpz_to_signed (mpz_t, int); |
4029 | gfc_expr *gfc_simplify_ieee_functions (gfc_expr *); |
4030 | bool gfc_is_constant_array_expr (gfc_expr *); |
4031 | bool gfc_is_size_zero_array (gfc_expr *); |
4032 | |
4033 | /* trans-array.cc */ |
4034 | |
4035 | bool gfc_is_reallocatable_lhs (gfc_expr *); |
4036 | |
4037 | /* trans-decl.cc */ |
4038 | |
4039 | void finish_oacc_declare (gfc_namespace *, gfc_symbol *, bool); |
4040 | void gfc_adjust_builtins (void); |
4041 | |
4042 | #endif /* GCC_GFORTRAN_H */ |
4043 | |