]> gcc.gnu.org Git - gcc.git/blob - gcc/fortran/gfortran.h
re PR fortran/16485 (Private subroutines from different modules collide during linking.)
[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_GETGID,
319 GFC_ISYM_GETPID,
320 GFC_ISYM_GETUID,
321 GFC_ISYM_IACHAR,
322 GFC_ISYM_IAND,
323 GFC_ISYM_IARGC,
324 GFC_ISYM_IBCLR,
325 GFC_ISYM_IBITS,
326 GFC_ISYM_IBSET,
327 GFC_ISYM_ICHAR,
328 GFC_ISYM_IEOR,
329 GFC_ISYM_INDEX,
330 GFC_ISYM_INT,
331 GFC_ISYM_IOR,
332 GFC_ISYM_IRAND,
333 GFC_ISYM_ISHFT,
334 GFC_ISYM_ISHFTC,
335 GFC_ISYM_LBOUND,
336 GFC_ISYM_LEN,
337 GFC_ISYM_LEN_TRIM,
338 GFC_ISYM_LGE,
339 GFC_ISYM_LGT,
340 GFC_ISYM_LLE,
341 GFC_ISYM_LLT,
342 GFC_ISYM_LOG,
343 GFC_ISYM_LOG10,
344 GFC_ISYM_LOGICAL,
345 GFC_ISYM_MATMUL,
346 GFC_ISYM_MAX,
347 GFC_ISYM_MAXLOC,
348 GFC_ISYM_MAXVAL,
349 GFC_ISYM_MERGE,
350 GFC_ISYM_MIN,
351 GFC_ISYM_MINLOC,
352 GFC_ISYM_MINVAL,
353 GFC_ISYM_MOD,
354 GFC_ISYM_MODULO,
355 GFC_ISYM_NEAREST,
356 GFC_ISYM_NINT,
357 GFC_ISYM_NOT,
358 GFC_ISYM_PACK,
359 GFC_ISYM_PRESENT,
360 GFC_ISYM_PRODUCT,
361 GFC_ISYM_RAND,
362 GFC_ISYM_REAL,
363 GFC_ISYM_REPEAT,
364 GFC_ISYM_RESHAPE,
365 GFC_ISYM_RRSPACING,
366 GFC_ISYM_SCALE,
367 GFC_ISYM_SCAN,
368 GFC_ISYM_SECOND,
369 GFC_ISYM_SET_EXPONENT,
370 GFC_ISYM_SHAPE,
371 GFC_ISYM_SI_KIND,
372 GFC_ISYM_SIGN,
373 GFC_ISYM_SIN,
374 GFC_ISYM_SINH,
375 GFC_ISYM_SIZE,
376 GFC_ISYM_SPACING,
377 GFC_ISYM_SPREAD,
378 GFC_ISYM_SQRT,
379 GFC_ISYM_SR_KIND,
380 GFC_ISYM_SUM,
381 GFC_ISYM_TAN,
382 GFC_ISYM_TANH,
383 GFC_ISYM_TRANSFER,
384 GFC_ISYM_TRANSPOSE,
385 GFC_ISYM_TRIM,
386 GFC_ISYM_UBOUND,
387 GFC_ISYM_UNPACK,
388 GFC_ISYM_VERIFY,
389 GFC_ISYM_CONVERSION
390 };
391 typedef enum gfc_generic_isym_id gfc_generic_isym_id;
392
393 /************************* Structures *****************************/
394
395 /* Symbol attribute structure. */
396 typedef struct
397 {
398 /* Variable attributes. */
399 unsigned allocatable:1, dimension:1, external:1, intrinsic:1,
400 optional:1, pointer:1, save:1, target:1,
401 dummy:1, result:1, assign:1;
402
403 unsigned data:1, /* Symbol is named in a DATA statement. */
404 use_assoc:1; /* Symbol has been use-associated. */
405
406 unsigned in_namelist:1, in_common:1;
407 unsigned function:1, subroutine:1, generic:1;
408 unsigned implicit_type:1; /* Type defined via implicit rules */
409
410 /* Function/subroutine attributes */
411 unsigned sequence:1, elemental:1, pure:1, recursive:1;
412 unsigned unmaskable:1, masked:1, contained:1;
413
414 /* Set if this procedure is an alternate entry point. These procedures
415 don't have any code associated, and the backend will turn them into
416 thunks to the master function. */
417 unsigned entry:1;
418 /* Set if this is the master function for a procedure with multiple
419 entry points. */
420 unsigned entry_master:1;
421
422 /* Set if a function must always be referenced by an explicit interface. */
423 unsigned always_explicit:1;
424
425 /* Set if the symbol has been referenced in an expression. No further
426 modification of type or type parameters is permitted. */
427 unsigned referenced:1;
428
429 /* Mutually exclusive multibit attributes. */
430 gfc_access access:2;
431 sym_intent intent:2;
432 sym_flavor flavor:4;
433 ifsrc if_source:2;
434
435 procedure_type proc:3;
436
437 }
438 symbol_attribute;
439
440
441 /* The following three structures are used to identify a location in
442 the sources.
443
444 gfc_file is used to maintain a tree of the source files and how
445 they include each other
446
447 gfc_linebuf holds a single line of source code and information
448 which file it resides in
449
450 locus point to the sourceline and the character in the source
451 line.
452 */
453
454 typedef struct gfc_file
455 {
456 struct gfc_file *included_by, *next, *up;
457 int inclusion_line, line;
458 char *filename;
459 } gfc_file;
460
461 typedef struct gfc_linebuf
462 {
463 #ifdef USE_MAPPED_LOCATION
464 source_location location;
465 #else
466 int linenum;
467 #endif
468 struct gfc_file *file;
469 struct gfc_linebuf *next;
470
471 char line[];
472 } gfc_linebuf;
473
474 typedef struct
475 {
476 char *nextc;
477 gfc_linebuf *lb;
478 } locus;
479
480
481 #include <limits.h>
482 #ifndef PATH_MAX
483 # include <sys/param.h>
484 # define PATH_MAX MAXPATHLEN
485 #endif
486
487
488 extern int gfc_suppress_error;
489
490
491 /* Character length structures hold the expression that gives the
492 length of a character variable. We avoid putting these into
493 gfc_typespec because doing so prevents us from doing structure
494 copies and forces us to deallocate any typespecs we create, as well
495 as structures that contain typespecs. They also can have multiple
496 character typespecs pointing to them.
497
498 These structures form a singly linked list within the current
499 namespace and are deallocated with the namespace. It is possible to
500 end up with gfc_charlen structures that have nothing pointing to them. */
501
502 typedef struct gfc_charlen
503 {
504 struct gfc_expr *length;
505 struct gfc_charlen *next;
506 tree backend_decl;
507 }
508 gfc_charlen;
509
510 #define gfc_get_charlen() gfc_getmem(sizeof(gfc_charlen))
511
512 /* Type specification structure. FIXME: derived and cl could be union??? */
513 typedef struct
514 {
515 bt type;
516 int kind;
517 struct gfc_symbol *derived;
518 gfc_charlen *cl; /* For character types only. */
519 }
520 gfc_typespec;
521
522 /* Array specification. */
523 typedef struct
524 {
525 int rank; /* A rank of zero means that a variable is a scalar. */
526 array_type type;
527 struct gfc_expr *lower[GFC_MAX_DIMENSIONS], *upper[GFC_MAX_DIMENSIONS];
528 }
529 gfc_array_spec;
530
531 #define gfc_get_array_spec() gfc_getmem(sizeof(gfc_array_spec))
532
533
534 /* Components of derived types. */
535 typedef struct gfc_component
536 {
537 char name[GFC_MAX_SYMBOL_LEN + 1];
538 gfc_typespec ts;
539
540 int pointer, dimension;
541 gfc_array_spec *as;
542
543 tree backend_decl;
544 locus loc;
545 struct gfc_expr *initializer;
546 struct gfc_component *next;
547 }
548 gfc_component;
549
550 #define gfc_get_component() gfc_getmem(sizeof(gfc_component))
551
552 /* Formal argument lists are lists of symbols. */
553 typedef struct gfc_formal_arglist
554 {
555 /* Symbol representing the argument at this position in the arglist. */
556 struct gfc_symbol *sym;
557 /* Points to the next formal argument. */
558 struct gfc_formal_arglist *next;
559 }
560 gfc_formal_arglist;
561
562 #define gfc_get_formal_arglist() gfc_getmem(sizeof(gfc_formal_arglist))
563
564
565 /* The gfc_actual_arglist structure is for actual arguments. */
566 typedef struct gfc_actual_arglist
567 {
568 char name[GFC_MAX_SYMBOL_LEN + 1];
569 /* Alternate return label when the expr member is null. */
570 struct gfc_st_label *label;
571
572 /* This is set to the type of an eventual omitted optional
573 argument. This is used to determine if a hidden string length
574 argument has to be added to a function call. */
575 bt missing_arg_type;
576
577 struct gfc_expr *expr;
578 struct gfc_actual_arglist *next;
579 }
580 gfc_actual_arglist;
581
582 #define gfc_get_actual_arglist() gfc_getmem(sizeof(gfc_actual_arglist))
583
584
585 /* Because a symbol can belong to multiple namelists, they must be
586 linked externally to the symbol itself. */
587 typedef struct gfc_namelist
588 {
589 struct gfc_symbol *sym;
590 struct gfc_namelist *next;
591 }
592 gfc_namelist;
593
594 #define gfc_get_namelist() gfc_getmem(sizeof(gfc_namelist))
595
596
597 /* The gfc_st_label structure is a doubly linked list attached to a
598 namespace that records the usage of statement labels within that
599 space. */
600 /* TODO: Make format/statement specifics a union. */
601 typedef struct gfc_st_label
602 {
603 int value;
604
605 gfc_sl_type defined, referenced;
606
607 struct gfc_expr *format;
608
609 tree backend_decl;
610
611 locus where;
612
613 struct gfc_st_label *prev, *next;
614 }
615 gfc_st_label;
616
617
618 /* gfc_interface()-- Interfaces are lists of symbols strung together. */
619 typedef struct gfc_interface
620 {
621 struct gfc_symbol *sym;
622 locus where;
623 struct gfc_interface *next;
624 }
625 gfc_interface;
626
627 #define gfc_get_interface() gfc_getmem(sizeof(gfc_interface))
628
629
630 /* User operator nodes. These are like stripped down symbols. */
631 typedef struct
632 {
633 char name[GFC_MAX_SYMBOL_LEN + 1];
634
635 gfc_interface *operator;
636 struct gfc_namespace *ns;
637 gfc_access access;
638 }
639 gfc_user_op;
640
641 /* Symbol nodes. These are important things. They are what the
642 standard refers to as "entities". The possibly multiple names that
643 refer to the same entity are accomplished by a binary tree of
644 symtree structures that is balanced by the red-black method-- more
645 than one symtree node can point to any given symbol. */
646
647 typedef struct gfc_symbol
648 {
649 char name[GFC_MAX_SYMBOL_LEN + 1]; /* Primary name, before renaming */
650 char module[GFC_MAX_SYMBOL_LEN + 1]; /* Module this symbol came from */
651 locus declared_at;
652
653 gfc_typespec ts;
654 symbol_attribute attr;
655
656 /* The interface member points to the formal argument list if the
657 symbol is a function or subroutine name. If the symbol is a
658 generic name, the generic member points to the list of
659 interfaces. */
660
661 gfc_interface *generic;
662 gfc_access component_access;
663
664 gfc_formal_arglist *formal;
665 struct gfc_namespace *formal_ns;
666
667 struct gfc_expr *value; /* Parameter/Initializer value */
668 gfc_array_spec *as;
669 struct gfc_symbol *result; /* function result symbol */
670 gfc_component *components; /* Derived type components */
671
672 struct gfc_symbol *common_next; /* Links for COMMON syms */
673 /* Make sure setup code for dummy arguments is generated in the correct
674 order. */
675 int dummy_order;
676
677 gfc_namelist *namelist, *namelist_tail;
678
679 /* Change management fields. Symbols that might be modified by the
680 current statement have the mark member nonzero and are kept in a
681 singly linked list through the tlink field. Of these symbols,
682 symbols with old_symbol equal to NULL are symbols created within
683 the current statement. Otherwise, old_symbol points to a copy of
684 the old symbol. */
685
686 struct gfc_symbol *old_symbol, *tlink;
687 unsigned mark:1, new:1;
688 /* Nonzero if all equivalences associated with this symbol have been
689 processed. */
690 unsigned equiv_built:1;
691 int refs;
692 struct gfc_namespace *ns; /* namespace containing this symbol */
693
694 tree backend_decl;
695 }
696 gfc_symbol;
697
698
699 /* This structure is used to keep track of symbols in common blocks. */
700
701 typedef struct
702 {
703 locus where;
704 int use_assoc, saved;
705 char name[GFC_MAX_SYMBOL_LEN + 1];
706 gfc_symbol *head;
707 }
708 gfc_common_head;
709
710 #define gfc_get_common_head() gfc_getmem(sizeof(gfc_common_head))
711
712
713 /* A list of all the alternate entry points for a procedure. */
714
715 typedef struct gfc_entry_list
716 {
717 /* The symbol for this entry point. */
718 gfc_symbol *sym;
719 /* The zero-based id of this entry point. */
720 int id;
721 /* The LABEL_EXPR marking this entry point. */
722 tree label;
723 /* The nest item in the list. */
724 struct gfc_entry_list *next;
725 }
726 gfc_entry_list;
727
728 #define gfc_get_entry_list() \
729 (gfc_entry_list *) gfc_getmem(sizeof(gfc_entry_list))
730
731 /* Within a namespace, symbols are pointed to by symtree nodes that
732 are linked together in a balanced binary tree. There can be
733 several symtrees pointing to the same symbol node via USE
734 statements. */
735
736 #define BBT_HEADER(self) int priority; struct self *left, *right
737
738 typedef struct gfc_symtree
739 {
740 BBT_HEADER (gfc_symtree);
741 char name[GFC_MAX_SYMBOL_LEN + 1];
742 int ambiguous;
743 union
744 {
745 gfc_symbol *sym; /* Symbol associated with this node */
746 gfc_user_op *uop;
747 gfc_common_head *common;
748 }
749 n;
750
751 }
752 gfc_symtree;
753
754
755 /* A namespace describes the contents of procedure, module or
756 interface block. */
757 /* ??? Anything else use these? */
758
759 typedef struct gfc_namespace
760 {
761 /* Tree containing all the symbols in this namespace. */
762 gfc_symtree *sym_root;
763 /* Tree containing all the user-defined operators in the namespace. */
764 gfc_symtree *uop_root;
765 /* Tree containing all the common blocks. */
766 gfc_symtree *common_root;
767
768 /* If set_flag[letter] is set, an implicit type has been set for letter. */
769 int set_flag[GFC_LETTERS];
770 /* Keeps track of the implicit types associated with the letters. */
771 gfc_typespec default_type[GFC_LETTERS];
772
773 /* If this is a namespace of a procedure, this points to the procedure. */
774 struct gfc_symbol *proc_name;
775 /* If this is the namespace of a unit which contains executable
776 code, this points to it. */
777 struct gfc_code *code;
778
779 /* Points to the equivalences set up in this namespace. */
780 struct gfc_equiv *equiv;
781 gfc_interface *operator[GFC_INTRINSIC_OPS];
782
783 /* Points to the parent namespace, i.e. the namespace of a module or
784 procedure in which the procedure belonging to this namespace is
785 contained. The parent namespace points to this namespace either
786 directly via CONTAINED, or indirectly via the chain built by
787 SIBLING. */
788 struct gfc_namespace *parent;
789 /* CONTAINED points to the first contained namespace. Sibling
790 namespaces are chained via SIBLING. */
791 struct gfc_namespace *contained, *sibling;
792
793 gfc_common_head blank_common;
794 gfc_access default_access, operator_access[GFC_INTRINSIC_OPS];
795
796 gfc_st_label *st_labels;
797 /* This list holds information about all the data initializers in
798 this namespace. */
799 struct gfc_data *data;
800
801 gfc_charlen *cl_list;
802
803 int save_all, seen_save;
804
805 /* Normally we don't need to refcount namespaces. However when we read
806 a module containing a function with multiple entry points, this
807 will appear as several functions with the same formal namespace. */
808 int refs;
809
810 /* A list of all alternate entry points to this procedure (or NULL). */
811 gfc_entry_list *entries;
812
813 /* Set to 1 if namespace is a BLOCK DATA program unit. */
814 int is_block_data;
815 }
816 gfc_namespace;
817
818 extern gfc_namespace *gfc_current_ns;
819
820 /* Global symbols are symbols of global scope. Currently we only use
821 this to detect collisions already when parsing.
822 TODO: Extend to verify procedure calls. */
823
824 typedef struct gfc_gsymbol
825 {
826 BBT_HEADER(gfc_gsymbol);
827
828 char name[GFC_MAX_SYMBOL_LEN+1];
829 enum { GSYM_UNKNOWN=1, GSYM_PROGRAM, GSYM_FUNCTION, GSYM_SUBROUTINE,
830 GSYM_MODULE, GSYM_COMMON, GSYM_BLOCK_DATA } type;
831
832 int defined, used;
833 locus where;
834 }
835 gfc_gsymbol;
836
837 extern gfc_gsymbol *gfc_gsym_root;
838
839 /* Information on interfaces being built. */
840 typedef struct
841 {
842 interface_type type;
843 gfc_symbol *sym;
844 gfc_namespace *ns;
845 gfc_user_op *uop;
846 gfc_intrinsic_op op;
847 }
848 gfc_interface_info;
849
850 extern gfc_interface_info current_interface;
851
852
853 /* Array reference. */
854 typedef struct gfc_array_ref
855 {
856 ar_type type;
857 int dimen; /* # of components in the reference */
858 locus where;
859 gfc_array_spec *as;
860
861 locus c_where[GFC_MAX_DIMENSIONS]; /* All expressions can be NULL */
862 struct gfc_expr *start[GFC_MAX_DIMENSIONS], *end[GFC_MAX_DIMENSIONS],
863 *stride[GFC_MAX_DIMENSIONS];
864
865 enum
866 { DIMEN_ELEMENT = 1, DIMEN_RANGE, DIMEN_VECTOR, DIMEN_UNKNOWN }
867 dimen_type[GFC_MAX_DIMENSIONS];
868
869 struct gfc_expr *offset;
870 }
871 gfc_array_ref;
872
873 #define gfc_get_array_ref() gfc_getmem(sizeof(gfc_array_ref))
874
875
876 /* Component reference nodes. A variable is stored as an expression
877 node that points to the base symbol. After that, a singly linked
878 list of component reference nodes gives the variable's complete
879 resolution. The array_ref component may be present and comes
880 before the component component. */
881
882 typedef enum
883 { REF_ARRAY, REF_COMPONENT, REF_SUBSTRING }
884 ref_type;
885
886 typedef struct gfc_ref
887 {
888 ref_type type;
889
890 union
891 {
892 struct gfc_array_ref ar;
893
894 struct
895 {
896 gfc_component *component;
897 gfc_symbol *sym;
898 }
899 c;
900
901 struct
902 {
903 struct gfc_expr *start, *end; /* Substring */
904 gfc_charlen *length;
905 }
906 ss;
907
908 }
909 u;
910
911 struct gfc_ref *next;
912 }
913 gfc_ref;
914
915 #define gfc_get_ref() gfc_getmem(sizeof(gfc_ref))
916
917
918 /* Structures representing intrinsic symbols and their arguments lists. */
919 typedef struct gfc_intrinsic_arg
920 {
921 char name[GFC_MAX_SYMBOL_LEN + 1];
922
923 gfc_typespec ts;
924 int optional;
925 gfc_actual_arglist *actual;
926
927 struct gfc_intrinsic_arg *next;
928
929 }
930 gfc_intrinsic_arg;
931
932
933 /* Specifies the various kinds of check functions used to verify the
934 argument lists of intrinsic functions. fX with X an integer refer
935 to check functions of intrinsics with X arguments. f1m is used for
936 the MAX and MIN intrinsics which can have an arbitrary number of
937 arguments, f3ml is used for the MINLOC and MAXLOC intrinsics as
938 these have special semantics. */
939
940 typedef union
941 {
942 try (*f0)(void);
943 try (*f1)(struct gfc_expr *);
944 try (*f1m)(gfc_actual_arglist *);
945 try (*f2)(struct gfc_expr *, struct gfc_expr *);
946 try (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
947 try (*f3ml)(gfc_actual_arglist *);
948 try (*f3red)(gfc_actual_arglist *);
949 try (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
950 struct gfc_expr *);
951 try (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
952 struct gfc_expr *, struct gfc_expr *);
953 }
954 gfc_check_f;
955
956 /* Like gfc_check_f, these specify the type of the simplification
957 function associated with an intrinsic. The fX are just like in
958 gfc_check_f. cc is used for type conversion functions. */
959
960 typedef union
961 {
962 struct gfc_expr *(*f0)(void);
963 struct gfc_expr *(*f1)(struct gfc_expr *);
964 struct gfc_expr *(*f2)(struct gfc_expr *, struct gfc_expr *);
965 struct gfc_expr *(*f3)(struct gfc_expr *, struct gfc_expr *,
966 struct gfc_expr *);
967 struct gfc_expr *(*f4)(struct gfc_expr *, struct gfc_expr *,
968 struct gfc_expr *, struct gfc_expr *);
969 struct gfc_expr *(*f5)(struct gfc_expr *, struct gfc_expr *,
970 struct gfc_expr *, struct gfc_expr *,
971 struct gfc_expr *);
972 struct gfc_expr *(*cc)(struct gfc_expr *, bt, int);
973 }
974 gfc_simplify_f;
975
976 /* Again like gfc_check_f, these specify the type of the resolution
977 function associated with an intrinsic. The fX are just like in
978 gfc_check_f. f1m is used for MIN and MAX, s1 is used for abort().
979 */
980
981 typedef union
982 {
983 void (*f0)(struct gfc_expr *);
984 void (*f1)(struct gfc_expr *, struct gfc_expr *);
985 void (*f1m)(struct gfc_expr *, struct gfc_actual_arglist *);
986 void (*f2)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
987 void (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
988 struct gfc_expr *);
989 void (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
990 struct gfc_expr *, struct gfc_expr *);
991 void (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
992 struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
993 void (*s1)(struct gfc_code *);
994 }
995 gfc_resolve_f;
996
997
998 typedef struct gfc_intrinsic_sym
999 {
1000 char name[GFC_MAX_SYMBOL_LEN + 1], lib_name[GFC_MAX_SYMBOL_LEN + 1];
1001 gfc_intrinsic_arg *formal;
1002 gfc_typespec ts;
1003 int elemental, pure, generic, specific, actual_ok;
1004
1005 gfc_simplify_f simplify;
1006 gfc_check_f check;
1007 gfc_resolve_f resolve;
1008 struct gfc_intrinsic_sym *specific_head, *next;
1009 gfc_generic_isym_id generic_id;
1010
1011 }
1012 gfc_intrinsic_sym;
1013
1014
1015 /* Expression nodes. The expression node types deserve explanations,
1016 since the last couple can be easily misconstrued:
1017
1018 EXPR_OP Operator node pointing to one or two other nodes
1019 EXPR_FUNCTION Function call, symbol points to function's name
1020 EXPR_CONSTANT A scalar constant: Logical, String, Real, Int or Complex
1021 EXPR_VARIABLE An Lvalue with a root symbol and possible reference list
1022 which expresses structure, array and substring refs.
1023 EXPR_NULL The NULL pointer value (which also has a basic type).
1024 EXPR_SUBSTRING A substring of a constant string
1025 EXPR_STRUCTURE A structure constructor
1026 EXPR_ARRAY An array constructor. */
1027
1028 #include <gmp.h>
1029 #include <mpfr.h>
1030 #define GFC_RND_MODE GMP_RNDN
1031
1032 typedef struct gfc_expr
1033 {
1034 expr_t expr_type;
1035
1036 gfc_typespec ts; /* These two refer to the overall expression */
1037
1038 int rank;
1039 mpz_t *shape; /* Can be NULL if shape is unknown at compile time */
1040
1041 gfc_intrinsic_op operator;
1042
1043 /* Nonnull for functions and structure constructors */
1044 gfc_symtree *symtree;
1045
1046 gfc_user_op *uop;
1047 gfc_ref *ref;
1048
1049 struct gfc_expr *op1, *op2;
1050 locus where;
1051
1052 union
1053 {
1054 int logical;
1055 mpz_t integer;
1056
1057 mpfr_t real;
1058
1059 struct
1060 {
1061 mpfr_t r, i;
1062 }
1063 complex;
1064
1065 struct
1066 {
1067 gfc_actual_arglist *actual;
1068 char *name; /* Points to the ultimate name of the function */
1069 gfc_intrinsic_sym *isym;
1070 gfc_symbol *esym;
1071 }
1072 function;
1073
1074 struct
1075 {
1076 int length;
1077 char *string;
1078 }
1079 character;
1080
1081 struct gfc_constructor *constructor;
1082 }
1083 value;
1084
1085 }
1086 gfc_expr;
1087
1088
1089 #define gfc_get_shape(rank) ((mpz_t *) gfc_getmem((rank)*sizeof(mpz_t)))
1090
1091 /* Structures for information associated with different kinds of
1092 numbers. The first set of integer parameters define all there is
1093 to know about a particular kind. The rest of the elements are
1094 computed from the first elements. */
1095
1096 typedef struct
1097 {
1098 /* Values really representable by the target. */
1099 mpz_t huge, min_int, max_int;
1100
1101 int kind, radix, digits, bit_size, range;
1102
1103 /* True if the C type of the given name maps to this precision.
1104 Note that more than one bit can be set. */
1105 unsigned int c_char : 1;
1106 unsigned int c_short : 1;
1107 unsigned int c_int : 1;
1108 unsigned int c_long : 1;
1109 unsigned int c_long_long : 1;
1110 }
1111 gfc_integer_info;
1112
1113 extern gfc_integer_info gfc_integer_kinds[];
1114
1115
1116 typedef struct
1117 {
1118 int kind, bit_size;
1119
1120 /* True if the C++ type bool, C99 type _Bool, maps to this precision. */
1121 unsigned int c_bool : 1;
1122 }
1123 gfc_logical_info;
1124
1125 extern gfc_logical_info gfc_logical_kinds[];
1126
1127
1128 typedef struct
1129 {
1130 mpfr_t epsilon, huge, tiny;
1131 int kind, radix, digits, min_exponent, max_exponent;
1132 int range, precision;
1133
1134 /* The precision of the type as reported by GET_MODE_PRECISION. */
1135 int mode_precision;
1136
1137 /* True if the C type of the given name maps to this precision.
1138 Note that more than one bit can be set. */
1139 unsigned int c_float : 1;
1140 unsigned int c_double : 1;
1141 unsigned int c_long_double : 1;
1142 }
1143 gfc_real_info;
1144
1145 extern gfc_real_info gfc_real_kinds[];
1146
1147
1148 /* Equivalence structures. Equivalent lvalues are linked along the
1149 *eq pointer, equivalence sets are strung along the *next node. */
1150 typedef struct gfc_equiv
1151 {
1152 struct gfc_equiv *next, *eq;
1153 gfc_expr *expr;
1154 int used;
1155 }
1156 gfc_equiv;
1157
1158 #define gfc_get_equiv() gfc_getmem(sizeof(gfc_equiv))
1159
1160
1161 /* gfc_case stores the selector list of a case statement. The *low
1162 and *high pointers can point to the same expression in the case of
1163 a single value. If *high is NULL, the selection is from *low
1164 upwards, if *low is NULL the selection is *high downwards.
1165
1166 This structure has separate fields to allow singe and double linked
1167 lists of CASEs the same time. The singe linked list along the NEXT
1168 field is a list of cases for a single CASE label. The double linked
1169 list along the LEFT/RIGHT fields is used to detect overlap and to
1170 build a table of the cases for SELECT constructs with a CHARACTER
1171 case expression. */
1172
1173 typedef struct gfc_case
1174 {
1175 /* Where we saw this case. */
1176 locus where;
1177 int n;
1178
1179 /* Case range values. If (low == high), it's a single value. If one of
1180 the labels is NULL, it's an unbounded case. If both are NULL, this
1181 represents the default case. */
1182 gfc_expr *low, *high;
1183
1184 /* Next case label in the list of cases for a single CASE label. */
1185 struct gfc_case *next;
1186
1187 /* Used for detecting overlap, and for code generation. */
1188 struct gfc_case *left, *right;
1189
1190 /* True if this case label can never be matched. */
1191 int unreachable;
1192 }
1193 gfc_case;
1194
1195 #define gfc_get_case() gfc_getmem(sizeof(gfc_case))
1196
1197
1198 typedef struct
1199 {
1200 gfc_expr *var, *start, *end, *step;
1201 }
1202 gfc_iterator;
1203
1204 #define gfc_get_iterator() gfc_getmem(sizeof(gfc_iterator))
1205
1206
1207 /* Allocation structure for ALLOCATE, DEALLOCATE and NULLIFY statements. */
1208
1209 typedef struct gfc_alloc
1210 {
1211 gfc_expr *expr;
1212 struct gfc_alloc *next;
1213 }
1214 gfc_alloc;
1215
1216 #define gfc_get_alloc() gfc_getmem(sizeof(gfc_alloc))
1217
1218
1219 typedef struct
1220 {
1221 gfc_expr *unit, *file, *status, *access, *form, *recl,
1222 *blank, *position, *action, *delim, *pad, *iostat;
1223 gfc_st_label *err;
1224 }
1225 gfc_open;
1226
1227
1228 typedef struct
1229 {
1230 gfc_expr *unit, *status, *iostat;
1231 gfc_st_label *err;
1232 }
1233 gfc_close;
1234
1235
1236 typedef struct
1237 {
1238 gfc_expr *unit, *iostat;
1239 gfc_st_label *err;
1240 }
1241 gfc_filepos;
1242
1243
1244 typedef struct
1245 {
1246 gfc_expr *unit, *file, *iostat, *exist, *opened, *number, *named,
1247 *name, *access, *sequential, *direct, *form, *formatted,
1248 *unformatted, *recl, *nextrec, *blank, *position, *action, *read,
1249 *write, *readwrite, *delim, *pad, *iolength;
1250
1251 gfc_st_label *err;
1252
1253 }
1254 gfc_inquire;
1255
1256
1257 typedef struct
1258 {
1259 gfc_expr *io_unit, *format_expr, *rec, *advance, *iostat, *size;
1260
1261 gfc_symbol *namelist;
1262 /* A format_label of `format_asterisk' indicates the "*" format */
1263 gfc_st_label *format_label;
1264 gfc_st_label *err, *end, *eor;
1265
1266 locus eor_where, end_where;
1267 }
1268 gfc_dt;
1269
1270
1271 typedef struct gfc_forall_iterator
1272 {
1273 gfc_expr *var, *start, *end, *stride;
1274 struct gfc_forall_iterator *next;
1275 }
1276 gfc_forall_iterator;
1277
1278
1279 /* Executable statements that fill gfc_code structures. */
1280 typedef enum
1281 {
1282 EXEC_NOP = 1, EXEC_ASSIGN, EXEC_LABEL_ASSIGN, EXEC_POINTER_ASSIGN,
1283 EXEC_GOTO, EXEC_CALL, EXEC_RETURN, EXEC_ENTRY,
1284 EXEC_PAUSE, EXEC_STOP, EXEC_CONTINUE,
1285 EXEC_IF, EXEC_ARITHMETIC_IF, EXEC_DO, EXEC_DO_WHILE, EXEC_SELECT,
1286 EXEC_FORALL, EXEC_WHERE, EXEC_CYCLE, EXEC_EXIT,
1287 EXEC_ALLOCATE, EXEC_DEALLOCATE,
1288 EXEC_OPEN, EXEC_CLOSE,
1289 EXEC_READ, EXEC_WRITE, EXEC_IOLENGTH, EXEC_TRANSFER, EXEC_DT_END,
1290 EXEC_BACKSPACE, EXEC_ENDFILE, EXEC_INQUIRE, EXEC_REWIND
1291 }
1292 gfc_exec_op;
1293
1294 typedef struct gfc_code
1295 {
1296 gfc_exec_op op;
1297
1298 struct gfc_code *block, *next;
1299 locus loc;
1300
1301 gfc_st_label *here, *label, *label2, *label3;
1302 gfc_symtree *symtree;
1303 gfc_expr *expr, *expr2;
1304 /* A name isn't sufficient to identify a subroutine, we need the actual
1305 symbol for the interface definition.
1306 const char *sub_name; */
1307 gfc_symbol *resolved_sym;
1308
1309 union
1310 {
1311 gfc_actual_arglist *actual;
1312 gfc_case *case_list;
1313 gfc_iterator *iterator;
1314 gfc_alloc *alloc_list;
1315 gfc_open *open;
1316 gfc_close *close;
1317 gfc_filepos *filepos;
1318 gfc_inquire *inquire;
1319 gfc_dt *dt;
1320 gfc_forall_iterator *forall_iterator;
1321 struct gfc_code *whichloop;
1322 int stop_code;
1323 gfc_entry_list *entry;
1324 }
1325 ext; /* Points to additional structures required by statement */
1326
1327 /* Backend_decl is used for cycle and break labels in do loops, and
1328 * probably for other constructs as well, once we translate them. */
1329 tree backend_decl;
1330 }
1331 gfc_code;
1332
1333
1334 /* Storage for DATA statements. */
1335 typedef struct gfc_data_variable
1336 {
1337 gfc_expr *expr;
1338 gfc_iterator iter;
1339 struct gfc_data_variable *list, *next;
1340 }
1341 gfc_data_variable;
1342
1343
1344 typedef struct gfc_data_value
1345 {
1346 unsigned int repeat;
1347 gfc_expr *expr;
1348 struct gfc_data_value *next;
1349 }
1350 gfc_data_value;
1351
1352
1353 typedef struct gfc_data
1354 {
1355 gfc_data_variable *var;
1356 gfc_data_value *value;
1357 locus where;
1358
1359 struct gfc_data *next;
1360 }
1361 gfc_data;
1362
1363 #define gfc_get_data_variable() gfc_getmem(sizeof(gfc_data_variable))
1364 #define gfc_get_data_value() gfc_getmem(sizeof(gfc_data_value))
1365 #define gfc_get_data() gfc_getmem(sizeof(gfc_data))
1366
1367
1368 /* Structure for holding compile options */
1369 typedef struct
1370 {
1371 const char *source;
1372 char *module_dir;
1373 gfc_source_form source_form;
1374 int fixed_line_length;
1375 int max_identifier_length;
1376 int verbose;
1377
1378 int warn_aliasing;
1379 int warn_conversion;
1380 int warn_implicit_interface;
1381 int warn_line_truncation;
1382 int warn_underflow;
1383 int warn_surprising;
1384 int warn_unused_labels;
1385
1386 int flag_dollar_ok;
1387 int flag_underscoring;
1388 int flag_second_underscore;
1389 int flag_implicit_none;
1390 int flag_max_stack_var_size;
1391 int flag_module_access_private;
1392 int flag_no_backend;
1393 int flag_pack_derived;
1394 int flag_repack_arrays;
1395
1396 int q_kind;
1397 int r8;
1398 int i8;
1399 int d8;
1400 int warn_std;
1401 int allow_std;
1402 }
1403 gfc_option_t;
1404
1405 extern gfc_option_t gfc_option;
1406
1407
1408 /* Constructor nodes for array and structure constructors. */
1409 typedef struct gfc_constructor
1410 {
1411 gfc_expr *expr;
1412 gfc_iterator *iterator;
1413 locus where;
1414 struct gfc_constructor *next;
1415 struct
1416 {
1417 mpz_t offset; /* Record the offset of array element which appears in
1418 data statement like "data a(5)/4/". */
1419 gfc_component *component; /* Record the component being initialized. */
1420 }
1421 n;
1422 mpz_t repeat; /* Record the repeat number of initial values in data
1423 statement like "data a/5*10/". */
1424 }
1425 gfc_constructor;
1426
1427
1428 typedef struct iterator_stack
1429 {
1430 gfc_symtree *variable;
1431 mpz_t value;
1432 struct iterator_stack *prev;
1433 }
1434 iterator_stack;
1435 extern iterator_stack *iter_stack;
1436
1437 /************************ Function prototypes *************************/
1438
1439 /* data.c */
1440 void gfc_formalize_init_value (gfc_symbol *);
1441 void gfc_get_section_index (gfc_array_ref *, mpz_t *, mpz_t *);
1442 void gfc_assign_data_value (gfc_expr *, gfc_expr *, mpz_t);
1443 void gfc_assign_data_value_range (gfc_expr *, gfc_expr *, mpz_t, mpz_t);
1444 void gfc_advance_section (mpz_t *, gfc_array_ref *, mpz_t *);
1445
1446 /* scanner.c */
1447 void gfc_scanner_done_1 (void);
1448 void gfc_scanner_init_1 (void);
1449
1450 void gfc_add_include_path (const char *);
1451 void gfc_release_include_path (void);
1452 FILE *gfc_open_included_file (const char *);
1453
1454 int gfc_at_end (void);
1455 int gfc_at_eof (void);
1456 int gfc_at_bol (void);
1457 int gfc_at_eol (void);
1458 void gfc_advance_line (void);
1459 int gfc_check_include (void);
1460
1461 void gfc_skip_comments (void);
1462 int gfc_next_char_literal (int);
1463 int gfc_next_char (void);
1464 int gfc_peek_char (void);
1465 void gfc_error_recovery (void);
1466 void gfc_gobble_whitespace (void);
1467 try gfc_new_file (const char *, gfc_source_form);
1468
1469 extern gfc_source_form gfc_current_form;
1470 extern char *gfc_source_file;
1471 extern locus gfc_current_locus;
1472
1473 /* misc.c */
1474 void *gfc_getmem (size_t) ATTRIBUTE_MALLOC;
1475 void gfc_free (void *);
1476 int gfc_terminal_width(void);
1477 void gfc_clear_ts (gfc_typespec *);
1478 FILE *gfc_open_file (const char *);
1479 const char *gfc_article (const char *);
1480 const char *gfc_basic_typename (bt);
1481 const char *gfc_typename (gfc_typespec *);
1482
1483 #define gfc_op2string(OP) (OP == INTRINSIC_ASSIGN ? \
1484 "=" : gfc_code2string (intrinsic_operators, OP))
1485
1486 const char *gfc_code2string (const mstring *, int);
1487 int gfc_string2code (const mstring *, const char *);
1488 const char *gfc_intent_string (sym_intent);
1489
1490 void gfc_init_1 (void);
1491 void gfc_init_2 (void);
1492 void gfc_done_1 (void);
1493 void gfc_done_2 (void);
1494
1495 /* options.c */
1496 unsigned int gfc_init_options (unsigned int, const char **);
1497 int gfc_handle_option (size_t, const char *, int);
1498 bool gfc_post_options (const char **);
1499
1500 /* iresolve.c */
1501 char * gfc_get_string (const char *, ...) ATTRIBUTE_PRINTF_1;
1502 void gfc_iresolve_init_1 (void);
1503 void gfc_iresolve_done_1 (void);
1504
1505 /* error.c */
1506
1507 typedef struct gfc_error_buf
1508 {
1509 int flag;
1510 char message[MAX_ERROR_MESSAGE];
1511 } gfc_error_buf;
1512
1513 void gfc_error_init_1 (void);
1514 void gfc_buffer_error (int);
1515
1516 void gfc_warning (const char *, ...);
1517 void gfc_warning_now (const char *, ...);
1518 void gfc_clear_warning (void);
1519 void gfc_warning_check (void);
1520
1521 void gfc_error (const char *, ...);
1522 void gfc_error_now (const char *, ...);
1523 void gfc_fatal_error (const char *, ...) ATTRIBUTE_NORETURN;
1524 void gfc_internal_error (const char *, ...) ATTRIBUTE_NORETURN;
1525 void gfc_clear_error (void);
1526 int gfc_error_check (void);
1527
1528 try gfc_notify_std (int, const char *, ...);
1529
1530 /* A general purpose syntax error. */
1531 #define gfc_syntax_error(ST) \
1532 gfc_error ("Syntax error in %s statement at %C", gfc_ascii_statement (ST));
1533
1534 void gfc_push_error (gfc_error_buf *);
1535 void gfc_pop_error (gfc_error_buf *);
1536
1537 void gfc_status (const char *, ...) ATTRIBUTE_PRINTF_1;
1538 void gfc_status_char (char);
1539
1540 void gfc_get_errors (int *, int *);
1541
1542 /* arith.c */
1543 void gfc_arith_init_1 (void);
1544 void gfc_arith_done_1 (void);
1545
1546 /* trans-types.c */
1547 int gfc_validate_kind (bt, int, bool);
1548 extern int gfc_index_integer_kind;
1549 extern int gfc_default_integer_kind;
1550 extern int gfc_default_real_kind;
1551 extern int gfc_default_double_kind;
1552 extern int gfc_default_character_kind;
1553 extern int gfc_default_logical_kind;
1554 extern int gfc_default_complex_kind;
1555 extern int gfc_c_int_kind;
1556
1557 /* symbol.c */
1558 void gfc_clear_new_implicit (void);
1559 try gfc_add_new_implicit_range (int, int);
1560 try gfc_merge_new_implicit (gfc_typespec *);
1561 void gfc_set_implicit_none (void);
1562
1563 gfc_typespec *gfc_get_default_type (gfc_symbol *, gfc_namespace *);
1564 try gfc_set_default_type (gfc_symbol *, int, gfc_namespace *);
1565
1566 void gfc_set_component_attr (gfc_component *, symbol_attribute *);
1567 void gfc_get_component_attr (symbol_attribute *, gfc_component *);
1568
1569 void gfc_set_sym_referenced (gfc_symbol * sym);
1570
1571 try gfc_add_allocatable (symbol_attribute *, locus *);
1572 try gfc_add_dimension (symbol_attribute *, locus *);
1573 try gfc_add_external (symbol_attribute *, locus *);
1574 try gfc_add_intrinsic (symbol_attribute *, locus *);
1575 try gfc_add_optional (symbol_attribute *, locus *);
1576 try gfc_add_pointer (symbol_attribute *, locus *);
1577 try gfc_add_result (symbol_attribute *, locus *);
1578 try gfc_add_save (symbol_attribute *, locus *);
1579 try gfc_add_saved_common (symbol_attribute *, locus *);
1580 try gfc_add_target (symbol_attribute *, locus *);
1581 try gfc_add_dummy (symbol_attribute *, locus *);
1582 try gfc_add_generic (symbol_attribute *, locus *);
1583 try gfc_add_common (symbol_attribute *, locus *);
1584 try gfc_add_in_common (symbol_attribute *, locus *);
1585 try gfc_add_data (symbol_attribute *, locus *);
1586 try gfc_add_in_namelist (symbol_attribute *, locus *);
1587 try gfc_add_sequence (symbol_attribute *, locus *);
1588 try gfc_add_elemental (symbol_attribute *, locus *);
1589 try gfc_add_pure (symbol_attribute *, locus *);
1590 try gfc_add_recursive (symbol_attribute *, locus *);
1591 try gfc_add_function (symbol_attribute *, locus *);
1592 try gfc_add_subroutine (symbol_attribute *, locus *);
1593
1594 try gfc_add_access (symbol_attribute *, gfc_access, locus *);
1595 try gfc_add_flavor (symbol_attribute *, sym_flavor, locus *);
1596 try gfc_add_entry (symbol_attribute *, locus *);
1597 try gfc_add_procedure (symbol_attribute *, procedure_type, locus *);
1598 try gfc_add_intent (symbol_attribute *, sym_intent, locus *);
1599 try gfc_add_explicit_interface (gfc_symbol *, ifsrc,
1600 gfc_formal_arglist *, locus *);
1601 try gfc_add_type (gfc_symbol *, gfc_typespec *, locus *);
1602
1603 void gfc_clear_attr (symbol_attribute *);
1604 try gfc_missing_attr (symbol_attribute *, locus *);
1605 try gfc_copy_attr (symbol_attribute *, symbol_attribute *, locus *);
1606
1607 try gfc_add_component (gfc_symbol *, const char *, gfc_component **);
1608 gfc_symbol *gfc_use_derived (gfc_symbol *);
1609 gfc_symtree *gfc_use_derived_tree (gfc_symtree *);
1610 gfc_component *gfc_find_component (gfc_symbol *, const char *);
1611
1612 gfc_st_label *gfc_get_st_label (int);
1613 void gfc_free_st_label (gfc_st_label *);
1614 void gfc_define_st_label (gfc_st_label *, gfc_sl_type, locus *);
1615 try gfc_reference_st_label (gfc_st_label *, gfc_sl_type);
1616
1617 gfc_namespace *gfc_get_namespace (gfc_namespace *);
1618 gfc_symtree *gfc_new_symtree (gfc_symtree **, const char *);
1619 gfc_symtree *gfc_find_symtree (gfc_symtree *, const char *);
1620 gfc_user_op *gfc_get_uop (const char *);
1621 gfc_user_op *gfc_find_uop (const char *, gfc_namespace *);
1622 void gfc_free_symbol (gfc_symbol *);
1623 gfc_symbol *gfc_new_symbol (const char *, gfc_namespace *);
1624 int gfc_find_symbol (const char *, gfc_namespace *, int, gfc_symbol **);
1625 int gfc_find_sym_tree (const char *, gfc_namespace *, int, gfc_symtree **);
1626 int gfc_get_symbol (const char *, gfc_namespace *, gfc_symbol **);
1627 int gfc_get_sym_tree (const char *, gfc_namespace *, gfc_symtree **);
1628 int gfc_get_ha_symbol (const char *, gfc_symbol **);
1629 int gfc_get_ha_sym_tree (const char *, gfc_symtree **);
1630
1631 int gfc_symbols_could_alias (gfc_symbol *, gfc_symbol *);
1632
1633 void gfc_undo_symbols (void);
1634 void gfc_commit_symbols (void);
1635 void gfc_free_namespace (gfc_namespace *);
1636
1637 void gfc_symbol_init_2 (void);
1638 void gfc_symbol_done_2 (void);
1639
1640 void gfc_traverse_symtree (gfc_symtree *, void (*)(gfc_symtree *));
1641 void gfc_traverse_ns (gfc_namespace *, void (*)(gfc_symbol *));
1642 void gfc_traverse_user_op (gfc_namespace *, void (*)(gfc_user_op *));
1643 void gfc_save_all (gfc_namespace *);
1644
1645 void gfc_symbol_state (void);
1646
1647 gfc_gsymbol *gfc_get_gsymbol (char *);
1648 gfc_gsymbol *gfc_find_gsymbol (gfc_gsymbol *, char *);
1649
1650 /* intrinsic.c */
1651 extern int gfc_init_expr;
1652
1653 /* Given a symbol that we have decided is intrinsic, mark it as such
1654 by placing it into a special module that is otherwise impossible to
1655 read or write. */
1656
1657 #define gfc_intrinsic_symbol(SYM) strcpy (SYM->module, "(intrinsic)")
1658
1659 void gfc_intrinsic_init_1 (void);
1660 void gfc_intrinsic_done_1 (void);
1661
1662 char gfc_type_letter (bt);
1663 gfc_symbol * gfc_get_intrinsic_sub_symbol (const char *);
1664 try gfc_convert_type (gfc_expr *, gfc_typespec *, int);
1665 try gfc_convert_type_warn (gfc_expr *, gfc_typespec *, int, int);
1666 int gfc_generic_intrinsic (const char *);
1667 int gfc_specific_intrinsic (const char *);
1668 int gfc_intrinsic_name (const char *, int);
1669 gfc_intrinsic_sym *gfc_find_function (const char *);
1670
1671 match gfc_intrinsic_func_interface (gfc_expr *, int);
1672 match gfc_intrinsic_sub_interface (gfc_code *, int);
1673
1674 /* simplify.c */
1675 void gfc_simplify_init_1 (void);
1676
1677 /* match.c -- FIXME */
1678 void gfc_free_iterator (gfc_iterator *, int);
1679 void gfc_free_forall_iterator (gfc_forall_iterator *);
1680 void gfc_free_alloc_list (gfc_alloc *);
1681 void gfc_free_namelist (gfc_namelist *);
1682 void gfc_free_equiv (gfc_equiv *);
1683 void gfc_free_data (gfc_data *);
1684 void gfc_free_case_list (gfc_case *);
1685
1686 /* expr.c */
1687 void gfc_free_actual_arglist (gfc_actual_arglist *);
1688 gfc_actual_arglist *gfc_copy_actual_arglist (gfc_actual_arglist *);
1689 const char *gfc_extract_int (gfc_expr *, int *);
1690
1691 gfc_expr *gfc_build_conversion (gfc_expr *);
1692 void gfc_free_ref_list (gfc_ref *);
1693 void gfc_type_convert_binary (gfc_expr *);
1694 int gfc_is_constant_expr (gfc_expr *);
1695 try gfc_simplify_expr (gfc_expr *, int);
1696
1697 gfc_expr *gfc_get_expr (void);
1698 void gfc_free_expr (gfc_expr *);
1699 void gfc_replace_expr (gfc_expr *, gfc_expr *);
1700 gfc_expr *gfc_int_expr (int);
1701 gfc_expr *gfc_logical_expr (int, locus *);
1702 mpz_t *gfc_copy_shape (mpz_t *, int);
1703 mpz_t *gfc_copy_shape_excluding (mpz_t *, int, gfc_expr *);
1704 gfc_expr *gfc_copy_expr (gfc_expr *);
1705
1706 try gfc_specification_expr (gfc_expr *);
1707
1708 int gfc_numeric_ts (gfc_typespec *);
1709 int gfc_kind_max (gfc_expr *, gfc_expr *);
1710
1711 try gfc_check_conformance (const char *, gfc_expr *, gfc_expr *);
1712 try gfc_check_assign (gfc_expr *, gfc_expr *, int);
1713 try gfc_check_pointer_assign (gfc_expr *, gfc_expr *);
1714 try gfc_check_assign_symbol (gfc_symbol *, gfc_expr *);
1715
1716 gfc_expr *gfc_default_initializer (gfc_typespec *);
1717 gfc_expr *gfc_get_variable_expr (gfc_symtree *);
1718
1719
1720 /* st.c */
1721 extern gfc_code new_st;
1722
1723 void gfc_clear_new_st (void);
1724 gfc_code *gfc_get_code (void);
1725 gfc_code *gfc_append_code (gfc_code *, gfc_code *);
1726 void gfc_free_statement (gfc_code *);
1727 void gfc_free_statements (gfc_code *);
1728
1729 /* resolve.c */
1730 try gfc_resolve_expr (gfc_expr *);
1731 void gfc_resolve (gfc_namespace *);
1732 int gfc_impure_variable (gfc_symbol *);
1733 int gfc_pure (gfc_symbol *);
1734 int gfc_elemental (gfc_symbol *);
1735 try gfc_resolve_iterator (gfc_iterator *);
1736 try gfc_resolve_index (gfc_expr *, int);
1737
1738 /* array.c */
1739 void gfc_free_array_spec (gfc_array_spec *);
1740 gfc_array_ref *gfc_copy_array_ref (gfc_array_ref *);
1741
1742 try gfc_set_array_spec (gfc_symbol *, gfc_array_spec *, locus *);
1743 gfc_array_spec *gfc_copy_array_spec (gfc_array_spec *);
1744 try gfc_resolve_array_spec (gfc_array_spec *, int);
1745
1746 int gfc_compare_array_spec (gfc_array_spec *, gfc_array_spec *);
1747
1748 gfc_expr *gfc_start_constructor (bt, int, locus *);
1749 void gfc_append_constructor (gfc_expr *, gfc_expr *);
1750 void gfc_free_constructor (gfc_constructor *);
1751 void gfc_simplify_iterator_var (gfc_expr *);
1752 try gfc_expand_constructor (gfc_expr *);
1753 int gfc_constant_ac (gfc_expr *);
1754 int gfc_expanded_ac (gfc_expr *);
1755 try gfc_resolve_array_constructor (gfc_expr *);
1756 try gfc_check_constructor_type (gfc_expr *);
1757 try gfc_check_iter_variable (gfc_expr *);
1758 try gfc_check_constructor (gfc_expr *, try (*)(gfc_expr *));
1759 gfc_constructor *gfc_copy_constructor (gfc_constructor * src);
1760 gfc_expr *gfc_get_array_element (gfc_expr *, int);
1761 try gfc_array_size (gfc_expr *, mpz_t *);
1762 try gfc_array_dimen_size (gfc_expr *, int, mpz_t *);
1763 try gfc_array_ref_shape (gfc_array_ref *, mpz_t *);
1764 gfc_array_ref *gfc_find_array_ref (gfc_expr *);
1765 void gfc_insert_constructor (gfc_expr *, gfc_constructor *);
1766 gfc_constructor *gfc_get_constructor (void);
1767 tree gfc_conv_array_initializer (tree type, gfc_expr * expr);
1768 try spec_size (gfc_array_spec *, mpz_t *);
1769 int gfc_is_compile_time_shape (gfc_array_spec *);
1770
1771 /* interface.c -- FIXME: some of these should be in symbol.c */
1772 void gfc_free_interface (gfc_interface *);
1773 int gfc_compare_types (gfc_typespec *, gfc_typespec *);
1774 void gfc_check_interfaces (gfc_namespace *);
1775 void gfc_procedure_use (gfc_symbol *, gfc_actual_arglist **, locus *);
1776 gfc_symbol *gfc_search_interface (gfc_interface *, int,
1777 gfc_actual_arglist **);
1778 try gfc_extend_expr (gfc_expr *);
1779 void gfc_free_formal_arglist (gfc_formal_arglist *);
1780 try gfc_extend_assign (gfc_code *, gfc_namespace *);
1781 try gfc_add_interface (gfc_symbol * sym);
1782
1783 /* io.c */
1784 extern gfc_st_label format_asterisk;
1785
1786 void gfc_free_open (gfc_open *);
1787 try gfc_resolve_open (gfc_open *);
1788 void gfc_free_close (gfc_close *);
1789 try gfc_resolve_close (gfc_close *);
1790 void gfc_free_filepos (gfc_filepos *);
1791 try gfc_resolve_filepos (gfc_filepos *);
1792 void gfc_free_inquire (gfc_inquire *);
1793 try gfc_resolve_inquire (gfc_inquire *);
1794 void gfc_free_dt (gfc_dt *);
1795 try gfc_resolve_dt (gfc_dt *);
1796
1797 /* module.c */
1798 void gfc_module_init_2 (void);
1799 void gfc_module_done_2 (void);
1800 void gfc_dump_module (const char *, int);
1801
1802 /* primary.c */
1803 symbol_attribute gfc_variable_attr (gfc_expr *, gfc_typespec *);
1804 symbol_attribute gfc_expr_attr (gfc_expr *);
1805
1806 /* trans.c */
1807 void gfc_generate_code (gfc_namespace *);
1808 void gfc_generate_module_code (gfc_namespace *);
1809
1810 /* bbt.c */
1811 typedef int (*compare_fn) (void *, void *);
1812 void gfc_insert_bbt (void *, void *, compare_fn);
1813 void gfc_delete_bbt (void *, void *, compare_fn);
1814
1815 /* dump-parse-tree.c */
1816 void gfc_show_namespace (gfc_namespace *);
1817
1818 /* parse.c */
1819 try gfc_parse_file (void);
1820
1821 #endif /* GCC_GFORTRAN_H */
This page took 0.105973 seconds and 5 git commands to generate.