check.c (gfc_check_getcwd_sub): New function.
[gcc.git] / gcc / fortran / gfortran.h
1 /* gfortran header file
2 Copyright (C) 2000, 2001, 2002, 2003, 2004 Free Software Foundation,
3 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 2, 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 COPYING. If not, write to the Free
20 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
21 02111-1307, USA. */
22
23 #ifndef GCC_GFORTRAN_H
24 #define GCC_GFORTRAN_H
25
26 /* It's probably insane to have this large of a header file, but it
27 seemed like everything had to be recompiled anyway when a change
28 was made to a header file, and there were ordering issues with
29 multiple header files. Besides, Microsoft's winnt.h was 250k last
30 time I looked, so by comparison this is perfectly reasonable. */
31
32 /* We need system.h for HOST_WIDE_INT. Including hwint.h by itself doesn't
33 seem to be sufficient on some systems. */
34 #include "system.h"
35 #include "coretypes.h"
36 #include "input.h"
37
38 /* The following ifdefs are recommended by the autoconf documentation
39 for any code using alloca. */
40
41 /* AIX requires this to be the first thing in the file. */
42 #ifdef __GNUC__
43 #else /* not __GNUC__ */
44 #ifdef HAVE_ALLOCA_H
45 #include <alloca.h>
46 #else /* do not HAVE_ALLOCA_H */
47 #ifdef _AIX
48 #pragma alloca
49 #else
50 #ifndef alloca /* predefined by HP cc +Olibcalls */
51 char *alloca ();
52 #endif /* not predefined */
53 #endif /* not _AIX */
54 #endif /* do not HAVE_ALLOCA_H */
55 #endif /* not __GNUC__ */
56
57
58 #include <stdio.h> /* need FILE * here */
59
60 /* Major control parameters. */
61
62 #define GFC_MAX_SYMBOL_LEN 63
63 #define GFC_MAX_LINE 132 /* Characters beyond this are not seen. */
64 #define GFC_MAX_DIMENSIONS 7 /* Maximum dimensions in an array. */
65 #define GFC_LETTERS 26 /* Number of letters in the alphabet. */
66 #define MAX_ERROR_MESSAGE 1000 /* Maximum length of an error message. */
67
68 #define free(x) Use_gfc_free_instead_of_free()
69 #define gfc_is_whitespace(c) ((c==' ') || (c=='\t'))
70
71 #ifndef NULL
72 #define NULL ((void *) 0)
73 #endif
74
75 /* Stringization. */
76 #define stringize(x) expand_macro(x)
77 #define expand_macro(x) # x
78
79 /* For a the runtime library, a standard prefix is a requirement to
80 avoid cluttering the namespace with things nobody asked for. It's
81 ugly to look at and a pain to type when you add the prefix by hand,
82 so we hide it behind a macro. */
83 #define PREFIX(x) "_gfortran_" x
84 #define PREFIX_LEN 10
85
86 /* Macro to initialize an mstring structure. */
87 #define minit(s, t) { s, NULL, t }
88
89 /* Structure for storing strings to be matched by gfc_match_string. */
90 typedef struct
91 {
92 const char *string;
93 const char *mp;
94 int tag;
95 }
96 mstring;
97
98
99 /* Flags to specify which standardi/extension contains a feature. */
100 #define GFC_STD_GNU (1<<5) /* GNU Fortran extension. */
101 #define GFC_STD_F2003 (1<<4) /* New in F2003. */
102 #define GFC_STD_F2003_DEL (1<<3) /* Deleted in F2003. */
103 #define GFC_STD_F2003_OBS (1<<2) /* Obsoleted in F2003. */
104 #define GFC_STD_F95_DEL (1<<1) /* Deleted in F95. */
105 #define GFC_STD_F95_OBS (1<<0) /* Obsoleted in F95. */
106
107 /*************************** Enums *****************************/
108
109 /* The author remains confused to this day about the convention of
110 returning '0' for 'SUCCESS'... or was it the other way around? The
111 following enum makes things much more readable. We also start
112 values off at one instead of zero. */
113
114 typedef enum
115 { SUCCESS = 1, FAILURE }
116 try;
117
118 /* Matchers return one of these three values. The difference between
119 MATCH_NO and MATCH_ERROR is that MATCH_ERROR means that a match was
120 successful, but that something non-syntactic is wrong and an error
121 has already been issued. */
122
123 typedef enum
124 { MATCH_NO = 1, MATCH_YES, MATCH_ERROR }
125 match;
126
127 typedef enum
128 { FORM_FREE, FORM_FIXED, FORM_UNKNOWN }
129 gfc_source_form;
130
131 typedef enum
132 { BT_UNKNOWN = 1, BT_INTEGER, BT_REAL, BT_COMPLEX,
133 BT_LOGICAL, BT_CHARACTER, BT_DERIVED, BT_PROCEDURE
134 }
135 bt;
136
137 /* Expression node types. */
138 typedef enum
139 { EXPR_OP = 1, EXPR_FUNCTION, EXPR_CONSTANT, EXPR_VARIABLE,
140 EXPR_SUBSTRING, EXPR_STRUCTURE, EXPR_ARRAY, EXPR_NULL
141 }
142 expr_t;
143
144 /* Array types. */
145 typedef enum
146 { AS_EXPLICIT = 1, AS_ASSUMED_SHAPE, AS_DEFERRED,
147 AS_ASSUMED_SIZE, AS_UNKNOWN
148 }
149 array_type;
150
151 typedef enum
152 { AR_FULL = 1, AR_ELEMENT, AR_SECTION, AR_UNKNOWN }
153 ar_type;
154
155 /* Statement label types. */
156 typedef enum
157 { ST_LABEL_UNKNOWN = 1, ST_LABEL_TARGET,
158 ST_LABEL_BAD_TARGET, ST_LABEL_FORMAT
159 }
160 gfc_sl_type;
161
162 /* Intrinsic operators. */
163 typedef enum
164 { GFC_INTRINSIC_BEGIN = 0,
165 INTRINSIC_NONE = -1, INTRINSIC_UPLUS = GFC_INTRINSIC_BEGIN,
166 INTRINSIC_UMINUS, INTRINSIC_PLUS, INTRINSIC_MINUS, INTRINSIC_TIMES,
167 INTRINSIC_DIVIDE, INTRINSIC_POWER, INTRINSIC_CONCAT,
168 INTRINSIC_AND, INTRINSIC_OR, INTRINSIC_EQV, INTRINSIC_NEQV,
169 INTRINSIC_EQ, INTRINSIC_NE, INTRINSIC_GT, INTRINSIC_GE,
170 INTRINSIC_LT, INTRINSIC_LE, INTRINSIC_NOT, INTRINSIC_USER,
171 INTRINSIC_ASSIGN,
172 GFC_INTRINSIC_END /* Sentinel */
173 }
174 gfc_intrinsic_op;
175
176
177 /* Strings for all intrinsic operators. */
178 extern mstring intrinsic_operators[];
179
180
181 /* This macro is the number of intrinsic operators that exist.
182 Assumptions are made about the numbering of the interface_op enums. */
183 #define GFC_INTRINSIC_OPS GFC_INTRINSIC_END
184
185 /* Arithmetic results. */
186 typedef enum
187 { ARITH_OK = 1, ARITH_OVERFLOW, ARITH_UNDERFLOW, ARITH_NAN,
188 ARITH_DIV0, ARITH_0TO0, ARITH_INCOMMENSURATE
189 }
190 arith;
191
192 /* Statements. */
193 typedef enum
194 {
195 ST_ARITHMETIC_IF, ST_ALLOCATE, ST_ATTR_DECL, ST_BACKSPACE, ST_BLOCK_DATA,
196 ST_CALL, ST_CASE, ST_CLOSE, ST_COMMON, ST_CONTINUE, ST_CONTAINS, ST_CYCLE,
197 ST_DATA, ST_DATA_DECL, ST_DEALLOCATE, ST_DO, ST_ELSE, ST_ELSEIF,
198 ST_ELSEWHERE, ST_END_BLOCK_DATA, ST_ENDDO, ST_IMPLIED_ENDDO,
199 ST_END_FILE, ST_END_FORALL, ST_END_FUNCTION, ST_ENDIF, ST_END_INTERFACE,
200 ST_END_MODULE, ST_END_PROGRAM, ST_END_SELECT, ST_END_SUBROUTINE,
201 ST_END_WHERE, ST_END_TYPE, ST_ENTRY, ST_EQUIVALENCE, ST_EXIT, ST_FORALL,
202 ST_FORALL_BLOCK, ST_FORMAT, ST_FUNCTION, ST_GOTO, ST_IF_BLOCK, ST_IMPLICIT,
203 ST_IMPLICIT_NONE, ST_INQUIRE, ST_INTERFACE, ST_PARAMETER, ST_MODULE,
204 ST_MODULE_PROC, ST_NAMELIST, ST_NULLIFY, ST_OPEN, ST_PAUSE, ST_PRIVATE,
205 ST_PROGRAM, ST_PUBLIC, ST_READ, ST_RETURN, ST_REWIND, ST_STOP,
206 ST_SUBROUTINE,
207 ST_TYPE, ST_USE, ST_WHERE_BLOCK, ST_WHERE, ST_WRITE, ST_ASSIGNMENT,
208 ST_POINTER_ASSIGNMENT, ST_SELECT_CASE, ST_SEQUENCE, ST_SIMPLE_IF,
209 ST_STATEMENT_FUNCTION, ST_DERIVED_DECL, ST_LABEL_ASSIGNMENT, ST_NONE
210 }
211 gfc_statement;
212
213
214 /* Types of interfaces that we can have. Assignment interfaces are
215 considered to be intrinsic operators. */
216 typedef enum
217 {
218 INTERFACE_NAMELESS = 1, INTERFACE_GENERIC,
219 INTERFACE_INTRINSIC_OP, INTERFACE_USER_OP
220 }
221 interface_type;
222
223 /* Symbol flavors: these are all mutually exclusive.
224 10 elements = 4 bits. */
225 typedef enum
226 {
227 FL_UNKNOWN = 0, FL_PROGRAM, FL_BLOCK_DATA, FL_MODULE, FL_VARIABLE,
228 FL_PARAMETER, FL_LABEL, FL_PROCEDURE, FL_DERIVED, FL_NAMELIST
229 }
230 sym_flavor;
231
232 /* Procedure types. 7 elements = 3 bits. */
233 typedef enum
234 { PROC_UNKNOWN, PROC_MODULE, PROC_INTERNAL, PROC_DUMMY,
235 PROC_INTRINSIC, PROC_ST_FUNCTION, PROC_EXTERNAL
236 }
237 procedure_type;
238
239 /* Intent types. */
240 typedef enum
241 { INTENT_UNKNOWN = 0, INTENT_IN, INTENT_OUT, INTENT_INOUT
242 }
243 sym_intent;
244
245 /* Access types. */
246 typedef enum
247 { ACCESS_UNKNOWN = 0, ACCESS_PUBLIC, ACCESS_PRIVATE,
248 }
249 gfc_access;
250
251 /* Flags to keep track of where an interface came from.
252 4 elements = 2 bits. */
253 typedef enum
254 { IFSRC_UNKNOWN = 0, IFSRC_DECL, IFSRC_IFBODY, IFSRC_USAGE
255 }
256 ifsrc;
257
258 /* Strings for all symbol attributes. We use these for dumping the
259 parse tree, in error messages, and also when reading and writing
260 modules. In symbol.c. */
261 extern const mstring flavors[];
262 extern const mstring procedures[];
263 extern const mstring intents[];
264 extern const mstring access_types[];
265 extern const mstring ifsrc_types[];
266
267 /* Enumeration of all the generic intrinsic functions. Used by the
268 backend for identification of a function. */
269
270 enum gfc_generic_isym_id
271 {
272 /* GFC_ISYM_NONE is used for intrinsics which will never be seen by
273 the backend (eg. KIND). */
274 GFC_ISYM_NONE = 0,
275 GFC_ISYM_ABS,
276 GFC_ISYM_ACHAR,
277 GFC_ISYM_ACOS,
278 GFC_ISYM_ADJUSTL,
279 GFC_ISYM_ADJUSTR,
280 GFC_ISYM_AIMAG,
281 GFC_ISYM_AINT,
282 GFC_ISYM_ALL,
283 GFC_ISYM_ALLOCATED,
284 GFC_ISYM_ANINT,
285 GFC_ISYM_ANY,
286 GFC_ISYM_ASIN,
287 GFC_ISYM_ASSOCIATED,
288 GFC_ISYM_ATAN,
289 GFC_ISYM_ATAN2,
290 GFC_ISYM_J0,
291 GFC_ISYM_J1,
292 GFC_ISYM_JN,
293 GFC_ISYM_Y0,
294 GFC_ISYM_Y1,
295 GFC_ISYM_YN,
296 GFC_ISYM_BTEST,
297 GFC_ISYM_CEILING,
298 GFC_ISYM_CHAR,
299 GFC_ISYM_CMPLX,
300 GFC_ISYM_COMMAND_ARGUMENT_COUNT,
301 GFC_ISYM_CONJG,
302 GFC_ISYM_COS,
303 GFC_ISYM_COSH,
304 GFC_ISYM_COUNT,
305 GFC_ISYM_CSHIFT,
306 GFC_ISYM_DBLE,
307 GFC_ISYM_DIM,
308 GFC_ISYM_DOT_PRODUCT,
309 GFC_ISYM_DPROD,
310 GFC_ISYM_EOSHIFT,
311 GFC_ISYM_ERF,
312 GFC_ISYM_ERFC,
313 GFC_ISYM_ETIME,
314 GFC_ISYM_EXP,
315 GFC_ISYM_EXPONENT,
316 GFC_ISYM_FLOOR,
317 GFC_ISYM_FRACTION,
318 GFC_ISYM_GETCWD,
319 GFC_ISYM_GETGID,
320 GFC_ISYM_GETPID,
321 GFC_ISYM_GETUID,
322 GFC_ISYM_IACHAR,
323 GFC_ISYM_IAND,
324 GFC_ISYM_IARGC,
325 GFC_ISYM_IBCLR,
326 GFC_ISYM_IBITS,
327 GFC_ISYM_IBSET,
328 GFC_ISYM_ICHAR,
329 GFC_ISYM_IEOR,
330 GFC_ISYM_INDEX,
331 GFC_ISYM_INT,
332 GFC_ISYM_IOR,
333 GFC_ISYM_IRAND,
334 GFC_ISYM_ISHFT,
335 GFC_ISYM_ISHFTC,
336 GFC_ISYM_LBOUND,
337 GFC_ISYM_LEN,
338 GFC_ISYM_LEN_TRIM,
339 GFC_ISYM_LGE,
340 GFC_ISYM_LGT,
341 GFC_ISYM_LLE,
342 GFC_ISYM_LLT,
343 GFC_ISYM_LOG,
344 GFC_ISYM_LOG10,
345 GFC_ISYM_LOGICAL,
346 GFC_ISYM_MATMUL,
347 GFC_ISYM_MAX,
348 GFC_ISYM_MAXLOC,
349 GFC_ISYM_MAXVAL,
350 GFC_ISYM_MERGE,
351 GFC_ISYM_MIN,
352 GFC_ISYM_MINLOC,
353 GFC_ISYM_MINVAL,
354 GFC_ISYM_MOD,
355 GFC_ISYM_MODULO,
356 GFC_ISYM_NEAREST,
357 GFC_ISYM_NINT,
358 GFC_ISYM_NOT,
359 GFC_ISYM_PACK,
360 GFC_ISYM_PRESENT,
361 GFC_ISYM_PRODUCT,
362 GFC_ISYM_RAND,
363 GFC_ISYM_REAL,
364 GFC_ISYM_REPEAT,
365 GFC_ISYM_RESHAPE,
366 GFC_ISYM_RRSPACING,
367 GFC_ISYM_SCALE,
368 GFC_ISYM_SCAN,
369 GFC_ISYM_SECOND,
370 GFC_ISYM_SET_EXPONENT,
371 GFC_ISYM_SHAPE,
372 GFC_ISYM_SI_KIND,
373 GFC_ISYM_SIGN,
374 GFC_ISYM_SIN,
375 GFC_ISYM_SINH,
376 GFC_ISYM_SIZE,
377 GFC_ISYM_SPACING,
378 GFC_ISYM_SPREAD,
379 GFC_ISYM_SQRT,
380 GFC_ISYM_SR_KIND,
381 GFC_ISYM_SUM,
382 GFC_ISYM_TAN,
383 GFC_ISYM_TANH,
384 GFC_ISYM_TRANSFER,
385 GFC_ISYM_TRANSPOSE,
386 GFC_ISYM_TRIM,
387 GFC_ISYM_UBOUND,
388 GFC_ISYM_UNPACK,
389 GFC_ISYM_VERIFY,
390 GFC_ISYM_CONVERSION
391 };
392 typedef enum gfc_generic_isym_id gfc_generic_isym_id;
393
394 /************************* Structures *****************************/
395
396 /* Symbol attribute structure. */
397 typedef struct
398 {
399 /* Variable attributes. */
400 unsigned allocatable:1, dimension:1, external:1, intrinsic:1,
401 optional:1, pointer:1, save:1, target:1,
402 dummy:1, result:1, assign:1;
403
404 unsigned data:1, /* Symbol is named in a DATA statement. */
405 use_assoc:1; /* Symbol has been use-associated. */
406
407 unsigned in_namelist:1, in_common:1;
408 unsigned function:1, subroutine:1, generic:1;
409 unsigned implicit_type:1; /* Type defined via implicit rules */
410
411 /* Function/subroutine attributes */
412 unsigned sequence:1, elemental:1, pure:1, recursive:1;
413 unsigned unmaskable:1, masked:1, contained:1;
414
415 /* Set if this procedure is an alternate entry point. These procedures
416 don't have any code associated, and the backend will turn them into
417 thunks to the master function. */
418 unsigned entry:1;
419 /* Set if this is the master function for a procedure with multiple
420 entry points. */
421 unsigned entry_master:1;
422
423 /* Set if a function must always be referenced by an explicit interface. */
424 unsigned always_explicit:1;
425
426 /* Set if the symbol has been referenced in an expression. No further
427 modification of type or type parameters is permitted. */
428 unsigned referenced:1;
429
430 /* Mutually exclusive multibit attributes. */
431 gfc_access access:2;
432 sym_intent intent:2;
433 sym_flavor flavor:4;
434 ifsrc if_source:2;
435
436 procedure_type proc:3;
437
438 }
439 symbol_attribute;
440
441
442 /* The following three structures are used to identify a location in
443 the sources.
444
445 gfc_file is used to maintain a tree of the source files and how
446 they include each other
447
448 gfc_linebuf holds a single line of source code and information
449 which file it resides in
450
451 locus point to the sourceline and the character in the source
452 line.
453 */
454
455 typedef struct gfc_file
456 {
457 struct gfc_file *included_by, *next, *up;
458 int inclusion_line, line;
459 char *filename;
460 } gfc_file;
461
462 typedef struct gfc_linebuf
463 {
464 #ifdef USE_MAPPED_LOCATION
465 source_location location;
466 #else
467 int linenum;
468 #endif
469 struct gfc_file *file;
470 struct gfc_linebuf *next;
471
472 char line[];
473 } gfc_linebuf;
474
475 typedef struct
476 {
477 char *nextc;
478 gfc_linebuf *lb;
479 } locus;
480
481
482 #include <limits.h>
483 #ifndef PATH_MAX
484 # include <sys/param.h>
485 # define PATH_MAX MAXPATHLEN
486 #endif
487
488
489 extern int gfc_suppress_error;
490
491
492 /* Character length structures hold the expression that gives the
493 length of a character variable. We avoid putting these into
494 gfc_typespec because doing so prevents us from doing structure
495 copies and forces us to deallocate any typespecs we create, as well
496 as structures that contain typespecs. They also can have multiple
497 character typespecs pointing to them.
498
499 These structures form a singly linked list within the current
500 namespace and are deallocated with the namespace. It is possible to
501 end up with gfc_charlen structures that have nothing pointing to them. */
502
503 typedef struct gfc_charlen
504 {
505 struct gfc_expr *length;
506 struct gfc_charlen *next;
507 tree backend_decl;
508 }
509 gfc_charlen;
510
511 #define gfc_get_charlen() gfc_getmem(sizeof(gfc_charlen))
512
513 /* Type specification structure. FIXME: derived and cl could be union??? */
514 typedef struct
515 {
516 bt type;
517 int kind;
518 struct gfc_symbol *derived;
519 gfc_charlen *cl; /* For character types only. */
520 }
521 gfc_typespec;
522
523 /* Array specification. */
524 typedef struct
525 {
526 int rank; /* A rank of zero means that a variable is a scalar. */
527 array_type type;
528 struct gfc_expr *lower[GFC_MAX_DIMENSIONS], *upper[GFC_MAX_DIMENSIONS];
529 }
530 gfc_array_spec;
531
532 #define gfc_get_array_spec() gfc_getmem(sizeof(gfc_array_spec))
533
534
535 /* Components of derived types. */
536 typedef struct gfc_component
537 {
538 char name[GFC_MAX_SYMBOL_LEN + 1];
539 gfc_typespec ts;
540
541 int pointer, dimension;
542 gfc_array_spec *as;
543
544 tree backend_decl;
545 locus loc;
546 struct gfc_expr *initializer;
547 struct gfc_component *next;
548 }
549 gfc_component;
550
551 #define gfc_get_component() gfc_getmem(sizeof(gfc_component))
552
553 /* Formal argument lists are lists of symbols. */
554 typedef struct gfc_formal_arglist
555 {
556 /* Symbol representing the argument at this position in the arglist. */
557 struct gfc_symbol *sym;
558 /* Points to the next formal argument. */
559 struct gfc_formal_arglist *next;
560 }
561 gfc_formal_arglist;
562
563 #define gfc_get_formal_arglist() gfc_getmem(sizeof(gfc_formal_arglist))
564
565
566 /* The gfc_actual_arglist structure is for actual arguments. */
567 typedef struct gfc_actual_arglist
568 {
569 char name[GFC_MAX_SYMBOL_LEN + 1];
570 /* Alternate return label when the expr member is null. */
571 struct gfc_st_label *label;
572
573 /* This is set to the type of an eventual omitted optional
574 argument. This is used to determine if a hidden string length
575 argument has to be added to a function call. */
576 bt missing_arg_type;
577
578 struct gfc_expr *expr;
579 struct gfc_actual_arglist *next;
580 }
581 gfc_actual_arglist;
582
583 #define gfc_get_actual_arglist() gfc_getmem(sizeof(gfc_actual_arglist))
584
585
586 /* Because a symbol can belong to multiple namelists, they must be
587 linked externally to the symbol itself. */
588 typedef struct gfc_namelist
589 {
590 struct gfc_symbol *sym;
591 struct gfc_namelist *next;
592 }
593 gfc_namelist;
594
595 #define gfc_get_namelist() gfc_getmem(sizeof(gfc_namelist))
596
597
598 /* The gfc_st_label structure is a doubly linked list attached to a
599 namespace that records the usage of statement labels within that
600 space. */
601 /* TODO: Make format/statement specifics a union. */
602 typedef struct gfc_st_label
603 {
604 int value;
605
606 gfc_sl_type defined, referenced;
607
608 struct gfc_expr *format;
609
610 tree backend_decl;
611
612 locus where;
613
614 struct gfc_st_label *prev, *next;
615 }
616 gfc_st_label;
617
618
619 /* gfc_interface()-- Interfaces are lists of symbols strung together. */
620 typedef struct gfc_interface
621 {
622 struct gfc_symbol *sym;
623 locus where;
624 struct gfc_interface *next;
625 }
626 gfc_interface;
627
628 #define gfc_get_interface() gfc_getmem(sizeof(gfc_interface))
629
630
631 /* User operator nodes. These are like stripped down symbols. */
632 typedef struct
633 {
634 char name[GFC_MAX_SYMBOL_LEN + 1];
635
636 gfc_interface *operator;
637 struct gfc_namespace *ns;
638 gfc_access access;
639 }
640 gfc_user_op;
641
642 /* Symbol nodes. These are important things. They are what the
643 standard refers to as "entities". The possibly multiple names that
644 refer to the same entity are accomplished by a binary tree of
645 symtree structures that is balanced by the red-black method-- more
646 than one symtree node can point to any given symbol. */
647
648 typedef struct gfc_symbol
649 {
650 char name[GFC_MAX_SYMBOL_LEN + 1]; /* Primary name, before renaming */
651 char module[GFC_MAX_SYMBOL_LEN + 1]; /* Module this symbol came from */
652 locus declared_at;
653
654 gfc_typespec ts;
655 symbol_attribute attr;
656
657 /* The interface member points to the formal argument list if the
658 symbol is a function or subroutine name. If the symbol is a
659 generic name, the generic member points to the list of
660 interfaces. */
661
662 gfc_interface *generic;
663 gfc_access component_access;
664
665 gfc_formal_arglist *formal;
666 struct gfc_namespace *formal_ns;
667
668 struct gfc_expr *value; /* Parameter/Initializer value */
669 gfc_array_spec *as;
670 struct gfc_symbol *result; /* function result symbol */
671 gfc_component *components; /* Derived type components */
672
673 struct gfc_symbol *common_next; /* Links for COMMON syms */
674 /* Make sure setup code for dummy arguments is generated in the correct
675 order. */
676 int dummy_order;
677
678 gfc_namelist *namelist, *namelist_tail;
679
680 /* Change management fields. Symbols that might be modified by the
681 current statement have the mark member nonzero and are kept in a
682 singly linked list through the tlink field. Of these symbols,
683 symbols with old_symbol equal to NULL are symbols created within
684 the current statement. Otherwise, old_symbol points to a copy of
685 the old symbol. */
686
687 struct gfc_symbol *old_symbol, *tlink;
688 unsigned mark:1, new:1;
689 /* Nonzero if all equivalences associated with this symbol have been
690 processed. */
691 unsigned equiv_built:1;
692 int refs;
693 struct gfc_namespace *ns; /* namespace containing this symbol */
694
695 tree backend_decl;
696 }
697 gfc_symbol;
698
699
700 /* This structure is used to keep track of symbols in common blocks. */
701
702 typedef struct
703 {
704 locus where;
705 int use_assoc, saved;
706 char name[GFC_MAX_SYMBOL_LEN + 1];
707 gfc_symbol *head;
708 }
709 gfc_common_head;
710
711 #define gfc_get_common_head() gfc_getmem(sizeof(gfc_common_head))
712
713
714 /* A list of all the alternate entry points for a procedure. */
715
716 typedef struct gfc_entry_list
717 {
718 /* The symbol for this entry point. */
719 gfc_symbol *sym;
720 /* The zero-based id of this entry point. */
721 int id;
722 /* The LABEL_EXPR marking this entry point. */
723 tree label;
724 /* The nest item in the list. */
725 struct gfc_entry_list *next;
726 }
727 gfc_entry_list;
728
729 #define gfc_get_entry_list() \
730 (gfc_entry_list *) gfc_getmem(sizeof(gfc_entry_list))
731
732 /* Within a namespace, symbols are pointed to by symtree nodes that
733 are linked together in a balanced binary tree. There can be
734 several symtrees pointing to the same symbol node via USE
735 statements. */
736
737 #define BBT_HEADER(self) int priority; struct self *left, *right
738
739 typedef struct gfc_symtree
740 {
741 BBT_HEADER (gfc_symtree);
742 char name[GFC_MAX_SYMBOL_LEN + 1];
743 int ambiguous;
744 union
745 {
746 gfc_symbol *sym; /* Symbol associated with this node */
747 gfc_user_op *uop;
748 gfc_common_head *common;
749 }
750 n;
751
752 }
753 gfc_symtree;
754
755
756 /* A namespace describes the contents of procedure, module or
757 interface block. */
758 /* ??? Anything else use these? */
759
760 typedef struct gfc_namespace
761 {
762 /* Tree containing all the symbols in this namespace. */
763 gfc_symtree *sym_root;
764 /* Tree containing all the user-defined operators in the namespace. */
765 gfc_symtree *uop_root;
766 /* Tree containing all the common blocks. */
767 gfc_symtree *common_root;
768
769 /* If set_flag[letter] is set, an implicit type has been set for letter. */
770 int set_flag[GFC_LETTERS];
771 /* Keeps track of the implicit types associated with the letters. */
772 gfc_typespec default_type[GFC_LETTERS];
773
774 /* If this is a namespace of a procedure, this points to the procedure. */
775 struct gfc_symbol *proc_name;
776 /* If this is the namespace of a unit which contains executable
777 code, this points to it. */
778 struct gfc_code *code;
779
780 /* Points to the equivalences set up in this namespace. */
781 struct gfc_equiv *equiv;
782 gfc_interface *operator[GFC_INTRINSIC_OPS];
783
784 /* Points to the parent namespace, i.e. the namespace of a module or
785 procedure in which the procedure belonging to this namespace is
786 contained. The parent namespace points to this namespace either
787 directly via CONTAINED, or indirectly via the chain built by
788 SIBLING. */
789 struct gfc_namespace *parent;
790 /* CONTAINED points to the first contained namespace. Sibling
791 namespaces are chained via SIBLING. */
792 struct gfc_namespace *contained, *sibling;
793
794 gfc_common_head blank_common;
795 gfc_access default_access, operator_access[GFC_INTRINSIC_OPS];
796
797 gfc_st_label *st_labels;
798 /* This list holds information about all the data initializers in
799 this namespace. */
800 struct gfc_data *data;
801
802 gfc_charlen *cl_list;
803
804 int save_all, seen_save;
805
806 /* Normally we don't need to refcount namespaces. However when we read
807 a module containing a function with multiple entry points, this
808 will appear as several functions with the same formal namespace. */
809 int refs;
810
811 /* A list of all alternate entry points to this procedure (or NULL). */
812 gfc_entry_list *entries;
813
814 /* Set to 1 if namespace is a BLOCK DATA program unit. */
815 int is_block_data;
816 }
817 gfc_namespace;
818
819 extern gfc_namespace *gfc_current_ns;
820
821 /* Global symbols are symbols of global scope. Currently we only use
822 this to detect collisions already when parsing.
823 TODO: Extend to verify procedure calls. */
824
825 typedef struct gfc_gsymbol
826 {
827 BBT_HEADER(gfc_gsymbol);
828
829 char name[GFC_MAX_SYMBOL_LEN+1];
830 enum { GSYM_UNKNOWN=1, GSYM_PROGRAM, GSYM_FUNCTION, GSYM_SUBROUTINE,
831 GSYM_MODULE, GSYM_COMMON, GSYM_BLOCK_DATA } type;
832
833 int defined, used;
834 locus where;
835 }
836 gfc_gsymbol;
837
838 extern gfc_gsymbol *gfc_gsym_root;
839
840 /* Information on interfaces being built. */
841 typedef struct
842 {
843 interface_type type;
844 gfc_symbol *sym;
845 gfc_namespace *ns;
846 gfc_user_op *uop;
847 gfc_intrinsic_op op;
848 }
849 gfc_interface_info;
850
851 extern gfc_interface_info current_interface;
852
853
854 /* Array reference. */
855 typedef struct gfc_array_ref
856 {
857 ar_type type;
858 int dimen; /* # of components in the reference */
859 locus where;
860 gfc_array_spec *as;
861
862 locus c_where[GFC_MAX_DIMENSIONS]; /* All expressions can be NULL */
863 struct gfc_expr *start[GFC_MAX_DIMENSIONS], *end[GFC_MAX_DIMENSIONS],
864 *stride[GFC_MAX_DIMENSIONS];
865
866 enum
867 { DIMEN_ELEMENT = 1, DIMEN_RANGE, DIMEN_VECTOR, DIMEN_UNKNOWN }
868 dimen_type[GFC_MAX_DIMENSIONS];
869
870 struct gfc_expr *offset;
871 }
872 gfc_array_ref;
873
874 #define gfc_get_array_ref() gfc_getmem(sizeof(gfc_array_ref))
875
876
877 /* Component reference nodes. A variable is stored as an expression
878 node that points to the base symbol. After that, a singly linked
879 list of component reference nodes gives the variable's complete
880 resolution. The array_ref component may be present and comes
881 before the component component. */
882
883 typedef enum
884 { REF_ARRAY, REF_COMPONENT, REF_SUBSTRING }
885 ref_type;
886
887 typedef struct gfc_ref
888 {
889 ref_type type;
890
891 union
892 {
893 struct gfc_array_ref ar;
894
895 struct
896 {
897 gfc_component *component;
898 gfc_symbol *sym;
899 }
900 c;
901
902 struct
903 {
904 struct gfc_expr *start, *end; /* Substring */
905 gfc_charlen *length;
906 }
907 ss;
908
909 }
910 u;
911
912 struct gfc_ref *next;
913 }
914 gfc_ref;
915
916 #define gfc_get_ref() gfc_getmem(sizeof(gfc_ref))
917
918
919 /* Structures representing intrinsic symbols and their arguments lists. */
920 typedef struct gfc_intrinsic_arg
921 {
922 char name[GFC_MAX_SYMBOL_LEN + 1];
923
924 gfc_typespec ts;
925 int optional;
926 gfc_actual_arglist *actual;
927
928 struct gfc_intrinsic_arg *next;
929
930 }
931 gfc_intrinsic_arg;
932
933
934 /* Specifies the various kinds of check functions used to verify the
935 argument lists of intrinsic functions. fX with X an integer refer
936 to check functions of intrinsics with X arguments. f1m is used for
937 the MAX and MIN intrinsics which can have an arbitrary number of
938 arguments, f3ml is used for the MINLOC and MAXLOC intrinsics as
939 these have special semantics. */
940
941 typedef union
942 {
943 try (*f0)(void);
944 try (*f1)(struct gfc_expr *);
945 try (*f1m)(gfc_actual_arglist *);
946 try (*f2)(struct gfc_expr *, struct gfc_expr *);
947 try (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
948 try (*f3ml)(gfc_actual_arglist *);
949 try (*f3red)(gfc_actual_arglist *);
950 try (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
951 struct gfc_expr *);
952 try (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
953 struct gfc_expr *, struct gfc_expr *);
954 }
955 gfc_check_f;
956
957 /* Like gfc_check_f, these specify the type of the simplification
958 function associated with an intrinsic. The fX are just like in
959 gfc_check_f. cc is used for type conversion functions. */
960
961 typedef union
962 {
963 struct gfc_expr *(*f0)(void);
964 struct gfc_expr *(*f1)(struct gfc_expr *);
965 struct gfc_expr *(*f2)(struct gfc_expr *, struct gfc_expr *);
966 struct gfc_expr *(*f3)(struct gfc_expr *, struct gfc_expr *,
967 struct gfc_expr *);
968 struct gfc_expr *(*f4)(struct gfc_expr *, struct gfc_expr *,
969 struct gfc_expr *, struct gfc_expr *);
970 struct gfc_expr *(*f5)(struct gfc_expr *, struct gfc_expr *,
971 struct gfc_expr *, struct gfc_expr *,
972 struct gfc_expr *);
973 struct gfc_expr *(*cc)(struct gfc_expr *, bt, int);
974 }
975 gfc_simplify_f;
976
977 /* Again like gfc_check_f, these specify the type of the resolution
978 function associated with an intrinsic. The fX are just like in
979 gfc_check_f. f1m is used for MIN and MAX, s1 is used for abort().
980 */
981
982 typedef union
983 {
984 void (*f0)(struct gfc_expr *);
985 void (*f1)(struct gfc_expr *, struct gfc_expr *);
986 void (*f1m)(struct gfc_expr *, struct gfc_actual_arglist *);
987 void (*f2)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
988 void (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
989 struct gfc_expr *);
990 void (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
991 struct gfc_expr *, struct gfc_expr *);
992 void (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
993 struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
994 void (*s1)(struct gfc_code *);
995 }
996 gfc_resolve_f;
997
998
999 typedef struct gfc_intrinsic_sym
1000 {
1001 char name[GFC_MAX_SYMBOL_LEN + 1], lib_name[GFC_MAX_SYMBOL_LEN + 1];
1002 gfc_intrinsic_arg *formal;
1003 gfc_typespec ts;
1004 int elemental, pure, generic, specific, actual_ok;
1005
1006 gfc_simplify_f simplify;
1007 gfc_check_f check;
1008 gfc_resolve_f resolve;
1009 struct gfc_intrinsic_sym *specific_head, *next;
1010 gfc_generic_isym_id generic_id;
1011
1012 }
1013 gfc_intrinsic_sym;
1014
1015
1016 /* Expression nodes. The expression node types deserve explanations,
1017 since the last couple can be easily misconstrued:
1018
1019 EXPR_OP Operator node pointing to one or two other nodes
1020 EXPR_FUNCTION Function call, symbol points to function's name
1021 EXPR_CONSTANT A scalar constant: Logical, String, Real, Int or Complex
1022 EXPR_VARIABLE An Lvalue with a root symbol and possible reference list
1023 which expresses structure, array and substring refs.
1024 EXPR_NULL The NULL pointer value (which also has a basic type).
1025 EXPR_SUBSTRING A substring of a constant string
1026 EXPR_STRUCTURE A structure constructor
1027 EXPR_ARRAY An array constructor. */
1028
1029 #include <gmp.h>
1030 #include <mpfr.h>
1031 #define GFC_RND_MODE GMP_RNDN
1032
1033 typedef struct gfc_expr
1034 {
1035 expr_t expr_type;
1036
1037 gfc_typespec ts; /* These two refer to the overall expression */
1038
1039 int rank;
1040 mpz_t *shape; /* Can be NULL if shape is unknown at compile time */
1041
1042 gfc_intrinsic_op operator;
1043
1044 /* Nonnull for functions and structure constructors */
1045 gfc_symtree *symtree;
1046
1047 gfc_user_op *uop;
1048 gfc_ref *ref;
1049
1050 struct gfc_expr *op1, *op2;
1051 locus where;
1052
1053 union
1054 {
1055 int logical;
1056 mpz_t integer;
1057
1058 mpfr_t real;
1059
1060 struct
1061 {
1062 mpfr_t r, i;
1063 }
1064 complex;
1065
1066 struct
1067 {
1068 gfc_actual_arglist *actual;
1069 char *name; /* Points to the ultimate name of the function */
1070 gfc_intrinsic_sym *isym;
1071 gfc_symbol *esym;
1072 }
1073 function;
1074
1075 struct
1076 {
1077 int length;
1078 char *string;
1079 }
1080 character;
1081
1082 struct gfc_constructor *constructor;
1083 }
1084 value;
1085
1086 }
1087 gfc_expr;
1088
1089
1090 #define gfc_get_shape(rank) ((mpz_t *) gfc_getmem((rank)*sizeof(mpz_t)))
1091
1092 /* Structures for information associated with different kinds of
1093 numbers. The first set of integer parameters define all there is
1094 to know about a particular kind. The rest of the elements are
1095 computed from the first elements. */
1096
1097 typedef struct
1098 {
1099 /* Values really representable by the target. */
1100 mpz_t huge, min_int, max_int;
1101
1102 int kind, radix, digits, bit_size, range;
1103
1104 /* True if the C type of the given name maps to this precision.
1105 Note that more than one bit can be set. */
1106 unsigned int c_char : 1;
1107 unsigned int c_short : 1;
1108 unsigned int c_int : 1;
1109 unsigned int c_long : 1;
1110 unsigned int c_long_long : 1;
1111 }
1112 gfc_integer_info;
1113
1114 extern gfc_integer_info gfc_integer_kinds[];
1115
1116
1117 typedef struct
1118 {
1119 int kind, bit_size;
1120
1121 /* True if the C++ type bool, C99 type _Bool, maps to this precision. */
1122 unsigned int c_bool : 1;
1123 }
1124 gfc_logical_info;
1125
1126 extern gfc_logical_info gfc_logical_kinds[];
1127
1128
1129 typedef struct
1130 {
1131 mpfr_t epsilon, huge, tiny;
1132 int kind, radix, digits, min_exponent, max_exponent;
1133 int range, precision;
1134
1135 /* The precision of the type as reported by GET_MODE_PRECISION. */
1136 int mode_precision;
1137
1138 /* True if the C type of the given name maps to this precision.
1139 Note that more than one bit can be set. */
1140 unsigned int c_float : 1;
1141 unsigned int c_double : 1;
1142 unsigned int c_long_double : 1;
1143 }
1144 gfc_real_info;
1145
1146 extern gfc_real_info gfc_real_kinds[];
1147
1148
1149 /* Equivalence structures. Equivalent lvalues are linked along the
1150 *eq pointer, equivalence sets are strung along the *next node. */
1151 typedef struct gfc_equiv
1152 {
1153 struct gfc_equiv *next, *eq;
1154 gfc_expr *expr;
1155 int used;
1156 }
1157 gfc_equiv;
1158
1159 #define gfc_get_equiv() gfc_getmem(sizeof(gfc_equiv))
1160
1161
1162 /* gfc_case stores the selector list of a case statement. The *low
1163 and *high pointers can point to the same expression in the case of
1164 a single value. If *high is NULL, the selection is from *low
1165 upwards, if *low is NULL the selection is *high downwards.
1166
1167 This structure has separate fields to allow singe and double linked
1168 lists of CASEs the same time. The singe linked list along the NEXT
1169 field is a list of cases for a single CASE label. The double linked
1170 list along the LEFT/RIGHT fields is used to detect overlap and to
1171 build a table of the cases for SELECT constructs with a CHARACTER
1172 case expression. */
1173
1174 typedef struct gfc_case
1175 {
1176 /* Where we saw this case. */
1177 locus where;
1178 int n;
1179
1180 /* Case range values. If (low == high), it's a single value. If one of
1181 the labels is NULL, it's an unbounded case. If both are NULL, this
1182 represents the default case. */
1183 gfc_expr *low, *high;
1184
1185 /* Next case label in the list of cases for a single CASE label. */
1186 struct gfc_case *next;
1187
1188 /* Used for detecting overlap, and for code generation. */
1189 struct gfc_case *left, *right;
1190
1191 /* True if this case label can never be matched. */
1192 int unreachable;
1193 }
1194 gfc_case;
1195
1196 #define gfc_get_case() gfc_getmem(sizeof(gfc_case))
1197
1198
1199 typedef struct
1200 {
1201 gfc_expr *var, *start, *end, *step;
1202 }
1203 gfc_iterator;
1204
1205 #define gfc_get_iterator() gfc_getmem(sizeof(gfc_iterator))
1206
1207
1208 /* Allocation structure for ALLOCATE, DEALLOCATE and NULLIFY statements. */
1209
1210 typedef struct gfc_alloc
1211 {
1212 gfc_expr *expr;
1213 struct gfc_alloc *next;
1214 }
1215 gfc_alloc;
1216
1217 #define gfc_get_alloc() gfc_getmem(sizeof(gfc_alloc))
1218
1219
1220 typedef struct
1221 {
1222 gfc_expr *unit, *file, *status, *access, *form, *recl,
1223 *blank, *position, *action, *delim, *pad, *iostat;
1224 gfc_st_label *err;
1225 }
1226 gfc_open;
1227
1228
1229 typedef struct
1230 {
1231 gfc_expr *unit, *status, *iostat;
1232 gfc_st_label *err;
1233 }
1234 gfc_close;
1235
1236
1237 typedef struct
1238 {
1239 gfc_expr *unit, *iostat;
1240 gfc_st_label *err;
1241 }
1242 gfc_filepos;
1243
1244
1245 typedef struct
1246 {
1247 gfc_expr *unit, *file, *iostat, *exist, *opened, *number, *named,
1248 *name, *access, *sequential, *direct, *form, *formatted,
1249 *unformatted, *recl, *nextrec, *blank, *position, *action, *read,
1250 *write, *readwrite, *delim, *pad, *iolength;
1251
1252 gfc_st_label *err;
1253
1254 }
1255 gfc_inquire;
1256
1257
1258 typedef struct
1259 {
1260 gfc_expr *io_unit, *format_expr, *rec, *advance, *iostat, *size;
1261
1262 gfc_symbol *namelist;
1263 /* A format_label of `format_asterisk' indicates the "*" format */
1264 gfc_st_label *format_label;
1265 gfc_st_label *err, *end, *eor;
1266
1267 locus eor_where, end_where;
1268 }
1269 gfc_dt;
1270
1271
1272 typedef struct gfc_forall_iterator
1273 {
1274 gfc_expr *var, *start, *end, *stride;
1275 struct gfc_forall_iterator *next;
1276 }
1277 gfc_forall_iterator;
1278
1279
1280 /* Executable statements that fill gfc_code structures. */
1281 typedef enum
1282 {
1283 EXEC_NOP = 1, EXEC_ASSIGN, EXEC_LABEL_ASSIGN, EXEC_POINTER_ASSIGN,
1284 EXEC_GOTO, EXEC_CALL, EXEC_RETURN, EXEC_ENTRY,
1285 EXEC_PAUSE, EXEC_STOP, EXEC_CONTINUE,
1286 EXEC_IF, EXEC_ARITHMETIC_IF, EXEC_DO, EXEC_DO_WHILE, EXEC_SELECT,
1287 EXEC_FORALL, EXEC_WHERE, EXEC_CYCLE, EXEC_EXIT,
1288 EXEC_ALLOCATE, EXEC_DEALLOCATE,
1289 EXEC_OPEN, EXEC_CLOSE,
1290 EXEC_READ, EXEC_WRITE, EXEC_IOLENGTH, EXEC_TRANSFER, EXEC_DT_END,
1291 EXEC_BACKSPACE, EXEC_ENDFILE, EXEC_INQUIRE, EXEC_REWIND
1292 }
1293 gfc_exec_op;
1294
1295 typedef struct gfc_code
1296 {
1297 gfc_exec_op op;
1298
1299 struct gfc_code *block, *next;
1300 locus loc;
1301
1302 gfc_st_label *here, *label, *label2, *label3;
1303 gfc_symtree *symtree;
1304 gfc_expr *expr, *expr2;
1305 /* A name isn't sufficient to identify a subroutine, we need the actual
1306 symbol for the interface definition.
1307 const char *sub_name; */
1308 gfc_symbol *resolved_sym;
1309
1310 union
1311 {
1312 gfc_actual_arglist *actual;
1313 gfc_case *case_list;
1314 gfc_iterator *iterator;
1315 gfc_alloc *alloc_list;
1316 gfc_open *open;
1317 gfc_close *close;
1318 gfc_filepos *filepos;
1319 gfc_inquire *inquire;
1320 gfc_dt *dt;
1321 gfc_forall_iterator *forall_iterator;
1322 struct gfc_code *whichloop;
1323 int stop_code;
1324 gfc_entry_list *entry;
1325 }
1326 ext; /* Points to additional structures required by statement */
1327
1328 /* Backend_decl is used for cycle and break labels in do loops, and
1329 * probably for other constructs as well, once we translate them. */
1330 tree backend_decl;
1331 }
1332 gfc_code;
1333
1334
1335 /* Storage for DATA statements. */
1336 typedef struct gfc_data_variable
1337 {
1338 gfc_expr *expr;
1339 gfc_iterator iter;
1340 struct gfc_data_variable *list, *next;
1341 }
1342 gfc_data_variable;
1343
1344
1345 typedef struct gfc_data_value
1346 {
1347 unsigned int repeat;
1348 gfc_expr *expr;
1349 struct gfc_data_value *next;
1350 }
1351 gfc_data_value;
1352
1353
1354 typedef struct gfc_data
1355 {
1356 gfc_data_variable *var;
1357 gfc_data_value *value;
1358 locus where;
1359
1360 struct gfc_data *next;
1361 }
1362 gfc_data;
1363
1364 #define gfc_get_data_variable() gfc_getmem(sizeof(gfc_data_variable))
1365 #define gfc_get_data_value() gfc_getmem(sizeof(gfc_data_value))
1366 #define gfc_get_data() gfc_getmem(sizeof(gfc_data))
1367
1368
1369 /* Structure for holding compile options */
1370 typedef struct
1371 {
1372 const char *source;
1373 char *module_dir;
1374 gfc_source_form source_form;
1375 int fixed_line_length;
1376 int max_identifier_length;
1377 int verbose;
1378
1379 int warn_aliasing;
1380 int warn_conversion;
1381 int warn_implicit_interface;
1382 int warn_line_truncation;
1383 int warn_underflow;
1384 int warn_surprising;
1385 int warn_unused_labels;
1386
1387 int flag_dollar_ok;
1388 int flag_underscoring;
1389 int flag_second_underscore;
1390 int flag_implicit_none;
1391 int flag_max_stack_var_size;
1392 int flag_module_access_private;
1393 int flag_no_backend;
1394 int flag_pack_derived;
1395 int flag_repack_arrays;
1396
1397 int q_kind;
1398 int r8;
1399 int i8;
1400 int d8;
1401 int warn_std;
1402 int allow_std;
1403 }
1404 gfc_option_t;
1405
1406 extern gfc_option_t gfc_option;
1407
1408
1409 /* Constructor nodes for array and structure constructors. */
1410 typedef struct gfc_constructor
1411 {
1412 gfc_expr *expr;
1413 gfc_iterator *iterator;
1414 locus where;
1415 struct gfc_constructor *next;
1416 struct
1417 {
1418 mpz_t offset; /* Record the offset of array element which appears in
1419 data statement like "data a(5)/4/". */
1420 gfc_component *component; /* Record the component being initialized. */
1421 }
1422 n;
1423 mpz_t repeat; /* Record the repeat number of initial values in data
1424 statement like "data a/5*10/". */
1425 }
1426 gfc_constructor;
1427
1428
1429 typedef struct iterator_stack
1430 {
1431 gfc_symtree *variable;
1432 mpz_t value;
1433 struct iterator_stack *prev;
1434 }
1435 iterator_stack;
1436 extern iterator_stack *iter_stack;
1437
1438 /************************ Function prototypes *************************/
1439
1440 /* data.c */
1441 void gfc_formalize_init_value (gfc_symbol *);
1442 void gfc_get_section_index (gfc_array_ref *, mpz_t *, mpz_t *);
1443 void gfc_assign_data_value (gfc_expr *, gfc_expr *, mpz_t);
1444 void gfc_assign_data_value_range (gfc_expr *, gfc_expr *, mpz_t, mpz_t);
1445 void gfc_advance_section (mpz_t *, gfc_array_ref *, mpz_t *);
1446
1447 /* scanner.c */
1448 void gfc_scanner_done_1 (void);
1449 void gfc_scanner_init_1 (void);
1450
1451 void gfc_add_include_path (const char *);
1452 void gfc_release_include_path (void);
1453 FILE *gfc_open_included_file (const char *);
1454
1455 int gfc_at_end (void);
1456 int gfc_at_eof (void);
1457 int gfc_at_bol (void);
1458 int gfc_at_eol (void);
1459 void gfc_advance_line (void);
1460 int gfc_check_include (void);
1461
1462 void gfc_skip_comments (void);
1463 int gfc_next_char_literal (int);
1464 int gfc_next_char (void);
1465 int gfc_peek_char (void);
1466 void gfc_error_recovery (void);
1467 void gfc_gobble_whitespace (void);
1468 try gfc_new_file (const char *, gfc_source_form);
1469
1470 extern gfc_source_form gfc_current_form;
1471 extern char *gfc_source_file;
1472 extern locus gfc_current_locus;
1473
1474 /* misc.c */
1475 void *gfc_getmem (size_t) ATTRIBUTE_MALLOC;
1476 void gfc_free (void *);
1477 int gfc_terminal_width(void);
1478 void gfc_clear_ts (gfc_typespec *);
1479 FILE *gfc_open_file (const char *);
1480 const char *gfc_article (const char *);
1481 const char *gfc_basic_typename (bt);
1482 const char *gfc_typename (gfc_typespec *);
1483
1484 #define gfc_op2string(OP) (OP == INTRINSIC_ASSIGN ? \
1485 "=" : gfc_code2string (intrinsic_operators, OP))
1486
1487 const char *gfc_code2string (const mstring *, int);
1488 int gfc_string2code (const mstring *, const char *);
1489 const char *gfc_intent_string (sym_intent);
1490
1491 void gfc_init_1 (void);
1492 void gfc_init_2 (void);
1493 void gfc_done_1 (void);
1494 void gfc_done_2 (void);
1495
1496 /* options.c */
1497 unsigned int gfc_init_options (unsigned int, const char **);
1498 int gfc_handle_option (size_t, const char *, int);
1499 bool gfc_post_options (const char **);
1500
1501 /* iresolve.c */
1502 char * gfc_get_string (const char *, ...) ATTRIBUTE_PRINTF_1;
1503 void gfc_iresolve_init_1 (void);
1504 void gfc_iresolve_done_1 (void);
1505
1506 /* error.c */
1507
1508 typedef struct gfc_error_buf
1509 {
1510 int flag;
1511 char message[MAX_ERROR_MESSAGE];
1512 } gfc_error_buf;
1513
1514 void gfc_error_init_1 (void);
1515 void gfc_buffer_error (int);
1516
1517 void gfc_warning (const char *, ...);
1518 void gfc_warning_now (const char *, ...);
1519 void gfc_clear_warning (void);
1520 void gfc_warning_check (void);
1521
1522 void gfc_error (const char *, ...);
1523 void gfc_error_now (const char *, ...);
1524 void gfc_fatal_error (const char *, ...) ATTRIBUTE_NORETURN;
1525 void gfc_internal_error (const char *, ...) ATTRIBUTE_NORETURN;
1526 void gfc_clear_error (void);
1527 int gfc_error_check (void);
1528
1529 try gfc_notify_std (int, const char *, ...);
1530
1531 /* A general purpose syntax error. */
1532 #define gfc_syntax_error(ST) \
1533 gfc_error ("Syntax error in %s statement at %C", gfc_ascii_statement (ST));
1534
1535 void gfc_push_error (gfc_error_buf *);
1536 void gfc_pop_error (gfc_error_buf *);
1537
1538 void gfc_status (const char *, ...) ATTRIBUTE_PRINTF_1;
1539 void gfc_status_char (char);
1540
1541 void gfc_get_errors (int *, int *);
1542
1543 /* arith.c */
1544 void gfc_arith_init_1 (void);
1545 void gfc_arith_done_1 (void);
1546
1547 /* trans-types.c */
1548 int gfc_validate_kind (bt, int, bool);
1549 extern int gfc_index_integer_kind;
1550 extern int gfc_default_integer_kind;
1551 extern int gfc_default_real_kind;
1552 extern int gfc_default_double_kind;
1553 extern int gfc_default_character_kind;
1554 extern int gfc_default_logical_kind;
1555 extern int gfc_default_complex_kind;
1556 extern int gfc_c_int_kind;
1557
1558 /* symbol.c */
1559 void gfc_clear_new_implicit (void);
1560 try gfc_add_new_implicit_range (int, int);
1561 try gfc_merge_new_implicit (gfc_typespec *);
1562 void gfc_set_implicit_none (void);
1563
1564 gfc_typespec *gfc_get_default_type (gfc_symbol *, gfc_namespace *);
1565 try gfc_set_default_type (gfc_symbol *, int, gfc_namespace *);
1566
1567 void gfc_set_component_attr (gfc_component *, symbol_attribute *);
1568 void gfc_get_component_attr (symbol_attribute *, gfc_component *);
1569
1570 void gfc_set_sym_referenced (gfc_symbol * sym);
1571
1572 try gfc_add_allocatable (symbol_attribute *, locus *);
1573 try gfc_add_dimension (symbol_attribute *, locus *);
1574 try gfc_add_external (symbol_attribute *, locus *);
1575 try gfc_add_intrinsic (symbol_attribute *, locus *);
1576 try gfc_add_optional (symbol_attribute *, locus *);
1577 try gfc_add_pointer (symbol_attribute *, locus *);
1578 try gfc_add_result (symbol_attribute *, locus *);
1579 try gfc_add_save (symbol_attribute *, locus *);
1580 try gfc_add_saved_common (symbol_attribute *, locus *);
1581 try gfc_add_target (symbol_attribute *, locus *);
1582 try gfc_add_dummy (symbol_attribute *, locus *);
1583 try gfc_add_generic (symbol_attribute *, locus *);
1584 try gfc_add_common (symbol_attribute *, locus *);
1585 try gfc_add_in_common (symbol_attribute *, locus *);
1586 try gfc_add_data (symbol_attribute *, locus *);
1587 try gfc_add_in_namelist (symbol_attribute *, locus *);
1588 try gfc_add_sequence (symbol_attribute *, locus *);
1589 try gfc_add_elemental (symbol_attribute *, locus *);
1590 try gfc_add_pure (symbol_attribute *, locus *);
1591 try gfc_add_recursive (symbol_attribute *, locus *);
1592 try gfc_add_function (symbol_attribute *, locus *);
1593 try gfc_add_subroutine (symbol_attribute *, locus *);
1594
1595 try gfc_add_access (symbol_attribute *, gfc_access, locus *);
1596 try gfc_add_flavor (symbol_attribute *, sym_flavor, locus *);
1597 try gfc_add_entry (symbol_attribute *, locus *);
1598 try gfc_add_procedure (symbol_attribute *, procedure_type, locus *);
1599 try gfc_add_intent (symbol_attribute *, sym_intent, locus *);
1600 try gfc_add_explicit_interface (gfc_symbol *, ifsrc,
1601 gfc_formal_arglist *, locus *);
1602 try gfc_add_type (gfc_symbol *, gfc_typespec *, locus *);
1603
1604 void gfc_clear_attr (symbol_attribute *);
1605 try gfc_missing_attr (symbol_attribute *, locus *);
1606 try gfc_copy_attr (symbol_attribute *, symbol_attribute *, locus *);
1607
1608 try gfc_add_component (gfc_symbol *, const char *, gfc_component **);
1609 gfc_symbol *gfc_use_derived (gfc_symbol *);
1610 gfc_symtree *gfc_use_derived_tree (gfc_symtree *);
1611 gfc_component *gfc_find_component (gfc_symbol *, const char *);
1612
1613 gfc_st_label *gfc_get_st_label (int);
1614 void gfc_free_st_label (gfc_st_label *);
1615 void gfc_define_st_label (gfc_st_label *, gfc_sl_type, locus *);
1616 try gfc_reference_st_label (gfc_st_label *, gfc_sl_type);
1617
1618 gfc_namespace *gfc_get_namespace (gfc_namespace *);
1619 gfc_symtree *gfc_new_symtree (gfc_symtree **, const char *);
1620 gfc_symtree *gfc_find_symtree (gfc_symtree *, const char *);
1621 gfc_user_op *gfc_get_uop (const char *);
1622 gfc_user_op *gfc_find_uop (const char *, gfc_namespace *);
1623 void gfc_free_symbol (gfc_symbol *);
1624 gfc_symbol *gfc_new_symbol (const char *, gfc_namespace *);
1625 int gfc_find_symbol (const char *, gfc_namespace *, int, gfc_symbol **);
1626 int gfc_find_sym_tree (const char *, gfc_namespace *, int, gfc_symtree **);
1627 int gfc_get_symbol (const char *, gfc_namespace *, gfc_symbol **);
1628 int gfc_get_sym_tree (const char *, gfc_namespace *, gfc_symtree **);
1629 int gfc_get_ha_symbol (const char *, gfc_symbol **);
1630 int gfc_get_ha_sym_tree (const char *, gfc_symtree **);
1631
1632 int gfc_symbols_could_alias (gfc_symbol *, gfc_symbol *);
1633
1634 void gfc_undo_symbols (void);
1635 void gfc_commit_symbols (void);
1636 void gfc_free_namespace (gfc_namespace *);
1637
1638 void gfc_symbol_init_2 (void);
1639 void gfc_symbol_done_2 (void);
1640
1641 void gfc_traverse_symtree (gfc_symtree *, void (*)(gfc_symtree *));
1642 void gfc_traverse_ns (gfc_namespace *, void (*)(gfc_symbol *));
1643 void gfc_traverse_user_op (gfc_namespace *, void (*)(gfc_user_op *));
1644 void gfc_save_all (gfc_namespace *);
1645
1646 void gfc_symbol_state (void);
1647
1648 gfc_gsymbol *gfc_get_gsymbol (char *);
1649 gfc_gsymbol *gfc_find_gsymbol (gfc_gsymbol *, char *);
1650
1651 /* intrinsic.c */
1652 extern int gfc_init_expr;
1653
1654 /* Given a symbol that we have decided is intrinsic, mark it as such
1655 by placing it into a special module that is otherwise impossible to
1656 read or write. */
1657
1658 #define gfc_intrinsic_symbol(SYM) strcpy (SYM->module, "(intrinsic)")
1659
1660 void gfc_intrinsic_init_1 (void);
1661 void gfc_intrinsic_done_1 (void);
1662
1663 char gfc_type_letter (bt);
1664 gfc_symbol * gfc_get_intrinsic_sub_symbol (const char *);
1665 try gfc_convert_type (gfc_expr *, gfc_typespec *, int);
1666 try gfc_convert_type_warn (gfc_expr *, gfc_typespec *, int, int);
1667 int gfc_generic_intrinsic (const char *);
1668 int gfc_specific_intrinsic (const char *);
1669 int gfc_intrinsic_name (const char *, int);
1670 gfc_intrinsic_sym *gfc_find_function (const char *);
1671
1672 match gfc_intrinsic_func_interface (gfc_expr *, int);
1673 match gfc_intrinsic_sub_interface (gfc_code *, int);
1674
1675 /* simplify.c */
1676 void gfc_simplify_init_1 (void);
1677
1678 /* match.c -- FIXME */
1679 void gfc_free_iterator (gfc_iterator *, int);
1680 void gfc_free_forall_iterator (gfc_forall_iterator *);
1681 void gfc_free_alloc_list (gfc_alloc *);
1682 void gfc_free_namelist (gfc_namelist *);
1683 void gfc_free_equiv (gfc_equiv *);
1684 void gfc_free_data (gfc_data *);
1685 void gfc_free_case_list (gfc_case *);
1686
1687 /* expr.c */
1688 void gfc_free_actual_arglist (gfc_actual_arglist *);
1689 gfc_actual_arglist *gfc_copy_actual_arglist (gfc_actual_arglist *);
1690 const char *gfc_extract_int (gfc_expr *, int *);
1691
1692 gfc_expr *gfc_build_conversion (gfc_expr *);
1693 void gfc_free_ref_list (gfc_ref *);
1694 void gfc_type_convert_binary (gfc_expr *);
1695 int gfc_is_constant_expr (gfc_expr *);
1696 try gfc_simplify_expr (gfc_expr *, int);
1697
1698 gfc_expr *gfc_get_expr (void);
1699 void gfc_free_expr (gfc_expr *);
1700 void gfc_replace_expr (gfc_expr *, gfc_expr *);
1701 gfc_expr *gfc_int_expr (int);
1702 gfc_expr *gfc_logical_expr (int, locus *);
1703 mpz_t *gfc_copy_shape (mpz_t *, int);
1704 mpz_t *gfc_copy_shape_excluding (mpz_t *, int, gfc_expr *);
1705 gfc_expr *gfc_copy_expr (gfc_expr *);
1706
1707 try gfc_specification_expr (gfc_expr *);
1708
1709 int gfc_numeric_ts (gfc_typespec *);
1710 int gfc_kind_max (gfc_expr *, gfc_expr *);
1711
1712 try gfc_check_conformance (const char *, gfc_expr *, gfc_expr *);
1713 try gfc_check_assign (gfc_expr *, gfc_expr *, int);
1714 try gfc_check_pointer_assign (gfc_expr *, gfc_expr *);
1715 try gfc_check_assign_symbol (gfc_symbol *, gfc_expr *);
1716
1717 gfc_expr *gfc_default_initializer (gfc_typespec *);
1718 gfc_expr *gfc_get_variable_expr (gfc_symtree *);
1719
1720
1721 /* st.c */
1722 extern gfc_code new_st;
1723
1724 void gfc_clear_new_st (void);
1725 gfc_code *gfc_get_code (void);
1726 gfc_code *gfc_append_code (gfc_code *, gfc_code *);
1727 void gfc_free_statement (gfc_code *);
1728 void gfc_free_statements (gfc_code *);
1729
1730 /* resolve.c */
1731 try gfc_resolve_expr (gfc_expr *);
1732 void gfc_resolve (gfc_namespace *);
1733 int gfc_impure_variable (gfc_symbol *);
1734 int gfc_pure (gfc_symbol *);
1735 int gfc_elemental (gfc_symbol *);
1736 try gfc_resolve_iterator (gfc_iterator *);
1737 try gfc_resolve_index (gfc_expr *, int);
1738
1739 /* array.c */
1740 void gfc_free_array_spec (gfc_array_spec *);
1741 gfc_array_ref *gfc_copy_array_ref (gfc_array_ref *);
1742
1743 try gfc_set_array_spec (gfc_symbol *, gfc_array_spec *, locus *);
1744 gfc_array_spec *gfc_copy_array_spec (gfc_array_spec *);
1745 try gfc_resolve_array_spec (gfc_array_spec *, int);
1746
1747 int gfc_compare_array_spec (gfc_array_spec *, gfc_array_spec *);
1748
1749 gfc_expr *gfc_start_constructor (bt, int, locus *);
1750 void gfc_append_constructor (gfc_expr *, gfc_expr *);
1751 void gfc_free_constructor (gfc_constructor *);
1752 void gfc_simplify_iterator_var (gfc_expr *);
1753 try gfc_expand_constructor (gfc_expr *);
1754 int gfc_constant_ac (gfc_expr *);
1755 int gfc_expanded_ac (gfc_expr *);
1756 try gfc_resolve_array_constructor (gfc_expr *);
1757 try gfc_check_constructor_type (gfc_expr *);
1758 try gfc_check_iter_variable (gfc_expr *);
1759 try gfc_check_constructor (gfc_expr *, try (*)(gfc_expr *));
1760 gfc_constructor *gfc_copy_constructor (gfc_constructor * src);
1761 gfc_expr *gfc_get_array_element (gfc_expr *, int);
1762 try gfc_array_size (gfc_expr *, mpz_t *);
1763 try gfc_array_dimen_size (gfc_expr *, int, mpz_t *);
1764 try gfc_array_ref_shape (gfc_array_ref *, mpz_t *);
1765 gfc_array_ref *gfc_find_array_ref (gfc_expr *);
1766 void gfc_insert_constructor (gfc_expr *, gfc_constructor *);
1767 gfc_constructor *gfc_get_constructor (void);
1768 tree gfc_conv_array_initializer (tree type, gfc_expr * expr);
1769 try spec_size (gfc_array_spec *, mpz_t *);
1770 int gfc_is_compile_time_shape (gfc_array_spec *);
1771
1772 /* interface.c -- FIXME: some of these should be in symbol.c */
1773 void gfc_free_interface (gfc_interface *);
1774 int gfc_compare_types (gfc_typespec *, gfc_typespec *);
1775 void gfc_check_interfaces (gfc_namespace *);
1776 void gfc_procedure_use (gfc_symbol *, gfc_actual_arglist **, locus *);
1777 gfc_symbol *gfc_search_interface (gfc_interface *, int,
1778 gfc_actual_arglist **);
1779 try gfc_extend_expr (gfc_expr *);
1780 void gfc_free_formal_arglist (gfc_formal_arglist *);
1781 try gfc_extend_assign (gfc_code *, gfc_namespace *);
1782 try gfc_add_interface (gfc_symbol * sym);
1783
1784 /* io.c */
1785 extern gfc_st_label format_asterisk;
1786
1787 void gfc_free_open (gfc_open *);
1788 try gfc_resolve_open (gfc_open *);
1789 void gfc_free_close (gfc_close *);
1790 try gfc_resolve_close (gfc_close *);
1791 void gfc_free_filepos (gfc_filepos *);
1792 try gfc_resolve_filepos (gfc_filepos *);
1793 void gfc_free_inquire (gfc_inquire *);
1794 try gfc_resolve_inquire (gfc_inquire *);
1795 void gfc_free_dt (gfc_dt *);
1796 try gfc_resolve_dt (gfc_dt *);
1797
1798 /* module.c */
1799 void gfc_module_init_2 (void);
1800 void gfc_module_done_2 (void);
1801 void gfc_dump_module (const char *, int);
1802
1803 /* primary.c */
1804 symbol_attribute gfc_variable_attr (gfc_expr *, gfc_typespec *);
1805 symbol_attribute gfc_expr_attr (gfc_expr *);
1806
1807 /* trans.c */
1808 void gfc_generate_code (gfc_namespace *);
1809 void gfc_generate_module_code (gfc_namespace *);
1810
1811 /* bbt.c */
1812 typedef int (*compare_fn) (void *, void *);
1813 void gfc_insert_bbt (void *, void *, compare_fn);
1814 void gfc_delete_bbt (void *, void *, compare_fn);
1815
1816 /* dump-parse-tree.c */
1817 void gfc_show_namespace (gfc_namespace *);
1818
1819 /* parse.c */
1820 try gfc_parse_file (void);
1821
1822 #endif /* GCC_GFORTRAN_H */