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