OSDN Git Service

PR fortran/33197
[pf3gnuchains/gcc-fork.git] / gcc / fortran / gfortran.h
1 /* gfortran header file
2    Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008
3    Free Software Foundation, Inc.
4    Contributed by Andy Vaught
5
6 This file is part of GCC.
7
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 3, or (at your option) any later
11 version.
12
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
16 for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3.  If not see
20 <http://www.gnu.org/licenses/>.  */
21
22 #ifndef GCC_GFORTRAN_H
23 #define GCC_GFORTRAN_H
24
25 /* It's probably insane to have this large of a header file, but it
26    seemed like everything had to be recompiled anyway when a change
27    was made to a header file, and there were ordering issues with
28    multiple header files.  Besides, Microsoft's winnt.h was 250k last
29    time I looked, so by comparison this is perfectly reasonable.  */
30
31 /* Declarations common to the front-end and library are put in
32    libgfortran/libgfortran_frontend.h  */
33 #include "libgfortran.h"
34
35
36 #include "system.h"
37 #include "intl.h"
38 #include "coretypes.h"
39 #include "input.h"
40 #include "splay-tree.h"
41 /* The following ifdefs are recommended by the autoconf documentation
42    for any code using alloca.  */
43
44 /* AIX requires this to be the first thing in the file.  */
45 #ifdef __GNUC__
46 #else /* not __GNUC__ */
47 #ifdef HAVE_ALLOCA_H
48 #include <alloca.h>
49 #else /* do not HAVE_ALLOCA_H */
50 #ifdef _AIX
51 #pragma alloca
52 #else
53 #ifndef alloca                  /* predefined by HP cc +Olibcalls */
54 char *alloca ();
55 #endif /* not predefined */
56 #endif /* not _AIX */
57 #endif /* do not HAVE_ALLOCA_H */
58 #endif /* not __GNUC__ */
59
60 /* Major control parameters.  */
61
62 #define GFC_MAX_SYMBOL_LEN 63   /* Must be at least 63 for F2003.  */
63 #define GFC_MAX_BINDING_LABEL_LEN 126 /* (2 * GFC_MAX_SYMBOL_LEN) */
64 #define GFC_MAX_LINE 132        /* Characters beyond this are not seen.  */
65 #define GFC_LETTERS 26          /* Number of letters in the alphabet.  */
66
67 #define MAX_SUBRECORD_LENGTH 2147483639   /* 2**31-9 */
68
69
70 #define free(x) Use_gfc_free_instead_of_free()
71 #define gfc_is_whitespace(c) ((c==' ') || (c=='\t'))
72
73 #ifndef NULL
74 #define NULL ((void *) 0)
75 #endif
76
77 /* Stringization.  */
78 #define stringize(x) expand_macro(x)
79 #define expand_macro(x) # x
80
81 /* For a the runtime library, a standard prefix is a requirement to
82    avoid cluttering the namespace with things nobody asked for.  It's
83    ugly to look at and a pain to type when you add the prefix by hand,
84    so we hide it behind a macro.  */
85 #define PREFIX(x) "_gfortran_" x
86 #define PREFIX_LEN 10
87
88 #define BLANK_COMMON_NAME "__BLNK__"
89
90 /* Macro to initialize an mstring structure.  */
91 #define minit(s, t) { s, NULL, t }
92
93 /* Structure for storing strings to be matched by gfc_match_string.  */
94 typedef struct
95 {
96   const char *string;
97   const char *mp;
98   int tag;
99 }
100 mstring;
101
102
103
104 /*************************** Enums *****************************/
105
106 /* The author remains confused to this day about the convention of
107    returning '0' for 'SUCCESS'... or was it the other way around?  The
108    following enum makes things much more readable.  We also start
109    values off at one instead of zero.  */
110
111 typedef enum
112 { SUCCESS = 1, FAILURE }
113 try;
114
115 /* This is returned by gfc_notification_std to know if, given the flags
116    that were given (-std=, -pedantic) we should issue an error, a warning
117    or nothing.  */
118
119 typedef enum
120 { SILENT, WARNING, ERROR }
121 notification;
122
123 /* Matchers return one of these three values.  The difference between
124    MATCH_NO and MATCH_ERROR is that MATCH_ERROR means that a match was
125    successful, but that something non-syntactic is wrong and an error
126    has already been issued.  */
127
128 typedef enum
129 { MATCH_NO = 1, MATCH_YES, MATCH_ERROR }
130 match;
131
132 typedef enum
133 { FORM_FREE, FORM_FIXED, FORM_UNKNOWN }
134 gfc_source_form;
135
136 /* Basic types.  BT_VOID is used by ISO C Binding so funcs like c_f_pointer
137    can take any arg with the pointer attribute as a param.  */
138 typedef enum
139 { BT_UNKNOWN = 1, BT_INTEGER, BT_REAL, BT_COMPLEX,
140   BT_LOGICAL, BT_CHARACTER, BT_DERIVED, BT_PROCEDURE, BT_HOLLERITH,
141   BT_VOID
142 }
143 bt;
144
145 /* Expression node types.  */
146 typedef enum
147 { EXPR_OP = 1, EXPR_FUNCTION, EXPR_CONSTANT, EXPR_VARIABLE,
148   EXPR_SUBSTRING, EXPR_STRUCTURE, EXPR_ARRAY, EXPR_NULL
149 }
150 expr_t;
151
152 /* Array types.  */
153 typedef enum
154 { AS_EXPLICIT = 1, AS_ASSUMED_SHAPE, AS_DEFERRED,
155   AS_ASSUMED_SIZE, AS_UNKNOWN
156 }
157 array_type;
158
159 typedef enum
160 { AR_FULL = 1, AR_ELEMENT, AR_SECTION, AR_UNKNOWN }
161 ar_type;
162
163 /* Statement label types.  */
164 typedef enum
165 { ST_LABEL_UNKNOWN = 1, ST_LABEL_TARGET,
166   ST_LABEL_BAD_TARGET, ST_LABEL_FORMAT
167 }
168 gfc_sl_type;
169
170 /* Intrinsic operators.  */
171 typedef enum
172 { GFC_INTRINSIC_BEGIN = 0,
173   INTRINSIC_NONE = -1, INTRINSIC_UPLUS = GFC_INTRINSIC_BEGIN,
174   INTRINSIC_UMINUS, INTRINSIC_PLUS, INTRINSIC_MINUS, INTRINSIC_TIMES,
175   INTRINSIC_DIVIDE, INTRINSIC_POWER, INTRINSIC_CONCAT,
176   INTRINSIC_AND, INTRINSIC_OR, INTRINSIC_EQV, INTRINSIC_NEQV,
177   /* ==, /=, >, >=, <, <=  */
178   INTRINSIC_EQ, INTRINSIC_NE, INTRINSIC_GT, INTRINSIC_GE,
179   INTRINSIC_LT, INTRINSIC_LE, 
180   /* .EQ., .NE., .GT., .GE., .LT., .LE. (OS = Old-Style)  */
181   INTRINSIC_EQ_OS, INTRINSIC_NE_OS, INTRINSIC_GT_OS, INTRINSIC_GE_OS,
182   INTRINSIC_LT_OS, INTRINSIC_LE_OS, 
183   INTRINSIC_NOT, INTRINSIC_USER, INTRINSIC_ASSIGN, 
184   INTRINSIC_PARENTHESES, GFC_INTRINSIC_END /* Sentinel */
185 }
186 gfc_intrinsic_op;
187
188
189 /* This macro is the number of intrinsic operators that exist.
190    Assumptions are made about the numbering of the interface_op enums.  */
191 #define GFC_INTRINSIC_OPS GFC_INTRINSIC_END
192
193 /* Arithmetic results.  */
194 typedef enum
195 { ARITH_OK = 1, ARITH_OVERFLOW, ARITH_UNDERFLOW, ARITH_NAN,
196   ARITH_DIV0, ARITH_INCOMMENSURATE, ARITH_ASYMMETRIC
197 }
198 arith;
199
200 /* Statements.  */
201 typedef enum
202 {
203   ST_ARITHMETIC_IF, ST_ALLOCATE, ST_ATTR_DECL, ST_BACKSPACE, ST_BLOCK_DATA,
204   ST_CALL, ST_CASE, ST_CLOSE, ST_COMMON, ST_CONTINUE, ST_CONTAINS, ST_CYCLE,
205   ST_DATA, ST_DATA_DECL, ST_DEALLOCATE, ST_DO, ST_ELSE, ST_ELSEIF,
206   ST_ELSEWHERE, ST_END_BLOCK_DATA, ST_ENDDO, ST_IMPLIED_ENDDO,
207   ST_END_FILE, ST_FLUSH, ST_END_FORALL, ST_END_FUNCTION, ST_ENDIF,
208   ST_END_INTERFACE, ST_END_MODULE, ST_END_PROGRAM, ST_END_SELECT,
209   ST_END_SUBROUTINE, ST_END_WHERE, ST_END_TYPE, ST_ENTRY, ST_EQUIVALENCE,
210   ST_EXIT, ST_FORALL, ST_FORALL_BLOCK, ST_FORMAT, ST_FUNCTION, ST_GOTO,
211   ST_IF_BLOCK, ST_IMPLICIT, ST_IMPLICIT_NONE, ST_IMPORT, ST_INQUIRE, ST_INTERFACE,
212   ST_PARAMETER, ST_MODULE, ST_MODULE_PROC, ST_NAMELIST, ST_NULLIFY, ST_OPEN,
213   ST_PAUSE, ST_PRIVATE, ST_PROGRAM, ST_PUBLIC, ST_READ, ST_RETURN, ST_REWIND,
214   ST_STOP, ST_SUBROUTINE, ST_TYPE, ST_USE, ST_WHERE_BLOCK, ST_WHERE, ST_WRITE,
215   ST_ASSIGNMENT, ST_POINTER_ASSIGNMENT, ST_SELECT_CASE, ST_SEQUENCE,
216   ST_SIMPLE_IF, ST_STATEMENT_FUNCTION, ST_DERIVED_DECL, ST_LABEL_ASSIGNMENT,
217   ST_ENUM, ST_ENUMERATOR, ST_END_ENUM,
218   ST_OMP_ATOMIC, ST_OMP_BARRIER, ST_OMP_CRITICAL, ST_OMP_END_CRITICAL,
219   ST_OMP_END_DO, ST_OMP_END_MASTER, ST_OMP_END_ORDERED, ST_OMP_END_PARALLEL,
220   ST_OMP_END_PARALLEL_DO, ST_OMP_END_PARALLEL_SECTIONS,
221   ST_OMP_END_PARALLEL_WORKSHARE, ST_OMP_END_SECTIONS, ST_OMP_END_SINGLE,
222   ST_OMP_END_WORKSHARE, ST_OMP_DO, ST_OMP_FLUSH, ST_OMP_MASTER, ST_OMP_ORDERED,
223   ST_OMP_PARALLEL, ST_OMP_PARALLEL_DO, ST_OMP_PARALLEL_SECTIONS,
224   ST_OMP_PARALLEL_WORKSHARE, ST_OMP_SECTIONS, ST_OMP_SECTION, ST_OMP_SINGLE,
225   ST_OMP_THREADPRIVATE, ST_OMP_WORKSHARE, ST_PROCEDURE,
226   ST_GET_FCN_CHARACTERISTICS, ST_NONE
227 }
228 gfc_statement;
229
230
231 /* Types of interfaces that we can have.  Assignment interfaces are
232    considered to be intrinsic operators.  */
233 typedef enum
234 {
235   INTERFACE_NAMELESS = 1, INTERFACE_GENERIC,
236   INTERFACE_INTRINSIC_OP, INTERFACE_USER_OP, INTERFACE_ABSTRACT
237 }
238 interface_type;
239
240 /* Symbol flavors: these are all mutually exclusive.
241    10 elements = 4 bits.  */
242 typedef enum sym_flavor
243 {
244   FL_UNKNOWN = 0, FL_PROGRAM, FL_BLOCK_DATA, FL_MODULE, FL_VARIABLE,
245   FL_PARAMETER, FL_LABEL, FL_PROCEDURE, FL_DERIVED, FL_NAMELIST,
246   FL_VOID
247 }
248 sym_flavor;
249
250 /* Procedure types.  7 elements = 3 bits.  */
251 typedef enum procedure_type
252 { PROC_UNKNOWN, PROC_MODULE, PROC_INTERNAL, PROC_DUMMY,
253   PROC_INTRINSIC, PROC_ST_FUNCTION, PROC_EXTERNAL
254 }
255 procedure_type;
256
257 /* Intent types.  */
258 typedef enum sym_intent
259 { INTENT_UNKNOWN = 0, INTENT_IN, INTENT_OUT, INTENT_INOUT
260 }
261 sym_intent;
262
263 /* Access types.  */
264 typedef enum gfc_access
265 { ACCESS_UNKNOWN = 0, ACCESS_PUBLIC, ACCESS_PRIVATE
266 }
267 gfc_access;
268
269 /* Flags to keep track of where an interface came from.
270    4 elements = 2 bits.  */
271 typedef enum ifsrc
272 { IFSRC_UNKNOWN = 0, IFSRC_DECL, IFSRC_IFBODY, IFSRC_USAGE
273 }
274 ifsrc;
275
276 /* Whether a SAVE attribute was set explicitly or implicitly.  */
277 typedef enum save_state
278 { SAVE_NONE = 0, SAVE_EXPLICIT, SAVE_IMPLICIT
279 }
280 save_state;
281
282 /* Strings for all symbol attributes.  We use these for dumping the
283    parse tree, in error messages, and also when reading and writing
284    modules.  In symbol.c.  */
285 extern const mstring flavors[];
286 extern const mstring procedures[];
287 extern const mstring intents[];
288 extern const mstring access_types[];
289 extern const mstring ifsrc_types[];
290 extern const mstring save_status[];
291
292 /* Enumeration of all the generic intrinsic functions.  Used by the
293    backend for identification of a function.  */
294
295 enum gfc_isym_id
296 {
297   /* GFC_ISYM_NONE is used for intrinsics which will never be seen by
298      the backend (eg. KIND).  */
299   GFC_ISYM_NONE = 0,
300   GFC_ISYM_ABORT,
301   GFC_ISYM_ABS,
302   GFC_ISYM_ACCESS,
303   GFC_ISYM_ACHAR,
304   GFC_ISYM_ACOS,
305   GFC_ISYM_ACOSH,
306   GFC_ISYM_ADJUSTL,
307   GFC_ISYM_ADJUSTR,
308   GFC_ISYM_AIMAG,
309   GFC_ISYM_AINT,
310   GFC_ISYM_ALARM,
311   GFC_ISYM_ALL,
312   GFC_ISYM_ALLOCATED,
313   GFC_ISYM_AND,
314   GFC_ISYM_ANINT,
315   GFC_ISYM_ANY,
316   GFC_ISYM_ASIN,
317   GFC_ISYM_ASINH,
318   GFC_ISYM_ASSOCIATED,
319   GFC_ISYM_ATAN,
320   GFC_ISYM_ATAN2,
321   GFC_ISYM_ATANH,
322   GFC_ISYM_BIT_SIZE,
323   GFC_ISYM_BTEST,
324   GFC_ISYM_CEILING,
325   GFC_ISYM_CHAR,
326   GFC_ISYM_CHDIR,
327   GFC_ISYM_CHMOD,
328   GFC_ISYM_CMPLX,
329   GFC_ISYM_COMMAND_ARGUMENT_COUNT,
330   GFC_ISYM_COMPLEX,
331   GFC_ISYM_CONJG,
332   GFC_ISYM_CONVERSION,
333   GFC_ISYM_COS,
334   GFC_ISYM_COSH,
335   GFC_ISYM_COUNT,
336   GFC_ISYM_CPU_TIME,
337   GFC_ISYM_CSHIFT,
338   GFC_ISYM_CTIME,
339   GFC_ISYM_DATE_AND_TIME,
340   GFC_ISYM_DBLE,
341   GFC_ISYM_DIGITS,
342   GFC_ISYM_DIM,
343   GFC_ISYM_DOT_PRODUCT,
344   GFC_ISYM_DPROD,
345   GFC_ISYM_DTIME,
346   GFC_ISYM_EOSHIFT,
347   GFC_ISYM_EPSILON,
348   GFC_ISYM_ERF,
349   GFC_ISYM_ERFC,
350   GFC_ISYM_ERFC_SCALED,
351   GFC_ISYM_ETIME,
352   GFC_ISYM_EXIT,
353   GFC_ISYM_EXP,
354   GFC_ISYM_EXPONENT,
355   GFC_ISYM_FDATE,
356   GFC_ISYM_FGET,
357   GFC_ISYM_FGETC,
358   GFC_ISYM_FLOOR,
359   GFC_ISYM_FLUSH,
360   GFC_ISYM_FNUM,
361   GFC_ISYM_FPUT,
362   GFC_ISYM_FPUTC,
363   GFC_ISYM_FRACTION,
364   GFC_ISYM_FREE,
365   GFC_ISYM_FSEEK,
366   GFC_ISYM_FSTAT,
367   GFC_ISYM_FTELL,
368   GFC_ISYM_GAMMA,
369   GFC_ISYM_GERROR,
370   GFC_ISYM_GETARG,
371   GFC_ISYM_GET_COMMAND,
372   GFC_ISYM_GET_COMMAND_ARGUMENT,
373   GFC_ISYM_GETCWD,
374   GFC_ISYM_GETENV,
375   GFC_ISYM_GET_ENVIRONMENT_VARIABLE,
376   GFC_ISYM_GETGID,
377   GFC_ISYM_GETLOG,
378   GFC_ISYM_GETPID,
379   GFC_ISYM_GETUID,
380   GFC_ISYM_GMTIME,
381   GFC_ISYM_HOSTNM,
382   GFC_ISYM_HUGE,
383   GFC_ISYM_HYPOT,
384   GFC_ISYM_IACHAR,
385   GFC_ISYM_IAND,
386   GFC_ISYM_IARGC,
387   GFC_ISYM_IBCLR,
388   GFC_ISYM_IBITS,
389   GFC_ISYM_IBSET,
390   GFC_ISYM_ICHAR,
391   GFC_ISYM_IDATE,
392   GFC_ISYM_IEOR,
393   GFC_ISYM_IERRNO,
394   GFC_ISYM_INDEX,
395   GFC_ISYM_INT,
396   GFC_ISYM_INT2,
397   GFC_ISYM_INT8,
398   GFC_ISYM_IOR,
399   GFC_ISYM_IRAND,
400   GFC_ISYM_ISATTY,
401   GFC_ISYM_IS_IOSTAT_END,
402   GFC_ISYM_IS_IOSTAT_EOR,
403   GFC_ISYM_ISNAN,
404   GFC_ISYM_ISHFT,
405   GFC_ISYM_ISHFTC,
406   GFC_ISYM_ITIME,
407   GFC_ISYM_J0,
408   GFC_ISYM_J1,
409   GFC_ISYM_JN,
410   GFC_ISYM_KILL,
411   GFC_ISYM_KIND,
412   GFC_ISYM_LBOUND,
413   GFC_ISYM_LEN,
414   GFC_ISYM_LEN_TRIM,
415   GFC_ISYM_LGAMMA,
416   GFC_ISYM_LGE,
417   GFC_ISYM_LGT,
418   GFC_ISYM_LINK,
419   GFC_ISYM_LLE,
420   GFC_ISYM_LLT,
421   GFC_ISYM_LOC,
422   GFC_ISYM_LOG,
423   GFC_ISYM_LOG10,
424   GFC_ISYM_LOGICAL,
425   GFC_ISYM_LONG,
426   GFC_ISYM_LSHIFT,
427   GFC_ISYM_LSTAT,
428   GFC_ISYM_LTIME,
429   GFC_ISYM_MALLOC,
430   GFC_ISYM_MATMUL,
431   GFC_ISYM_MAX,
432   GFC_ISYM_MAXEXPONENT,
433   GFC_ISYM_MAXLOC,
434   GFC_ISYM_MAXVAL,
435   GFC_ISYM_MCLOCK,
436   GFC_ISYM_MCLOCK8,
437   GFC_ISYM_MERGE,
438   GFC_ISYM_MIN,
439   GFC_ISYM_MINEXPONENT,
440   GFC_ISYM_MINLOC,
441   GFC_ISYM_MINVAL,
442   GFC_ISYM_MOD,
443   GFC_ISYM_MODULO,
444   GFC_ISYM_MOVE_ALLOC,
445   GFC_ISYM_MVBITS,
446   GFC_ISYM_NEAREST,
447   GFC_ISYM_NEW_LINE,
448   GFC_ISYM_NINT,
449   GFC_ISYM_NOT,
450   GFC_ISYM_NULL,
451   GFC_ISYM_OR,
452   GFC_ISYM_PACK,
453   GFC_ISYM_PERROR,
454   GFC_ISYM_PRECISION,
455   GFC_ISYM_PRESENT,
456   GFC_ISYM_PRODUCT,
457   GFC_ISYM_RADIX,
458   GFC_ISYM_RAND,
459   GFC_ISYM_RANDOM_NUMBER,
460   GFC_ISYM_RANDOM_SEED,
461   GFC_ISYM_RANGE,
462   GFC_ISYM_REAL,
463   GFC_ISYM_RENAME,
464   GFC_ISYM_REPEAT,
465   GFC_ISYM_RESHAPE,
466   GFC_ISYM_RRSPACING,
467   GFC_ISYM_RSHIFT,
468   GFC_ISYM_SCALE,
469   GFC_ISYM_SCAN,
470   GFC_ISYM_SECNDS,
471   GFC_ISYM_SECOND,
472   GFC_ISYM_SET_EXPONENT,
473   GFC_ISYM_SHAPE,
474   GFC_ISYM_SIGN,
475   GFC_ISYM_SIGNAL,
476   GFC_ISYM_SI_KIND,
477   GFC_ISYM_SIN,
478   GFC_ISYM_SINH,
479   GFC_ISYM_SIZE,
480   GFC_ISYM_SLEEP,
481   GFC_ISYM_SIZEOF,
482   GFC_ISYM_SPACING,
483   GFC_ISYM_SPREAD,
484   GFC_ISYM_SQRT,
485   GFC_ISYM_SRAND,
486   GFC_ISYM_SR_KIND,
487   GFC_ISYM_STAT,
488   GFC_ISYM_SUM,
489   GFC_ISYM_SYMLINK,
490   GFC_ISYM_SYMLNK,
491   GFC_ISYM_SYSTEM,
492   GFC_ISYM_SYSTEM_CLOCK,
493   GFC_ISYM_TAN,
494   GFC_ISYM_TANH,
495   GFC_ISYM_TIME,
496   GFC_ISYM_TIME8,
497   GFC_ISYM_TINY,
498   GFC_ISYM_TRANSFER,
499   GFC_ISYM_TRANSPOSE,
500   GFC_ISYM_TRIM,
501   GFC_ISYM_TTYNAM,
502   GFC_ISYM_UBOUND,
503   GFC_ISYM_UMASK,
504   GFC_ISYM_UNLINK,
505   GFC_ISYM_UNPACK,
506   GFC_ISYM_VERIFY,
507   GFC_ISYM_XOR,
508   GFC_ISYM_Y0,
509   GFC_ISYM_Y1,
510   GFC_ISYM_YN
511 };
512 typedef enum gfc_isym_id gfc_isym_id;
513
514
515 typedef enum
516 {
517   GFC_INIT_REAL_OFF = 0,
518   GFC_INIT_REAL_ZERO,
519   GFC_INIT_REAL_NAN,
520   GFC_INIT_REAL_INF,
521   GFC_INIT_REAL_NEG_INF
522 }
523 init_local_real;
524
525 typedef enum
526 {
527   GFC_INIT_LOGICAL_OFF = 0,
528   GFC_INIT_LOGICAL_FALSE,
529   GFC_INIT_LOGICAL_TRUE
530 }
531 init_local_logical;
532
533 typedef enum
534 {
535   GFC_INIT_CHARACTER_OFF = 0,
536   GFC_INIT_CHARACTER_ON
537 }
538 init_local_character;
539
540 typedef enum
541 {
542   GFC_INIT_INTEGER_OFF = 0,
543   GFC_INIT_INTEGER_ON
544 }
545 init_local_integer;
546
547 /************************* Structures *****************************/
548
549 /* Used for keeping things in balanced binary trees.  */
550 #define BBT_HEADER(self) int priority; struct self *left, *right
551
552 #define NAMED_INTCST(a,b,c) a,
553 typedef enum
554 {
555   ISOFORTRANENV_INVALID = -1,
556 #include "iso-fortran-env.def"
557   ISOFORTRANENV_LAST, ISOFORTRANENV_NUMBER = ISOFORTRANENV_LAST
558 }
559 iso_fortran_env_symbol;
560 #undef NAMED_INTCST
561
562 #define NAMED_INTCST(a,b,c) a,
563 #define NAMED_REALCST(a,b,c) a,
564 #define NAMED_CMPXCST(a,b,c) a,
565 #define NAMED_LOGCST(a,b,c) a,
566 #define NAMED_CHARKNDCST(a,b,c) a,
567 #define NAMED_CHARCST(a,b,c) a,
568 #define DERIVED_TYPE(a,b,c) a,
569 #define PROCEDURE(a,b) a,
570 typedef enum
571 {
572   ISOCBINDING_INVALID = -1, 
573 #include "iso-c-binding.def"
574   ISOCBINDING_LAST,
575   ISOCBINDING_NUMBER = ISOCBINDING_LAST
576 }
577 iso_c_binding_symbol;
578 #undef NAMED_INTCST
579 #undef NAMED_REALCST
580 #undef NAMED_CMPXCST
581 #undef NAMED_LOGCST
582 #undef NAMED_CHARKNDCST
583 #undef NAMED_CHARCST
584 #undef DERIVED_TYPE
585 #undef PROCEDURE
586
587 typedef enum
588 {
589   INTMOD_NONE = 0, INTMOD_ISO_FORTRAN_ENV, INTMOD_ISO_C_BINDING
590 }
591 intmod_id;
592
593 typedef struct
594 {
595   char name[GFC_MAX_SYMBOL_LEN + 1];
596   int value;  /* Used for both integer and character values.  */
597   bt f90_type;
598 }
599 CInteropKind_t;
600
601 /* Array of structs, where the structs represent the C interop kinds.
602    The list will be implemented based on a hash of the kind name since
603    these could be accessed multiple times.
604    Declared in trans-types.c as a global, since it's in that file
605    that the list is initialized.  */
606 extern CInteropKind_t c_interop_kinds_table[];
607
608 /* Symbol attribute structure.  */
609 typedef struct
610 {
611   /* Variable attributes.  */
612   unsigned allocatable:1, dimension:1, external:1, intrinsic:1,
613     optional:1, pointer:1, target:1, value:1, volatile_:1,
614     dummy:1, result:1, assign:1, threadprivate:1, not_always_present:1,
615     implied_index:1, subref_array_pointer:1;
616
617   ENUM_BITFIELD (save_state) save:2;
618
619   unsigned data:1,              /* Symbol is named in a DATA statement.  */
620     protected:1,                /* Symbol has been marked as protected.  */
621     use_assoc:1,                /* Symbol has been use-associated.  */
622     use_only:1,                 /* Symbol has been use-associated, with ONLY.  */
623     use_rename:1,               /* Symbol has been use-associated and renamed.  */
624     imported:1;                 /* Symbol has been associated by IMPORT.  */
625
626   unsigned in_namelist:1, in_common:1, in_equivalence:1;
627   unsigned function:1, subroutine:1, procedure:1;
628   unsigned generic:1, generic_copy:1;
629   unsigned implicit_type:1;     /* Type defined via implicit rules.  */
630   unsigned untyped:1;           /* No implicit type could be found.  */
631
632   unsigned is_bind_c:1;         /* say if is bound to C */
633
634   /* These flags are both in the typespec and attribute.  The attribute
635      list is what gets read from/written to a module file.  The typespec
636      is created from a decl being processed.  */
637   unsigned is_c_interop:1;      /* It's c interoperable.  */
638   unsigned is_iso_c:1;          /* Symbol is from iso_c_binding.  */
639
640   /* Function/subroutine attributes */
641   unsigned sequence:1, elemental:1, pure:1, recursive:1;
642   unsigned unmaskable:1, masked:1, contained:1, mod_proc:1, abstract:1;
643
644   /* This is set if the subroutine doesn't return.  Currently, this
645      is only possible for intrinsic subroutines.  */
646   unsigned noreturn:1;
647
648   /* Set if this procedure is an alternate entry point.  These procedures
649      don't have any code associated, and the backend will turn them into
650      thunks to the master function.  */
651   unsigned entry:1;
652
653   /* Set if this is the master function for a procedure with multiple
654      entry points.  */
655   unsigned entry_master:1;
656
657   /* Set if this is the master function for a function with multiple
658      entry points where characteristics of the entry points differ.  */
659   unsigned mixed_entry_master:1;
660
661   /* Set if a function must always be referenced by an explicit interface.  */
662   unsigned always_explicit:1;
663
664   /* Set if the symbol has been referenced in an expression.  No further
665      modification of type or type parameters is permitted.  */
666   unsigned referenced:1;
667
668   /* Set if the symbol has ambiguous interfaces.  */
669   unsigned ambiguous_interfaces:1;
670
671   /* Set if this is the symbol for the main program.  */
672   unsigned is_main_program:1;
673
674   /* Mutually exclusive multibit attributes.  */
675   ENUM_BITFIELD (gfc_access) access:2;
676   ENUM_BITFIELD (sym_intent) intent:2;
677   ENUM_BITFIELD (sym_flavor) flavor:4;
678   ENUM_BITFIELD (ifsrc) if_source:2;
679
680   ENUM_BITFIELD (procedure_type) proc:3;
681
682   /* Special attributes for Cray pointers, pointees.  */
683   unsigned cray_pointer:1, cray_pointee:1;
684
685   /* The symbol is a derived type with allocatable components, pointer 
686      components or private components, possibly nested.  zer_comp
687      is true if the derived type has no component at all.  */
688   unsigned alloc_comp:1, pointer_comp:1, private_comp:1, zero_comp:1;
689
690   /* The namespace where the VOLATILE attribute has been set.  */
691   struct gfc_namespace *volatile_ns;
692 }
693 symbol_attribute;
694
695
696 /* The following three structures are used to identify a location in
697    the sources.
698
699    gfc_file is used to maintain a tree of the source files and how
700    they include each other
701
702    gfc_linebuf holds a single line of source code and information
703    which file it resides in
704
705    locus point to the sourceline and the character in the source
706    line.
707 */
708
709 typedef struct gfc_file
710 {
711   struct gfc_file *next, *up;
712   int inclusion_line, line;
713   char *filename;
714 } gfc_file;
715
716 typedef struct gfc_linebuf
717 {
718   source_location location;
719   struct gfc_file *file;
720   struct gfc_linebuf *next;
721
722   int truncated;
723   bool dbg_emitted;
724
725   char line[1];
726 } gfc_linebuf;
727
728 #define gfc_linebuf_header_size (offsetof (gfc_linebuf, line))
729
730 #define gfc_linebuf_linenum(LBUF) (LOCATION_LINE ((LBUF)->location))
731
732 typedef struct
733 {
734   char *nextc;
735   gfc_linebuf *lb;
736 } locus;
737
738 /* In order for the "gfc" format checking to work correctly, you must
739    have declared a typedef locus first.  */
740 #if GCC_VERSION >= 4001
741 #define ATTRIBUTE_GCC_GFC(m, n) __attribute__ ((__format__ (__gcc_gfc__, m, n))) ATTRIBUTE_NONNULL(m)
742 #else
743 #define ATTRIBUTE_GCC_GFC(m, n) ATTRIBUTE_NONNULL(m)
744 #endif
745
746
747 extern int gfc_suppress_error;
748
749
750 /* Character length structures hold the expression that gives the
751    length of a character variable.  We avoid putting these into
752    gfc_typespec because doing so prevents us from doing structure
753    copies and forces us to deallocate any typespecs we create, as well
754    as structures that contain typespecs.  They also can have multiple
755    character typespecs pointing to them.
756
757    These structures form a singly linked list within the current
758    namespace and are deallocated with the namespace.  It is possible to
759    end up with gfc_charlen structures that have nothing pointing to them.  */
760
761 typedef struct gfc_charlen
762 {
763   struct gfc_expr *length;
764   struct gfc_charlen *next;
765   tree backend_decl;
766
767   int resolved;
768 }
769 gfc_charlen;
770
771 #define gfc_get_charlen() gfc_getmem(sizeof(gfc_charlen))
772
773 /* Type specification structure.  FIXME: derived and cl could be union???  */
774 typedef struct
775 {
776   bt type;
777   int kind;
778   struct gfc_symbol *derived;
779   gfc_charlen *cl;      /* For character types only.  */
780   int is_c_interop;
781   int is_iso_c;
782   bt f90_type; 
783 }
784 gfc_typespec;
785
786 /* Array specification.  */
787 typedef struct
788 {
789   int rank;     /* A rank of zero means that a variable is a scalar.  */
790   array_type type;
791   struct gfc_expr *lower[GFC_MAX_DIMENSIONS], *upper[GFC_MAX_DIMENSIONS];
792
793   /* These two fields are used with the Cray Pointer extension.  */
794   bool cray_pointee; /* True iff this spec belongs to a cray pointee.  */
795   bool cp_was_assumed; /* AS_ASSUMED_SIZE cp arrays are converted to
796                         AS_EXPLICIT, but we want to remember that we
797                         did this.  */
798
799 }
800 gfc_array_spec;
801
802 #define gfc_get_array_spec() gfc_getmem(sizeof(gfc_array_spec))
803
804
805 /* Components of derived types.  */
806 typedef struct gfc_component
807 {
808   const char *name;
809   gfc_typespec ts;
810
811   int pointer, allocatable, dimension;
812   gfc_access access;
813   gfc_array_spec *as;
814
815   tree backend_decl;
816   locus loc;
817   struct gfc_expr *initializer;
818   struct gfc_component *next;
819 }
820 gfc_component;
821
822 #define gfc_get_component() gfc_getmem(sizeof(gfc_component))
823
824 /* Formal argument lists are lists of symbols.  */
825 typedef struct gfc_formal_arglist
826 {
827   /* Symbol representing the argument at this position in the arglist.  */
828   struct gfc_symbol *sym;
829   /* Points to the next formal argument.  */
830   struct gfc_formal_arglist *next;
831 }
832 gfc_formal_arglist;
833
834 #define gfc_get_formal_arglist() gfc_getmem(sizeof(gfc_formal_arglist))
835
836
837 /* The gfc_actual_arglist structure is for actual arguments.  */
838 typedef struct gfc_actual_arglist
839 {
840   const char *name;
841   /* Alternate return label when the expr member is null.  */
842   struct gfc_st_label *label;
843
844   /* This is set to the type of an eventual omitted optional
845      argument. This is used to determine if a hidden string length
846      argument has to be added to a function call.  */
847   bt missing_arg_type;
848
849   struct gfc_expr *expr;
850   struct gfc_actual_arglist *next;
851 }
852 gfc_actual_arglist;
853
854 #define gfc_get_actual_arglist() gfc_getmem(sizeof(gfc_actual_arglist))
855
856
857 /* Because a symbol can belong to multiple namelists, they must be
858    linked externally to the symbol itself.  */
859 typedef struct gfc_namelist
860 {
861   struct gfc_symbol *sym;
862   struct gfc_namelist *next;
863 }
864 gfc_namelist;
865
866 #define gfc_get_namelist() gfc_getmem(sizeof(gfc_namelist))
867
868 enum
869 {
870   OMP_LIST_PRIVATE,
871   OMP_LIST_FIRSTPRIVATE,
872   OMP_LIST_LASTPRIVATE,
873   OMP_LIST_COPYPRIVATE,
874   OMP_LIST_SHARED,
875   OMP_LIST_COPYIN,
876   OMP_LIST_PLUS,
877   OMP_LIST_REDUCTION_FIRST = OMP_LIST_PLUS,
878   OMP_LIST_MULT,
879   OMP_LIST_SUB,
880   OMP_LIST_AND,
881   OMP_LIST_OR,
882   OMP_LIST_EQV,
883   OMP_LIST_NEQV,
884   OMP_LIST_MAX,
885   OMP_LIST_MIN,
886   OMP_LIST_IAND,
887   OMP_LIST_IOR,
888   OMP_LIST_IEOR,
889   OMP_LIST_REDUCTION_LAST = OMP_LIST_IEOR,
890   OMP_LIST_NUM
891 };
892
893 /* Because a symbol can belong to multiple namelists, they must be
894    linked externally to the symbol itself.  */
895 typedef struct gfc_omp_clauses
896 {
897   struct gfc_expr *if_expr;
898   struct gfc_expr *num_threads;
899   gfc_namelist *lists[OMP_LIST_NUM];
900   enum
901     {
902       OMP_SCHED_NONE,
903       OMP_SCHED_STATIC,
904       OMP_SCHED_DYNAMIC,
905       OMP_SCHED_GUIDED,
906       OMP_SCHED_RUNTIME
907     } sched_kind;
908   struct gfc_expr *chunk_size;
909   enum
910     {
911       OMP_DEFAULT_UNKNOWN,
912       OMP_DEFAULT_NONE,
913       OMP_DEFAULT_PRIVATE,
914       OMP_DEFAULT_SHARED
915     } default_sharing;
916   bool nowait, ordered;
917 }
918 gfc_omp_clauses;
919
920 #define gfc_get_omp_clauses() gfc_getmem(sizeof(gfc_omp_clauses))
921
922
923 /* The gfc_st_label structure is a doubly linked list attached to a
924    namespace that records the usage of statement labels within that
925    space.  */
926 /* TODO: Make format/statement specifics a union.  */
927 typedef struct gfc_st_label
928 {
929   BBT_HEADER(gfc_st_label);
930
931   int value;
932
933   gfc_sl_type defined, referenced;
934
935   struct gfc_expr *format;
936
937   tree backend_decl;
938
939   locus where;
940 }
941 gfc_st_label;
942
943
944 /* gfc_interface()-- Interfaces are lists of symbols strung together.  */
945 typedef struct gfc_interface
946 {
947   struct gfc_symbol *sym;
948   locus where;
949   struct gfc_interface *next;
950 }
951 gfc_interface;
952
953 #define gfc_get_interface() gfc_getmem(sizeof(gfc_interface))
954
955
956 /* User operator nodes.  These are like stripped down symbols.  */
957 typedef struct
958 {
959   const char *name;
960
961   gfc_interface *operator;
962   struct gfc_namespace *ns;
963   gfc_access access;
964 }
965 gfc_user_op;
966
967 /* Symbol nodes.  These are important things.  They are what the
968    standard refers to as "entities".  The possibly multiple names that
969    refer to the same entity are accomplished by a binary tree of
970    symtree structures that is balanced by the red-black method-- more
971    than one symtree node can point to any given symbol.  */
972
973 typedef struct gfc_symbol
974 {
975   const char *name;     /* Primary name, before renaming */
976   const char *module;   /* Module this symbol came from */
977   locus declared_at;
978
979   gfc_typespec ts;
980   symbol_attribute attr;
981
982   /* The interface member points to the formal argument list if the
983      symbol is a function or subroutine name.  If the symbol is a
984      generic name, the generic member points to the list of
985      interfaces.  */
986
987   gfc_interface *generic;
988   gfc_access component_access;
989
990   gfc_formal_arglist *formal;
991   struct gfc_namespace *formal_ns;
992
993   struct gfc_expr *value;       /* Parameter/Initializer value */
994   gfc_array_spec *as;
995   struct gfc_symbol *result;    /* function result symbol */
996   gfc_component *components;    /* Derived type components */
997
998   struct gfc_symbol *interface; /* For PROCEDURE declarations.  */
999
1000   /* Defined only for Cray pointees; points to their pointer.  */
1001   struct gfc_symbol *cp_pointer;
1002
1003   struct gfc_symbol *common_next;       /* Links for COMMON syms */
1004
1005   /* This is in fact a gfc_common_head but it is only used for pointer
1006      comparisons to check if symbols are in the same common block.  */
1007   struct gfc_common_head* common_head;
1008
1009   /* Make sure setup code for dummy arguments is generated in the correct
1010      order.  */
1011   int dummy_order;
1012
1013   int entry_id;
1014
1015   gfc_namelist *namelist, *namelist_tail;
1016
1017   /* Change management fields.  Symbols that might be modified by the
1018      current statement have the mark member nonzero and are kept in a
1019      singly linked list through the tlink field.  Of these symbols,
1020      symbols with old_symbol equal to NULL are symbols created within
1021      the current statement.  Otherwise, old_symbol points to a copy of
1022      the old symbol.  */
1023
1024   struct gfc_symbol *old_symbol, *tlink;
1025   unsigned mark:1, new:1;
1026   /* Nonzero if all equivalences associated with this symbol have been
1027      processed.  */
1028   unsigned equiv_built:1;
1029   /* Set if this variable is used as an index name in a FORALL.  */
1030   unsigned forall_index:1;
1031   int refs;
1032   struct gfc_namespace *ns;     /* namespace containing this symbol */
1033
1034   tree backend_decl;
1035    
1036   /* Identity of the intrinsic module the symbol comes from, or
1037      INTMOD_NONE if it's not imported from a intrinsic module.  */
1038   intmod_id from_intmod;
1039   /* Identity of the symbol from intrinsic modules, from enums maintained
1040      separately by each intrinsic module.  Used together with from_intmod,
1041      it uniquely identifies a symbol from an intrinsic module.  */
1042   int intmod_sym_id;
1043
1044   /* This may be repetitive, since the typespec now has a binding
1045      label field.  */
1046   char binding_label[GFC_MAX_BINDING_LABEL_LEN + 1];
1047   /* Store a reference to the common_block, if this symbol is in one.  */
1048   struct gfc_common_head *common_block;
1049 }
1050 gfc_symbol;
1051
1052
1053 /* This structure is used to keep track of symbols in common blocks.  */
1054 typedef struct gfc_common_head
1055 {
1056   locus where;
1057   char use_assoc, saved, threadprivate;
1058   char name[GFC_MAX_SYMBOL_LEN + 1];
1059   struct gfc_symbol *head;
1060   char binding_label[GFC_MAX_BINDING_LABEL_LEN + 1];
1061   int is_bind_c;
1062 }
1063 gfc_common_head;
1064
1065 #define gfc_get_common_head() gfc_getmem(sizeof(gfc_common_head))
1066
1067
1068 /* A list of all the alternate entry points for a procedure.  */
1069
1070 typedef struct gfc_entry_list
1071 {
1072   /* The symbol for this entry point.  */
1073   gfc_symbol *sym;
1074   /* The zero-based id of this entry point.  */
1075   int id;
1076   /* The LABEL_EXPR marking this entry point.  */
1077   tree label;
1078   /* The nest item in the list.  */
1079   struct gfc_entry_list *next;
1080 }
1081 gfc_entry_list;
1082
1083 #define gfc_get_entry_list() \
1084   (gfc_entry_list *) gfc_getmem(sizeof(gfc_entry_list))
1085
1086 /* Within a namespace, symbols are pointed to by symtree nodes that
1087    are linked together in a balanced binary tree.  There can be
1088    several symtrees pointing to the same symbol node via USE
1089    statements.  */
1090
1091 typedef struct gfc_symtree
1092 {
1093   BBT_HEADER (gfc_symtree);
1094   const char *name;
1095   int ambiguous;
1096   union
1097   {
1098     gfc_symbol *sym;            /* Symbol associated with this node */
1099     gfc_user_op *uop;
1100     gfc_common_head *common;
1101   }
1102   n;
1103
1104 }
1105 gfc_symtree;
1106
1107 /* A linked list of derived types in the namespace.  */
1108 typedef struct gfc_dt_list
1109 {
1110   struct gfc_symbol *derived;
1111   struct gfc_dt_list *next;
1112 }
1113 gfc_dt_list;
1114
1115 #define gfc_get_dt_list() gfc_getmem(sizeof(gfc_dt_list))
1116
1117   /* A list of all derived types.  */
1118   extern gfc_dt_list *gfc_derived_types;
1119
1120 /* A namespace describes the contents of procedure, module or
1121    interface block.  */
1122 /* ??? Anything else use these?  */
1123
1124 typedef struct gfc_namespace
1125 {
1126   /* Tree containing all the symbols in this namespace.  */
1127   gfc_symtree *sym_root;
1128   /* Tree containing all the user-defined operators in the namespace.  */
1129   gfc_symtree *uop_root;
1130   /* Tree containing all the common blocks.  */
1131   gfc_symtree *common_root;
1132
1133   /* If set_flag[letter] is set, an implicit type has been set for letter.  */
1134   int set_flag[GFC_LETTERS];
1135   /* Keeps track of the implicit types associated with the letters.  */
1136   gfc_typespec default_type[GFC_LETTERS];
1137
1138   /* If this is a namespace of a procedure, this points to the procedure.  */
1139   struct gfc_symbol *proc_name;
1140   /* If this is the namespace of a unit which contains executable
1141      code, this points to it.  */
1142   struct gfc_code *code;
1143
1144   /* Points to the equivalences set up in this namespace.  */
1145   struct gfc_equiv *equiv;
1146
1147   /* Points to the equivalence groups produced by trans_common.  */
1148   struct gfc_equiv_list *equiv_lists;
1149
1150   gfc_interface *operator[GFC_INTRINSIC_OPS];
1151
1152   /* Points to the parent namespace, i.e. the namespace of a module or
1153      procedure in which the procedure belonging to this namespace is
1154      contained. The parent namespace points to this namespace either
1155      directly via CONTAINED, or indirectly via the chain built by
1156      SIBLING.  */
1157   struct gfc_namespace *parent;
1158   /* CONTAINED points to the first contained namespace. Sibling
1159      namespaces are chained via SIBLING.  */
1160   struct gfc_namespace  *contained, *sibling;
1161
1162   gfc_common_head blank_common;
1163   gfc_access default_access, operator_access[GFC_INTRINSIC_OPS];
1164
1165   gfc_st_label *st_labels;
1166   /* This list holds information about all the data initializers in
1167      this namespace.  */
1168   struct gfc_data *data;
1169
1170   gfc_charlen *cl_list;
1171
1172   int save_all, seen_save, seen_implicit_none;
1173
1174   /* Normally we don't need to refcount namespaces.  However when we read
1175      a module containing a function with multiple entry points, this
1176      will appear as several functions with the same formal namespace.  */
1177   int refs;
1178
1179   /* A list of all alternate entry points to this procedure (or NULL).  */
1180   gfc_entry_list *entries;
1181
1182   /* Set to 1 if namespace is a BLOCK DATA program unit.  */
1183   int is_block_data;
1184
1185   /* Set to 1 if namespace is an interface body with "IMPORT" used.  */
1186   int has_import_set;
1187 }
1188 gfc_namespace;
1189
1190 extern gfc_namespace *gfc_current_ns;
1191
1192 /* Global symbols are symbols of global scope. Currently we only use
1193    this to detect collisions already when parsing.
1194    TODO: Extend to verify procedure calls.  */
1195
1196 typedef struct gfc_gsymbol
1197 {
1198   BBT_HEADER(gfc_gsymbol);
1199
1200   const char *name;
1201   const char *sym_name;
1202   const char *mod_name;
1203   const char *binding_label;
1204   enum { GSYM_UNKNOWN=1, GSYM_PROGRAM, GSYM_FUNCTION, GSYM_SUBROUTINE,
1205         GSYM_MODULE, GSYM_COMMON, GSYM_BLOCK_DATA } type;
1206
1207   int defined, used;
1208   locus where;
1209 }
1210 gfc_gsymbol;
1211
1212 extern gfc_gsymbol *gfc_gsym_root;
1213
1214 /* Information on interfaces being built.  */
1215 typedef struct
1216 {
1217   interface_type type;
1218   gfc_symbol *sym;
1219   gfc_namespace *ns;
1220   gfc_user_op *uop;
1221   gfc_intrinsic_op op;
1222 }
1223 gfc_interface_info;
1224
1225 extern gfc_interface_info current_interface;
1226
1227
1228 /* Array reference.  */
1229 typedef struct gfc_array_ref
1230 {
1231   ar_type type;
1232   int dimen;                    /* # of components in the reference */
1233   locus where;
1234   gfc_array_spec *as;
1235
1236   locus c_where[GFC_MAX_DIMENSIONS];    /* All expressions can be NULL */
1237   struct gfc_expr *start[GFC_MAX_DIMENSIONS], *end[GFC_MAX_DIMENSIONS],
1238     *stride[GFC_MAX_DIMENSIONS];
1239
1240   enum
1241   { DIMEN_ELEMENT = 1, DIMEN_RANGE, DIMEN_VECTOR, DIMEN_UNKNOWN }
1242   dimen_type[GFC_MAX_DIMENSIONS];
1243
1244   struct gfc_expr *offset;
1245 }
1246 gfc_array_ref;
1247
1248 #define gfc_get_array_ref() gfc_getmem(sizeof(gfc_array_ref))
1249
1250
1251 /* Component reference nodes.  A variable is stored as an expression
1252    node that points to the base symbol.  After that, a singly linked
1253    list of component reference nodes gives the variable's complete
1254    resolution.  The array_ref component may be present and comes
1255    before the component component.  */
1256
1257 typedef enum
1258   { REF_ARRAY, REF_COMPONENT, REF_SUBSTRING }
1259 ref_type;
1260
1261 typedef struct gfc_ref
1262 {
1263   ref_type type;
1264
1265   union
1266   {
1267     struct gfc_array_ref ar;
1268
1269     struct
1270     {
1271       gfc_component *component;
1272       gfc_symbol *sym;
1273     }
1274     c;
1275
1276     struct
1277     {
1278       struct gfc_expr *start, *end;     /* Substring */
1279       gfc_charlen *length;
1280     }
1281     ss;
1282
1283   }
1284   u;
1285
1286   struct gfc_ref *next;
1287 }
1288 gfc_ref;
1289
1290 #define gfc_get_ref() gfc_getmem(sizeof(gfc_ref))
1291
1292
1293 /* Structures representing intrinsic symbols and their arguments lists.  */
1294 typedef struct gfc_intrinsic_arg
1295 {
1296   char name[GFC_MAX_SYMBOL_LEN + 1];
1297
1298   gfc_typespec ts;
1299   int optional;
1300   gfc_actual_arglist *actual;
1301
1302   struct gfc_intrinsic_arg *next;
1303
1304 }
1305 gfc_intrinsic_arg;
1306
1307
1308 /* Specifies the various kinds of check functions used to verify the
1309    argument lists of intrinsic functions. fX with X an integer refer
1310    to check functions of intrinsics with X arguments. f1m is used for
1311    the MAX and MIN intrinsics which can have an arbitrary number of
1312    arguments, f3ml is used for the MINLOC and MAXLOC intrinsics as
1313    these have special semantics.  */
1314
1315 typedef union
1316 {
1317   try (*f0)(void);
1318   try (*f1)(struct gfc_expr *);
1319   try (*f1m)(gfc_actual_arglist *);
1320   try (*f2)(struct gfc_expr *, struct gfc_expr *);
1321   try (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1322   try (*f3ml)(gfc_actual_arglist *);
1323   try (*f3red)(gfc_actual_arglist *);
1324   try (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1325             struct gfc_expr *);
1326   try (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1327             struct gfc_expr *, struct gfc_expr *);
1328 }
1329 gfc_check_f;
1330
1331 /* Like gfc_check_f, these specify the type of the simplification
1332    function associated with an intrinsic. The fX are just like in
1333    gfc_check_f. cc is used for type conversion functions.  */
1334
1335 typedef union
1336 {
1337   struct gfc_expr *(*f0)(void);
1338   struct gfc_expr *(*f1)(struct gfc_expr *);
1339   struct gfc_expr *(*f2)(struct gfc_expr *, struct gfc_expr *);
1340   struct gfc_expr *(*f3)(struct gfc_expr *, struct gfc_expr *,
1341                          struct gfc_expr *);
1342   struct gfc_expr *(*f4)(struct gfc_expr *, struct gfc_expr *,
1343                          struct gfc_expr *, struct gfc_expr *);
1344   struct gfc_expr *(*f5)(struct gfc_expr *, struct gfc_expr *,
1345                          struct gfc_expr *, struct gfc_expr *,
1346                          struct gfc_expr *);
1347   struct gfc_expr *(*cc)(struct gfc_expr *, bt, int);
1348 }
1349 gfc_simplify_f;
1350
1351 /* Again like gfc_check_f, these specify the type of the resolution
1352    function associated with an intrinsic. The fX are just like in
1353    gfc_check_f. f1m is used for MIN and MAX, s1 is used for abort().  */
1354
1355 typedef union
1356 {
1357   void (*f0)(struct gfc_expr *);
1358   void (*f1)(struct gfc_expr *, struct gfc_expr *);
1359   void (*f1m)(struct gfc_expr *, struct gfc_actual_arglist *);
1360   void (*f2)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1361   void (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1362              struct gfc_expr *);
1363   void (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1364              struct gfc_expr *, struct gfc_expr *);
1365   void (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1366              struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1367   void (*s1)(struct gfc_code *);
1368 }
1369 gfc_resolve_f;
1370
1371
1372 typedef struct gfc_intrinsic_sym
1373 {
1374   const char *name, *lib_name;
1375   gfc_intrinsic_arg *formal;
1376   gfc_typespec ts;
1377   unsigned elemental:1, inquiry:1, transformational:1, pure:1, 
1378     generic:1, specific:1, actual_ok:1, noreturn:1, conversion:1;
1379
1380   int standard;
1381
1382   gfc_simplify_f simplify;
1383   gfc_check_f check;
1384   gfc_resolve_f resolve;
1385   struct gfc_intrinsic_sym *specific_head, *next;
1386   gfc_isym_id id;
1387
1388 }
1389 gfc_intrinsic_sym;
1390
1391
1392 /* Expression nodes.  The expression node types deserve explanations,
1393    since the last couple can be easily misconstrued:
1394
1395    EXPR_OP         Operator node pointing to one or two other nodes
1396    EXPR_FUNCTION   Function call, symbol points to function's name
1397    EXPR_CONSTANT   A scalar constant: Logical, String, Real, Int or Complex
1398    EXPR_VARIABLE   An Lvalue with a root symbol and possible reference list
1399                    which expresses structure, array and substring refs.
1400    EXPR_NULL       The NULL pointer value (which also has a basic type).
1401    EXPR_SUBSTRING  A substring of a constant string
1402    EXPR_STRUCTURE  A structure constructor
1403    EXPR_ARRAY      An array constructor.  */
1404
1405 #include <gmp.h>
1406 #include <mpfr.h>
1407 #define GFC_RND_MODE GMP_RNDN
1408
1409 typedef struct gfc_expr
1410 {
1411   expr_t expr_type;
1412
1413   gfc_typespec ts;      /* These two refer to the overall expression */
1414
1415   int rank;
1416   mpz_t *shape;         /* Can be NULL if shape is unknown at compile time */
1417
1418   /* Nonnull for functions and structure constructors */
1419   gfc_symtree *symtree;
1420
1421   gfc_ref *ref;
1422
1423   locus where;
1424
1425   /* True if the expression is a call to a function that returns an array,
1426      and if we have decided not to allocate temporary data for that array.  */
1427   unsigned int inline_noncopying_intrinsic : 1, is_boz : 1;
1428
1429   /* Used to quickly find a given constructor by its offset.  */
1430   splay_tree con_by_offset;
1431
1432   /* If an expression comes from a Hollerith constant or compile-time
1433      evaluation of a transfer statement, it may have a prescribed target-
1434      memory representation, and these cannot always be backformed from
1435      the value.  */
1436   struct
1437   {
1438     int length;
1439     char *string;
1440   }
1441   representation;
1442
1443   union
1444   {
1445     int logical;
1446
1447     mpz_t integer;
1448
1449     mpfr_t real;
1450
1451     struct
1452     {
1453       mpfr_t r, i;
1454     }
1455     complex;
1456
1457     struct
1458     {
1459       gfc_intrinsic_op operator;
1460       gfc_user_op *uop;
1461       struct gfc_expr *op1, *op2;
1462     }
1463     op;
1464
1465     struct
1466     {
1467       gfc_actual_arglist *actual;
1468       const char *name; /* Points to the ultimate name of the function */
1469       gfc_intrinsic_sym *isym;
1470       gfc_symbol *esym;
1471     }
1472     function;
1473
1474     struct
1475     {
1476       int length;
1477       char *string;
1478     }
1479     character;
1480
1481     struct gfc_constructor *constructor;
1482   }
1483   value;
1484
1485 }
1486 gfc_expr;
1487
1488
1489 #define gfc_get_shape(rank) ((mpz_t *) gfc_getmem((rank)*sizeof(mpz_t)))
1490
1491 /* Structures for information associated with different kinds of
1492    numbers.  The first set of integer parameters define all there is
1493    to know about a particular kind.  The rest of the elements are
1494    computed from the first elements.  */
1495
1496 typedef struct
1497 {
1498   /* Values really representable by the target.  */
1499   mpz_t huge, pedantic_min_int, min_int;
1500
1501   int kind, radix, digits, bit_size, range;
1502
1503   /* True if the C type of the given name maps to this precision.
1504      Note that more than one bit can be set.  */
1505   unsigned int c_char : 1;
1506   unsigned int c_short : 1;
1507   unsigned int c_int : 1;
1508   unsigned int c_long : 1;
1509   unsigned int c_long_long : 1;
1510 }
1511 gfc_integer_info;
1512
1513 extern gfc_integer_info gfc_integer_kinds[];
1514
1515
1516 typedef struct
1517 {
1518   int kind, bit_size;
1519
1520   /* True if the C++ type bool, C99 type _Bool, maps to this precision.  */
1521   unsigned int c_bool : 1;
1522 }
1523 gfc_logical_info;
1524
1525 extern gfc_logical_info gfc_logical_kinds[];
1526
1527
1528 typedef struct
1529 {
1530   mpfr_t epsilon, huge, tiny, subnormal;
1531   int kind, radix, digits, min_exponent, max_exponent;
1532   int range, precision;
1533
1534   /* The precision of the type as reported by GET_MODE_PRECISION.  */
1535   int mode_precision;
1536
1537   /* True if the C type of the given name maps to this precision.
1538      Note that more than one bit can be set.  */
1539   unsigned int c_float : 1;
1540   unsigned int c_double : 1;
1541   unsigned int c_long_double : 1;
1542 }
1543 gfc_real_info;
1544
1545 extern gfc_real_info gfc_real_kinds[];
1546
1547
1548 /* Equivalence structures.  Equivalent lvalues are linked along the
1549    *eq pointer, equivalence sets are strung along the *next node.  */
1550 typedef struct gfc_equiv
1551 {
1552   struct gfc_equiv *next, *eq;
1553   gfc_expr *expr;
1554   const char *module;
1555   int used;
1556 }
1557 gfc_equiv;
1558
1559 #define gfc_get_equiv() gfc_getmem(sizeof(gfc_equiv))
1560
1561 /* Holds a single equivalence member after processing.  */
1562 typedef struct gfc_equiv_info
1563 {
1564   gfc_symbol *sym;
1565   HOST_WIDE_INT offset;
1566   HOST_WIDE_INT length;
1567   struct gfc_equiv_info *next;
1568 } gfc_equiv_info;
1569
1570 /* Holds equivalence groups, after they have been processed.  */
1571 typedef struct gfc_equiv_list
1572 {
1573   gfc_equiv_info *equiv;
1574   struct gfc_equiv_list *next;
1575 } gfc_equiv_list;
1576
1577 /* gfc_case stores the selector list of a case statement.  The *low
1578    and *high pointers can point to the same expression in the case of
1579    a single value.  If *high is NULL, the selection is from *low
1580    upwards, if *low is NULL the selection is *high downwards.
1581
1582    This structure has separate fields to allow single and double linked
1583    lists of CASEs at the same time.  The singe linked list along the NEXT
1584    field is a list of cases for a single CASE label.  The double linked
1585    list along the LEFT/RIGHT fields is used to detect overlap and to
1586    build a table of the cases for SELECT constructs with a CHARACTER
1587    case expression.  */
1588
1589 typedef struct gfc_case
1590 {
1591   /* Where we saw this case.  */
1592   locus where;
1593   int n;
1594
1595   /* Case range values.  If (low == high), it's a single value.  If one of
1596      the labels is NULL, it's an unbounded case.  If both are NULL, this
1597      represents the default case.  */
1598   gfc_expr *low, *high;
1599
1600   /* Next case label in the list of cases for a single CASE label.  */
1601   struct gfc_case *next;
1602
1603   /* Used for detecting overlap, and for code generation.  */
1604   struct gfc_case *left, *right;
1605
1606   /* True if this case label can never be matched.  */
1607   int unreachable;
1608 }
1609 gfc_case;
1610
1611 #define gfc_get_case() gfc_getmem(sizeof(gfc_case))
1612
1613
1614 typedef struct
1615 {
1616   gfc_expr *var, *start, *end, *step;
1617 }
1618 gfc_iterator;
1619
1620 #define gfc_get_iterator() gfc_getmem(sizeof(gfc_iterator))
1621
1622
1623 /* Allocation structure for ALLOCATE, DEALLOCATE and NULLIFY statements.  */
1624
1625 typedef struct gfc_alloc
1626 {
1627   gfc_expr *expr;
1628   struct gfc_alloc *next;
1629 }
1630 gfc_alloc;
1631
1632 #define gfc_get_alloc() gfc_getmem(sizeof(gfc_alloc))
1633
1634
1635 typedef struct
1636 {
1637   gfc_expr *unit, *file, *status, *access, *form, *recl,
1638     *blank, *position, *action, *delim, *pad, *iostat, *iomsg, *convert;
1639   gfc_st_label *err;
1640 }
1641 gfc_open;
1642
1643
1644 typedef struct
1645 {
1646   gfc_expr *unit, *status, *iostat, *iomsg;
1647   gfc_st_label *err;
1648 }
1649 gfc_close;
1650
1651
1652 typedef struct
1653 {
1654   gfc_expr *unit, *iostat, *iomsg;
1655   gfc_st_label *err;
1656 }
1657 gfc_filepos;
1658
1659
1660 typedef struct
1661 {
1662   gfc_expr *unit, *file, *iostat, *exist, *opened, *number, *named,
1663     *name, *access, *sequential, *direct, *form, *formatted,
1664     *unformatted, *recl, *nextrec, *blank, *position, *action, *read,
1665     *write, *readwrite, *delim, *pad, *iolength, *iomsg, *convert, *strm_pos;
1666
1667   gfc_st_label *err;
1668
1669 }
1670 gfc_inquire;
1671
1672
1673 typedef struct
1674 {
1675   gfc_expr *io_unit, *format_expr, *rec, *advance, *iostat, *size, *iomsg;
1676
1677   gfc_symbol *namelist;
1678   /* A format_label of `format_asterisk' indicates the "*" format */
1679   gfc_st_label *format_label;
1680   gfc_st_label *err, *end, *eor;
1681
1682   locus eor_where, end_where, err_where;
1683 }
1684 gfc_dt;
1685
1686
1687 typedef struct gfc_forall_iterator
1688 {
1689   gfc_expr *var, *start, *end, *stride;
1690   struct gfc_forall_iterator *next;
1691 }
1692 gfc_forall_iterator;
1693
1694
1695 /* Executable statements that fill gfc_code structures.  */
1696 typedef enum
1697 {
1698   EXEC_NOP = 1, EXEC_ASSIGN, EXEC_LABEL_ASSIGN, EXEC_POINTER_ASSIGN,
1699   EXEC_GOTO, EXEC_CALL, EXEC_ASSIGN_CALL, EXEC_RETURN, EXEC_ENTRY,
1700   EXEC_PAUSE, EXEC_STOP, EXEC_CONTINUE, EXEC_INIT_ASSIGN,
1701   EXEC_IF, EXEC_ARITHMETIC_IF, EXEC_DO, EXEC_DO_WHILE, EXEC_SELECT,
1702   EXEC_FORALL, EXEC_WHERE, EXEC_CYCLE, EXEC_EXIT,
1703   EXEC_ALLOCATE, EXEC_DEALLOCATE,
1704   EXEC_OPEN, EXEC_CLOSE,
1705   EXEC_READ, EXEC_WRITE, EXEC_IOLENGTH, EXEC_TRANSFER, EXEC_DT_END,
1706   EXEC_BACKSPACE, EXEC_ENDFILE, EXEC_INQUIRE, EXEC_REWIND, EXEC_FLUSH,
1707   EXEC_OMP_CRITICAL, EXEC_OMP_DO, EXEC_OMP_FLUSH, EXEC_OMP_MASTER,
1708   EXEC_OMP_ORDERED, EXEC_OMP_PARALLEL, EXEC_OMP_PARALLEL_DO,
1709   EXEC_OMP_PARALLEL_SECTIONS, EXEC_OMP_PARALLEL_WORKSHARE,
1710   EXEC_OMP_SECTIONS, EXEC_OMP_SINGLE, EXEC_OMP_WORKSHARE,
1711   EXEC_OMP_ATOMIC, EXEC_OMP_BARRIER, EXEC_OMP_END_NOWAIT,
1712   EXEC_OMP_END_SINGLE
1713 }
1714 gfc_exec_op;
1715
1716 typedef struct gfc_code
1717 {
1718   gfc_exec_op op;
1719
1720   struct gfc_code *block, *next;
1721   locus loc;
1722
1723   gfc_st_label *here, *label, *label2, *label3;
1724   gfc_symtree *symtree;
1725   gfc_expr *expr, *expr2;
1726   /* A name isn't sufficient to identify a subroutine, we need the actual
1727      symbol for the interface definition.
1728   const char *sub_name;  */
1729   gfc_symbol *resolved_sym;
1730
1731   union
1732   {
1733     gfc_actual_arglist *actual;
1734     gfc_case *case_list;
1735     gfc_iterator *iterator;
1736     gfc_alloc *alloc_list;
1737     gfc_open *open;
1738     gfc_close *close;
1739     gfc_filepos *filepos;
1740     gfc_inquire *inquire;
1741     gfc_dt *dt;
1742     gfc_forall_iterator *forall_iterator;
1743     struct gfc_code *whichloop;
1744     int stop_code;
1745     gfc_entry_list *entry;
1746     gfc_omp_clauses *omp_clauses;
1747     const char *omp_name;
1748     gfc_namelist *omp_namelist;
1749     bool omp_bool;
1750   }
1751   ext;          /* Points to additional structures required by statement */
1752
1753   /* Backend_decl is used for cycle and break labels in do loops, and
1754      probably for other constructs as well, once we translate them.  */
1755   tree backend_decl;
1756 }
1757 gfc_code;
1758
1759
1760 /* Storage for DATA statements.  */
1761 typedef struct gfc_data_variable
1762 {
1763   gfc_expr *expr;
1764   gfc_iterator iter;
1765   struct gfc_data_variable *list, *next;
1766 }
1767 gfc_data_variable;
1768
1769
1770 typedef struct gfc_data_value
1771 {
1772   mpz_t repeat;
1773   gfc_expr *expr;
1774   struct gfc_data_value *next;
1775 }
1776 gfc_data_value;
1777
1778
1779 typedef struct gfc_data
1780 {
1781   gfc_data_variable *var;
1782   gfc_data_value *value;
1783   locus where;
1784
1785   struct gfc_data *next;
1786 }
1787 gfc_data;
1788
1789
1790 /* Structure for holding compile options */
1791 typedef struct
1792 {
1793   char *module_dir;
1794   gfc_source_form source_form;
1795   /* Maximum line lengths in fixed- and free-form source, respectively.
1796      When fixed_line_length or free_line_length are 0, the whole line is used,
1797      regardless of length.
1798
1799      If the user requests a fixed_line_length <7 then gfc_init_options()
1800      emits a fatal error.  */
1801   int fixed_line_length;
1802   int free_line_length;
1803   /* Maximum number of continuation lines in fixed- and free-form source,
1804      respectively.  */
1805   int max_continue_fixed;
1806   int max_continue_free;
1807   int max_identifier_length;
1808   int verbose;
1809
1810   int warn_aliasing;
1811   int warn_ampersand;
1812   int warn_conversion;
1813   int warn_implicit_interface;
1814   int warn_line_truncation;
1815   int warn_surprising;
1816   int warn_tabs;
1817   int warn_underflow;
1818   int warn_character_truncation;
1819   int max_errors;
1820
1821   int flag_all_intrinsics;
1822   int flag_default_double;
1823   int flag_default_integer;
1824   int flag_default_real;
1825   int flag_dollar_ok;
1826   int flag_underscoring;
1827   int flag_second_underscore;
1828   int flag_implicit_none;
1829   int flag_max_stack_var_size;
1830   int flag_range_check;
1831   int flag_pack_derived;
1832   int flag_repack_arrays;
1833   int flag_preprocessed;
1834   int flag_f2c;
1835   int flag_automatic;
1836   int flag_backslash;
1837   int flag_backtrace;
1838   int flag_allow_leading_underscore;
1839   int flag_dump_core;
1840   int flag_external_blas;
1841   int blas_matmul_limit;
1842   int flag_cray_pointer;
1843   int flag_d_lines;
1844   int flag_openmp;
1845   int flag_sign_zero;
1846   int flag_module_private;
1847   int flag_recursive;
1848   int flag_init_local_zero;
1849   int flag_init_integer;
1850   int flag_init_integer_value;
1851   int flag_init_real;
1852   int flag_init_logical;
1853   int flag_init_character;
1854   char flag_init_character_value;
1855
1856   int fpe;
1857
1858   int warn_std;
1859   int allow_std;
1860   int warn_nonstd_intrinsics;
1861   int fshort_enums;
1862   int convert;
1863   int record_marker;
1864   int max_subrecord_length;
1865 }
1866 gfc_option_t;
1867
1868 extern gfc_option_t gfc_option;
1869
1870 /* Constructor nodes for array and structure constructors.  */
1871 typedef struct gfc_constructor
1872 {
1873   gfc_expr *expr;
1874   gfc_iterator *iterator;
1875   locus where;
1876   struct gfc_constructor *next;
1877   struct
1878   {
1879     mpz_t offset; /* Record the offset of array element which appears in
1880                      data statement like "data a(5)/4/".  */
1881     gfc_component *component; /* Record the component being initialized.  */
1882   }
1883   n;
1884   mpz_t repeat; /* Record the repeat number of initial values in data
1885                  statement like "data a/5*10/".  */
1886 }
1887 gfc_constructor;
1888
1889
1890 typedef struct iterator_stack
1891 {
1892   gfc_symtree *variable;
1893   mpz_t value;
1894   struct iterator_stack *prev;
1895 }
1896 iterator_stack;
1897 extern iterator_stack *iter_stack;
1898
1899 /************************ Function prototypes *************************/
1900
1901 /* decl.c */
1902 bool gfc_in_match_data (void);
1903
1904 /* scanner.c */
1905 void gfc_scanner_done_1 (void);
1906 void gfc_scanner_init_1 (void);
1907
1908 void gfc_add_include_path (const char *, bool);
1909 void gfc_add_intrinsic_modules_path (const char *);
1910 void gfc_release_include_path (void);
1911 FILE *gfc_open_included_file (const char *, bool, bool);
1912 FILE *gfc_open_intrinsic_module (const char *);
1913
1914 int gfc_at_end (void);
1915 int gfc_at_eof (void);
1916 int gfc_at_bol (void);
1917 int gfc_at_eol (void);
1918 void gfc_advance_line (void);
1919 int gfc_check_include (void);
1920 int gfc_define_undef_line (void);
1921
1922 void gfc_skip_comments (void);
1923 int gfc_next_char_literal (int);
1924 int gfc_next_char (void);
1925 int gfc_peek_char (void);
1926 void gfc_error_recovery (void);
1927 void gfc_gobble_whitespace (void);
1928 try gfc_new_file (void);
1929 const char * gfc_read_orig_filename (const char *, const char **);
1930
1931 extern gfc_source_form gfc_current_form;
1932 extern const char *gfc_source_file;
1933 extern locus gfc_current_locus;
1934
1935 void gfc_start_source_files (void);
1936 void gfc_end_source_files (void);
1937
1938 /* misc.c */
1939 void *gfc_getmem (size_t) ATTRIBUTE_MALLOC;
1940 void gfc_free (void *);
1941 int gfc_terminal_width (void);
1942 void gfc_clear_ts (gfc_typespec *);
1943 FILE *gfc_open_file (const char *);
1944 const char *gfc_basic_typename (bt);
1945 const char *gfc_typename (gfc_typespec *);
1946 const char *gfc_op2string (gfc_intrinsic_op);
1947 const char *gfc_code2string (const mstring *, int);
1948 int gfc_string2code (const mstring *, const char *);
1949 const char *gfc_intent_string (sym_intent);
1950
1951 void gfc_init_1 (void);
1952 void gfc_init_2 (void);
1953 void gfc_done_1 (void);
1954 void gfc_done_2 (void);
1955
1956 int get_c_kind (const char *, CInteropKind_t *);
1957
1958 /* options.c */
1959 unsigned int gfc_init_options (unsigned int, const char **);
1960 int gfc_handle_option (size_t, const char *, int);
1961 bool gfc_post_options (const char **);
1962
1963 /* iresolve.c */
1964 const char * gfc_get_string (const char *, ...) ATTRIBUTE_PRINTF_1;
1965
1966 /* error.c */
1967
1968 typedef struct gfc_error_buf
1969 {
1970   int flag;
1971   size_t allocated, index;
1972   char *message;
1973 } gfc_error_buf;
1974
1975 void gfc_error_init_1 (void);
1976 void gfc_buffer_error (int);
1977
1978 void gfc_warning (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
1979 void gfc_warning_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
1980 void gfc_clear_warning (void);
1981 void gfc_warning_check (void);
1982
1983 void gfc_error (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
1984 void gfc_error_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
1985 void gfc_fatal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2);
1986 void gfc_internal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2);
1987 void gfc_clear_error (void);
1988 int gfc_error_check (void);
1989 int gfc_error_flag_test (void);
1990
1991 notification gfc_notification_std (int);
1992 try gfc_notify_std (int, const char *, ...) ATTRIBUTE_GCC_GFC(2,3);
1993
1994 /* A general purpose syntax error.  */
1995 #define gfc_syntax_error(ST)    \
1996   gfc_error ("Syntax error in %s statement at %C", gfc_ascii_statement (ST));
1997
1998 void gfc_push_error (gfc_error_buf *);
1999 void gfc_pop_error (gfc_error_buf *);
2000 void gfc_free_error (gfc_error_buf *);
2001
2002 void gfc_status (const char *, ...) ATTRIBUTE_PRINTF_1;
2003 void gfc_status_char (char);
2004
2005 void gfc_get_errors (int *, int *);
2006
2007 /* arith.c */
2008 void gfc_arith_init_1 (void);
2009 void gfc_arith_done_1 (void);
2010 gfc_expr *gfc_enum_initializer (gfc_expr *, locus);
2011 arith gfc_check_integer_range (mpz_t p, int kind);
2012
2013 /* trans-types.c */
2014 try gfc_validate_c_kind (gfc_typespec *);
2015 try gfc_check_any_c_kind (gfc_typespec *);
2016 int gfc_validate_kind (bt, int, bool);
2017 extern int gfc_index_integer_kind;
2018 extern int gfc_default_integer_kind;
2019 extern int gfc_max_integer_kind;
2020 extern int gfc_default_real_kind;
2021 extern int gfc_default_double_kind;
2022 extern int gfc_default_character_kind;
2023 extern int gfc_default_logical_kind;
2024 extern int gfc_default_complex_kind;
2025 extern int gfc_c_int_kind;
2026 extern int gfc_intio_kind;
2027 extern int gfc_charlen_int_kind;
2028 extern int gfc_numeric_storage_size;
2029 extern int gfc_character_storage_size;
2030
2031 /* symbol.c */
2032 void gfc_clear_new_implicit (void);
2033 try gfc_add_new_implicit_range (int, int);
2034 try gfc_merge_new_implicit (gfc_typespec *);
2035 void gfc_set_implicit_none (void);
2036 void gfc_check_function_type (gfc_namespace *);
2037 bool gfc_is_intrinsic_typename (const char *);
2038
2039 gfc_typespec *gfc_get_default_type (gfc_symbol *, gfc_namespace *);
2040 try gfc_set_default_type (gfc_symbol *, int, gfc_namespace *);
2041
2042 void gfc_set_component_attr (gfc_component *, symbol_attribute *);
2043 void gfc_get_component_attr (symbol_attribute *, gfc_component *);
2044
2045 void gfc_set_sym_referenced (gfc_symbol *);
2046
2047 try gfc_add_attribute (symbol_attribute *, locus *);
2048 try gfc_add_allocatable (symbol_attribute *, locus *);
2049 try gfc_add_dimension (symbol_attribute *, const char *, locus *);
2050 try gfc_add_external (symbol_attribute *, locus *);
2051 try gfc_add_intrinsic (symbol_attribute *, locus *);
2052 try gfc_add_optional (symbol_attribute *, locus *);
2053 try gfc_add_pointer (symbol_attribute *, locus *);
2054 try gfc_add_cray_pointer (symbol_attribute *, locus *);
2055 try gfc_add_cray_pointee (symbol_attribute *, locus *);
2056 try gfc_mod_pointee_as (gfc_array_spec *);
2057 try gfc_add_protected (symbol_attribute *, const char *, locus *);
2058 try gfc_add_result (symbol_attribute *, const char *, locus *);
2059 try gfc_add_save (symbol_attribute *, const char *, locus *);
2060 try gfc_add_threadprivate (symbol_attribute *, const char *, locus *);
2061 try gfc_add_saved_common (symbol_attribute *, locus *);
2062 try gfc_add_target (symbol_attribute *, locus *);
2063 try gfc_add_dummy (symbol_attribute *, const char *, locus *);
2064 try gfc_add_generic (symbol_attribute *, const char *, locus *);
2065 try gfc_add_common (symbol_attribute *, locus *);
2066 try gfc_add_in_common (symbol_attribute *, const char *, locus *);
2067 try gfc_add_in_equivalence (symbol_attribute *, const char *, locus *);
2068 try gfc_add_data (symbol_attribute *, const char *, locus *);
2069 try gfc_add_in_namelist (symbol_attribute *, const char *, locus *);
2070 try gfc_add_sequence (symbol_attribute *, const char *, locus *);
2071 try gfc_add_elemental (symbol_attribute *, locus *);
2072 try gfc_add_pure (symbol_attribute *, locus *);
2073 try gfc_add_recursive (symbol_attribute *, locus *);
2074 try gfc_add_function (symbol_attribute *, const char *, locus *);
2075 try gfc_add_subroutine (symbol_attribute *, const char *, locus *);
2076 try gfc_add_volatile (symbol_attribute *, const char *, locus *);
2077 try gfc_add_proc (symbol_attribute *attr, const char *name, locus *where);
2078
2079 try gfc_add_access (symbol_attribute *, gfc_access, const char *, locus *);
2080 try gfc_add_is_bind_c(symbol_attribute *, const char *, locus *, int);
2081 try gfc_add_value (symbol_attribute *, const char *, locus *);
2082 try gfc_add_flavor (symbol_attribute *, sym_flavor, const char *, locus *);
2083 try gfc_add_entry (symbol_attribute *, const char *, locus *);
2084 try gfc_add_procedure (symbol_attribute *, procedure_type,
2085                        const char *, locus *);
2086 try gfc_add_intent (symbol_attribute *, sym_intent, locus *);
2087 try gfc_add_explicit_interface (gfc_symbol *, ifsrc,
2088                                 gfc_formal_arglist *, locus *);
2089 try gfc_add_type (gfc_symbol *, gfc_typespec *, locus *);
2090
2091 void gfc_clear_attr (symbol_attribute *);
2092 try gfc_missing_attr (symbol_attribute *, locus *);
2093 try gfc_copy_attr (symbol_attribute *, symbol_attribute *, locus *);
2094
2095 try gfc_add_component (gfc_symbol *, const char *, gfc_component **);
2096 gfc_symbol *gfc_use_derived (gfc_symbol *);
2097 gfc_symtree *gfc_use_derived_tree (gfc_symtree *);
2098 gfc_component *gfc_find_component (gfc_symbol *, const char *);
2099
2100 gfc_st_label *gfc_get_st_label (int);
2101 void gfc_free_st_label (gfc_st_label *);
2102 void gfc_define_st_label (gfc_st_label *, gfc_sl_type, locus *);
2103 try gfc_reference_st_label (gfc_st_label *, gfc_sl_type);
2104
2105 gfc_expr * gfc_lval_expr_from_sym (gfc_symbol *);
2106
2107 gfc_namespace *gfc_get_namespace (gfc_namespace *, int);
2108 gfc_symtree *gfc_new_symtree (gfc_symtree **, const char *);
2109 gfc_symtree *gfc_find_symtree (gfc_symtree *, const char *);
2110 void gfc_delete_symtree (gfc_symtree **, const char *);
2111 gfc_symtree *gfc_get_unique_symtree (gfc_namespace *);
2112 gfc_user_op *gfc_get_uop (const char *);
2113 gfc_user_op *gfc_find_uop (const char *, gfc_namespace *);
2114 void gfc_free_symbol (gfc_symbol *);
2115 gfc_symbol *gfc_new_symbol (const char *, gfc_namespace *);
2116 int gfc_find_symbol (const char *, gfc_namespace *, int, gfc_symbol **);
2117 int gfc_find_sym_tree (const char *, gfc_namespace *, int, gfc_symtree **);
2118 int gfc_get_symbol (const char *, gfc_namespace *, gfc_symbol **);
2119 try verify_c_interop (gfc_typespec *, const char *name, locus *where);
2120 try verify_c_interop_param (gfc_symbol *);
2121 try verify_bind_c_sym (gfc_symbol *, gfc_typespec *, int, gfc_common_head *);
2122 try verify_bind_c_derived_type (gfc_symbol *);
2123 try verify_com_block_vars_c_interop (gfc_common_head *);
2124 void generate_isocbinding_symbol (const char *, iso_c_binding_symbol, const char *);
2125 gfc_symbol *get_iso_c_sym (gfc_symbol *, char *, char *, int);
2126 int gfc_get_sym_tree (const char *, gfc_namespace *, gfc_symtree **);
2127 int gfc_get_ha_symbol (const char *, gfc_symbol **);
2128 int gfc_get_ha_sym_tree (const char *, gfc_symtree **);
2129
2130 int gfc_symbols_could_alias (gfc_symbol *, gfc_symbol *);
2131
2132 void gfc_undo_symbols (void);
2133 void gfc_commit_symbols (void);
2134 void gfc_commit_symbol (gfc_symbol *);
2135 void gfc_free_namespace (gfc_namespace *);
2136
2137 void gfc_symbol_init_2 (void);
2138 void gfc_symbol_done_2 (void);
2139
2140 void gfc_traverse_symtree (gfc_symtree *, void (*)(gfc_symtree *));
2141 void gfc_traverse_ns (gfc_namespace *, void (*)(gfc_symbol *));
2142 void gfc_traverse_user_op (gfc_namespace *, void (*)(gfc_user_op *));
2143 void gfc_save_all (gfc_namespace *);
2144
2145 void gfc_symbol_state (void);
2146
2147 gfc_gsymbol *gfc_get_gsymbol (const char *);
2148 gfc_gsymbol *gfc_find_gsymbol (gfc_gsymbol *, const char *);
2149
2150 void copy_formal_args (gfc_symbol *dest, gfc_symbol *src);
2151
2152 /* intrinsic.c */
2153 extern int gfc_init_expr;
2154
2155 /* Given a symbol that we have decided is intrinsic, mark it as such
2156    by placing it into a special module that is otherwise impossible to
2157    read or write.  */
2158
2159 #define gfc_intrinsic_symbol(SYM) SYM->module = gfc_get_string ("(intrinsic)")
2160
2161 void gfc_intrinsic_init_1 (void);
2162 void gfc_intrinsic_done_1 (void);
2163
2164 char gfc_type_letter (bt);
2165 gfc_symbol * gfc_get_intrinsic_sub_symbol (const char *);
2166 try gfc_convert_type (gfc_expr *, gfc_typespec *, int);
2167 try gfc_convert_type_warn (gfc_expr *, gfc_typespec *, int, int);
2168 int gfc_generic_intrinsic (const char *);
2169 int gfc_specific_intrinsic (const char *);
2170 int gfc_intrinsic_name (const char *, int);
2171 int gfc_intrinsic_actual_ok (const char *, const bool);
2172 gfc_intrinsic_sym *gfc_find_function (const char *);
2173 gfc_intrinsic_sym *gfc_find_subroutine (const char *);
2174
2175 match gfc_intrinsic_func_interface (gfc_expr *, int);
2176 match gfc_intrinsic_sub_interface (gfc_code *, int);
2177
2178 /* match.c -- FIXME */
2179 void gfc_free_iterator (gfc_iterator *, int);
2180 void gfc_free_forall_iterator (gfc_forall_iterator *);
2181 void gfc_free_alloc_list (gfc_alloc *);
2182 void gfc_free_namelist (gfc_namelist *);
2183 void gfc_free_equiv (gfc_equiv *);
2184 void gfc_free_data (gfc_data *);
2185 void gfc_free_case_list (gfc_case *);
2186
2187 /* matchexp.c -- FIXME too?  */
2188 gfc_expr *gfc_get_parentheses (gfc_expr *);
2189
2190 /* openmp.c */
2191 void gfc_free_omp_clauses (gfc_omp_clauses *);
2192 void gfc_resolve_omp_directive (gfc_code *, gfc_namespace *);
2193 void gfc_resolve_do_iterator (gfc_code *, gfc_symbol *);
2194 void gfc_resolve_omp_parallel_blocks (gfc_code *, gfc_namespace *);
2195 void gfc_resolve_omp_do_blocks (gfc_code *, gfc_namespace *);
2196
2197 /* expr.c */
2198 void gfc_free_actual_arglist (gfc_actual_arglist *);
2199 gfc_actual_arglist *gfc_copy_actual_arglist (gfc_actual_arglist *);
2200 const char *gfc_extract_int (gfc_expr *, int *);
2201 gfc_expr *gfc_expr_to_initialize (gfc_expr *);
2202 bool is_subref_array (gfc_expr *);
2203
2204 gfc_expr *gfc_build_conversion (gfc_expr *);
2205 void gfc_free_ref_list (gfc_ref *);
2206 void gfc_type_convert_binary (gfc_expr *);
2207 int gfc_is_constant_expr (gfc_expr *);
2208 try gfc_simplify_expr (gfc_expr *, int);
2209 int gfc_has_vector_index (gfc_expr *);
2210
2211 gfc_expr *gfc_get_expr (void);
2212 void gfc_free_expr (gfc_expr *);
2213 void gfc_replace_expr (gfc_expr *, gfc_expr *);
2214 gfc_expr *gfc_int_expr (int);
2215 gfc_expr *gfc_logical_expr (int, locus *);
2216 mpz_t *gfc_copy_shape (mpz_t *, int);
2217 mpz_t *gfc_copy_shape_excluding (mpz_t *, int, gfc_expr *);
2218 gfc_expr *gfc_copy_expr (gfc_expr *);
2219
2220 try gfc_specification_expr (gfc_expr *);
2221
2222 int gfc_numeric_ts (gfc_typespec *);
2223 int gfc_kind_max (gfc_expr *, gfc_expr *);
2224
2225 try gfc_check_conformance (const char *, gfc_expr *, gfc_expr *);
2226 try gfc_check_assign (gfc_expr *, gfc_expr *, int);
2227 try gfc_check_pointer_assign (gfc_expr *, gfc_expr *);
2228 try gfc_check_assign_symbol (gfc_symbol *, gfc_expr *);
2229
2230 gfc_expr *gfc_default_initializer (gfc_typespec *);
2231 gfc_expr *gfc_get_variable_expr (gfc_symtree *);
2232
2233 bool gfc_traverse_expr (gfc_expr *, gfc_symbol *,
2234                         bool (*)(gfc_expr *, gfc_symbol *, int*),
2235                         int);
2236 void gfc_expr_set_symbols_referenced (gfc_expr *);
2237
2238 /* st.c */
2239 extern gfc_code new_st;
2240
2241 void gfc_clear_new_st (void);
2242 gfc_code *gfc_get_code (void);
2243 gfc_code *gfc_append_code (gfc_code *, gfc_code *);
2244 void gfc_free_statement (gfc_code *);
2245 void gfc_free_statements (gfc_code *);
2246
2247 /* resolve.c */
2248 try gfc_resolve_expr (gfc_expr *);
2249 void gfc_resolve (gfc_namespace *);
2250 void gfc_resolve_blocks (gfc_code *, gfc_namespace *);
2251 int gfc_impure_variable (gfc_symbol *);
2252 int gfc_pure (gfc_symbol *);
2253 int gfc_elemental (gfc_symbol *);
2254 try gfc_resolve_iterator (gfc_iterator *, bool);
2255 try find_forall_index (gfc_expr *, gfc_symbol *, int);
2256 try gfc_resolve_index (gfc_expr *, int);
2257 try gfc_resolve_dim_arg (gfc_expr *);
2258 int gfc_is_formal_arg (void);
2259 void gfc_resolve_substring_charlen (gfc_expr *);
2260 match gfc_iso_c_sub_interface(gfc_code *, gfc_symbol *);
2261
2262
2263 /* array.c */
2264 void gfc_free_array_spec (gfc_array_spec *);
2265 gfc_array_ref *gfc_copy_array_ref (gfc_array_ref *);
2266
2267 try gfc_set_array_spec (gfc_symbol *, gfc_array_spec *, locus *);
2268 gfc_array_spec *gfc_copy_array_spec (gfc_array_spec *);
2269 try gfc_resolve_array_spec (gfc_array_spec *, int);
2270
2271 int gfc_compare_array_spec (gfc_array_spec *, gfc_array_spec *);
2272
2273 gfc_expr *gfc_start_constructor (bt, int, locus *);
2274 void gfc_append_constructor (gfc_expr *, gfc_expr *);
2275 void gfc_free_constructor (gfc_constructor *);
2276 void gfc_simplify_iterator_var (gfc_expr *);
2277 try gfc_expand_constructor (gfc_expr *);
2278 int gfc_constant_ac (gfc_expr *);
2279 int gfc_expanded_ac (gfc_expr *);
2280 void gfc_resolve_character_array_constructor (gfc_expr *);
2281 try gfc_resolve_array_constructor (gfc_expr *);
2282 try gfc_check_constructor_type (gfc_expr *);
2283 try gfc_check_iter_variable (gfc_expr *);
2284 try gfc_check_constructor (gfc_expr *, try (*)(gfc_expr *));
2285 gfc_constructor *gfc_copy_constructor (gfc_constructor *);
2286 gfc_expr *gfc_get_array_element (gfc_expr *, int);
2287 try gfc_array_size (gfc_expr *, mpz_t *);
2288 try gfc_array_dimen_size (gfc_expr *, int, mpz_t *);
2289 try gfc_array_ref_shape (gfc_array_ref *, mpz_t *);
2290 gfc_array_ref *gfc_find_array_ref (gfc_expr *);
2291 void gfc_insert_constructor (gfc_expr *, gfc_constructor *);
2292 gfc_constructor *gfc_get_constructor (void);
2293 tree gfc_conv_array_initializer (tree type, gfc_expr *);
2294 try spec_size (gfc_array_spec *, mpz_t *);
2295 try spec_dimen_size (gfc_array_spec *, int, mpz_t *);
2296 int gfc_is_compile_time_shape (gfc_array_spec *);
2297
2298 /* interface.c -- FIXME: some of these should be in symbol.c */
2299 void gfc_free_interface (gfc_interface *);
2300 int gfc_compare_derived_types (gfc_symbol *, gfc_symbol *);
2301 int gfc_compare_types (gfc_typespec *, gfc_typespec *);
2302 void gfc_check_interfaces (gfc_namespace *);
2303 void gfc_procedure_use (gfc_symbol *, gfc_actual_arglist **, locus *);
2304 gfc_symbol *gfc_search_interface (gfc_interface *, int,
2305                                   gfc_actual_arglist **);
2306 try gfc_extend_expr (gfc_expr *);
2307 void gfc_free_formal_arglist (gfc_formal_arglist *);
2308 try gfc_extend_assign (gfc_code *, gfc_namespace *);
2309 try gfc_add_interface (gfc_symbol *);
2310 gfc_interface *gfc_current_interface_head (void);
2311 void gfc_set_current_interface_head (gfc_interface *);
2312
2313 /* io.c */
2314 extern gfc_st_label format_asterisk;
2315
2316 void gfc_free_open (gfc_open *);
2317 try gfc_resolve_open (gfc_open *);
2318 void gfc_free_close (gfc_close *);
2319 try gfc_resolve_close (gfc_close *);
2320 void gfc_free_filepos (gfc_filepos *);
2321 try gfc_resolve_filepos (gfc_filepos *);
2322 void gfc_free_inquire (gfc_inquire *);
2323 try gfc_resolve_inquire (gfc_inquire *);
2324 void gfc_free_dt (gfc_dt *);
2325 try gfc_resolve_dt (gfc_dt *);
2326
2327 /* module.c */
2328 void gfc_module_init_2 (void);
2329 void gfc_module_done_2 (void);
2330 void gfc_dump_module (const char *, int);
2331 bool gfc_check_access (gfc_access, gfc_access);
2332
2333 /* primary.c */
2334 symbol_attribute gfc_variable_attr (gfc_expr *, gfc_typespec *);
2335 symbol_attribute gfc_expr_attr (gfc_expr *);
2336 match gfc_match_rvalue (gfc_expr **);
2337
2338 /* trans.c */
2339 void gfc_generate_code (gfc_namespace *);
2340 void gfc_generate_module_code (gfc_namespace *);
2341
2342 /* bbt.c */
2343 typedef int (*compare_fn) (void *, void *);
2344 void gfc_insert_bbt (void *, void *, compare_fn);
2345 void gfc_delete_bbt (void *, void *, compare_fn);
2346
2347 /* dump-parse-tree.c */
2348 void gfc_show_actual_arglist (gfc_actual_arglist *);
2349 void gfc_show_array_ref (gfc_array_ref *);
2350 void gfc_show_array_spec (gfc_array_spec *);
2351 void gfc_show_attr (symbol_attribute *);
2352 void gfc_show_code (int, gfc_code *);
2353 void gfc_show_components (gfc_symbol *);
2354 void gfc_show_constructor (gfc_constructor *);
2355 void gfc_show_equiv (gfc_equiv *);
2356 void gfc_show_expr (gfc_expr *);
2357 void gfc_show_expr_n (const char *, gfc_expr *);
2358 void gfc_show_namelist (gfc_namelist *);
2359 void gfc_show_namespace (gfc_namespace *);
2360 void gfc_show_ref (gfc_ref *);
2361 void gfc_show_symbol (gfc_symbol *);
2362 void gfc_show_symbol_n (const char *, gfc_symbol *);
2363 void gfc_show_typespec (gfc_typespec *);
2364
2365 /* parse.c */
2366 try gfc_parse_file (void);
2367 void gfc_global_used (gfc_gsymbol *, locus *);
2368
2369 /* dependency.c */
2370 int gfc_dep_compare_expr (gfc_expr *, gfc_expr *);
2371
2372 #endif /* GCC_GFORTRAN_H  */