OSDN Git Service

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