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