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