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