1 /* gfortran header file
2 Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007
3 Free Software Foundation, Inc.
4 Contributed by Andy Vaught
6 This file is part of GCC.
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
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
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, 51 Franklin Street, Fifth Floor, Boston, MA
23 #ifndef GCC_GFORTRAN_H
24 #define GCC_GFORTRAN_H
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. */
34 #include "coretypes.h"
36 #include "splay-tree.h"
37 /* The following ifdefs are recommended by the autoconf documentation
38 for any code using alloca. */
40 /* AIX requires this to be the first thing in the file. */
42 #else /* not __GNUC__ */
45 #else /* do not HAVE_ALLOCA_H */
49 #ifndef alloca /* predefined by HP cc +Olibcalls */
51 #endif /* not predefined */
53 #endif /* do not HAVE_ALLOCA_H */
54 #endif /* not __GNUC__ */
56 /* Major control parameters. */
58 #define GFC_MAX_SYMBOL_LEN 63 /* Must be at least 63 for F2003. */
59 #define GFC_MAX_BINDING_LABEL_LEN 126 /* (2 * GFC_MAX_SYMBOL_LEN) */
60 #define GFC_MAX_LINE 132 /* Characters beyond this are not seen. */
61 #define GFC_MAX_DIMENSIONS 7 /* Maximum dimensions in an array. */
62 #define GFC_LETTERS 26 /* Number of letters in the alphabet. */
64 #define MAX_SUBRECORD_LENGTH 2147483639 /* 2**31-9 */
67 #define free(x) Use_gfc_free_instead_of_free()
68 #define gfc_is_whitespace(c) ((c==' ') || (c=='\t'))
71 #define NULL ((void *) 0)
75 #define stringize(x) expand_macro(x)
76 #define expand_macro(x) # x
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
85 #define BLANK_COMMON_NAME "__BLNK__"
87 /* Macro to initialize an mstring structure. */
88 #define minit(s, t) { s, NULL, t }
90 /* Structure for storing strings to be matched by gfc_match_string. */
100 /* Flags to specify which standard/extension contains a feature. */
101 #define GFC_STD_LEGACY (1<<6) /* Backward compatibility. */
102 #define GFC_STD_GNU (1<<5) /* GNU Fortran extension. */
103 #define GFC_STD_F2003 (1<<4) /* New in F2003. */
104 /* Note that no additional features were deleted or made obsolescent
106 #define GFC_STD_F95 (1<<3) /* New in F95. */
107 #define GFC_STD_F95_DEL (1<<2) /* Deleted in F95. */
108 #define GFC_STD_F95_OBS (1<<1) /* Obsolescent in F95. */
109 #define GFC_STD_F77 (1<<0) /* Included in F77, but not
110 deleted or obsolescent in
113 /* Bitmasks for the various FPE that can be enabled. */
114 #define GFC_FPE_INVALID (1<<0)
115 #define GFC_FPE_DENORMAL (1<<1)
116 #define GFC_FPE_ZERO (1<<2)
117 #define GFC_FPE_OVERFLOW (1<<3)
118 #define GFC_FPE_UNDERFLOW (1<<4)
119 #define GFC_FPE_PRECISION (1<<5)
121 /* Keep this in sync with libgfortran/io/io.h ! */
124 { CONVERT_NATIVE=0, CONVERT_SWAP, CONVERT_BIG, CONVERT_LITTLE }
128 /*************************** Enums *****************************/
130 /* The author remains confused to this day about the convention of
131 returning '0' for 'SUCCESS'... or was it the other way around? The
132 following enum makes things much more readable. We also start
133 values off at one instead of zero. */
136 { SUCCESS = 1, FAILURE }
139 /* This is returned by gfc_notification_std to know if, given the flags
140 that were given (-std=, -pedantic) we should issue an error, a warning
144 { SILENT, WARNING, ERROR }
147 /* Matchers return one of these three values. The difference between
148 MATCH_NO and MATCH_ERROR is that MATCH_ERROR means that a match was
149 successful, but that something non-syntactic is wrong and an error
150 has already been issued. */
153 { MATCH_NO = 1, MATCH_YES, MATCH_ERROR }
157 { FORM_FREE, FORM_FIXED, FORM_UNKNOWN }
160 /* Basic types. BT_VOID is used by ISO C BInding so funcs like c_f_pointer
161 can take any arg with the pointer attribute as a param. */
163 { BT_UNKNOWN = 1, BT_INTEGER, BT_REAL, BT_COMPLEX,
164 BT_LOGICAL, BT_CHARACTER, BT_DERIVED, BT_PROCEDURE, BT_HOLLERITH,
169 /* Expression node types. */
171 { EXPR_OP = 1, EXPR_FUNCTION, EXPR_CONSTANT, EXPR_VARIABLE,
172 EXPR_SUBSTRING, EXPR_STRUCTURE, EXPR_ARRAY, EXPR_NULL
178 { AS_EXPLICIT = 1, AS_ASSUMED_SHAPE, AS_DEFERRED,
179 AS_ASSUMED_SIZE, AS_UNKNOWN
184 { AR_FULL = 1, AR_ELEMENT, AR_SECTION, AR_UNKNOWN }
187 /* Statement label types. */
189 { ST_LABEL_UNKNOWN = 1, ST_LABEL_TARGET,
190 ST_LABEL_BAD_TARGET, ST_LABEL_FORMAT
194 /* Intrinsic operators. */
196 { GFC_INTRINSIC_BEGIN = 0,
197 INTRINSIC_NONE = -1, INTRINSIC_UPLUS = GFC_INTRINSIC_BEGIN,
198 INTRINSIC_UMINUS, INTRINSIC_PLUS, INTRINSIC_MINUS, INTRINSIC_TIMES,
199 INTRINSIC_DIVIDE, INTRINSIC_POWER, INTRINSIC_CONCAT,
200 INTRINSIC_AND, INTRINSIC_OR, INTRINSIC_EQV, INTRINSIC_NEQV,
201 /* ==, /=, >, >=, <, <= */
202 INTRINSIC_EQ, INTRINSIC_NE, INTRINSIC_GT, INTRINSIC_GE,
203 INTRINSIC_LT, INTRINSIC_LE,
204 /* .EQ., .NE., .GT., .GE., .LT., .LE. (OS = Old-Style) */
205 INTRINSIC_EQ_OS, INTRINSIC_NE_OS, INTRINSIC_GT_OS, INTRINSIC_GE_OS,
206 INTRINSIC_LT_OS, INTRINSIC_LE_OS,
207 INTRINSIC_NOT, INTRINSIC_USER, INTRINSIC_ASSIGN,
208 INTRINSIC_PARENTHESES, GFC_INTRINSIC_END /* Sentinel */
213 /* Strings for all intrinsic operators. */
214 extern mstring intrinsic_operators[];
217 /* This macro is the number of intrinsic operators that exist.
218 Assumptions are made about the numbering of the interface_op enums. */
219 #define GFC_INTRINSIC_OPS GFC_INTRINSIC_END
221 /* Arithmetic results. */
223 { ARITH_OK = 1, ARITH_OVERFLOW, ARITH_UNDERFLOW, ARITH_NAN,
224 ARITH_DIV0, ARITH_INCOMMENSURATE, ARITH_ASYMMETRIC
231 ST_ARITHMETIC_IF, ST_ALLOCATE, ST_ATTR_DECL, ST_BACKSPACE, ST_BLOCK_DATA,
232 ST_CALL, ST_CASE, ST_CLOSE, ST_COMMON, ST_CONTINUE, ST_CONTAINS, ST_CYCLE,
233 ST_DATA, ST_DATA_DECL, ST_DEALLOCATE, ST_DO, ST_ELSE, ST_ELSEIF,
234 ST_ELSEWHERE, ST_END_BLOCK_DATA, ST_ENDDO, ST_IMPLIED_ENDDO,
235 ST_END_FILE, ST_FLUSH, ST_END_FORALL, ST_END_FUNCTION, ST_ENDIF,
236 ST_END_INTERFACE, ST_END_MODULE, ST_END_PROGRAM, ST_END_SELECT,
237 ST_END_SUBROUTINE, ST_END_WHERE, ST_END_TYPE, ST_ENTRY, ST_EQUIVALENCE,
238 ST_EXIT, ST_FORALL, ST_FORALL_BLOCK, ST_FORMAT, ST_FUNCTION, ST_GOTO,
239 ST_IF_BLOCK, ST_IMPLICIT, ST_IMPLICIT_NONE, ST_IMPORT, ST_INQUIRE, ST_INTERFACE,
240 ST_PARAMETER, ST_MODULE, ST_MODULE_PROC, ST_NAMELIST, ST_NULLIFY, ST_OPEN,
241 ST_PAUSE, ST_PRIVATE, ST_PROGRAM, ST_PUBLIC, ST_READ, ST_RETURN, ST_REWIND,
242 ST_STOP, ST_SUBROUTINE, ST_TYPE, ST_USE, ST_WHERE_BLOCK, ST_WHERE, ST_WRITE,
243 ST_ASSIGNMENT, ST_POINTER_ASSIGNMENT, ST_SELECT_CASE, ST_SEQUENCE,
244 ST_SIMPLE_IF, ST_STATEMENT_FUNCTION, ST_DERIVED_DECL, ST_LABEL_ASSIGNMENT,
245 ST_ENUM, ST_ENUMERATOR, ST_END_ENUM,
246 ST_OMP_ATOMIC, ST_OMP_BARRIER, ST_OMP_CRITICAL, ST_OMP_END_CRITICAL,
247 ST_OMP_END_DO, ST_OMP_END_MASTER, ST_OMP_END_ORDERED, ST_OMP_END_PARALLEL,
248 ST_OMP_END_PARALLEL_DO, ST_OMP_END_PARALLEL_SECTIONS,
249 ST_OMP_END_PARALLEL_WORKSHARE, ST_OMP_END_SECTIONS, ST_OMP_END_SINGLE,
250 ST_OMP_END_WORKSHARE, ST_OMP_DO, ST_OMP_FLUSH, ST_OMP_MASTER, ST_OMP_ORDERED,
251 ST_OMP_PARALLEL, ST_OMP_PARALLEL_DO, ST_OMP_PARALLEL_SECTIONS,
252 ST_OMP_PARALLEL_WORKSHARE, ST_OMP_SECTIONS, ST_OMP_SECTION, ST_OMP_SINGLE,
253 ST_OMP_THREADPRIVATE, ST_OMP_WORKSHARE,
259 /* Types of interfaces that we can have. Assignment interfaces are
260 considered to be intrinsic operators. */
263 INTERFACE_NAMELESS = 1, INTERFACE_GENERIC,
264 INTERFACE_INTRINSIC_OP, INTERFACE_USER_OP
268 /* Symbol flavors: these are all mutually exclusive.
269 10 elements = 4 bits. */
270 typedef enum sym_flavor
272 FL_UNKNOWN = 0, FL_PROGRAM, FL_BLOCK_DATA, FL_MODULE, FL_VARIABLE,
273 FL_PARAMETER, FL_LABEL, FL_PROCEDURE, FL_DERIVED, FL_NAMELIST,
278 /* Procedure types. 7 elements = 3 bits. */
279 typedef enum procedure_type
280 { PROC_UNKNOWN, PROC_MODULE, PROC_INTERNAL, PROC_DUMMY,
281 PROC_INTRINSIC, PROC_ST_FUNCTION, PROC_EXTERNAL
286 typedef enum sym_intent
287 { INTENT_UNKNOWN = 0, INTENT_IN, INTENT_OUT, INTENT_INOUT
292 typedef enum gfc_access
293 { ACCESS_UNKNOWN = 0, ACCESS_PUBLIC, ACCESS_PRIVATE
297 /* Flags to keep track of where an interface came from.
298 4 elements = 2 bits. */
300 { IFSRC_UNKNOWN = 0, IFSRC_DECL, IFSRC_IFBODY, IFSRC_USAGE
304 /* Whether a SAVE attribute was set explicitly or implicitly. */
305 typedef enum save_state
306 { SAVE_NONE = 0, SAVE_EXPLICIT, SAVE_IMPLICIT
310 /* Strings for all symbol attributes. We use these for dumping the
311 parse tree, in error messages, and also when reading and writing
312 modules. In symbol.c. */
313 extern const mstring flavors[];
314 extern const mstring procedures[];
315 extern const mstring intents[];
316 extern const mstring access_types[];
317 extern const mstring ifsrc_types[];
318 extern const mstring save_status[];
320 /* Enumeration of all the generic intrinsic functions. Used by the
321 backend for identification of a function. */
325 /* GFC_ISYM_NONE is used for intrinsics which will never be seen by
326 the backend (eg. KIND). */
357 GFC_ISYM_COMMAND_ARGUMENT_COUNT,
367 GFC_ISYM_DATE_AND_TIME,
371 GFC_ISYM_DOT_PRODUCT,
397 GFC_ISYM_GET_COMMAND,
398 GFC_ISYM_GET_COMMAND_ARGUMENT,
401 GFC_ISYM_GET_ENVIRONMENT_VARIABLE,
453 GFC_ISYM_MAXEXPONENT,
460 GFC_ISYM_MINEXPONENT,
480 GFC_ISYM_RANDOM_NUMBER,
481 GFC_ISYM_RANDOM_SEED,
493 GFC_ISYM_SET_EXPONENT,
513 GFC_ISYM_SYSTEM_CLOCK,
533 typedef enum gfc_isym_id gfc_isym_id;
535 /* Runtime errors. The EOR and EOF errors are required to be negative.
536 These codes must be kept synchronized with their equivalents in
537 libgfortran/libgfortran.h . */
541 IOERROR_FIRST = -3, /* Marker for the first error. */
544 IOERROR_OK = 0, /* Indicates success, must be zero. */
545 IOERROR_OS = 5000, /* Operating system error, more info in errno. */
546 IOERROR_OPTION_CONFLICT,
548 IOERROR_MISSING_OPTION,
549 IOERROR_ALREADY_OPEN,
556 IOERROR_READ_OVERFLOW,
558 IOERROR_INTERNAL_UNIT,
561 IOERROR_SHORT_RECORD,
562 IOERROR_CORRUPT_FILE,
563 IOERROR_LAST /* Not a real error, the last error # + 1. */
568 /************************* Structures *****************************/
570 /* Used for keeping things in balanced binary trees. */
571 #define BBT_HEADER(self) int priority; struct self *left, *right
573 #define NAMED_INTCST(a,b,c) a,
576 ISOFORTRANENV_INVALID = -1,
577 #include "iso-fortran-env.def"
578 ISOFORTRANENV_LAST, ISOFORTRANENV_NUMBER = ISOFORTRANENV_LAST
580 iso_fortran_env_symbol;
583 #define NAMED_INTCST(a,b,c) a,
584 #define NAMED_REALCST(a,b,c) a,
585 #define NAMED_CMPXCST(a,b,c) a,
586 #define NAMED_LOGCST(a,b,c) a,
587 #define NAMED_CHARKNDCST(a,b,c) a,
588 #define NAMED_CHARCST(a,b,c) a,
589 #define DERIVED_TYPE(a,b,c) a,
590 #define PROCEDURE(a,b) a,
593 ISOCBINDING_INVALID = -1,
594 #include "iso-c-binding.def"
596 ISOCBINDING_NUMBER = ISOCBINDING_LAST
598 iso_c_binding_symbol;
603 #undef NAMED_CHARKNDCST
610 INTMOD_NONE = 0, INTMOD_ISO_FORTRAN_ENV, INTMOD_ISO_C_BINDING
616 char name[GFC_MAX_SYMBOL_LEN + 1];
617 int value; /* Used for both integer and character values. */
622 /* Array of structs, where the structs represent the C interop kinds.
623 The list will be implemented based on a hash of the kind name since
624 these could be accessed multiple times.
625 Declared in trans-types.c as a global, since it's in that file
626 that the list is initialized. */
627 extern CInteropKind_t c_interop_kinds_table[];
629 /* Symbol attribute structure. */
632 /* Variable attributes. */
633 unsigned allocatable:1, dimension:1, external:1, intrinsic:1,
634 optional:1, pointer:1, target:1, value:1, volatile_:1,
635 dummy:1, result:1, assign:1, threadprivate:1, not_always_present:1,
638 ENUM_BITFIELD (save_state) save:2;
640 unsigned data:1, /* Symbol is named in a DATA statement. */
641 protected:1, /* Symbol has been marked as protected. */
642 use_assoc:1, /* Symbol has been use-associated. */
643 use_only:1; /* Symbol has been use-associated, with ONLY. */
645 unsigned in_namelist:1, in_common:1, in_equivalence:1;
646 unsigned function:1, subroutine:1, generic:1, generic_copy:1;
647 unsigned implicit_type:1; /* Type defined via implicit rules. */
648 unsigned untyped:1; /* No implicit type could be found. */
650 unsigned is_bind_c:1; /* say if is bound to C */
652 /* These flags are both in the typespec and attribute. The attribute
653 list is what gets read from/written to a module file. The typespec
654 is created from a decl being processed. */
655 unsigned is_c_interop:1; /* It's c interoperable. */
656 unsigned is_iso_c:1; /* Symbol is from iso_c_binding. */
658 /* Function/subroutine attributes */
659 unsigned sequence:1, elemental:1, pure:1, recursive:1;
660 unsigned unmaskable:1, masked:1, contained:1, mod_proc:1;
662 /* This is set if the subroutine doesn't return. Currently, this
663 is only possible for intrinsic subroutines. */
666 /* Set if this procedure is an alternate entry point. These procedures
667 don't have any code associated, and the backend will turn them into
668 thunks to the master function. */
671 /* Set if this is the master function for a procedure with multiple
673 unsigned entry_master:1;
675 /* Set if this is the master function for a function with multiple
676 entry points where characteristics of the entry points differ. */
677 unsigned mixed_entry_master:1;
679 /* Set if a function must always be referenced by an explicit interface. */
680 unsigned always_explicit:1;
682 /* Set if the symbol has been referenced in an expression. No further
683 modification of type or type parameters is permitted. */
684 unsigned referenced:1;
686 /* Set if the symbol has ambiguous interfaces. */
687 unsigned ambiguous_interfaces:1;
689 /* Set if the is the symbol for the main program. This is the least
690 cumbersome way to communicate this function property without
691 strcmp'ing with __MAIN everywhere. */
692 unsigned is_main_program:1;
694 /* Mutually exclusive multibit attributes. */
695 ENUM_BITFIELD (gfc_access) access:2;
696 ENUM_BITFIELD (sym_intent) intent:2;
697 ENUM_BITFIELD (sym_flavor) flavor:4;
698 ENUM_BITFIELD (ifsrc) if_source:2;
700 ENUM_BITFIELD (procedure_type) proc:3;
702 /* Special attributes for Cray pointers, pointees. */
703 unsigned cray_pointer:1, cray_pointee:1;
705 /* The symbol is a derived type with allocatable components, possibly
707 unsigned alloc_comp:1;
709 /* The namespace where the VOLATILE attribute has been set. */
710 struct gfc_namespace *volatile_ns;
715 /* The following three structures are used to identify a location in
718 gfc_file is used to maintain a tree of the source files and how
719 they include each other
721 gfc_linebuf holds a single line of source code and information
722 which file it resides in
724 locus point to the sourceline and the character in the source
728 typedef struct gfc_file
730 struct gfc_file *included_by, *next, *up;
731 int inclusion_line, line;
735 typedef struct gfc_linebuf
737 #ifdef USE_MAPPED_LOCATION
738 source_location location;
742 struct gfc_file *file;
743 struct gfc_linebuf *next;
750 #define gfc_linebuf_header_size (offsetof (gfc_linebuf, line))
758 /* In order for the "gfc" format checking to work correctly, you must
759 have declared a typedef locus first. */
760 #if GCC_VERSION >= 4001
761 #define ATTRIBUTE_GCC_GFC(m, n) __attribute__ ((__format__ (__gcc_gfc__, m, n))) ATTRIBUTE_NONNULL(m)
763 #define ATTRIBUTE_GCC_GFC(m, n) ATTRIBUTE_NONNULL(m)
767 extern int gfc_suppress_error;
770 /* Character length structures hold the expression that gives the
771 length of a character variable. We avoid putting these into
772 gfc_typespec because doing so prevents us from doing structure
773 copies and forces us to deallocate any typespecs we create, as well
774 as structures that contain typespecs. They also can have multiple
775 character typespecs pointing to them.
777 These structures form a singly linked list within the current
778 namespace and are deallocated with the namespace. It is possible to
779 end up with gfc_charlen structures that have nothing pointing to them. */
781 typedef struct gfc_charlen
783 struct gfc_expr *length;
784 struct gfc_charlen *next;
791 #define gfc_get_charlen() gfc_getmem(sizeof(gfc_charlen))
793 /* Type specification structure. FIXME: derived and cl could be union??? */
798 struct gfc_symbol *derived;
799 gfc_charlen *cl; /* For character types only. */
806 /* Array specification. */
809 int rank; /* A rank of zero means that a variable is a scalar. */
811 struct gfc_expr *lower[GFC_MAX_DIMENSIONS], *upper[GFC_MAX_DIMENSIONS];
813 /* These two fields are used with the Cray Pointer extension. */
814 bool cray_pointee; /* True iff this spec belongs to a cray pointee. */
815 bool cp_was_assumed; /* AS_ASSUMED_SIZE cp arrays are converted to
816 AS_EXPLICIT, but we want to remember that we
822 #define gfc_get_array_spec() gfc_getmem(sizeof(gfc_array_spec))
825 /* Components of derived types. */
826 typedef struct gfc_component
831 int pointer, allocatable, dimension;
837 struct gfc_expr *initializer;
838 struct gfc_component *next;
842 #define gfc_get_component() gfc_getmem(sizeof(gfc_component))
844 /* Formal argument lists are lists of symbols. */
845 typedef struct gfc_formal_arglist
847 /* Symbol representing the argument at this position in the arglist. */
848 struct gfc_symbol *sym;
849 /* Points to the next formal argument. */
850 struct gfc_formal_arglist *next;
854 #define gfc_get_formal_arglist() gfc_getmem(sizeof(gfc_formal_arglist))
857 /* The gfc_actual_arglist structure is for actual arguments. */
858 typedef struct gfc_actual_arglist
861 /* Alternate return label when the expr member is null. */
862 struct gfc_st_label *label;
864 /* This is set to the type of an eventual omitted optional
865 argument. This is used to determine if a hidden string length
866 argument has to be added to a function call. */
869 struct gfc_expr *expr;
870 struct gfc_actual_arglist *next;
874 #define gfc_get_actual_arglist() gfc_getmem(sizeof(gfc_actual_arglist))
877 /* Because a symbol can belong to multiple namelists, they must be
878 linked externally to the symbol itself. */
879 typedef struct gfc_namelist
881 struct gfc_symbol *sym;
882 struct gfc_namelist *next;
886 #define gfc_get_namelist() gfc_getmem(sizeof(gfc_namelist))
891 OMP_LIST_FIRSTPRIVATE,
892 OMP_LIST_LASTPRIVATE,
893 OMP_LIST_COPYPRIVATE,
897 OMP_LIST_REDUCTION_FIRST = OMP_LIST_PLUS,
909 OMP_LIST_REDUCTION_LAST = OMP_LIST_IEOR,
913 /* Because a symbol can belong to multiple namelists, they must be
914 linked externally to the symbol itself. */
915 typedef struct gfc_omp_clauses
917 struct gfc_expr *if_expr;
918 struct gfc_expr *num_threads;
919 gfc_namelist *lists[OMP_LIST_NUM];
928 struct gfc_expr *chunk_size;
936 bool nowait, ordered;
940 #define gfc_get_omp_clauses() gfc_getmem(sizeof(gfc_omp_clauses))
943 /* The gfc_st_label structure is a doubly linked list attached to a
944 namespace that records the usage of statement labels within that
946 /* TODO: Make format/statement specifics a union. */
947 typedef struct gfc_st_label
949 BBT_HEADER(gfc_st_label);
953 gfc_sl_type defined, referenced;
955 struct gfc_expr *format;
964 /* gfc_interface()-- Interfaces are lists of symbols strung together. */
965 typedef struct gfc_interface
967 struct gfc_symbol *sym;
969 struct gfc_interface *next;
973 #define gfc_get_interface() gfc_getmem(sizeof(gfc_interface))
976 /* User operator nodes. These are like stripped down symbols. */
981 gfc_interface *operator;
982 struct gfc_namespace *ns;
987 /* Symbol nodes. These are important things. They are what the
988 standard refers to as "entities". The possibly multiple names that
989 refer to the same entity are accomplished by a binary tree of
990 symtree structures that is balanced by the red-black method-- more
991 than one symtree node can point to any given symbol. */
993 typedef struct gfc_symbol
995 const char *name; /* Primary name, before renaming */
996 const char *module; /* Module this symbol came from */
1000 symbol_attribute attr;
1002 /* The interface member points to the formal argument list if the
1003 symbol is a function or subroutine name. If the symbol is a
1004 generic name, the generic member points to the list of
1007 gfc_interface *generic;
1008 gfc_access component_access;
1010 gfc_formal_arglist *formal;
1011 struct gfc_namespace *formal_ns;
1013 struct gfc_expr *value; /* Parameter/Initializer value */
1015 struct gfc_symbol *result; /* function result symbol */
1016 gfc_component *components; /* Derived type components */
1018 /* Defined only for Cray pointees; points to their pointer. */
1019 struct gfc_symbol *cp_pointer;
1021 struct gfc_symbol *common_next; /* Links for COMMON syms */
1023 /* This is in fact a gfc_common_head but it is only used for pointer
1024 comparisons to check if symbols are in the same common block. */
1025 struct gfc_common_head* common_head;
1027 /* Make sure setup code for dummy arguments is generated in the correct
1033 gfc_namelist *namelist, *namelist_tail;
1035 /* Change management fields. Symbols that might be modified by the
1036 current statement have the mark member nonzero and are kept in a
1037 singly linked list through the tlink field. Of these symbols,
1038 symbols with old_symbol equal to NULL are symbols created within
1039 the current statement. Otherwise, old_symbol points to a copy of
1042 struct gfc_symbol *old_symbol, *tlink;
1043 unsigned mark:1, new:1;
1044 /* Nonzero if all equivalences associated with this symbol have been
1046 unsigned equiv_built:1;
1047 /* Set if this variable is used as an index name in a FORALL. */
1048 unsigned forall_index:1;
1050 struct gfc_namespace *ns; /* namespace containing this symbol */
1054 /* Identity of the intrinsic module the symbol comes from, or
1055 INTMOD_NONE if it's not imported from a intrinsic module. */
1056 intmod_id from_intmod;
1057 /* Identity of the symbol from intrinsic modules, from enums maintained
1058 separately by each intrinsic module. Used together with from_intmod,
1059 it uniquely identifies a symbol from an intrinsic module. */
1062 /* This may be repetitive, since the typespec now has a binding
1064 char binding_label[GFC_MAX_BINDING_LABEL_LEN + 1];
1065 /* Store a reference to the common_block, if this symbol is in one. */
1066 struct gfc_common_head *common_block;
1071 /* This structure is used to keep track of symbols in common blocks. */
1072 typedef struct gfc_common_head
1075 char use_assoc, saved, threadprivate;
1076 char name[GFC_MAX_SYMBOL_LEN + 1];
1077 struct gfc_symbol *head;
1078 char binding_label[GFC_MAX_BINDING_LABEL_LEN + 1];
1083 #define gfc_get_common_head() gfc_getmem(sizeof(gfc_common_head))
1086 /* A list of all the alternate entry points for a procedure. */
1088 typedef struct gfc_entry_list
1090 /* The symbol for this entry point. */
1092 /* The zero-based id of this entry point. */
1094 /* The LABEL_EXPR marking this entry point. */
1096 /* The nest item in the list. */
1097 struct gfc_entry_list *next;
1101 #define gfc_get_entry_list() \
1102 (gfc_entry_list *) gfc_getmem(sizeof(gfc_entry_list))
1104 /* Within a namespace, symbols are pointed to by symtree nodes that
1105 are linked together in a balanced binary tree. There can be
1106 several symtrees pointing to the same symbol node via USE
1109 typedef struct gfc_symtree
1111 BBT_HEADER (gfc_symtree);
1116 gfc_symbol *sym; /* Symbol associated with this node */
1118 gfc_common_head *common;
1125 /* A linked list of derived types in the namespace. */
1126 typedef struct gfc_dt_list
1128 struct gfc_symbol *derived;
1129 struct gfc_dt_list *next;
1133 #define gfc_get_dt_list() gfc_getmem(sizeof(gfc_dt_list))
1135 /* A list of all derived types. */
1136 extern gfc_dt_list *gfc_derived_types;
1138 /* A namespace describes the contents of procedure, module or
1140 /* ??? Anything else use these? */
1142 typedef struct gfc_namespace
1144 /* Tree containing all the symbols in this namespace. */
1145 gfc_symtree *sym_root;
1146 /* Tree containing all the user-defined operators in the namespace. */
1147 gfc_symtree *uop_root;
1148 /* Tree containing all the common blocks. */
1149 gfc_symtree *common_root;
1151 /* If set_flag[letter] is set, an implicit type has been set for letter. */
1152 int set_flag[GFC_LETTERS];
1153 /* Keeps track of the implicit types associated with the letters. */
1154 gfc_typespec default_type[GFC_LETTERS];
1156 /* If this is a namespace of a procedure, this points to the procedure. */
1157 struct gfc_symbol *proc_name;
1158 /* If this is the namespace of a unit which contains executable
1159 code, this points to it. */
1160 struct gfc_code *code;
1162 /* Points to the equivalences set up in this namespace. */
1163 struct gfc_equiv *equiv;
1165 /* Points to the equivalence groups produced by trans_common. */
1166 struct gfc_equiv_list *equiv_lists;
1168 gfc_interface *operator[GFC_INTRINSIC_OPS];
1170 /* Points to the parent namespace, i.e. the namespace of a module or
1171 procedure in which the procedure belonging to this namespace is
1172 contained. The parent namespace points to this namespace either
1173 directly via CONTAINED, or indirectly via the chain built by
1175 struct gfc_namespace *parent;
1176 /* CONTAINED points to the first contained namespace. Sibling
1177 namespaces are chained via SIBLING. */
1178 struct gfc_namespace *contained, *sibling;
1180 gfc_common_head blank_common;
1181 gfc_access default_access, operator_access[GFC_INTRINSIC_OPS];
1183 gfc_st_label *st_labels;
1184 /* This list holds information about all the data initializers in
1186 struct gfc_data *data;
1188 gfc_charlen *cl_list;
1190 int save_all, seen_save, seen_implicit_none;
1192 /* Normally we don't need to refcount namespaces. However when we read
1193 a module containing a function with multiple entry points, this
1194 will appear as several functions with the same formal namespace. */
1197 /* A list of all alternate entry points to this procedure (or NULL). */
1198 gfc_entry_list *entries;
1200 /* Set to 1 if namespace is a BLOCK DATA program unit. */
1203 /* Set to 1 if namespace is an interface body with "IMPORT" used. */
1208 extern gfc_namespace *gfc_current_ns;
1210 /* Global symbols are symbols of global scope. Currently we only use
1211 this to detect collisions already when parsing.
1212 TODO: Extend to verify procedure calls. */
1214 typedef struct gfc_gsymbol
1216 BBT_HEADER(gfc_gsymbol);
1219 const char *sym_name;
1220 const char *mod_name;
1221 const char *binding_label;
1222 enum { GSYM_UNKNOWN=1, GSYM_PROGRAM, GSYM_FUNCTION, GSYM_SUBROUTINE,
1223 GSYM_MODULE, GSYM_COMMON, GSYM_BLOCK_DATA } type;
1230 extern gfc_gsymbol *gfc_gsym_root;
1232 /* Information on interfaces being built. */
1235 interface_type type;
1239 gfc_intrinsic_op op;
1243 extern gfc_interface_info current_interface;
1246 /* Array reference. */
1247 typedef struct gfc_array_ref
1250 int dimen; /* # of components in the reference */
1254 locus c_where[GFC_MAX_DIMENSIONS]; /* All expressions can be NULL */
1255 struct gfc_expr *start[GFC_MAX_DIMENSIONS], *end[GFC_MAX_DIMENSIONS],
1256 *stride[GFC_MAX_DIMENSIONS];
1259 { DIMEN_ELEMENT = 1, DIMEN_RANGE, DIMEN_VECTOR, DIMEN_UNKNOWN }
1260 dimen_type[GFC_MAX_DIMENSIONS];
1262 struct gfc_expr *offset;
1266 #define gfc_get_array_ref() gfc_getmem(sizeof(gfc_array_ref))
1269 /* Component reference nodes. A variable is stored as an expression
1270 node that points to the base symbol. After that, a singly linked
1271 list of component reference nodes gives the variable's complete
1272 resolution. The array_ref component may be present and comes
1273 before the component component. */
1276 { REF_ARRAY, REF_COMPONENT, REF_SUBSTRING }
1279 typedef struct gfc_ref
1285 struct gfc_array_ref ar;
1289 gfc_component *component;
1296 struct gfc_expr *start, *end; /* Substring */
1297 gfc_charlen *length;
1304 struct gfc_ref *next;
1308 #define gfc_get_ref() gfc_getmem(sizeof(gfc_ref))
1311 /* Structures representing intrinsic symbols and their arguments lists. */
1312 typedef struct gfc_intrinsic_arg
1314 char name[GFC_MAX_SYMBOL_LEN + 1];
1318 gfc_actual_arglist *actual;
1320 struct gfc_intrinsic_arg *next;
1326 /* Specifies the various kinds of check functions used to verify the
1327 argument lists of intrinsic functions. fX with X an integer refer
1328 to check functions of intrinsics with X arguments. f1m is used for
1329 the MAX and MIN intrinsics which can have an arbitrary number of
1330 arguments, f3ml is used for the MINLOC and MAXLOC intrinsics as
1331 these have special semantics. */
1336 try (*f1)(struct gfc_expr *);
1337 try (*f1m)(gfc_actual_arglist *);
1338 try (*f2)(struct gfc_expr *, struct gfc_expr *);
1339 try (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1340 try (*f3ml)(gfc_actual_arglist *);
1341 try (*f3red)(gfc_actual_arglist *);
1342 try (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1344 try (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1345 struct gfc_expr *, struct gfc_expr *);
1349 /* Like gfc_check_f, these specify the type of the simplification
1350 function associated with an intrinsic. The fX are just like in
1351 gfc_check_f. cc is used for type conversion functions. */
1355 struct gfc_expr *(*f0)(void);
1356 struct gfc_expr *(*f1)(struct gfc_expr *);
1357 struct gfc_expr *(*f2)(struct gfc_expr *, struct gfc_expr *);
1358 struct gfc_expr *(*f3)(struct gfc_expr *, struct gfc_expr *,
1360 struct gfc_expr *(*f4)(struct gfc_expr *, struct gfc_expr *,
1361 struct gfc_expr *, struct gfc_expr *);
1362 struct gfc_expr *(*f5)(struct gfc_expr *, struct gfc_expr *,
1363 struct gfc_expr *, struct gfc_expr *,
1365 struct gfc_expr *(*cc)(struct gfc_expr *, bt, int);
1369 /* Again like gfc_check_f, these specify the type of the resolution
1370 function associated with an intrinsic. The fX are just like in
1371 gfc_check_f. f1m is used for MIN and MAX, s1 is used for abort(). */
1375 void (*f0)(struct gfc_expr *);
1376 void (*f1)(struct gfc_expr *, struct gfc_expr *);
1377 void (*f1m)(struct gfc_expr *, struct gfc_actual_arglist *);
1378 void (*f2)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1379 void (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1381 void (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1382 struct gfc_expr *, struct gfc_expr *);
1383 void (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1384 struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1385 void (*s1)(struct gfc_code *);
1390 typedef struct gfc_intrinsic_sym
1392 const char *name, *lib_name;
1393 gfc_intrinsic_arg *formal;
1395 unsigned elemental:1, inquiry:1, transformational:1, pure:1,
1396 generic:1, specific:1, actual_ok:1, noreturn:1, conversion:1;
1400 gfc_simplify_f simplify;
1402 gfc_resolve_f resolve;
1403 struct gfc_intrinsic_sym *specific_head, *next;
1410 /* Expression nodes. The expression node types deserve explanations,
1411 since the last couple can be easily misconstrued:
1413 EXPR_OP Operator node pointing to one or two other nodes
1414 EXPR_FUNCTION Function call, symbol points to function's name
1415 EXPR_CONSTANT A scalar constant: Logical, String, Real, Int or Complex
1416 EXPR_VARIABLE An Lvalue with a root symbol and possible reference list
1417 which expresses structure, array and substring refs.
1418 EXPR_NULL The NULL pointer value (which also has a basic type).
1419 EXPR_SUBSTRING A substring of a constant string
1420 EXPR_STRUCTURE A structure constructor
1421 EXPR_ARRAY An array constructor. */
1425 #define GFC_RND_MODE GMP_RNDN
1427 typedef struct gfc_expr
1431 gfc_typespec ts; /* These two refer to the overall expression */
1434 mpz_t *shape; /* Can be NULL if shape is unknown at compile time */
1436 /* Nonnull for functions and structure constructors */
1437 gfc_symtree *symtree;
1443 /* True if the expression is a call to a function that returns an array,
1444 and if we have decided not to allocate temporary data for that array. */
1445 unsigned int inline_noncopying_intrinsic : 1;
1447 /* Used to quickly find a given constructor by its offset. */
1448 splay_tree con_by_offset;
1450 /* If an expression comes from a Hollerith constant or compile-time
1451 evaluation of a transfer statement, it may have a prescribed target-
1452 memory representation, and these cannot always be backformed from
1477 gfc_intrinsic_op operator;
1479 struct gfc_expr *op1, *op2;
1485 gfc_actual_arglist *actual;
1486 const char *name; /* Points to the ultimate name of the function */
1487 gfc_intrinsic_sym *isym;
1499 struct gfc_constructor *constructor;
1507 #define gfc_get_shape(rank) ((mpz_t *) gfc_getmem((rank)*sizeof(mpz_t)))
1509 /* Structures for information associated with different kinds of
1510 numbers. The first set of integer parameters define all there is
1511 to know about a particular kind. The rest of the elements are
1512 computed from the first elements. */
1516 /* Values really representable by the target. */
1517 mpz_t huge, pedantic_min_int, min_int;
1519 int kind, radix, digits, bit_size, range;
1521 /* True if the C type of the given name maps to this precision.
1522 Note that more than one bit can be set. */
1523 unsigned int c_char : 1;
1524 unsigned int c_short : 1;
1525 unsigned int c_int : 1;
1526 unsigned int c_long : 1;
1527 unsigned int c_long_long : 1;
1531 extern gfc_integer_info gfc_integer_kinds[];
1538 /* True if the C++ type bool, C99 type _Bool, maps to this precision. */
1539 unsigned int c_bool : 1;
1543 extern gfc_logical_info gfc_logical_kinds[];
1548 mpfr_t epsilon, huge, tiny, subnormal;
1549 int kind, radix, digits, min_exponent, max_exponent;
1550 int range, precision;
1552 /* The precision of the type as reported by GET_MODE_PRECISION. */
1555 /* True if the C type of the given name maps to this precision.
1556 Note that more than one bit can be set. */
1557 unsigned int c_float : 1;
1558 unsigned int c_double : 1;
1559 unsigned int c_long_double : 1;
1563 extern gfc_real_info gfc_real_kinds[];
1566 /* Equivalence structures. Equivalent lvalues are linked along the
1567 *eq pointer, equivalence sets are strung along the *next node. */
1568 typedef struct gfc_equiv
1570 struct gfc_equiv *next, *eq;
1577 #define gfc_get_equiv() gfc_getmem(sizeof(gfc_equiv))
1579 /* Holds a single equivalence member after processing. */
1580 typedef struct gfc_equiv_info
1583 HOST_WIDE_INT offset;
1584 HOST_WIDE_INT length;
1585 struct gfc_equiv_info *next;
1588 /* Holds equivalence groups, after they have been processed. */
1589 typedef struct gfc_equiv_list
1591 gfc_equiv_info *equiv;
1592 struct gfc_equiv_list *next;
1595 /* gfc_case stores the selector list of a case statement. The *low
1596 and *high pointers can point to the same expression in the case of
1597 a single value. If *high is NULL, the selection is from *low
1598 upwards, if *low is NULL the selection is *high downwards.
1600 This structure has separate fields to allow single and double linked
1601 lists of CASEs at the same time. The singe linked list along the NEXT
1602 field is a list of cases for a single CASE label. The double linked
1603 list along the LEFT/RIGHT fields is used to detect overlap and to
1604 build a table of the cases for SELECT constructs with a CHARACTER
1607 typedef struct gfc_case
1609 /* Where we saw this case. */
1613 /* Case range values. If (low == high), it's a single value. If one of
1614 the labels is NULL, it's an unbounded case. If both are NULL, this
1615 represents the default case. */
1616 gfc_expr *low, *high;
1618 /* Next case label in the list of cases for a single CASE label. */
1619 struct gfc_case *next;
1621 /* Used for detecting overlap, and for code generation. */
1622 struct gfc_case *left, *right;
1624 /* True if this case label can never be matched. */
1629 #define gfc_get_case() gfc_getmem(sizeof(gfc_case))
1634 gfc_expr *var, *start, *end, *step;
1638 #define gfc_get_iterator() gfc_getmem(sizeof(gfc_iterator))
1641 /* Allocation structure for ALLOCATE, DEALLOCATE and NULLIFY statements. */
1643 typedef struct gfc_alloc
1646 struct gfc_alloc *next;
1650 #define gfc_get_alloc() gfc_getmem(sizeof(gfc_alloc))
1655 gfc_expr *unit, *file, *status, *access, *form, *recl,
1656 *blank, *position, *action, *delim, *pad, *iostat, *iomsg, *convert;
1664 gfc_expr *unit, *status, *iostat, *iomsg;
1672 gfc_expr *unit, *iostat, *iomsg;
1680 gfc_expr *unit, *file, *iostat, *exist, *opened, *number, *named,
1681 *name, *access, *sequential, *direct, *form, *formatted,
1682 *unformatted, *recl, *nextrec, *blank, *position, *action, *read,
1683 *write, *readwrite, *delim, *pad, *iolength, *iomsg, *convert, *strm_pos;
1693 gfc_expr *io_unit, *format_expr, *rec, *advance, *iostat, *size, *iomsg;
1695 gfc_symbol *namelist;
1696 /* A format_label of `format_asterisk' indicates the "*" format */
1697 gfc_st_label *format_label;
1698 gfc_st_label *err, *end, *eor;
1700 locus eor_where, end_where, err_where;
1705 typedef struct gfc_forall_iterator
1707 gfc_expr *var, *start, *end, *stride;
1708 struct gfc_forall_iterator *next;
1710 gfc_forall_iterator;
1713 /* Executable statements that fill gfc_code structures. */
1716 EXEC_NOP = 1, EXEC_ASSIGN, EXEC_LABEL_ASSIGN, EXEC_POINTER_ASSIGN,
1717 EXEC_GOTO, EXEC_CALL, EXEC_ASSIGN_CALL, EXEC_RETURN, EXEC_ENTRY,
1718 EXEC_PAUSE, EXEC_STOP, EXEC_CONTINUE, EXEC_INIT_ASSIGN,
1719 EXEC_IF, EXEC_ARITHMETIC_IF, EXEC_DO, EXEC_DO_WHILE, EXEC_SELECT,
1720 EXEC_FORALL, EXEC_WHERE, EXEC_CYCLE, EXEC_EXIT,
1721 EXEC_ALLOCATE, EXEC_DEALLOCATE,
1722 EXEC_OPEN, EXEC_CLOSE,
1723 EXEC_READ, EXEC_WRITE, EXEC_IOLENGTH, EXEC_TRANSFER, EXEC_DT_END,
1724 EXEC_BACKSPACE, EXEC_ENDFILE, EXEC_INQUIRE, EXEC_REWIND, EXEC_FLUSH,
1725 EXEC_OMP_CRITICAL, EXEC_OMP_DO, EXEC_OMP_FLUSH, EXEC_OMP_MASTER,
1726 EXEC_OMP_ORDERED, EXEC_OMP_PARALLEL, EXEC_OMP_PARALLEL_DO,
1727 EXEC_OMP_PARALLEL_SECTIONS, EXEC_OMP_PARALLEL_WORKSHARE,
1728 EXEC_OMP_SECTIONS, EXEC_OMP_SINGLE, EXEC_OMP_WORKSHARE,
1729 EXEC_OMP_ATOMIC, EXEC_OMP_BARRIER, EXEC_OMP_END_NOWAIT,
1734 typedef struct gfc_code
1738 struct gfc_code *block, *next;
1741 gfc_st_label *here, *label, *label2, *label3;
1742 gfc_symtree *symtree;
1743 gfc_expr *expr, *expr2;
1744 /* A name isn't sufficient to identify a subroutine, we need the actual
1745 symbol for the interface definition.
1746 const char *sub_name; */
1747 gfc_symbol *resolved_sym;
1751 gfc_actual_arglist *actual;
1752 gfc_case *case_list;
1753 gfc_iterator *iterator;
1754 gfc_alloc *alloc_list;
1757 gfc_filepos *filepos;
1758 gfc_inquire *inquire;
1760 gfc_forall_iterator *forall_iterator;
1761 struct gfc_code *whichloop;
1763 gfc_entry_list *entry;
1764 gfc_omp_clauses *omp_clauses;
1765 const char *omp_name;
1766 gfc_namelist *omp_namelist;
1769 ext; /* Points to additional structures required by statement */
1771 /* Backend_decl is used for cycle and break labels in do loops, and
1772 probably for other constructs as well, once we translate them. */
1778 /* Storage for DATA statements. */
1779 typedef struct gfc_data_variable
1783 struct gfc_data_variable *list, *next;
1788 typedef struct gfc_data_value
1790 unsigned int repeat;
1792 struct gfc_data_value *next;
1797 typedef struct gfc_data
1799 gfc_data_variable *var;
1800 gfc_data_value *value;
1803 struct gfc_data *next;
1807 #define gfc_get_data_variable() gfc_getmem(sizeof(gfc_data_variable))
1808 #define gfc_get_data_value() gfc_getmem(sizeof(gfc_data_value))
1809 #define gfc_get_data() gfc_getmem(sizeof(gfc_data))
1812 /* Structure for holding compile options */
1816 gfc_source_form source_form;
1817 /* Maximum line lengths in fixed- and free-form source, respectively.
1818 When fixed_line_length or free_line_length are 0, the whole line is used,
1819 regardless of length.
1821 If the user requests a fixed_line_length <7 then gfc_init_options()
1822 emits a fatal error. */
1823 int fixed_line_length;
1824 int free_line_length;
1825 /* Maximum number of continuation lines in fixed- and free-form source,
1827 int max_continue_fixed;
1828 int max_continue_free;
1829 int max_identifier_length;
1834 int warn_conversion;
1835 int warn_implicit_interface;
1836 int warn_line_truncation;
1837 int warn_surprising;
1840 int warn_character_truncation;
1843 int flag_all_intrinsics;
1844 int flag_default_double;
1845 int flag_default_integer;
1846 int flag_default_real;
1848 int flag_underscoring;
1849 int flag_second_underscore;
1850 int flag_implicit_none;
1851 int flag_max_stack_var_size;
1852 int flag_range_check;
1853 int flag_pack_derived;
1854 int flag_repack_arrays;
1855 int flag_preprocessed;
1860 int flag_allow_leading_underscore;
1862 int flag_external_blas;
1863 int blas_matmul_limit;
1864 int flag_cray_pointer;
1873 int warn_nonstd_intrinsics;
1877 int max_subrecord_length;
1881 extern gfc_option_t gfc_option;
1883 /* Constructor nodes for array and structure constructors. */
1884 typedef struct gfc_constructor
1887 gfc_iterator *iterator;
1889 struct gfc_constructor *next;
1892 mpz_t offset; /* Record the offset of array element which appears in
1893 data statement like "data a(5)/4/". */
1894 gfc_component *component; /* Record the component being initialized. */
1897 mpz_t repeat; /* Record the repeat number of initial values in data
1898 statement like "data a/5*10/". */
1903 typedef struct iterator_stack
1905 gfc_symtree *variable;
1907 struct iterator_stack *prev;
1910 extern iterator_stack *iter_stack;
1912 /************************ Function prototypes *************************/
1915 void gfc_formalize_init_value (gfc_symbol *);
1916 void gfc_get_section_index (gfc_array_ref *, mpz_t *, mpz_t *);
1917 try gfc_assign_data_value (gfc_expr *, gfc_expr *, mpz_t);
1918 void gfc_assign_data_value_range (gfc_expr *, gfc_expr *, mpz_t, mpz_t);
1919 void gfc_advance_section (mpz_t *, gfc_array_ref *, mpz_t *);
1922 bool gfc_in_match_data (void);
1923 void gfc_set_in_match_data (bool);
1926 void gfc_scanner_done_1 (void);
1927 void gfc_scanner_init_1 (void);
1929 void gfc_add_include_path (const char *, bool);
1930 void gfc_add_intrinsic_modules_path (const char *);
1931 void gfc_release_include_path (void);
1932 FILE *gfc_open_included_file (const char *, bool, bool);
1933 FILE *gfc_open_intrinsic_module (const char *);
1935 int gfc_at_end (void);
1936 int gfc_at_eof (void);
1937 int gfc_at_bol (void);
1938 int gfc_at_eol (void);
1939 void gfc_advance_line (void);
1940 int gfc_check_include (void);
1942 void gfc_skip_comments (void);
1943 int gfc_next_char_literal (int);
1944 int gfc_next_char (void);
1945 int gfc_peek_char (void);
1946 void gfc_error_recovery (void);
1947 void gfc_gobble_whitespace (void);
1948 try gfc_new_file (void);
1949 const char * gfc_read_orig_filename (const char *, const char **);
1951 extern gfc_source_form gfc_current_form;
1952 extern const char *gfc_source_file;
1953 extern locus gfc_current_locus;
1956 void *gfc_getmem (size_t) ATTRIBUTE_MALLOC;
1957 void gfc_free (void *);
1958 int gfc_terminal_width (void);
1959 void gfc_clear_ts (gfc_typespec *);
1960 FILE *gfc_open_file (const char *);
1961 const char *gfc_basic_typename (bt);
1962 const char *gfc_typename (gfc_typespec *);
1964 #define gfc_op2string(OP) (OP == INTRINSIC_ASSIGN ? \
1965 "=" : gfc_code2string (intrinsic_operators, OP))
1967 const char *gfc_code2string (const mstring *, int);
1968 int gfc_string2code (const mstring *, const char *);
1969 const char *gfc_intent_string (sym_intent);
1971 void gfc_init_1 (void);
1972 void gfc_init_2 (void);
1973 void gfc_done_1 (void);
1974 void gfc_done_2 (void);
1976 int get_c_kind (const char *, CInteropKind_t *);
1979 unsigned int gfc_init_options (unsigned int, const char **);
1980 int gfc_handle_option (size_t, const char *, int);
1981 bool gfc_post_options (const char **);
1984 const char * gfc_get_string (const char *, ...) ATTRIBUTE_PRINTF_1;
1988 typedef struct gfc_error_buf
1991 size_t allocated, index;
1995 void gfc_error_init_1 (void);
1996 void gfc_buffer_error (int);
1998 void gfc_warning (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
1999 void gfc_warning_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2000 void gfc_clear_warning (void);
2001 void gfc_warning_check (void);
2003 void gfc_error (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2004 void gfc_error_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2005 void gfc_fatal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2);
2006 void gfc_internal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2);
2007 void gfc_clear_error (void);
2008 int gfc_error_check (void);
2009 int gfc_error_flag_test (void);
2011 notification gfc_notification_std (int);
2012 try gfc_notify_std (int, const char *, ...) ATTRIBUTE_GCC_GFC(2,3);
2014 /* A general purpose syntax error. */
2015 #define gfc_syntax_error(ST) \
2016 gfc_error ("Syntax error in %s statement at %C", gfc_ascii_statement (ST));
2018 void gfc_push_error (gfc_error_buf *);
2019 void gfc_pop_error (gfc_error_buf *);
2020 void gfc_free_error (gfc_error_buf *);
2022 void gfc_status (const char *, ...) ATTRIBUTE_PRINTF_1;
2023 void gfc_status_char (char);
2025 void gfc_get_errors (int *, int *);
2028 void gfc_arith_init_1 (void);
2029 void gfc_arith_done_1 (void);
2030 gfc_expr *gfc_enum_initializer (gfc_expr *, locus);
2031 arith gfc_check_integer_range (mpz_t p, int kind);
2034 try gfc_validate_c_kind (gfc_typespec *);
2035 try gfc_check_any_c_kind (gfc_typespec *);
2036 int gfc_validate_kind (bt, int, bool);
2037 extern int gfc_index_integer_kind;
2038 extern int gfc_default_integer_kind;
2039 extern int gfc_max_integer_kind;
2040 extern int gfc_default_real_kind;
2041 extern int gfc_default_double_kind;
2042 extern int gfc_default_character_kind;
2043 extern int gfc_default_logical_kind;
2044 extern int gfc_default_complex_kind;
2045 extern int gfc_c_int_kind;
2046 extern int gfc_intio_kind;
2047 extern int gfc_charlen_int_kind;
2048 extern int gfc_numeric_storage_size;
2049 extern int gfc_character_storage_size;
2052 void gfc_clear_new_implicit (void);
2053 try gfc_add_new_implicit_range (int, int);
2054 try gfc_merge_new_implicit (gfc_typespec *);
2055 void gfc_set_implicit_none (void);
2056 void gfc_check_function_type (gfc_namespace *);
2058 gfc_typespec *gfc_get_default_type (gfc_symbol *, gfc_namespace *);
2059 try gfc_set_default_type (gfc_symbol *, int, gfc_namespace *);
2061 void gfc_set_component_attr (gfc_component *, symbol_attribute *);
2062 void gfc_get_component_attr (symbol_attribute *, gfc_component *);
2064 void gfc_set_sym_referenced (gfc_symbol *);
2066 try gfc_add_attribute (symbol_attribute *, locus *);
2067 try gfc_add_allocatable (symbol_attribute *, locus *);
2068 try gfc_add_dimension (symbol_attribute *, const char *, locus *);
2069 try gfc_add_external (symbol_attribute *, locus *);
2070 try gfc_add_intrinsic (symbol_attribute *, locus *);
2071 try gfc_add_optional (symbol_attribute *, locus *);
2072 try gfc_add_pointer (symbol_attribute *, locus *);
2073 try gfc_add_cray_pointer (symbol_attribute *, locus *);
2074 try gfc_add_cray_pointee (symbol_attribute *, locus *);
2075 try gfc_mod_pointee_as (gfc_array_spec *);
2076 try gfc_add_protected (symbol_attribute *, const char *, locus *);
2077 try gfc_add_result (symbol_attribute *, const char *, locus *);
2078 try gfc_add_save (symbol_attribute *, const char *, locus *);
2079 try gfc_add_threadprivate (symbol_attribute *, const char *, locus *);
2080 try gfc_add_saved_common (symbol_attribute *, locus *);
2081 try gfc_add_target (symbol_attribute *, locus *);
2082 try gfc_add_dummy (symbol_attribute *, const char *, locus *);
2083 try gfc_add_generic (symbol_attribute *, const char *, locus *);
2084 try gfc_add_common (symbol_attribute *, locus *);
2085 try gfc_add_in_common (symbol_attribute *, const char *, locus *);
2086 try gfc_add_in_equivalence (symbol_attribute *, const char *, locus *);
2087 try gfc_add_data (symbol_attribute *, const char *, locus *);
2088 try gfc_add_in_namelist (symbol_attribute *, const char *, locus *);
2089 try gfc_add_sequence (symbol_attribute *, const char *, locus *);
2090 try gfc_add_elemental (symbol_attribute *, locus *);
2091 try gfc_add_pure (symbol_attribute *, locus *);
2092 try gfc_add_recursive (symbol_attribute *, locus *);
2093 try gfc_add_function (symbol_attribute *, const char *, locus *);
2094 try gfc_add_subroutine (symbol_attribute *, const char *, locus *);
2095 try gfc_add_volatile (symbol_attribute *, const char *, locus *);
2097 try gfc_add_access (symbol_attribute *, gfc_access, const char *, locus *);
2098 try gfc_add_is_bind_c(symbol_attribute *, const char *, locus *, int);
2099 try gfc_add_value (symbol_attribute *, const char *, locus *);
2100 try gfc_add_flavor (symbol_attribute *, sym_flavor, const char *, locus *);
2101 try gfc_add_entry (symbol_attribute *, const char *, locus *);
2102 try gfc_add_procedure (symbol_attribute *, procedure_type,
2103 const char *, locus *);
2104 try gfc_add_intent (symbol_attribute *, sym_intent, locus *);
2105 try gfc_add_explicit_interface (gfc_symbol *, ifsrc,
2106 gfc_formal_arglist *, locus *);
2107 try gfc_add_type (gfc_symbol *, gfc_typespec *, locus *);
2109 void gfc_clear_attr (symbol_attribute *);
2110 try gfc_missing_attr (symbol_attribute *, locus *);
2111 try gfc_copy_attr (symbol_attribute *, symbol_attribute *, locus *);
2113 try gfc_add_component (gfc_symbol *, const char *, gfc_component **);
2114 gfc_symbol *gfc_use_derived (gfc_symbol *);
2115 gfc_symtree *gfc_use_derived_tree (gfc_symtree *);
2116 gfc_component *gfc_find_component (gfc_symbol *, const char *);
2118 gfc_st_label *gfc_get_st_label (int);
2119 void gfc_free_st_label (gfc_st_label *);
2120 void gfc_define_st_label (gfc_st_label *, gfc_sl_type, locus *);
2121 try gfc_reference_st_label (gfc_st_label *, gfc_sl_type);
2123 gfc_namespace *gfc_get_namespace (gfc_namespace *, int);
2124 gfc_symtree *gfc_new_symtree (gfc_symtree **, const char *);
2125 gfc_symtree *gfc_find_symtree (gfc_symtree *, const char *);
2126 gfc_user_op *gfc_get_uop (const char *);
2127 gfc_user_op *gfc_find_uop (const char *, gfc_namespace *);
2128 void gfc_free_symbol (gfc_symbol *);
2129 gfc_symbol *gfc_new_symbol (const char *, gfc_namespace *);
2130 int gfc_find_symbol (const char *, gfc_namespace *, int, gfc_symbol **);
2131 int gfc_find_sym_tree (const char *, gfc_namespace *, int, gfc_symtree **);
2132 int gfc_get_symbol (const char *, gfc_namespace *, gfc_symbol **);
2133 try verify_c_interop (gfc_typespec *, const char *name, locus *where);
2134 try verify_c_interop_param (gfc_symbol *);
2135 try verify_bind_c_sym (gfc_symbol *, gfc_typespec *, int, gfc_common_head *);
2136 try verify_bind_c_derived_type (gfc_symbol *);
2137 try verify_com_block_vars_c_interop (gfc_common_head *);
2138 void generate_isocbinding_symbol (const char *, iso_c_binding_symbol, char *);
2139 gfc_symbol *get_iso_c_sym (gfc_symbol *, char *, char *, int);
2140 int gfc_get_sym_tree (const char *, gfc_namespace *, gfc_symtree **);
2141 int gfc_get_ha_symbol (const char *, gfc_symbol **);
2142 int gfc_get_ha_sym_tree (const char *, gfc_symtree **);
2144 int gfc_symbols_could_alias (gfc_symbol *, gfc_symbol *);
2146 void gfc_undo_symbols (void);
2147 void gfc_commit_symbols (void);
2148 void gfc_commit_symbol (gfc_symbol *);
2149 void gfc_free_namespace (gfc_namespace *);
2151 void gfc_symbol_init_2 (void);
2152 void gfc_symbol_done_2 (void);
2154 void gfc_traverse_symtree (gfc_symtree *, void (*)(gfc_symtree *));
2155 void gfc_traverse_ns (gfc_namespace *, void (*)(gfc_symbol *));
2156 void gfc_traverse_user_op (gfc_namespace *, void (*)(gfc_user_op *));
2157 void gfc_save_all (gfc_namespace *);
2159 void gfc_symbol_state (void);
2161 gfc_gsymbol *gfc_get_gsymbol (const char *);
2162 gfc_gsymbol *gfc_find_gsymbol (gfc_gsymbol *, const char *);
2165 extern int gfc_init_expr;
2167 /* Given a symbol that we have decided is intrinsic, mark it as such
2168 by placing it into a special module that is otherwise impossible to
2171 #define gfc_intrinsic_symbol(SYM) SYM->module = gfc_get_string ("(intrinsic)")
2173 void gfc_intrinsic_init_1 (void);
2174 void gfc_intrinsic_done_1 (void);
2176 char gfc_type_letter (bt);
2177 gfc_symbol * gfc_get_intrinsic_sub_symbol (const char *);
2178 try gfc_convert_type (gfc_expr *, gfc_typespec *, int);
2179 try gfc_convert_type_warn (gfc_expr *, gfc_typespec *, int, int);
2180 int gfc_generic_intrinsic (const char *);
2181 int gfc_specific_intrinsic (const char *);
2182 int gfc_intrinsic_name (const char *, int);
2183 int gfc_intrinsic_actual_ok (const char *, const bool);
2184 gfc_intrinsic_sym *gfc_find_function (const char *);
2185 gfc_intrinsic_sym *gfc_find_subroutine (const char *);
2187 match gfc_intrinsic_func_interface (gfc_expr *, int);
2188 match gfc_intrinsic_sub_interface (gfc_code *, int);
2190 /* match.c -- FIXME */
2191 void gfc_free_iterator (gfc_iterator *, int);
2192 void gfc_free_forall_iterator (gfc_forall_iterator *);
2193 void gfc_free_alloc_list (gfc_alloc *);
2194 void gfc_free_namelist (gfc_namelist *);
2195 void gfc_free_equiv (gfc_equiv *);
2196 void gfc_free_data (gfc_data *);
2197 void gfc_free_case_list (gfc_case *);
2199 /* matchexp.c -- FIXME too? */
2200 gfc_expr *gfc_get_parentheses (gfc_expr *);
2203 void gfc_free_omp_clauses (gfc_omp_clauses *);
2204 void gfc_resolve_omp_directive (gfc_code *, gfc_namespace *);
2205 void gfc_resolve_do_iterator (gfc_code *, gfc_symbol *);
2206 void gfc_resolve_omp_parallel_blocks (gfc_code *, gfc_namespace *);
2207 void gfc_resolve_omp_do_blocks (gfc_code *, gfc_namespace *);
2210 void gfc_free_actual_arglist (gfc_actual_arglist *);
2211 gfc_actual_arglist *gfc_copy_actual_arglist (gfc_actual_arglist *);
2212 const char *gfc_extract_int (gfc_expr *, int *);
2213 gfc_expr *gfc_expr_to_initialize (gfc_expr *);
2215 gfc_expr *gfc_build_conversion (gfc_expr *);
2216 void gfc_free_ref_list (gfc_ref *);
2217 void gfc_type_convert_binary (gfc_expr *);
2218 int gfc_is_constant_expr (gfc_expr *);
2219 try gfc_simplify_expr (gfc_expr *, int);
2220 int gfc_has_vector_index (gfc_expr *);
2222 gfc_expr *gfc_get_expr (void);
2223 void gfc_free_expr (gfc_expr *);
2224 void gfc_replace_expr (gfc_expr *, gfc_expr *);
2225 gfc_expr *gfc_int_expr (int);
2226 gfc_expr *gfc_logical_expr (int, locus *);
2227 mpz_t *gfc_copy_shape (mpz_t *, int);
2228 mpz_t *gfc_copy_shape_excluding (mpz_t *, int, gfc_expr *);
2229 gfc_expr *gfc_copy_expr (gfc_expr *);
2231 try gfc_specification_expr (gfc_expr *);
2233 int gfc_numeric_ts (gfc_typespec *);
2234 int gfc_kind_max (gfc_expr *, gfc_expr *);
2236 try gfc_check_conformance (const char *, gfc_expr *, gfc_expr *);
2237 try gfc_check_assign (gfc_expr *, gfc_expr *, int);
2238 try gfc_check_pointer_assign (gfc_expr *, gfc_expr *);
2239 try gfc_check_assign_symbol (gfc_symbol *, gfc_expr *);
2241 gfc_expr *gfc_default_initializer (gfc_typespec *);
2242 gfc_expr *gfc_get_variable_expr (gfc_symtree *);
2244 void gfc_expr_set_symbols_referenced (gfc_expr *);
2247 extern gfc_code new_st;
2249 void gfc_clear_new_st (void);
2250 gfc_code *gfc_get_code (void);
2251 gfc_code *gfc_append_code (gfc_code *, gfc_code *);
2252 void gfc_free_statement (gfc_code *);
2253 void gfc_free_statements (gfc_code *);
2256 try gfc_resolve_expr (gfc_expr *);
2257 void gfc_resolve (gfc_namespace *);
2258 void gfc_resolve_blocks (gfc_code *, gfc_namespace *);
2259 int gfc_impure_variable (gfc_symbol *);
2260 int gfc_pure (gfc_symbol *);
2261 int gfc_elemental (gfc_symbol *);
2262 try gfc_resolve_iterator (gfc_iterator *, bool);
2263 try gfc_resolve_index (gfc_expr *, int);
2264 try gfc_resolve_dim_arg (gfc_expr *);
2265 int gfc_is_formal_arg (void);
2266 match gfc_iso_c_sub_interface(gfc_code *, gfc_symbol *);
2270 void gfc_free_array_spec (gfc_array_spec *);
2271 gfc_array_ref *gfc_copy_array_ref (gfc_array_ref *);
2273 try gfc_set_array_spec (gfc_symbol *, gfc_array_spec *, locus *);
2274 gfc_array_spec *gfc_copy_array_spec (gfc_array_spec *);
2275 try gfc_resolve_array_spec (gfc_array_spec *, int);
2277 int gfc_compare_array_spec (gfc_array_spec *, gfc_array_spec *);
2279 gfc_expr *gfc_start_constructor (bt, int, locus *);
2280 void gfc_append_constructor (gfc_expr *, gfc_expr *);
2281 void gfc_free_constructor (gfc_constructor *);
2282 void gfc_simplify_iterator_var (gfc_expr *);
2283 try gfc_expand_constructor (gfc_expr *);
2284 int gfc_constant_ac (gfc_expr *);
2285 int gfc_expanded_ac (gfc_expr *);
2286 void gfc_resolve_character_array_constructor (gfc_expr *);
2287 try gfc_resolve_array_constructor (gfc_expr *);
2288 try gfc_check_constructor_type (gfc_expr *);
2289 try gfc_check_iter_variable (gfc_expr *);
2290 try gfc_check_constructor (gfc_expr *, try (*)(gfc_expr *));
2291 gfc_constructor *gfc_copy_constructor (gfc_constructor *);
2292 gfc_expr *gfc_get_array_element (gfc_expr *, int);
2293 try gfc_array_size (gfc_expr *, mpz_t *);
2294 try gfc_array_dimen_size (gfc_expr *, int, mpz_t *);
2295 try gfc_array_ref_shape (gfc_array_ref *, mpz_t *);
2296 gfc_array_ref *gfc_find_array_ref (gfc_expr *);
2297 void gfc_insert_constructor (gfc_expr *, gfc_constructor *);
2298 gfc_constructor *gfc_get_constructor (void);
2299 tree gfc_conv_array_initializer (tree type, gfc_expr *);
2300 try spec_size (gfc_array_spec *, mpz_t *);
2301 try spec_dimen_size (gfc_array_spec *, int, mpz_t *);
2302 int gfc_is_compile_time_shape (gfc_array_spec *);
2304 /* interface.c -- FIXME: some of these should be in symbol.c */
2305 void gfc_free_interface (gfc_interface *);
2306 int gfc_compare_derived_types (gfc_symbol *, gfc_symbol *);
2307 int gfc_compare_types (gfc_typespec *, gfc_typespec *);
2308 void gfc_check_interfaces (gfc_namespace *);
2309 void gfc_procedure_use (gfc_symbol *, gfc_actual_arglist **, locus *);
2310 gfc_symbol *gfc_search_interface (gfc_interface *, int,
2311 gfc_actual_arglist **);
2312 try gfc_extend_expr (gfc_expr *);
2313 void gfc_free_formal_arglist (gfc_formal_arglist *);
2314 try gfc_extend_assign (gfc_code *, gfc_namespace *);
2315 try gfc_add_interface (gfc_symbol *);
2318 extern gfc_st_label format_asterisk;
2320 void gfc_free_open (gfc_open *);
2321 try gfc_resolve_open (gfc_open *);
2322 void gfc_free_close (gfc_close *);
2323 try gfc_resolve_close (gfc_close *);
2324 void gfc_free_filepos (gfc_filepos *);
2325 try gfc_resolve_filepos (gfc_filepos *);
2326 void gfc_free_inquire (gfc_inquire *);
2327 try gfc_resolve_inquire (gfc_inquire *);
2328 void gfc_free_dt (gfc_dt *);
2329 try gfc_resolve_dt (gfc_dt *);
2332 void gfc_module_init_2 (void);
2333 void gfc_module_done_2 (void);
2334 void gfc_dump_module (const char *, int);
2335 bool gfc_check_access (gfc_access, gfc_access);
2338 symbol_attribute gfc_variable_attr (gfc_expr *, gfc_typespec *);
2339 symbol_attribute gfc_expr_attr (gfc_expr *);
2340 match gfc_match_rvalue (gfc_expr **);
2343 void gfc_generate_code (gfc_namespace *);
2344 void gfc_generate_module_code (gfc_namespace *);
2347 typedef int (*compare_fn) (void *, void *);
2348 void gfc_insert_bbt (void *, void *, compare_fn);
2349 void gfc_delete_bbt (void *, void *, compare_fn);
2351 /* dump-parse-tree.c */
2352 void gfc_show_actual_arglist (gfc_actual_arglist *);
2353 void gfc_show_array_ref (gfc_array_ref *);
2354 void gfc_show_array_spec (gfc_array_spec *);
2355 void gfc_show_attr (symbol_attribute *);
2356 void gfc_show_code (int, gfc_code *);
2357 void gfc_show_components (gfc_symbol *);
2358 void gfc_show_constructor (gfc_constructor *);
2359 void gfc_show_equiv (gfc_equiv *);
2360 void gfc_show_expr (gfc_expr *);
2361 void gfc_show_namelist (gfc_namelist *);
2362 void gfc_show_namespace (gfc_namespace *);
2363 void gfc_show_ref (gfc_ref *);
2364 void gfc_show_symbol (gfc_symbol *);
2365 void gfc_show_typespec (gfc_typespec *);
2368 try gfc_parse_file (void);
2369 void global_used (gfc_gsymbol *, locus *);
2372 int gfc_dep_compare_expr (gfc_expr *, gfc_expr *);
2374 #endif /* GCC_GFORTRAN_H */