1 /* gfortran header file
2 Copyright (C) 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008
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 3, 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 COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
22 #ifndef GCC_GFORTRAN_H
23 #define GCC_GFORTRAN_H
25 /* It's probably insane to have this large of a header file, but it
26 seemed like everything had to be recompiled anyway when a change
27 was made to a header file, and there were ordering issues with
28 multiple header files. Besides, Microsoft's winnt.h was 250k last
29 time I looked, so by comparison this is perfectly reasonable. */
31 /* Declarations common to the front-end and library are put in
32 libgfortran/libgfortran_frontend.h */
33 #include "libgfortran.h"
38 #include "coretypes.h"
40 #include "splay-tree.h"
41 /* The following ifdefs are recommended by the autoconf documentation
42 for any code using alloca. */
44 /* AIX requires this to be the first thing in the file. */
46 #else /* not __GNUC__ */
49 #else /* do not HAVE_ALLOCA_H */
53 #ifndef alloca /* predefined by HP cc +Olibcalls */
55 #endif /* not predefined */
57 #endif /* do not HAVE_ALLOCA_H */
58 #endif /* not __GNUC__ */
60 /* Major control parameters. */
62 #define GFC_MAX_SYMBOL_LEN 63 /* Must be at least 63 for F2003. */
63 #define GFC_MAX_BINDING_LABEL_LEN 126 /* (2 * GFC_MAX_SYMBOL_LEN) */
64 #define GFC_MAX_LINE 132 /* Characters beyond this are not seen. */
65 #define GFC_LETTERS 26 /* Number of letters in the alphabet. */
67 #define MAX_SUBRECORD_LENGTH 2147483639 /* 2**31-9 */
70 #define free(x) Use_gfc_free_instead_of_free()
71 #define gfc_is_whitespace(c) ((c==' ') || (c=='\t'))
74 #define NULL ((void *) 0)
78 #define stringize(x) expand_macro(x)
79 #define expand_macro(x) # x
81 /* For a the runtime library, a standard prefix is a requirement to
82 avoid cluttering the namespace with things nobody asked for. It's
83 ugly to look at and a pain to type when you add the prefix by hand,
84 so we hide it behind a macro. */
85 #define PREFIX(x) "_gfortran_" x
88 #define BLANK_COMMON_NAME "__BLNK__"
90 /* Macro to initialize an mstring structure. */
91 #define minit(s, t) { s, NULL, t }
93 /* Structure for storing strings to be matched by gfc_match_string. */
104 /*************************** Enums *****************************/
106 /* Used when matching and resolving data I/O transfer statements. */
109 { M_READ, M_WRITE, M_PRINT, M_INQUIRE }
112 /* The author remains confused to this day about the convention of
113 returning '0' for 'SUCCESS'... or was it the other way around? The
114 following enum makes things much more readable. We also start
115 values off at one instead of zero. */
118 { SUCCESS = 1, FAILURE }
121 /* This is returned by gfc_notification_std to know if, given the flags
122 that were given (-std=, -pedantic) we should issue an error, a warning
126 { SILENT, WARNING, ERROR }
129 /* Matchers return one of these three values. The difference between
130 MATCH_NO and MATCH_ERROR is that MATCH_ERROR means that a match was
131 successful, but that something non-syntactic is wrong and an error
132 has already been issued. */
135 { MATCH_NO = 1, MATCH_YES, MATCH_ERROR }
139 { FORM_FREE, FORM_FIXED, FORM_UNKNOWN }
142 /* Basic types. BT_VOID is used by ISO C Binding so funcs like c_f_pointer
143 can take any arg with the pointer attribute as a param. */
145 { BT_UNKNOWN = 1, BT_INTEGER, BT_REAL, BT_COMPLEX,
146 BT_LOGICAL, BT_CHARACTER, BT_DERIVED, BT_PROCEDURE, BT_HOLLERITH,
151 /* Expression node types. */
153 { EXPR_OP = 1, EXPR_FUNCTION, EXPR_CONSTANT, EXPR_VARIABLE,
154 EXPR_SUBSTRING, EXPR_STRUCTURE, EXPR_ARRAY, EXPR_NULL
160 { AS_EXPLICIT = 1, AS_ASSUMED_SHAPE, AS_DEFERRED,
161 AS_ASSUMED_SIZE, AS_UNKNOWN
166 { AR_FULL = 1, AR_ELEMENT, AR_SECTION, AR_UNKNOWN }
169 /* Statement label types. */
171 { ST_LABEL_UNKNOWN = 1, ST_LABEL_TARGET,
172 ST_LABEL_BAD_TARGET, ST_LABEL_FORMAT
176 /* Intrinsic operators. */
178 { GFC_INTRINSIC_BEGIN = 0,
179 INTRINSIC_NONE = -1, INTRINSIC_UPLUS = GFC_INTRINSIC_BEGIN,
180 INTRINSIC_UMINUS, INTRINSIC_PLUS, INTRINSIC_MINUS, INTRINSIC_TIMES,
181 INTRINSIC_DIVIDE, INTRINSIC_POWER, INTRINSIC_CONCAT,
182 INTRINSIC_AND, INTRINSIC_OR, INTRINSIC_EQV, INTRINSIC_NEQV,
183 /* ==, /=, >, >=, <, <= */
184 INTRINSIC_EQ, INTRINSIC_NE, INTRINSIC_GT, INTRINSIC_GE,
185 INTRINSIC_LT, INTRINSIC_LE,
186 /* .EQ., .NE., .GT., .GE., .LT., .LE. (OS = Old-Style) */
187 INTRINSIC_EQ_OS, INTRINSIC_NE_OS, INTRINSIC_GT_OS, INTRINSIC_GE_OS,
188 INTRINSIC_LT_OS, INTRINSIC_LE_OS,
189 INTRINSIC_NOT, INTRINSIC_USER, INTRINSIC_ASSIGN,
190 INTRINSIC_PARENTHESES, GFC_INTRINSIC_END /* Sentinel */
195 /* This macro is the number of intrinsic operators that exist.
196 Assumptions are made about the numbering of the interface_op enums. */
197 #define GFC_INTRINSIC_OPS GFC_INTRINSIC_END
199 /* Arithmetic results. */
201 { ARITH_OK = 1, ARITH_OVERFLOW, ARITH_UNDERFLOW, ARITH_NAN,
202 ARITH_DIV0, ARITH_INCOMMENSURATE, ARITH_ASYMMETRIC
209 ST_ARITHMETIC_IF, ST_ALLOCATE, ST_ATTR_DECL, ST_BACKSPACE, ST_BLOCK_DATA,
210 ST_CALL, ST_CASE, ST_CLOSE, ST_COMMON, ST_CONTINUE, ST_CONTAINS, ST_CYCLE,
211 ST_DATA, ST_DATA_DECL, ST_DEALLOCATE, ST_DO, ST_ELSE, ST_ELSEIF,
212 ST_ELSEWHERE, ST_END_BLOCK_DATA, ST_ENDDO, ST_IMPLIED_ENDDO,
213 ST_END_FILE, ST_FLUSH, ST_END_FORALL, ST_END_FUNCTION, ST_ENDIF,
214 ST_END_INTERFACE, ST_END_MODULE, ST_END_PROGRAM, ST_END_SELECT,
215 ST_END_SUBROUTINE, ST_END_WHERE, ST_END_TYPE, ST_ENTRY, ST_EQUIVALENCE,
216 ST_EXIT, ST_FORALL, ST_FORALL_BLOCK, ST_FORMAT, ST_FUNCTION, ST_GOTO,
217 ST_IF_BLOCK, ST_IMPLICIT, ST_IMPLICIT_NONE, ST_IMPORT, ST_INQUIRE, ST_INTERFACE,
218 ST_PARAMETER, ST_MODULE, ST_MODULE_PROC, ST_NAMELIST, ST_NULLIFY, ST_OPEN,
219 ST_PAUSE, ST_PRIVATE, ST_PROGRAM, ST_PUBLIC, ST_READ, ST_RETURN, ST_REWIND,
220 ST_STOP, ST_SUBROUTINE, ST_TYPE, ST_USE, ST_WHERE_BLOCK, ST_WHERE, ST_WAIT,
221 ST_WRITE, ST_ASSIGNMENT, ST_POINTER_ASSIGNMENT, ST_SELECT_CASE, ST_SEQUENCE,
222 ST_SIMPLE_IF, ST_STATEMENT_FUNCTION, ST_DERIVED_DECL, ST_LABEL_ASSIGNMENT,
223 ST_ENUM, ST_ENUMERATOR, ST_END_ENUM,
224 ST_OMP_ATOMIC, ST_OMP_BARRIER, ST_OMP_CRITICAL, ST_OMP_END_CRITICAL,
225 ST_OMP_END_DO, ST_OMP_END_MASTER, ST_OMP_END_ORDERED, ST_OMP_END_PARALLEL,
226 ST_OMP_END_PARALLEL_DO, ST_OMP_END_PARALLEL_SECTIONS,
227 ST_OMP_END_PARALLEL_WORKSHARE, ST_OMP_END_SECTIONS, ST_OMP_END_SINGLE,
228 ST_OMP_END_WORKSHARE, ST_OMP_DO, ST_OMP_FLUSH, ST_OMP_MASTER, ST_OMP_ORDERED,
229 ST_OMP_PARALLEL, ST_OMP_PARALLEL_DO, ST_OMP_PARALLEL_SECTIONS,
230 ST_OMP_PARALLEL_WORKSHARE, ST_OMP_SECTIONS, ST_OMP_SECTION, ST_OMP_SINGLE,
231 ST_OMP_THREADPRIVATE, ST_OMP_WORKSHARE, ST_PROCEDURE,
232 ST_GET_FCN_CHARACTERISTICS, ST_NONE
237 /* Types of interfaces that we can have. Assignment interfaces are
238 considered to be intrinsic operators. */
241 INTERFACE_NAMELESS = 1, INTERFACE_GENERIC,
242 INTERFACE_INTRINSIC_OP, INTERFACE_USER_OP, INTERFACE_ABSTRACT
246 /* Symbol flavors: these are all mutually exclusive.
247 10 elements = 4 bits. */
248 typedef enum sym_flavor
250 FL_UNKNOWN = 0, FL_PROGRAM, FL_BLOCK_DATA, FL_MODULE, FL_VARIABLE,
251 FL_PARAMETER, FL_LABEL, FL_PROCEDURE, FL_DERIVED, FL_NAMELIST,
256 /* Procedure types. 7 elements = 3 bits. */
257 typedef enum procedure_type
258 { PROC_UNKNOWN, PROC_MODULE, PROC_INTERNAL, PROC_DUMMY,
259 PROC_INTRINSIC, PROC_ST_FUNCTION, PROC_EXTERNAL
264 typedef enum sym_intent
265 { INTENT_UNKNOWN = 0, INTENT_IN, INTENT_OUT, INTENT_INOUT
270 typedef enum gfc_access
271 { ACCESS_UNKNOWN = 0, ACCESS_PUBLIC, ACCESS_PRIVATE
275 /* Flags to keep track of where an interface came from.
276 4 elements = 2 bits. */
278 { IFSRC_UNKNOWN = 0, IFSRC_DECL, IFSRC_IFBODY, IFSRC_USAGE
282 /* Whether a SAVE attribute was set explicitly or implicitly. */
283 typedef enum save_state
284 { SAVE_NONE = 0, SAVE_EXPLICIT, SAVE_IMPLICIT
288 /* Strings for all symbol attributes. We use these for dumping the
289 parse tree, in error messages, and also when reading and writing
290 modules. In symbol.c. */
291 extern const mstring flavors[];
292 extern const mstring procedures[];
293 extern const mstring intents[];
294 extern const mstring access_types[];
295 extern const mstring ifsrc_types[];
296 extern const mstring save_status[];
298 /* Enumeration of all the generic intrinsic functions. Used by the
299 backend for identification of a function. */
303 /* GFC_ISYM_NONE is used for intrinsics which will never be seen by
304 the backend (eg. KIND). */
335 GFC_ISYM_COMMAND_ARGUMENT_COUNT,
345 GFC_ISYM_DATE_AND_TIME,
349 GFC_ISYM_DOT_PRODUCT,
356 GFC_ISYM_ERFC_SCALED,
377 GFC_ISYM_GET_COMMAND,
378 GFC_ISYM_GET_COMMAND_ARGUMENT,
381 GFC_ISYM_GET_ENVIRONMENT_VARIABLE,
407 GFC_ISYM_IS_IOSTAT_END,
408 GFC_ISYM_IS_IOSTAT_EOR,
438 GFC_ISYM_MAXEXPONENT,
445 GFC_ISYM_MINEXPONENT,
465 GFC_ISYM_RANDOM_NUMBER,
466 GFC_ISYM_RANDOM_SEED,
479 GFC_ISYM_SET_EXPONENT,
499 GFC_ISYM_SYSTEM_CLOCK,
519 typedef enum gfc_isym_id gfc_isym_id;
524 GFC_INIT_REAL_OFF = 0,
528 GFC_INIT_REAL_NEG_INF
534 GFC_INIT_LOGICAL_OFF = 0,
535 GFC_INIT_LOGICAL_FALSE,
536 GFC_INIT_LOGICAL_TRUE
542 GFC_INIT_CHARACTER_OFF = 0,
543 GFC_INIT_CHARACTER_ON
545 init_local_character;
549 GFC_INIT_INTEGER_OFF = 0,
554 /************************* Structures *****************************/
556 /* Used for keeping things in balanced binary trees. */
557 #define BBT_HEADER(self) int priority; struct self *left, *right
559 #define NAMED_INTCST(a,b,c) a,
562 ISOFORTRANENV_INVALID = -1,
563 #include "iso-fortran-env.def"
564 ISOFORTRANENV_LAST, ISOFORTRANENV_NUMBER = ISOFORTRANENV_LAST
566 iso_fortran_env_symbol;
569 #define NAMED_INTCST(a,b,c) a,
570 #define NAMED_REALCST(a,b,c) a,
571 #define NAMED_CMPXCST(a,b,c) a,
572 #define NAMED_LOGCST(a,b,c) a,
573 #define NAMED_CHARKNDCST(a,b,c) a,
574 #define NAMED_CHARCST(a,b,c) a,
575 #define DERIVED_TYPE(a,b,c) a,
576 #define PROCEDURE(a,b) a,
579 ISOCBINDING_INVALID = -1,
580 #include "iso-c-binding.def"
582 ISOCBINDING_NUMBER = ISOCBINDING_LAST
584 iso_c_binding_symbol;
589 #undef NAMED_CHARKNDCST
596 INTMOD_NONE = 0, INTMOD_ISO_FORTRAN_ENV, INTMOD_ISO_C_BINDING
602 char name[GFC_MAX_SYMBOL_LEN + 1];
603 int value; /* Used for both integer and character values. */
608 /* Array of structs, where the structs represent the C interop kinds.
609 The list will be implemented based on a hash of the kind name since
610 these could be accessed multiple times.
611 Declared in trans-types.c as a global, since it's in that file
612 that the list is initialized. */
613 extern CInteropKind_t c_interop_kinds_table[];
615 /* Symbol attribute structure. */
618 /* Variable attributes. */
619 unsigned allocatable:1, dimension:1, external:1, intrinsic:1,
620 optional:1, pointer:1, target:1, value:1, volatile_:1,
621 dummy:1, result:1, assign:1, threadprivate:1, not_always_present:1,
622 implied_index:1, subref_array_pointer:1;
624 ENUM_BITFIELD (save_state) save:2;
626 unsigned data:1, /* Symbol is named in a DATA statement. */
627 protected:1, /* Symbol has been marked as protected. */
628 use_assoc:1, /* Symbol has been use-associated. */
629 use_only:1, /* Symbol has been use-associated, with ONLY. */
630 use_rename:1, /* Symbol has been use-associated and renamed. */
631 imported:1; /* Symbol has been associated by IMPORT. */
633 unsigned in_namelist:1, in_common:1, in_equivalence:1;
634 unsigned function:1, subroutine:1, procedure:1;
635 unsigned generic:1, generic_copy:1;
636 unsigned implicit_type:1; /* Type defined via implicit rules. */
637 unsigned untyped:1; /* No implicit type could be found. */
639 unsigned is_bind_c:1; /* say if is bound to C */
641 /* These flags are both in the typespec and attribute. The attribute
642 list is what gets read from/written to a module file. The typespec
643 is created from a decl being processed. */
644 unsigned is_c_interop:1; /* It's c interoperable. */
645 unsigned is_iso_c:1; /* Symbol is from iso_c_binding. */
647 /* Function/subroutine attributes */
648 unsigned sequence:1, elemental:1, pure:1, recursive:1;
649 unsigned unmaskable:1, masked:1, contained:1, mod_proc:1, abstract:1;
651 /* This is set if the subroutine doesn't return. Currently, this
652 is only possible for intrinsic subroutines. */
655 /* Set if this procedure is an alternate entry point. These procedures
656 don't have any code associated, and the backend will turn them into
657 thunks to the master function. */
660 /* Set if this is the master function for a procedure with multiple
662 unsigned entry_master:1;
664 /* Set if this is the master function for a function with multiple
665 entry points where characteristics of the entry points differ. */
666 unsigned mixed_entry_master:1;
668 /* Set if a function must always be referenced by an explicit interface. */
669 unsigned always_explicit:1;
671 /* Set if the symbol has been referenced in an expression. No further
672 modification of type or type parameters is permitted. */
673 unsigned referenced:1;
675 /* Set if the symbol has ambiguous interfaces. */
676 unsigned ambiguous_interfaces:1;
678 /* Set if this is the symbol for the main program. */
679 unsigned is_main_program:1;
681 /* Mutually exclusive multibit attributes. */
682 ENUM_BITFIELD (gfc_access) access:2;
683 ENUM_BITFIELD (sym_intent) intent:2;
684 ENUM_BITFIELD (sym_flavor) flavor:4;
685 ENUM_BITFIELD (ifsrc) if_source:2;
687 ENUM_BITFIELD (procedure_type) proc:3;
689 /* Special attributes for Cray pointers, pointees. */
690 unsigned cray_pointer:1, cray_pointee:1;
692 /* The symbol is a derived type with allocatable components, pointer
693 components or private components, possibly nested. zer_comp
694 is true if the derived type has no component at all. */
695 unsigned alloc_comp:1, pointer_comp:1, private_comp:1, zero_comp:1;
697 /* The namespace where the VOLATILE attribute has been set. */
698 struct gfc_namespace *volatile_ns;
703 /* We need to store source lines as sequences of multibyte source
704 characters. We define here a type wide enough to hold any multibyte
705 source character, just like libcpp does. A 32-bit type is enough. */
707 #if HOST_BITS_PER_INT >= 32
708 typedef unsigned int gfc_char_t;
709 #elif HOST_BITS_PER_LONG >= 32
710 typedef unsigned long gfc_char_t;
711 #elif defined(HAVE_LONG_LONG) && (HOST_BITS_PER_LONGLONG >= 32)
712 typedef unsigned long long gfc_char_t;
714 # error "Cannot find an integer type with at least 32 bits"
718 /* The following three structures are used to identify a location in
721 gfc_file is used to maintain a tree of the source files and how
722 they include each other
724 gfc_linebuf holds a single line of source code and information
725 which file it resides in
727 locus point to the sourceline and the character in the source
731 typedef struct gfc_file
733 struct gfc_file *next, *up;
734 int inclusion_line, line;
738 typedef struct gfc_linebuf
740 source_location location;
741 struct gfc_file *file;
742 struct gfc_linebuf *next;
750 #define gfc_linebuf_header_size (offsetof (gfc_linebuf, line))
752 #define gfc_linebuf_linenum(LBUF) (LOCATION_LINE ((LBUF)->location))
760 /* In order for the "gfc" format checking to work correctly, you must
761 have declared a typedef locus first. */
762 #if GCC_VERSION >= 4001
763 #define ATTRIBUTE_GCC_GFC(m, n) __attribute__ ((__format__ (__gcc_gfc__, m, n))) ATTRIBUTE_NONNULL(m)
765 #define ATTRIBUTE_GCC_GFC(m, n) ATTRIBUTE_NONNULL(m)
769 extern int gfc_suppress_error;
772 /* Character length structures hold the expression that gives the
773 length of a character variable. We avoid putting these into
774 gfc_typespec because doing so prevents us from doing structure
775 copies and forces us to deallocate any typespecs we create, as well
776 as structures that contain typespecs. They also can have multiple
777 character typespecs pointing to them.
779 These structures form a singly linked list within the current
780 namespace and are deallocated with the namespace. It is possible to
781 end up with gfc_charlen structures that have nothing pointing to them. */
783 typedef struct gfc_charlen
785 struct gfc_expr *length;
786 struct gfc_charlen *next;
793 #define gfc_get_charlen() gfc_getmem(sizeof(gfc_charlen))
795 /* Type specification structure. FIXME: derived and cl could be union??? */
800 struct gfc_symbol *derived;
801 gfc_charlen *cl; /* For character types only. */
802 struct gfc_symbol *interface; /* For PROCEDURE declarations. */
809 /* Array specification. */
812 int rank; /* A rank of zero means that a variable is a scalar. */
814 struct gfc_expr *lower[GFC_MAX_DIMENSIONS], *upper[GFC_MAX_DIMENSIONS];
816 /* These two fields are used with the Cray Pointer extension. */
817 bool cray_pointee; /* True iff this spec belongs to a cray pointee. */
818 bool cp_was_assumed; /* AS_ASSUMED_SIZE cp arrays are converted to
819 AS_EXPLICIT, but we want to remember that we
825 #define gfc_get_array_spec() gfc_getmem(sizeof(gfc_array_spec))
828 /* Components of derived types. */
829 typedef struct gfc_component
834 int pointer, allocatable, dimension;
840 struct gfc_expr *initializer;
841 struct gfc_component *next;
845 #define gfc_get_component() gfc_getmem(sizeof(gfc_component))
847 /* Formal argument lists are lists of symbols. */
848 typedef struct gfc_formal_arglist
850 /* Symbol representing the argument at this position in the arglist. */
851 struct gfc_symbol *sym;
852 /* Points to the next formal argument. */
853 struct gfc_formal_arglist *next;
857 #define gfc_get_formal_arglist() gfc_getmem(sizeof(gfc_formal_arglist))
860 /* The gfc_actual_arglist structure is for actual arguments. */
861 typedef struct gfc_actual_arglist
864 /* Alternate return label when the expr member is null. */
865 struct gfc_st_label *label;
867 /* This is set to the type of an eventual omitted optional
868 argument. This is used to determine if a hidden string length
869 argument has to be added to a function call. */
872 struct gfc_expr *expr;
873 struct gfc_actual_arglist *next;
877 #define gfc_get_actual_arglist() gfc_getmem(sizeof(gfc_actual_arglist))
880 /* Because a symbol can belong to multiple namelists, they must be
881 linked externally to the symbol itself. */
882 typedef struct gfc_namelist
884 struct gfc_symbol *sym;
885 struct gfc_namelist *next;
889 #define gfc_get_namelist() gfc_getmem(sizeof(gfc_namelist))
894 OMP_LIST_FIRSTPRIVATE,
895 OMP_LIST_LASTPRIVATE,
896 OMP_LIST_COPYPRIVATE,
900 OMP_LIST_REDUCTION_FIRST = OMP_LIST_PLUS,
912 OMP_LIST_REDUCTION_LAST = OMP_LIST_IEOR,
916 /* Because a symbol can belong to multiple namelists, they must be
917 linked externally to the symbol itself. */
918 typedef struct gfc_omp_clauses
920 struct gfc_expr *if_expr;
921 struct gfc_expr *num_threads;
922 gfc_namelist *lists[OMP_LIST_NUM];
931 struct gfc_expr *chunk_size;
939 bool nowait, ordered;
943 #define gfc_get_omp_clauses() gfc_getmem(sizeof(gfc_omp_clauses))
946 /* The gfc_st_label structure is a doubly linked list attached to a
947 namespace that records the usage of statement labels within that
949 /* TODO: Make format/statement specifics a union. */
950 typedef struct gfc_st_label
952 BBT_HEADER(gfc_st_label);
956 gfc_sl_type defined, referenced;
958 struct gfc_expr *format;
967 /* gfc_interface()-- Interfaces are lists of symbols strung together. */
968 typedef struct gfc_interface
970 struct gfc_symbol *sym;
972 struct gfc_interface *next;
976 #define gfc_get_interface() gfc_getmem(sizeof(gfc_interface))
979 /* User operator nodes. These are like stripped down symbols. */
984 gfc_interface *operator;
985 struct gfc_namespace *ns;
990 /* Symbol nodes. These are important things. They are what the
991 standard refers to as "entities". The possibly multiple names that
992 refer to the same entity are accomplished by a binary tree of
993 symtree structures that is balanced by the red-black method-- more
994 than one symtree node can point to any given symbol. */
996 typedef struct gfc_symbol
998 const char *name; /* Primary name, before renaming */
999 const char *module; /* Module this symbol came from */
1003 symbol_attribute attr;
1005 /* The formal member points to the formal argument list if the
1006 symbol is a function or subroutine name. If the symbol is a
1007 generic name, the generic member points to the list of
1010 gfc_interface *generic;
1011 gfc_access component_access;
1013 gfc_formal_arglist *formal;
1014 struct gfc_namespace *formal_ns;
1016 struct gfc_expr *value; /* Parameter/Initializer value */
1018 struct gfc_symbol *result; /* function result symbol */
1019 gfc_component *components; /* Derived type components */
1021 /* Defined only for Cray pointees; points to their pointer. */
1022 struct gfc_symbol *cp_pointer;
1024 struct gfc_symbol *common_next; /* Links for COMMON syms */
1026 /* This is in fact a gfc_common_head but it is only used for pointer
1027 comparisons to check if symbols are in the same common block. */
1028 struct gfc_common_head* common_head;
1030 /* Make sure setup code for dummy arguments is generated in the correct
1036 gfc_namelist *namelist, *namelist_tail;
1038 /* Change management fields. Symbols that might be modified by the
1039 current statement have the mark member nonzero and are kept in a
1040 singly linked list through the tlink field. Of these symbols,
1041 symbols with old_symbol equal to NULL are symbols created within
1042 the current statement. Otherwise, old_symbol points to a copy of
1045 struct gfc_symbol *old_symbol, *tlink;
1046 unsigned mark:1, new:1;
1047 /* Nonzero if all equivalences associated with this symbol have been
1049 unsigned equiv_built:1;
1050 /* Set if this variable is used as an index name in a FORALL. */
1051 unsigned forall_index:1;
1053 struct gfc_namespace *ns; /* namespace containing this symbol */
1057 /* Identity of the intrinsic module the symbol comes from, or
1058 INTMOD_NONE if it's not imported from a intrinsic module. */
1059 intmod_id from_intmod;
1060 /* Identity of the symbol from intrinsic modules, from enums maintained
1061 separately by each intrinsic module. Used together with from_intmod,
1062 it uniquely identifies a symbol from an intrinsic module. */
1065 /* This may be repetitive, since the typespec now has a binding
1067 char binding_label[GFC_MAX_BINDING_LABEL_LEN + 1];
1068 /* Store a reference to the common_block, if this symbol is in one. */
1069 struct gfc_common_head *common_block;
1074 /* This structure is used to keep track of symbols in common blocks. */
1075 typedef struct gfc_common_head
1078 char use_assoc, saved, threadprivate;
1079 char name[GFC_MAX_SYMBOL_LEN + 1];
1080 struct gfc_symbol *head;
1081 char binding_label[GFC_MAX_BINDING_LABEL_LEN + 1];
1086 #define gfc_get_common_head() gfc_getmem(sizeof(gfc_common_head))
1089 /* A list of all the alternate entry points for a procedure. */
1091 typedef struct gfc_entry_list
1093 /* The symbol for this entry point. */
1095 /* The zero-based id of this entry point. */
1097 /* The LABEL_EXPR marking this entry point. */
1099 /* The nest item in the list. */
1100 struct gfc_entry_list *next;
1104 #define gfc_get_entry_list() \
1105 (gfc_entry_list *) gfc_getmem(sizeof(gfc_entry_list))
1107 /* Within a namespace, symbols are pointed to by symtree nodes that
1108 are linked together in a balanced binary tree. There can be
1109 several symtrees pointing to the same symbol node via USE
1112 typedef struct gfc_symtree
1114 BBT_HEADER (gfc_symtree);
1119 gfc_symbol *sym; /* Symbol associated with this node */
1121 gfc_common_head *common;
1128 /* A linked list of derived types in the namespace. */
1129 typedef struct gfc_dt_list
1131 struct gfc_symbol *derived;
1132 struct gfc_dt_list *next;
1136 #define gfc_get_dt_list() gfc_getmem(sizeof(gfc_dt_list))
1138 /* A list of all derived types. */
1139 extern gfc_dt_list *gfc_derived_types;
1141 /* A namespace describes the contents of procedure, module or
1143 /* ??? Anything else use these? */
1145 typedef struct gfc_namespace
1147 /* Tree containing all the symbols in this namespace. */
1148 gfc_symtree *sym_root;
1149 /* Tree containing all the user-defined operators in the namespace. */
1150 gfc_symtree *uop_root;
1151 /* Tree containing all the common blocks. */
1152 gfc_symtree *common_root;
1154 /* If set_flag[letter] is set, an implicit type has been set for letter. */
1155 int set_flag[GFC_LETTERS];
1156 /* Keeps track of the implicit types associated with the letters. */
1157 gfc_typespec default_type[GFC_LETTERS];
1159 /* If this is a namespace of a procedure, this points to the procedure. */
1160 struct gfc_symbol *proc_name;
1161 /* If this is the namespace of a unit which contains executable
1162 code, this points to it. */
1163 struct gfc_code *code;
1165 /* Points to the equivalences set up in this namespace. */
1166 struct gfc_equiv *equiv;
1168 /* Points to the equivalence groups produced by trans_common. */
1169 struct gfc_equiv_list *equiv_lists;
1171 gfc_interface *operator[GFC_INTRINSIC_OPS];
1173 /* Points to the parent namespace, i.e. the namespace of a module or
1174 procedure in which the procedure belonging to this namespace is
1175 contained. The parent namespace points to this namespace either
1176 directly via CONTAINED, or indirectly via the chain built by
1178 struct gfc_namespace *parent;
1179 /* CONTAINED points to the first contained namespace. Sibling
1180 namespaces are chained via SIBLING. */
1181 struct gfc_namespace *contained, *sibling;
1183 gfc_common_head blank_common;
1184 gfc_access default_access, operator_access[GFC_INTRINSIC_OPS];
1186 gfc_st_label *st_labels;
1187 /* This list holds information about all the data initializers in
1189 struct gfc_data *data;
1191 gfc_charlen *cl_list;
1193 int save_all, seen_save, seen_implicit_none;
1195 /* Normally we don't need to refcount namespaces. However when we read
1196 a module containing a function with multiple entry points, this
1197 will appear as several functions with the same formal namespace. */
1200 /* A list of all alternate entry points to this procedure (or NULL). */
1201 gfc_entry_list *entries;
1203 /* Set to 1 if namespace is a BLOCK DATA program unit. */
1206 /* Set to 1 if namespace is an interface body with "IMPORT" used. */
1211 extern gfc_namespace *gfc_current_ns;
1213 /* Global symbols are symbols of global scope. Currently we only use
1214 this to detect collisions already when parsing.
1215 TODO: Extend to verify procedure calls. */
1217 typedef struct gfc_gsymbol
1219 BBT_HEADER(gfc_gsymbol);
1222 const char *sym_name;
1223 const char *mod_name;
1224 const char *binding_label;
1225 enum { GSYM_UNKNOWN=1, GSYM_PROGRAM, GSYM_FUNCTION, GSYM_SUBROUTINE,
1226 GSYM_MODULE, GSYM_COMMON, GSYM_BLOCK_DATA } type;
1233 extern gfc_gsymbol *gfc_gsym_root;
1235 /* Information on interfaces being built. */
1238 interface_type type;
1242 gfc_intrinsic_op op;
1246 extern gfc_interface_info current_interface;
1249 /* Array reference. */
1250 typedef struct gfc_array_ref
1253 int dimen; /* # of components in the reference */
1257 locus c_where[GFC_MAX_DIMENSIONS]; /* All expressions can be NULL */
1258 struct gfc_expr *start[GFC_MAX_DIMENSIONS], *end[GFC_MAX_DIMENSIONS],
1259 *stride[GFC_MAX_DIMENSIONS];
1262 { DIMEN_ELEMENT = 1, DIMEN_RANGE, DIMEN_VECTOR, DIMEN_UNKNOWN }
1263 dimen_type[GFC_MAX_DIMENSIONS];
1265 struct gfc_expr *offset;
1269 #define gfc_get_array_ref() gfc_getmem(sizeof(gfc_array_ref))
1272 /* Component reference nodes. A variable is stored as an expression
1273 node that points to the base symbol. After that, a singly linked
1274 list of component reference nodes gives the variable's complete
1275 resolution. The array_ref component may be present and comes
1276 before the component component. */
1279 { REF_ARRAY, REF_COMPONENT, REF_SUBSTRING }
1282 typedef struct gfc_ref
1288 struct gfc_array_ref ar;
1292 gfc_component *component;
1299 struct gfc_expr *start, *end; /* Substring */
1300 gfc_charlen *length;
1307 struct gfc_ref *next;
1311 #define gfc_get_ref() gfc_getmem(sizeof(gfc_ref))
1314 /* Structures representing intrinsic symbols and their arguments lists. */
1315 typedef struct gfc_intrinsic_arg
1317 char name[GFC_MAX_SYMBOL_LEN + 1];
1321 gfc_actual_arglist *actual;
1323 struct gfc_intrinsic_arg *next;
1329 /* Specifies the various kinds of check functions used to verify the
1330 argument lists of intrinsic functions. fX with X an integer refer
1331 to check functions of intrinsics with X arguments. f1m is used for
1332 the MAX and MIN intrinsics which can have an arbitrary number of
1333 arguments, f3ml is used for the MINLOC and MAXLOC intrinsics as
1334 these have special semantics. */
1339 try (*f1)(struct gfc_expr *);
1340 try (*f1m)(gfc_actual_arglist *);
1341 try (*f2)(struct gfc_expr *, struct gfc_expr *);
1342 try (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1343 try (*f3ml)(gfc_actual_arglist *);
1344 try (*f3red)(gfc_actual_arglist *);
1345 try (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1347 try (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1348 struct gfc_expr *, struct gfc_expr *);
1352 /* Like gfc_check_f, these specify the type of the simplification
1353 function associated with an intrinsic. The fX are just like in
1354 gfc_check_f. cc is used for type conversion functions. */
1358 struct gfc_expr *(*f0)(void);
1359 struct gfc_expr *(*f1)(struct gfc_expr *);
1360 struct gfc_expr *(*f2)(struct gfc_expr *, struct gfc_expr *);
1361 struct gfc_expr *(*f3)(struct gfc_expr *, struct gfc_expr *,
1363 struct gfc_expr *(*f4)(struct gfc_expr *, struct gfc_expr *,
1364 struct gfc_expr *, struct gfc_expr *);
1365 struct gfc_expr *(*f5)(struct gfc_expr *, struct gfc_expr *,
1366 struct gfc_expr *, struct gfc_expr *,
1368 struct gfc_expr *(*cc)(struct gfc_expr *, bt, int);
1372 /* Again like gfc_check_f, these specify the type of the resolution
1373 function associated with an intrinsic. The fX are just like in
1374 gfc_check_f. f1m is used for MIN and MAX, s1 is used for abort(). */
1378 void (*f0)(struct gfc_expr *);
1379 void (*f1)(struct gfc_expr *, struct gfc_expr *);
1380 void (*f1m)(struct gfc_expr *, struct gfc_actual_arglist *);
1381 void (*f2)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1382 void (*f3)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1384 void (*f4)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1385 struct gfc_expr *, struct gfc_expr *);
1386 void (*f5)(struct gfc_expr *, struct gfc_expr *, struct gfc_expr *,
1387 struct gfc_expr *, struct gfc_expr *, struct gfc_expr *);
1388 void (*s1)(struct gfc_code *);
1393 typedef struct gfc_intrinsic_sym
1395 const char *name, *lib_name;
1396 gfc_intrinsic_arg *formal;
1398 unsigned elemental:1, inquiry:1, transformational:1, pure:1,
1399 generic:1, specific:1, actual_ok:1, noreturn:1, conversion:1;
1403 gfc_simplify_f simplify;
1405 gfc_resolve_f resolve;
1406 struct gfc_intrinsic_sym *specific_head, *next;
1413 /* Expression nodes. The expression node types deserve explanations,
1414 since the last couple can be easily misconstrued:
1416 EXPR_OP Operator node pointing to one or two other nodes
1417 EXPR_FUNCTION Function call, symbol points to function's name
1418 EXPR_CONSTANT A scalar constant: Logical, String, Real, Int or Complex
1419 EXPR_VARIABLE An Lvalue with a root symbol and possible reference list
1420 which expresses structure, array and substring refs.
1421 EXPR_NULL The NULL pointer value (which also has a basic type).
1422 EXPR_SUBSTRING A substring of a constant string
1423 EXPR_STRUCTURE A structure constructor
1424 EXPR_ARRAY An array constructor. */
1428 #define GFC_RND_MODE GMP_RNDN
1430 typedef struct gfc_expr
1434 gfc_typespec ts; /* These two refer to the overall expression */
1437 mpz_t *shape; /* Can be NULL if shape is unknown at compile time */
1439 /* Nonnull for functions and structure constructors */
1440 gfc_symtree *symtree;
1446 /* True if the expression is a call to a function that returns an array,
1447 and if we have decided not to allocate temporary data for that array. */
1448 unsigned int inline_noncopying_intrinsic : 1, is_boz : 1;
1450 /* Used to quickly find a given constructor by its offset. */
1451 splay_tree con_by_offset;
1453 /* If an expression comes from a Hollerith constant or compile-time
1454 evaluation of a transfer statement, it may have a prescribed target-
1455 memory representation, and these cannot always be backformed from
1482 gfc_intrinsic_op operator;
1484 struct gfc_expr *op1, *op2;
1490 gfc_actual_arglist *actual;
1491 const char *name; /* Points to the ultimate name of the function */
1492 gfc_intrinsic_sym *isym;
1504 struct gfc_constructor *constructor;
1512 #define gfc_get_shape(rank) ((mpz_t *) gfc_getmem((rank)*sizeof(mpz_t)))
1514 /* Structures for information associated with different kinds of
1515 numbers. The first set of integer parameters define all there is
1516 to know about a particular kind. The rest of the elements are
1517 computed from the first elements. */
1521 /* Values really representable by the target. */
1522 mpz_t huge, pedantic_min_int, min_int;
1524 int kind, radix, digits, bit_size, range;
1526 /* True if the C type of the given name maps to this precision.
1527 Note that more than one bit can be set. */
1528 unsigned int c_char : 1;
1529 unsigned int c_short : 1;
1530 unsigned int c_int : 1;
1531 unsigned int c_long : 1;
1532 unsigned int c_long_long : 1;
1536 extern gfc_integer_info gfc_integer_kinds[];
1543 /* True if the C++ type bool, C99 type _Bool, maps to this precision. */
1544 unsigned int c_bool : 1;
1548 extern gfc_logical_info gfc_logical_kinds[];
1553 mpfr_t epsilon, huge, tiny, subnormal;
1554 int kind, radix, digits, min_exponent, max_exponent;
1555 int range, precision;
1557 /* The precision of the type as reported by GET_MODE_PRECISION. */
1560 /* True if the C type of the given name maps to this precision.
1561 Note that more than one bit can be set. */
1562 unsigned int c_float : 1;
1563 unsigned int c_double : 1;
1564 unsigned int c_long_double : 1;
1568 extern gfc_real_info gfc_real_kinds[];
1571 /* Equivalence structures. Equivalent lvalues are linked along the
1572 *eq pointer, equivalence sets are strung along the *next node. */
1573 typedef struct gfc_equiv
1575 struct gfc_equiv *next, *eq;
1582 #define gfc_get_equiv() gfc_getmem(sizeof(gfc_equiv))
1584 /* Holds a single equivalence member after processing. */
1585 typedef struct gfc_equiv_info
1588 HOST_WIDE_INT offset;
1589 HOST_WIDE_INT length;
1590 struct gfc_equiv_info *next;
1593 /* Holds equivalence groups, after they have been processed. */
1594 typedef struct gfc_equiv_list
1596 gfc_equiv_info *equiv;
1597 struct gfc_equiv_list *next;
1600 /* gfc_case stores the selector list of a case statement. The *low
1601 and *high pointers can point to the same expression in the case of
1602 a single value. If *high is NULL, the selection is from *low
1603 upwards, if *low is NULL the selection is *high downwards.
1605 This structure has separate fields to allow single and double linked
1606 lists of CASEs at the same time. The singe linked list along the NEXT
1607 field is a list of cases for a single CASE label. The double linked
1608 list along the LEFT/RIGHT fields is used to detect overlap and to
1609 build a table of the cases for SELECT constructs with a CHARACTER
1612 typedef struct gfc_case
1614 /* Where we saw this case. */
1618 /* Case range values. If (low == high), it's a single value. If one of
1619 the labels is NULL, it's an unbounded case. If both are NULL, this
1620 represents the default case. */
1621 gfc_expr *low, *high;
1623 /* Next case label in the list of cases for a single CASE label. */
1624 struct gfc_case *next;
1626 /* Used for detecting overlap, and for code generation. */
1627 struct gfc_case *left, *right;
1629 /* True if this case label can never be matched. */
1634 #define gfc_get_case() gfc_getmem(sizeof(gfc_case))
1639 gfc_expr *var, *start, *end, *step;
1643 #define gfc_get_iterator() gfc_getmem(sizeof(gfc_iterator))
1646 /* Allocation structure for ALLOCATE, DEALLOCATE and NULLIFY statements. */
1648 typedef struct gfc_alloc
1651 struct gfc_alloc *next;
1655 #define gfc_get_alloc() gfc_getmem(sizeof(gfc_alloc))
1660 gfc_expr *unit, *file, *status, *access, *form, *recl,
1661 *blank, *position, *action, *delim, *pad, *iostat, *iomsg, *convert,
1662 *decimal, *encoding, *round, *sign, *asynchronous, *id;
1670 gfc_expr *unit, *status, *iostat, *iomsg;
1678 gfc_expr *unit, *iostat, *iomsg;
1686 gfc_expr *unit, *file, *iostat, *exist, *opened, *number, *named,
1687 *name, *access, *sequential, *direct, *form, *formatted,
1688 *unformatted, *recl, *nextrec, *blank, *position, *action, *read,
1689 *write, *readwrite, *delim, *pad, *iolength, *iomsg, *convert, *strm_pos,
1690 *asynchronous, *decimal, *encoding, *pending, *round, *sign, *size, *id;
1700 gfc_expr *unit, *iostat, *iomsg, *id;
1701 gfc_st_label *err, *end, *eor;
1708 gfc_expr *io_unit, *format_expr, *rec, *advance, *iostat, *size, *iomsg,
1709 *id, *pos, *asynchronous, *blank, *decimal, *delim, *pad, *round,
1710 *sign, *extra_comma;
1712 gfc_symbol *namelist;
1713 /* A format_label of `format_asterisk' indicates the "*" format */
1714 gfc_st_label *format_label;
1715 gfc_st_label *err, *end, *eor;
1717 locus eor_where, end_where, err_where;
1722 typedef struct gfc_forall_iterator
1724 gfc_expr *var, *start, *end, *stride;
1725 struct gfc_forall_iterator *next;
1727 gfc_forall_iterator;
1730 /* Executable statements that fill gfc_code structures. */
1733 EXEC_NOP = 1, EXEC_ASSIGN, EXEC_LABEL_ASSIGN, EXEC_POINTER_ASSIGN,
1734 EXEC_GOTO, EXEC_CALL, EXEC_ASSIGN_CALL, EXEC_RETURN, EXEC_ENTRY,
1735 EXEC_PAUSE, EXEC_STOP, EXEC_CONTINUE, EXEC_INIT_ASSIGN,
1736 EXEC_IF, EXEC_ARITHMETIC_IF, EXEC_DO, EXEC_DO_WHILE, EXEC_SELECT,
1737 EXEC_FORALL, EXEC_WHERE, EXEC_CYCLE, EXEC_EXIT,
1738 EXEC_ALLOCATE, EXEC_DEALLOCATE,
1739 EXEC_OPEN, EXEC_CLOSE, EXEC_WAIT,
1740 EXEC_READ, EXEC_WRITE, EXEC_IOLENGTH, EXEC_TRANSFER, EXEC_DT_END,
1741 EXEC_BACKSPACE, EXEC_ENDFILE, EXEC_INQUIRE, EXEC_REWIND, EXEC_FLUSH,
1742 EXEC_OMP_CRITICAL, EXEC_OMP_DO, EXEC_OMP_FLUSH, EXEC_OMP_MASTER,
1743 EXEC_OMP_ORDERED, EXEC_OMP_PARALLEL, EXEC_OMP_PARALLEL_DO,
1744 EXEC_OMP_PARALLEL_SECTIONS, EXEC_OMP_PARALLEL_WORKSHARE,
1745 EXEC_OMP_SECTIONS, EXEC_OMP_SINGLE, EXEC_OMP_WORKSHARE,
1746 EXEC_OMP_ATOMIC, EXEC_OMP_BARRIER, EXEC_OMP_END_NOWAIT,
1751 typedef struct gfc_code
1755 struct gfc_code *block, *next;
1758 gfc_st_label *here, *label, *label2, *label3;
1759 gfc_symtree *symtree;
1760 gfc_expr *expr, *expr2;
1761 /* A name isn't sufficient to identify a subroutine, we need the actual
1762 symbol for the interface definition.
1763 const char *sub_name; */
1764 gfc_symbol *resolved_sym;
1768 gfc_actual_arglist *actual;
1769 gfc_case *case_list;
1770 gfc_iterator *iterator;
1771 gfc_alloc *alloc_list;
1774 gfc_filepos *filepos;
1775 gfc_inquire *inquire;
1778 gfc_forall_iterator *forall_iterator;
1779 struct gfc_code *whichloop;
1781 gfc_entry_list *entry;
1782 gfc_omp_clauses *omp_clauses;
1783 const char *omp_name;
1784 gfc_namelist *omp_namelist;
1787 ext; /* Points to additional structures required by statement */
1789 /* Backend_decl is used for cycle and break labels in do loops, and
1790 probably for other constructs as well, once we translate them. */
1796 /* Storage for DATA statements. */
1797 typedef struct gfc_data_variable
1801 struct gfc_data_variable *list, *next;
1806 typedef struct gfc_data_value
1810 struct gfc_data_value *next;
1815 typedef struct gfc_data
1817 gfc_data_variable *var;
1818 gfc_data_value *value;
1821 struct gfc_data *next;
1826 /* Structure for holding compile options */
1830 gfc_source_form source_form;
1831 /* Maximum line lengths in fixed- and free-form source, respectively.
1832 When fixed_line_length or free_line_length are 0, the whole line is used,
1833 regardless of length.
1835 If the user requests a fixed_line_length <7 then gfc_init_options()
1836 emits a fatal error. */
1837 int fixed_line_length;
1838 int free_line_length;
1839 /* Maximum number of continuation lines in fixed- and free-form source,
1841 int max_continue_fixed;
1842 int max_continue_free;
1843 int max_identifier_length;
1844 int dump_parse_tree;
1848 int warn_conversion;
1849 int warn_implicit_interface;
1850 int warn_line_truncation;
1851 int warn_surprising;
1854 int warn_character_truncation;
1857 int flag_all_intrinsics;
1858 int flag_default_double;
1859 int flag_default_integer;
1860 int flag_default_real;
1862 int flag_underscoring;
1863 int flag_second_underscore;
1864 int flag_implicit_none;
1865 int flag_max_stack_var_size;
1866 int flag_range_check;
1867 int flag_pack_derived;
1868 int flag_repack_arrays;
1869 int flag_preprocessed;
1874 int flag_allow_leading_underscore;
1876 int flag_external_blas;
1877 int blas_matmul_limit;
1878 int flag_cray_pointer;
1882 int flag_module_private;
1884 int flag_init_local_zero;
1885 int flag_init_integer;
1886 int flag_init_integer_value;
1888 int flag_init_logical;
1889 int flag_init_character;
1890 char flag_init_character_value;
1896 int warn_nonstd_intrinsics;
1900 int max_subrecord_length;
1904 extern gfc_option_t gfc_option;
1906 /* Constructor nodes for array and structure constructors. */
1907 typedef struct gfc_constructor
1910 gfc_iterator *iterator;
1912 struct gfc_constructor *next;
1915 mpz_t offset; /* Record the offset of array element which appears in
1916 data statement like "data a(5)/4/". */
1917 gfc_component *component; /* Record the component being initialized. */
1920 mpz_t repeat; /* Record the repeat number of initial values in data
1921 statement like "data a/5*10/". */
1926 typedef struct iterator_stack
1928 gfc_symtree *variable;
1930 struct iterator_stack *prev;
1933 extern iterator_stack *iter_stack;
1935 /************************ Function prototypes *************************/
1938 bool gfc_in_match_data (void);
1941 void gfc_scanner_done_1 (void);
1942 void gfc_scanner_init_1 (void);
1944 void gfc_add_include_path (const char *, bool);
1945 void gfc_add_intrinsic_modules_path (const char *);
1946 void gfc_release_include_path (void);
1947 FILE *gfc_open_included_file (const char *, bool, bool);
1948 FILE *gfc_open_intrinsic_module (const char *);
1950 int gfc_at_end (void);
1951 int gfc_at_eof (void);
1952 int gfc_at_bol (void);
1953 int gfc_at_eol (void);
1954 void gfc_advance_line (void);
1955 int gfc_check_include (void);
1956 int gfc_define_undef_line (void);
1958 int gfc_wide_is_printable (gfc_char_t);
1959 int gfc_wide_is_digit (gfc_char_t);
1960 int gfc_wide_fits_in_byte (gfc_char_t);
1961 gfc_char_t gfc_wide_tolower (gfc_char_t);
1962 size_t gfc_wide_strlen (const gfc_char_t *);
1964 void gfc_skip_comments (void);
1965 gfc_char_t gfc_next_char_literal (int);
1966 gfc_char_t gfc_next_char (void);
1967 char gfc_next_ascii_char (void);
1968 gfc_char_t gfc_peek_char (void);
1969 char gfc_peek_ascii_char (void);
1970 void gfc_error_recovery (void);
1971 void gfc_gobble_whitespace (void);
1972 try gfc_new_file (void);
1973 const char * gfc_read_orig_filename (const char *, const char **);
1975 extern gfc_source_form gfc_current_form;
1976 extern const char *gfc_source_file;
1977 extern locus gfc_current_locus;
1979 void gfc_start_source_files (void);
1980 void gfc_end_source_files (void);
1983 void *gfc_getmem (size_t) ATTRIBUTE_MALLOC;
1984 void gfc_free (void *);
1985 int gfc_terminal_width (void);
1986 void gfc_clear_ts (gfc_typespec *);
1987 FILE *gfc_open_file (const char *);
1988 const char *gfc_basic_typename (bt);
1989 const char *gfc_typename (gfc_typespec *);
1990 const char *gfc_op2string (gfc_intrinsic_op);
1991 const char *gfc_code2string (const mstring *, int);
1992 int gfc_string2code (const mstring *, const char *);
1993 const char *gfc_intent_string (sym_intent);
1995 void gfc_init_1 (void);
1996 void gfc_init_2 (void);
1997 void gfc_done_1 (void);
1998 void gfc_done_2 (void);
2000 int get_c_kind (const char *, CInteropKind_t *);
2003 unsigned int gfc_init_options (unsigned int, const char **);
2004 int gfc_handle_option (size_t, const char *, int);
2005 bool gfc_post_options (const char **);
2008 const char * gfc_get_string (const char *, ...) ATTRIBUTE_PRINTF_1;
2012 typedef struct gfc_error_buf
2015 size_t allocated, index;
2019 void gfc_error_init_1 (void);
2020 void gfc_buffer_error (int);
2022 void gfc_warning (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2023 void gfc_warning_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2024 void gfc_clear_warning (void);
2025 void gfc_warning_check (void);
2027 void gfc_error (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2028 void gfc_error_now (const char *, ...) ATTRIBUTE_GCC_GFC(1,2);
2029 void gfc_fatal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2);
2030 void gfc_internal_error (const char *, ...) ATTRIBUTE_NORETURN ATTRIBUTE_GCC_GFC(1,2);
2031 void gfc_clear_error (void);
2032 int gfc_error_check (void);
2033 int gfc_error_flag_test (void);
2035 notification gfc_notification_std (int);
2036 try gfc_notify_std (int, const char *, ...) ATTRIBUTE_GCC_GFC(2,3);
2038 /* A general purpose syntax error. */
2039 #define gfc_syntax_error(ST) \
2040 gfc_error ("Syntax error in %s statement at %C", gfc_ascii_statement (ST));
2042 void gfc_push_error (gfc_error_buf *);
2043 void gfc_pop_error (gfc_error_buf *);
2044 void gfc_free_error (gfc_error_buf *);
2046 void gfc_get_errors (int *, int *);
2049 void gfc_arith_init_1 (void);
2050 void gfc_arith_done_1 (void);
2051 gfc_expr *gfc_enum_initializer (gfc_expr *, locus);
2052 arith gfc_check_integer_range (mpz_t p, int kind);
2055 try gfc_validate_c_kind (gfc_typespec *);
2056 try gfc_check_any_c_kind (gfc_typespec *);
2057 int gfc_validate_kind (bt, int, bool);
2058 extern int gfc_index_integer_kind;
2059 extern int gfc_default_integer_kind;
2060 extern int gfc_max_integer_kind;
2061 extern int gfc_default_real_kind;
2062 extern int gfc_default_double_kind;
2063 extern int gfc_default_character_kind;
2064 extern int gfc_default_logical_kind;
2065 extern int gfc_default_complex_kind;
2066 extern int gfc_c_int_kind;
2067 extern int gfc_intio_kind;
2068 extern int gfc_charlen_int_kind;
2069 extern int gfc_numeric_storage_size;
2070 extern int gfc_character_storage_size;
2073 void gfc_clear_new_implicit (void);
2074 try gfc_add_new_implicit_range (int, int);
2075 try gfc_merge_new_implicit (gfc_typespec *);
2076 void gfc_set_implicit_none (void);
2077 void gfc_check_function_type (gfc_namespace *);
2078 bool gfc_is_intrinsic_typename (const char *);
2080 gfc_typespec *gfc_get_default_type (gfc_symbol *, gfc_namespace *);
2081 try gfc_set_default_type (gfc_symbol *, int, gfc_namespace *);
2083 void gfc_set_component_attr (gfc_component *, symbol_attribute *);
2084 void gfc_get_component_attr (symbol_attribute *, gfc_component *);
2086 void gfc_set_sym_referenced (gfc_symbol *);
2088 try gfc_add_attribute (symbol_attribute *, locus *);
2089 try gfc_add_allocatable (symbol_attribute *, locus *);
2090 try gfc_add_dimension (symbol_attribute *, const char *, locus *);
2091 try gfc_add_external (symbol_attribute *, locus *);
2092 try gfc_add_intrinsic (symbol_attribute *, locus *);
2093 try gfc_add_optional (symbol_attribute *, locus *);
2094 try gfc_add_pointer (symbol_attribute *, locus *);
2095 try gfc_add_cray_pointer (symbol_attribute *, locus *);
2096 try gfc_add_cray_pointee (symbol_attribute *, locus *);
2097 try gfc_mod_pointee_as (gfc_array_spec *);
2098 try gfc_add_protected (symbol_attribute *, const char *, locus *);
2099 try gfc_add_result (symbol_attribute *, const char *, locus *);
2100 try gfc_add_save (symbol_attribute *, const char *, locus *);
2101 try gfc_add_threadprivate (symbol_attribute *, const char *, locus *);
2102 try gfc_add_saved_common (symbol_attribute *, locus *);
2103 try gfc_add_target (symbol_attribute *, locus *);
2104 try gfc_add_dummy (symbol_attribute *, const char *, locus *);
2105 try gfc_add_generic (symbol_attribute *, const char *, locus *);
2106 try gfc_add_common (symbol_attribute *, locus *);
2107 try gfc_add_in_common (symbol_attribute *, const char *, locus *);
2108 try gfc_add_in_equivalence (symbol_attribute *, const char *, locus *);
2109 try gfc_add_data (symbol_attribute *, const char *, locus *);
2110 try gfc_add_in_namelist (symbol_attribute *, const char *, locus *);
2111 try gfc_add_sequence (symbol_attribute *, const char *, locus *);
2112 try gfc_add_elemental (symbol_attribute *, locus *);
2113 try gfc_add_pure (symbol_attribute *, locus *);
2114 try gfc_add_recursive (symbol_attribute *, locus *);
2115 try gfc_add_function (symbol_attribute *, const char *, locus *);
2116 try gfc_add_subroutine (symbol_attribute *, const char *, locus *);
2117 try gfc_add_volatile (symbol_attribute *, const char *, locus *);
2118 try gfc_add_proc (symbol_attribute *attr, const char *name, locus *where);
2120 try gfc_add_access (symbol_attribute *, gfc_access, const char *, locus *);
2121 try gfc_add_is_bind_c(symbol_attribute *, const char *, locus *, int);
2122 try gfc_add_value (symbol_attribute *, const char *, locus *);
2123 try gfc_add_flavor (symbol_attribute *, sym_flavor, const char *, locus *);
2124 try gfc_add_entry (symbol_attribute *, const char *, locus *);
2125 try gfc_add_procedure (symbol_attribute *, procedure_type,
2126 const char *, locus *);
2127 try gfc_add_intent (symbol_attribute *, sym_intent, locus *);
2128 try gfc_add_explicit_interface (gfc_symbol *, ifsrc,
2129 gfc_formal_arglist *, locus *);
2130 try gfc_add_type (gfc_symbol *, gfc_typespec *, locus *);
2132 void gfc_clear_attr (symbol_attribute *);
2133 try gfc_missing_attr (symbol_attribute *, locus *);
2134 try gfc_copy_attr (symbol_attribute *, symbol_attribute *, locus *);
2136 try gfc_add_component (gfc_symbol *, const char *, gfc_component **);
2137 gfc_symbol *gfc_use_derived (gfc_symbol *);
2138 gfc_symtree *gfc_use_derived_tree (gfc_symtree *);
2139 gfc_component *gfc_find_component (gfc_symbol *, const char *);
2141 gfc_st_label *gfc_get_st_label (int);
2142 void gfc_free_st_label (gfc_st_label *);
2143 void gfc_define_st_label (gfc_st_label *, gfc_sl_type, locus *);
2144 try gfc_reference_st_label (gfc_st_label *, gfc_sl_type);
2146 gfc_expr * gfc_lval_expr_from_sym (gfc_symbol *);
2148 gfc_namespace *gfc_get_namespace (gfc_namespace *, int);
2149 gfc_symtree *gfc_new_symtree (gfc_symtree **, const char *);
2150 gfc_symtree *gfc_find_symtree (gfc_symtree *, const char *);
2151 void gfc_delete_symtree (gfc_symtree **, const char *);
2152 gfc_symtree *gfc_get_unique_symtree (gfc_namespace *);
2153 gfc_user_op *gfc_get_uop (const char *);
2154 gfc_user_op *gfc_find_uop (const char *, gfc_namespace *);
2155 void gfc_free_symbol (gfc_symbol *);
2156 gfc_symbol *gfc_new_symbol (const char *, gfc_namespace *);
2157 int gfc_find_symbol (const char *, gfc_namespace *, int, gfc_symbol **);
2158 int gfc_find_sym_tree (const char *, gfc_namespace *, int, gfc_symtree **);
2159 int gfc_get_symbol (const char *, gfc_namespace *, gfc_symbol **);
2160 try verify_c_interop (gfc_typespec *, const char *name, locus *where);
2161 try verify_c_interop_param (gfc_symbol *);
2162 try verify_bind_c_sym (gfc_symbol *, gfc_typespec *, int, gfc_common_head *);
2163 try verify_bind_c_derived_type (gfc_symbol *);
2164 try verify_com_block_vars_c_interop (gfc_common_head *);
2165 void generate_isocbinding_symbol (const char *, iso_c_binding_symbol, const char *);
2166 gfc_symbol *get_iso_c_sym (gfc_symbol *, char *, char *, int);
2167 int gfc_get_sym_tree (const char *, gfc_namespace *, gfc_symtree **);
2168 int gfc_get_ha_symbol (const char *, gfc_symbol **);
2169 int gfc_get_ha_sym_tree (const char *, gfc_symtree **);
2171 int gfc_symbols_could_alias (gfc_symbol *, gfc_symbol *);
2173 void gfc_undo_symbols (void);
2174 void gfc_commit_symbols (void);
2175 void gfc_commit_symbol (gfc_symbol *);
2176 void gfc_free_namespace (gfc_namespace *);
2178 void gfc_symbol_init_2 (void);
2179 void gfc_symbol_done_2 (void);
2181 void gfc_traverse_symtree (gfc_symtree *, void (*)(gfc_symtree *));
2182 void gfc_traverse_ns (gfc_namespace *, void (*)(gfc_symbol *));
2183 void gfc_traverse_user_op (gfc_namespace *, void (*)(gfc_user_op *));
2184 void gfc_save_all (gfc_namespace *);
2186 void gfc_symbol_state (void);
2188 gfc_gsymbol *gfc_get_gsymbol (const char *);
2189 gfc_gsymbol *gfc_find_gsymbol (gfc_gsymbol *, const char *);
2191 void copy_formal_args (gfc_symbol *dest, gfc_symbol *src);
2194 extern int gfc_init_expr;
2196 /* Given a symbol that we have decided is intrinsic, mark it as such
2197 by placing it into a special module that is otherwise impossible to
2200 #define gfc_intrinsic_symbol(SYM) SYM->module = gfc_get_string ("(intrinsic)")
2202 void gfc_intrinsic_init_1 (void);
2203 void gfc_intrinsic_done_1 (void);
2205 char gfc_type_letter (bt);
2206 gfc_symbol * gfc_get_intrinsic_sub_symbol (const char *);
2207 try gfc_convert_type (gfc_expr *, gfc_typespec *, int);
2208 try gfc_convert_type_warn (gfc_expr *, gfc_typespec *, int, int);
2209 int gfc_generic_intrinsic (const char *);
2210 int gfc_specific_intrinsic (const char *);
2211 int gfc_intrinsic_name (const char *, int);
2212 int gfc_intrinsic_actual_ok (const char *, const bool);
2213 gfc_intrinsic_sym *gfc_find_function (const char *);
2214 gfc_intrinsic_sym *gfc_find_subroutine (const char *);
2216 match gfc_intrinsic_func_interface (gfc_expr *, int);
2217 match gfc_intrinsic_sub_interface (gfc_code *, int);
2219 /* match.c -- FIXME */
2220 void gfc_free_iterator (gfc_iterator *, int);
2221 void gfc_free_forall_iterator (gfc_forall_iterator *);
2222 void gfc_free_alloc_list (gfc_alloc *);
2223 void gfc_free_namelist (gfc_namelist *);
2224 void gfc_free_equiv (gfc_equiv *);
2225 void gfc_free_data (gfc_data *);
2226 void gfc_free_case_list (gfc_case *);
2228 /* matchexp.c -- FIXME too? */
2229 gfc_expr *gfc_get_parentheses (gfc_expr *);
2232 void gfc_free_omp_clauses (gfc_omp_clauses *);
2233 void gfc_resolve_omp_directive (gfc_code *, gfc_namespace *);
2234 void gfc_resolve_do_iterator (gfc_code *, gfc_symbol *);
2235 void gfc_resolve_omp_parallel_blocks (gfc_code *, gfc_namespace *);
2236 void gfc_resolve_omp_do_blocks (gfc_code *, gfc_namespace *);
2239 void gfc_free_actual_arglist (gfc_actual_arglist *);
2240 gfc_actual_arglist *gfc_copy_actual_arglist (gfc_actual_arglist *);
2241 const char *gfc_extract_int (gfc_expr *, int *);
2242 gfc_expr *gfc_expr_to_initialize (gfc_expr *);
2243 bool is_subref_array (gfc_expr *);
2245 gfc_expr *gfc_build_conversion (gfc_expr *);
2246 void gfc_free_ref_list (gfc_ref *);
2247 void gfc_type_convert_binary (gfc_expr *);
2248 int gfc_is_constant_expr (gfc_expr *);
2249 try gfc_simplify_expr (gfc_expr *, int);
2250 int gfc_has_vector_index (gfc_expr *);
2252 gfc_expr *gfc_get_expr (void);
2253 void gfc_free_expr (gfc_expr *);
2254 void gfc_replace_expr (gfc_expr *, gfc_expr *);
2255 gfc_expr *gfc_int_expr (int);
2256 gfc_expr *gfc_logical_expr (int, locus *);
2257 mpz_t *gfc_copy_shape (mpz_t *, int);
2258 mpz_t *gfc_copy_shape_excluding (mpz_t *, int, gfc_expr *);
2259 gfc_expr *gfc_copy_expr (gfc_expr *);
2261 try gfc_specification_expr (gfc_expr *);
2263 int gfc_numeric_ts (gfc_typespec *);
2264 int gfc_kind_max (gfc_expr *, gfc_expr *);
2266 try gfc_check_conformance (const char *, gfc_expr *, gfc_expr *);
2267 try gfc_check_assign (gfc_expr *, gfc_expr *, int);
2268 try gfc_check_pointer_assign (gfc_expr *, gfc_expr *);
2269 try gfc_check_assign_symbol (gfc_symbol *, gfc_expr *);
2271 gfc_expr *gfc_default_initializer (gfc_typespec *);
2272 gfc_expr *gfc_get_variable_expr (gfc_symtree *);
2274 bool gfc_traverse_expr (gfc_expr *, gfc_symbol *,
2275 bool (*)(gfc_expr *, gfc_symbol *, int*),
2277 void gfc_expr_set_symbols_referenced (gfc_expr *);
2280 extern gfc_code new_st;
2282 void gfc_clear_new_st (void);
2283 gfc_code *gfc_get_code (void);
2284 gfc_code *gfc_append_code (gfc_code *, gfc_code *);
2285 void gfc_free_statement (gfc_code *);
2286 void gfc_free_statements (gfc_code *);
2289 try gfc_resolve_expr (gfc_expr *);
2290 void gfc_resolve (gfc_namespace *);
2291 void gfc_resolve_blocks (gfc_code *, gfc_namespace *);
2292 int gfc_impure_variable (gfc_symbol *);
2293 int gfc_pure (gfc_symbol *);
2294 int gfc_elemental (gfc_symbol *);
2295 try gfc_resolve_iterator (gfc_iterator *, bool);
2296 try find_forall_index (gfc_expr *, gfc_symbol *, int);
2297 try gfc_resolve_index (gfc_expr *, int);
2298 try gfc_resolve_dim_arg (gfc_expr *);
2299 int gfc_is_formal_arg (void);
2300 void gfc_resolve_substring_charlen (gfc_expr *);
2301 match gfc_iso_c_sub_interface(gfc_code *, gfc_symbol *);
2305 void gfc_free_array_spec (gfc_array_spec *);
2306 gfc_array_ref *gfc_copy_array_ref (gfc_array_ref *);
2308 try gfc_set_array_spec (gfc_symbol *, gfc_array_spec *, locus *);
2309 gfc_array_spec *gfc_copy_array_spec (gfc_array_spec *);
2310 try gfc_resolve_array_spec (gfc_array_spec *, int);
2312 int gfc_compare_array_spec (gfc_array_spec *, gfc_array_spec *);
2314 gfc_expr *gfc_start_constructor (bt, int, locus *);
2315 void gfc_append_constructor (gfc_expr *, gfc_expr *);
2316 void gfc_free_constructor (gfc_constructor *);
2317 void gfc_simplify_iterator_var (gfc_expr *);
2318 try gfc_expand_constructor (gfc_expr *);
2319 int gfc_constant_ac (gfc_expr *);
2320 int gfc_expanded_ac (gfc_expr *);
2321 void gfc_resolve_character_array_constructor (gfc_expr *);
2322 try gfc_resolve_array_constructor (gfc_expr *);
2323 try gfc_check_constructor_type (gfc_expr *);
2324 try gfc_check_iter_variable (gfc_expr *);
2325 try gfc_check_constructor (gfc_expr *, try (*)(gfc_expr *));
2326 gfc_constructor *gfc_copy_constructor (gfc_constructor *);
2327 gfc_expr *gfc_get_array_element (gfc_expr *, int);
2328 try gfc_array_size (gfc_expr *, mpz_t *);
2329 try gfc_array_dimen_size (gfc_expr *, int, mpz_t *);
2330 try gfc_array_ref_shape (gfc_array_ref *, mpz_t *);
2331 gfc_array_ref *gfc_find_array_ref (gfc_expr *);
2332 void gfc_insert_constructor (gfc_expr *, gfc_constructor *);
2333 gfc_constructor *gfc_get_constructor (void);
2334 tree gfc_conv_array_initializer (tree type, gfc_expr *);
2335 try spec_size (gfc_array_spec *, mpz_t *);
2336 try spec_dimen_size (gfc_array_spec *, int, mpz_t *);
2337 int gfc_is_compile_time_shape (gfc_array_spec *);
2339 /* interface.c -- FIXME: some of these should be in symbol.c */
2340 void gfc_free_interface (gfc_interface *);
2341 int gfc_compare_derived_types (gfc_symbol *, gfc_symbol *);
2342 int gfc_compare_types (gfc_typespec *, gfc_typespec *);
2343 void gfc_check_interfaces (gfc_namespace *);
2344 void gfc_procedure_use (gfc_symbol *, gfc_actual_arglist **, locus *);
2345 gfc_symbol *gfc_search_interface (gfc_interface *, int,
2346 gfc_actual_arglist **);
2347 try gfc_extend_expr (gfc_expr *);
2348 void gfc_free_formal_arglist (gfc_formal_arglist *);
2349 try gfc_extend_assign (gfc_code *, gfc_namespace *);
2350 try gfc_add_interface (gfc_symbol *);
2351 gfc_interface *gfc_current_interface_head (void);
2352 void gfc_set_current_interface_head (gfc_interface *);
2355 extern gfc_st_label format_asterisk;
2357 void gfc_free_open (gfc_open *);
2358 try gfc_resolve_open (gfc_open *);
2359 void gfc_free_close (gfc_close *);
2360 try gfc_resolve_close (gfc_close *);
2361 void gfc_free_filepos (gfc_filepos *);
2362 try gfc_resolve_filepos (gfc_filepos *);
2363 void gfc_free_inquire (gfc_inquire *);
2364 try gfc_resolve_inquire (gfc_inquire *);
2365 void gfc_free_dt (gfc_dt *);
2366 try gfc_resolve_dt (gfc_dt *);
2367 void gfc_free_wait (gfc_wait *);
2368 try gfc_resolve_wait (gfc_wait *);
2371 void gfc_module_init_2 (void);
2372 void gfc_module_done_2 (void);
2373 void gfc_dump_module (const char *, int);
2374 bool gfc_check_access (gfc_access, gfc_access);
2377 symbol_attribute gfc_variable_attr (gfc_expr *, gfc_typespec *);
2378 symbol_attribute gfc_expr_attr (gfc_expr *);
2379 match gfc_match_rvalue (gfc_expr **);
2380 int gfc_check_digit (char, int);
2383 void gfc_generate_code (gfc_namespace *);
2384 void gfc_generate_module_code (gfc_namespace *);
2387 typedef int (*compare_fn) (void *, void *);
2388 void gfc_insert_bbt (void *, void *, compare_fn);
2389 void gfc_delete_bbt (void *, void *, compare_fn);
2391 /* dump-parse-tree.c */
2392 void gfc_dump_parse_tree (gfc_namespace *, FILE *);
2395 try gfc_parse_file (void);
2396 void gfc_global_used (gfc_gsymbol *, locus *);
2399 int gfc_dep_compare_expr (gfc_expr *, gfc_expr *);
2401 #endif /* GCC_GFORTRAN_H */